laarcnew | comments | discord | tags | ask | show | place | submit | /l/paperslogin
1.
Design and Verification of Secure Systems (1981) (sri.com)
5 points by nickpsecurity to dev security papers acm 621 days ago | 1 comment
2.
Scott’s Supreme Quantum Supremacy FAQ! (scottaaronson.com)
2 points by rain1 to quantum news quantum.computing papers research 359 days ago | discuss
3.
Calculating Correct Compilers 2.0 [pdf] (nott.ac.uk)
by rain1 to papers research programming plt 359 days ago | discuss

Welcome | Guidelines | Bookmarklet | Feature Requests | Source | Contact | Twitter | Lists

RSS (stories) | RSS (comments)

Search: