Hacker News
- Design Principles Behind Smalltalk (1981) http://www.cs.virginia.edu/~evans/cs655/readings/smalltalk.html 82 comments
- I See Dead µops: Leaking Secrets via Intel/AMD Micro-Op Caches [pdf] https://www.cs.virginia.edu/venkat/papers/isca2021a.pdf 2 comments
- You and Your Research (1986) http://www.cs.virginia.edu/~robins/YouAndYourResearch.html 10 comments
- An Overview of Micron’s Automata Processor (2016) [pdf] https://www.cs.virginia.edu/~skadron/Papers/wang_APoverview_CODES16.pdf 15 comments
- X86 Assembly Guide http://www.cs.virginia.edu/~evans/cs216/guides/x86.html 16 comments
- Growing a Language (1998) [pdf] http://www.cs.virginia.edu/~evans/cs655/readings/steele.pdf 8 comments
- A Person Paper on Purity in Language - Douglas Hofstadter http://www.cs.virginia.edu/~evans/cs655/readings/purity.html 22 comments
- A Genetic Programming Approach to Automated Software Repair. http://www.cs.virginia.edu/~weimer/p/weimer-gecco2009-preprint.pdf 7 comments
- Richard Hamming: You and Your Research http://www.cs.virginia.edu/~robins/YouAndYourResearch.html 7 comments
Lobsters
- The Case for Writing a Kernel in Rust http://www.cs.virginia.edu/~bjc8c/papers/levy17rustkernel.pdf 2 comments pdf , programming , rust
- Ada Lovelace Appreciation https://www.cs.virginia.edu/~robins/Ada_and_the_First_Computer.pdf 11 comments programming
- [D] The most important problems in ML https://www.cs.virginia.edu/~robins/YouAndYourResearch.html 84 comments machinelearning
- I See Dead µops: Leaking Secrets via Intel/AMD Micro-Op Caches https://www.cs.virginia.edu/venkat/papers/isca2021a.pdf 2 comments asm
- Edsger Dijkstra - How do we tell truths that might hurt? http://www.cs.virginia.edu/~evans/cs655/readings/ewd498.html 228 comments programming
- The Case for Writing a Kernel in Rust http://www.cs.virginia.edu/~bjc8c/papers/levy17rustkernel.pdf 26 comments programming
- The case for writing an OS in Rust http://www.cs.virginia.edu/~bjc8c/papers/levy17rustkernel.pdf 42 comments rust
- "Computing with Quantum Knots" by Graham P. Collins -- "A machine based on bizarre particles called anyons that represents a calculation as a set of braids in spacetime might be a shortcut to practical quantum computation" [PDF] http://www.cs.virginia.edu/~robins/computing_with_quantum_knots.pdf 3 comments technology
- Doubt about Turing Machines http://www.cs.virginia.edu/~robins/Turing_Paper_1936.pdf 4 comments compsci
- More readable version of Turing's 1936 paper? https://www.cs.virginia.edu/~robins/Turing_Paper_1936.pdf 15 comments compsci
- Growing a Language (1998) [pdf] http://www.cs.virginia.edu/~evans/cs655/readings/steele.pdf 6 comments programming
- Design Principles Behind Smalltalk https://www.cs.virginia.edu/~evans/cs655/readings/smalltalk.html 13 comments programming
- Necessity/utility of dependent types? http://www.cs.virginia.edu/~jba5b/singleton/tlca07.pdf 17 comments haskell
- Great papers/texts every Comp Sci should have read at least once. http://www.cs.virginia.edu/~robins/YouAndYourResearch.html 32 comments compsci
- Edsger Dijkstra - How do we tell truths that might hurt? http://www.cs.virginia.edu/~evans/cs655/readings/ewd498.html 55 comments programming
- APL is a mistake carried through to perfection. http://www.cs.virginia.edu/~evans/cs655/readings/ewd498.html 6 comments apljk
- First university computer science class taught with Rust http://www.cs.virginia.edu/~evans/cs4414/ 16 comments rust
- Scientific American: RFID powder in new cash made by Treasury Department can be used to verify serial numbers on your money. http://www.cs.virginia.edu/~robins/rfid_powder.pdf 6 comments politics
- Edsger W.Dijkstra - How do we tell truths that might hurt? http://www.cs.virginia.edu/~evans/cs655/readings/ewd498.html?1 445 comments programming
- What Is The Difference Between A Computer And A Black Hole? (PDF) http://www.cs.virginia.edu/~robins/black_hole_computers.pdf 3 comments programming
- Great Reading in Computer Science http://www.cs.virginia.edu/~robins/cs_readings.html 5 comments programming
- IBM 704 Manual of Operation http://www.cs.virginia.edu/brochure/images/manuals/ibm_704/ibm_704.html 14 comments programming
- Edsger Dijkstra - How do we tell truths that might hurt? http://www.cs.virginia.edu/~evans/cs655/readings/ewd498.html 14 comments philosophy
- "You and your Research." A lecture on how to win a Nobel Prize. I read this years ago and it's stayed with me ever since. http://www.cs.virginia.edu/~robins/youandyourresearch.html 57 comments science
- You and Your Research, working on important problems http://www.cs.virginia.edu/~robins/youandyourresearch.html? 2 comments programming
- Ray Tracing Jell-O Brand Gelatin: a computer graphics pioneer's hilarious spoof paper [PDF] http://www.cs.virginia.edu/~gfx/courses/2002/bigdata/papers/misc/ray%20tracing%20jell-o%20brand%20gelatin.pdf 5 comments programming
- Dijkstra - How do we tell truths that might hurt? http://www.cs.virginia.edu/~evans/cs655/readings/ewd498.html 19 comments programming
- A Person Paper on Purity in Language: Douglas R. Hofstadter's satire against sexist language http://www.cs.virginia.edu/~evans/cs655/readings/purity.html 2 comments reddit.com
Lambda the Ultimate
- The Structure and Value of Modularity in Software Design http://www.cs.virginia.edu/~sullivan/publications/UVa-CS-2001-13.PDF 4 comments Software Engineering
- Richard Hamming - "You and Your Research" http://www.cs.virginia.edu/~robins/YouAndYourResearch.html 16 comments General , History , Teaching & Learning
- How do we tell truths that might hurt? http://www.cs.virginia.edu/~evans/cs655/readings/ewd498.html 2 comments general