Hacker News
- Brian Kernighan's Home Page https://www.cs.princeton.edu/~bwk/ 67 comments
- Nuts and Bolts of Encryption: A Primer for Policymakers [pdf] https://www.cs.princeton.edu/~felten/encryption_primer.pdf 15 comments
- Should Computer Scientists Experiment More? (1997) [pdf] https://www.cs.princeton.edu/~jrex/teaching/spring2005/fft/moreexperiments.pdf 2 comments
- The Algorithm: Idiom of Modern Science http://www.cs.princeton.edu/~chazelle/pubs/algorithm.html 5 comments
Lobsters
- LL(1) Parsing: Write your own context-free grammar and see an LL(1) parser in action! (2022) https://www.cs.princeton.edu/courses/archive/spring22/cos320/LL1/index.html 2 comments compilers
- Forest 1.0: A Language and Toolkit for Programming with Filestores (2011) https://www.cs.princeton.edu/research/techreps/TR-904-11 6 comments databases , plt
- Research Paper: On the Instability of Bitcoin Without the Block Reward https://www.cs.princeton.edu/~arvindn/publications/mining_CCS.pdf 7 comments btc
- Cardinality Estimation, Robert Sedgewick, Princeton University https://www.cs.princeton.edu/~rs/talks/ac11-cardinality.pdf 6 comments programming
- Textbook: Verified Functional Algorithms http://www.cs.princeton.edu/~appel/vfa/ 6 comments coq
- Brian Kernighan and Ken Thompson reverse-engineer a phototypesetter http://www.cs.princeton.edu/~bwk/202/summer.reconstructed.pdf 11 comments programming
- Intensional Equality ;=) for Continuations https://www.cs.princeton.edu/~appel/papers/conteq.pdf 18 comments programming
- Verified correctness and security of OpenSSL HMAC http://www.cs.princeton.edu/~appel/papers/verified-hmac.pdf 24 comments crypto
- Is POPL Mathematics or Science? http://www.cs.princeton.edu/~appel/papers/science.pdf 8 comments compsci
- Probabilistic Topic Models: Who uses this already? http://www.cs.princeton.edu/~blei/papers/blei2012.pdf 9 comments compsci
- Mathematics for Computer Science [PDF] https://www.cs.princeton.edu/courses/archive/spring10/cos433/mathcs.pdf 11 comments compsci
- Kernighans Advanced Programming course at Princeton http://www.cs.princeton.edu/courses/archive/spring13/cos333/ 15 comments programming
- lower bounds for functional data structures http://www.cs.princeton.edu/courses/archive/fall03/cs528/handouts/Pure%20Versus%20Impure%20LISP.pdf 9 comments haskell
- Algorithms for the Masses (Robert Sedgewick) http://www.cs.princeton.edu/~rs/talks/algsmasses.pdf 50 comments programming
- Brainfuck in One Line of Python http://www.cs.princeton.edu/~ynaamad/misc/bf.htm 159 comments programming
- Jonathan Bartlett. Programming from the Ground Up. (Assembler) http://www.cs.princeton.edu/courses/archive/spr08/cos217/reading/programminggroundup-1-0-lettersize.pdf 19 comments programming
- A Regular Expression Matcher in 30 lines of C http://www.cs.princeton.edu/courses/archive/spr09/cos333/beautiful.html 79 comments programming
- CS Theory @ Princeton : Book Wish List browse http://www.cs.princeton.edu/theory/index.php/main/bookwishlist 3 comments programming
- Feynmans "If only more guys did this" http://www.cs.princeton.edu/~dmoshkov/personal/feynman-sex-and-the-cosmos.html 5 comments reddit.com
- Ask Haskell: Modern Compiler Implementation in ML - Haskell Example Code. http://www.cs.princeton.edu/~appel/modern/ml/ 8 comments haskell
- Computational Complexity: A Modern Approach (free pdf draft) http://www.cs.princeton.edu/theory/index.php/compbook/draft 7 comments math
- Computational Complexity and Information Asymmetry in Financial Products [PDF]. "This result needs to be distilled down into language that MBAs can understand and pushed around the world as far and wide as it possibly can be." http://www.cs.princeton.edu/~rongge/derivative.pdf 3 comments science
- Live research cam. [video] http://www.cs.princeton.edu/~anuprao/researchcam.html 3 comments math
- Bruce Kernighan, author of "The C Programming Language", teaches an introductory computing class every fall at Princeton. This is his syllabus and course page. http://www.cs.princeton.edu/courses/archive/fall08/cos109/ 71 comments programming
- The HotSpot Java Virtual Machine [PDF, slides] http://www.cs.princeton.edu/picasso/mats/hotspotoverview.pdf 2 comments programming
- Robert Sedgwick's Left Leaning Red-Black Trees: Self-balancing binary trees with less of the code complexity [PDF] http://www.cs.princeton.edu/~rs/talks/llrb/redblack.pdf 34 comments programming
- Re-opening Closures (PDF) http://www.cs.princeton.edu/~appel/papers/reo.pdf 3 comments programming
- Garbage collection can be faster than stack allocation. (Postscript) http://www.cs.princeton.edu/~appel/papers/45.ps 10 comments programming
- Computational complexity theory: full online textbook (draft) http://www.cs.princeton.edu/theory/complexity/ 4 comments science
- Sweet physics simulations http://www.cs.princeton.edu/~traer/physics/ 4 comments reddit.com
- The Algorithm: Idiom of Modern Science http://www.cs.princeton.edu/~chazelle/pubs/algorithm.html 9 comments programming
Lambda the Ultimate
- Tracking the Flow of Ideas through the Programming Languages Literature http://www.cs.princeton.edu/~mg19/papers/snapl2015.pdf 1 comment Fun , General , History
- Expressing Heap-shape Contracts in Linear Logic http://www.cs.princeton.edu/~ljia/research/papers/contract_gpce.pdf 2 comments Software Engineering
- Static Typing for a Faulty Lambda Calculus http://www.cs.princeton.edu/~dpw/papers/lambdazap-icfp06.pdf 3 comments Functional , Software Engineering , Type Theory
- A Very Modal Model of a Modern, Major, General Type System http://www.cs.princeton.edu/~appel/papers/modalmodel.pdf 11 comments Implementation , Type Theory
- Using Memory Errors to Attack a Virtual Machine http://www.cs.princeton.edu/~appel/papers/memerr.pdf 6 comments general