Hacker News
- An Architectural Overview of QNX (1992) [pdf] https://cseweb.ucsd.edu/~voelker/cse221/papers/qnx-paper92.pdf 121 comments
- A new algorithm to compute minimal surfaces [pdf] https://cseweb.ucsd.edu/~alchern/projects/MinimalCurrent/MinimalCurrent.pdf 4 comments
- C Right-Left Rule http://cseweb.ucsd.edu/~ricko/rt_lt.rule.html 2 comments
- Development of the Domain Name System (1988) [pdf] https://cseweb.ucsd.edu/classes/wi01/cse222/papers/mockapetris-dns-sigcomm88.pdf 10 comments
- Programming with a Read-Eval-Synth Loop [pdf] http://cseweb.ucsd.edu/~hpeleg/resl-oopsla20.pdf 7 comments
- Small-Step Live Programming by Example [pdf] https://cseweb.ucsd.edu/~hpeleg/snippy-uist2020.pdf 2 comments
- The Evolution of Bitcoin Hardware [pdf] http://cseweb.ucsd.edu/~mbtaylor/papers/Taylor_Bitcoin_IEEE_Computer_2017.pdf 39 comments
- FaCT: A Flexible, Constant-Time Programming Language [pdf] https://cseweb.ucsd.edu/~dstefan/pubs/cauligi:2017:fact.pdf 2 comments
- Tossing Algebraic Flowers Down the Great Divide (1997) [pdf] https://cseweb.ucsd.edu/~goguen/pps/tcs97.pdf 7 comments
- Is Dark Silicon Useful? (2012) [pdf] http://cseweb.ucsd.edu/~mbtaylor/papers/taylor_dark_silicon_horsemen_dac_2012.pdf 2 comments
- Printing Floating-Point Numbers: A Faster, Always Correct Method [pdf] http://cseweb.ucsd.edu/~lerner/papers/fp-printing-popl16.pdf 17 comments
- Writing an Operating System with Modula-3 (1995) [pdf] http://cseweb.ucsd.edu/~savage/papers/Wcsss96m3os.pdf 6 comments
- RELAY: Static Race Detection on Millions of Lines of Code http://cseweb.ucsd.edu/~jvoung/race/ 2 comments
- Pixel Perfect: Fingerprinting Canvas in HTML5 http://cseweb.ucsd.edu/~hovav/papers/ms12.html 2 comments
- Show HN: Cryptris, a video game on cryptography http://cseweb.ucsd.edu/~lducas/news_cryptris.html 22 comments
- MIT Lecture Notes on Cryptography http://cseweb.ucsd.edu/users/mihir/papers/gb.pdf 3 comments
- Return-Oriented Programming: Exploits Without Code Injection http://cseweb.ucsd.edu/~hovav/talks/blackhat08.html 5 comments
- Return-Oriented Programming without Returns (on the x86) http://cseweb.ucsd.edu/~hovav/papers/cs10.html 23 comments
Lobsters
- The Geometry Engine: A VLSI Geometry System for Graphics (1982) https://cseweb.ucsd.edu/~ravir/6160-fall04/papers/p127-clark.pdf 2 comments graphics , hardware , historical , pdf
- Reliably Erasing Data from Flash-Based Solid State Drives [2010] http://cseweb.ucsd.edu/~m3wei/assets/pdf/FMS-2010-Secure-Erase.pdf 4 comments pdf , security , slides
- Optimal Probabilistic Cache Stampede Prevention (pdf, 2015) http://cseweb.ucsd.edu/~avattani/papers/cache_stampede.pdf 4 comments programming
- Understanding Memory and Thread Safety Practices and Issues in Real-World Rust Programs https://cseweb.ucsd.edu/~yiying/ruststudy-pldi20.pdf 8 comments programming
- Extensive empirical study of errors in real Rust programs http://cseweb.ucsd.edu/~yiying/RustStudy-PLDI20.pdf 8 comments rust
- [Paper] Understanding Memory and Thread Safety Practices and Issues in Real-World Rust Programs https://cseweb.ucsd.edu/~yiying/ruststudy-pldi20.pdf 7 comments rust
- Metaobject protocols: Why we want them and what else they can do [PDF, 1993] https://cseweb.ucsd.edu/~vahdat/papers/mop.pdf 5 comments lisp
- Best explanation of state monad I have seen https://cseweb.ucsd.edu/classes/wi13/cse230-a/lectures/monads2.html 16 comments haskell
- Workshop exercises for an industry audience involving the use of SAT solvers? https://cseweb.ucsd.edu/~lerner/papers/opium.pdf 6 comments compsci
- Light field photography, is there some interesting research going on? http://cseweb.ucsd.edu/~ravir/lightfield_ICCV.pdf 14 comments computervision
- A Whirlwind Tutorial on Creating Really Teensy ELF Executables for Linux http://cseweb.ucsd.edu/~ricko/cse131/teensyelf.htm 5 comments programming
- In all cases of perception, from the most basic to the most sophisticated, the meaning of the experience is recognised by the observer according to a horizon of expectation within which the experience will be expected to fall. http://cseweb.ucsd.edu/users/goguen/courses/275f00/burke.html 7 comments philosophy
- [PDF] An end to end analysis of the spam transaction chain, from email to fulfillment http://cseweb.ucsd.edu/~savage/papers/oakland11.pdf 5 comments netsec
- All your CAPTCHA are belong to us: "By design, CAPTCHAs are simple and easy to solve by humans...However, this same quality has made them easy to outsource to the global unskilled labor market." [pdf] http://cseweb.ucsd.edu/~savage/papers/usenixsec10.pdf 8 comments programming
- Return-Oriented Programming: Exploits Without Code Injection http://cseweb.ucsd.edu/~hovav/talks/blackhat08.html 4 comments programming
- The Geometry of Innocent Flesh on the Bone: Return-into-libc without Function Calls (on the x86) http://cseweb.ucsd.edu/~hovav/papers/s07.html 10 comments programming
Lambda the Ultimate
- Dependent Types for JavaScript http://cseweb.ucsd.edu/~rchugh/research/nested/djs.pdf 128 comments Object-Functional , Theory , Type Theory