Hacker News
- Artistic Radiance Fields https://www.cs.cornell.edu/projects/arf/ 25 comments
- The Cult of Posits https://www.cs.cornell.edu/courses/cs6120/2019fa/blog/posits/ 72 comments
- Actual Causality (2016) https://www.cs.cornell.edu/home/halpern/papers/causalitybook-ch1-3.html 19 comments
- Understanding Text Pre-Processing for Topic Modeling [pdf] http://www.cs.cornell.edu/~xanda/winlp2017.pdf 2 comments
- Foundations of Data Science [pdf] http://www.cs.cornell.edu/jeh/book.pdf 21 comments
- A dynamic programming solution to the n-queens problem (1992) [pdf] http://www.cs.cornell.edu/~rdz/Papers/RZ-IPL92.pdf 4 comments
- Teechan: Payment Channels Using Trusted Execution Environments [pdf] https://www.cs.cornell.edu/People/egs/papers/teechan.pdf 14 comments
- 3-D Depth Reconstruction from a Single Still Image (2007) [pdf] http://www.cs.cornell.edu/~asaxena/learningdepth/ijcv_monocular3dreconstruction.pdf 28 comments
Lobsters
- Reticle: A Virtual Machine for Programming Modern FPGAs https://www.cs.cornell.edu/~asampson/media/papers/reticle-pldi2021.pdf 6 comments compilers , hardware , pdf
- Typed Assembly Language (1998) https://www.cs.cornell.edu/talc/overview.html 6 comments compilers , compsci , formalmethods , programming
- Flattening ASTs (and Other Compiler Data Structures) https://www.cs.cornell.edu/~asampson/blog/flattening.html 20 comments programming
- Polyglot: Compiler Framework for Extending Java || Type Theory 101 https://www.cs.cornell.edu/Projects/polyglot/ 4 comments java
- What is the use of SRA and SRAI? https://www.cs.cornell.edu/courses/cs3410/2019sp/riscv/interpreter/ 7 comments riscv
- OCaml Programming: Correct + Efficient + Beautiful - Book + Videos / former Cornell University text book https://www.cs.cornell.edu/courses/cs3110/2020fa/textbook/ 6 comments ocaml
- CS 6120: Advanced Compilers: The Self-Guided Online Course https://www.cs.cornell.edu/courses/cs6120/2020fa/self-guided/ 8 comments programming
- CS 6120: Advanced Compilers: The Self-Guided Online Course https://www.cs.cornell.edu/courses/cs6120/2020fa/self-guided/ 10 comments compilers
- Functional Programming in OCaml – Spring 2020 Edition https://www.cs.cornell.edu/courses/cs3110/2020sp/textbook/ 5 comments ocaml
- Moser's Algorithm and the Lovász Local Lemma http://www.cs.cornell.edu/~nietert/blog/post/lll/ 11 comments math
- Measuring Computer Systems is Almost Certainly Harder Than You Think https://www.cs.cornell.edu/courses/cs6120/2019fa/blog/measurement/ 14 comments cpp
- Measuring Computer Systems is Almost Certainly Harder Than You Think https://www.cs.cornell.edu/courses/cs6120/2019fa/blog/measurement/ 9 comments programming
- Functional Programming in OCaml http://www.cs.cornell.edu/courses/cs3110/2019sp/textbook/ 26 comments programming
- Foundations of Data Science (PDF) https://www.cs.cornell.edu/jeh/book2016june9.pdf 3 comments compsci
- Data Structures and Functional Programming http://www.cs.cornell.edu/courses/cs312/2008sp/ 2 comments sml
- A good course is starting. CS3110 (Spring 2015) :: Data Structures and Functional Programming http://www.cs.cornell.edu/courses/cs3110/2015sp/schedule.php 9 comments ocaml
- Adjacency list vs Adjacency matrix. Which is faster when memory isn't an issue? http://www.cs.cornell.edu/courses/cs211/2006fa/Lectures/L22-More%20Graphs/L22cs211fa06.pdf 12 comments learnprogramming
- Is the log-sum-exp trick a valid substitute over scaling when trying to avoid numerical underflow in HMM calculations? http://www.cs.cornell.edu/Courses/cs4758/2012sp/materials/hmm_paper_rabiner.pdf 11 comments compsci
- 12 Commandments of Synchronization http://www.cs.cornell.edu/courses/cs4410/2011fa/papers/commandments.pdf 5 comments programming
- AskCompSci: Type theory material & general discussion http://www.cs.cornell.edu/Info/Projects/NuPrl/book/doc.html 9 comments compsci
- Comparison of designs of Elevator Scheduling System by two undergraduates teams where one used formal analysis. http://www.cs.cornell.edu/people/clarkson/papers/tse02.pdf 41 comments programming
- Simulating Knitted Cloth at the Yarn Level: Truly Next-Gen video Games http://www.cs.cornell.edu/~srm/publications/sg08-knit.html 3 comments science
- Bursty and Hierarchical Structure in Streams [PDF] http://www.cs.cornell.edu/home/kleinber/bhs.pdf 6 comments compsci
- Tanenbaum's Modern OS book has the best cover ever. [PIC] http://www.cs.cornell.edu/courses/cs414/2007sp/tanenbaum.jpg 91 comments programming
- Paging people with claustrophobia... [PIC] http://www.cs.cornell.edu/people/simeon/vpp/photos/roll-185/185-7.mxy800.jpg 13 comments reddit.com
- Trickles - Stateless High Performance Networking http://www.cs.cornell.edu/~ashieh/trickles/protocol.php 13 comments programming
Lambda the Ultimate
- J&: Nested Intersection for Scalable Software Composition http://www.cs.cornell.edu/andru/papers/compose.pdf 16 comments Software Engineering , Type Theory
- Polyglot: extensible compiler framework http://www.cs.cornell.edu/projects/polyglot/ 0 comments general
- Abstract Iterable Pattern Matching for Java (JMatch) http://www.cs.cornell.edu/Projects/jmatch/ 3 comments OOP
- Language-Based Information-Flow Security http://www.cs.cornell.edu/~andrei/Papers/jsac.pdf 0 comments Software-Eng
- Cyclone - a next generation systems language http://www.cs.cornell.edu/projects/cyclone/ 3 comments general
- ICFP results http://www.cs.cornell.edu/icfp/ 2 comments