Hacker News
- Basics of Proofs (2017) [pdf] https://theory.stanford.edu/~jvondrak/MATH108-2017/Proofs.pdf 92 comments
- Daylight Savings Time (2020) http://theory.stanford.edu/~amitp/rants/daylight-savings-time/ 72 comments
- Programming the Z3 SMT solver https://theory.stanford.edu/~nikolaj/programmingz3.html 53 comments
- Introduction to A* (1997) http://theory.stanford.edu/~amitp/GameProgramming/AStarComparison.html 31 comments
- How Bad Is Selfish Routing? (2001) [pdf] http://theory.stanford.edu/~tim/papers/routing.pdf 5 comments
- Verifying Bit-Manipulations of Floating-Point [pdf] http://theory.stanford.edu/~aiken/publications/papers/pldi16b.pdf 2 comments
- A System for Detecting Software Plagiarism https://theory.stanford.edu/~aiken/moss/ 4 comments
- Winnowing: Local Algorithms for Document Fingerprinting (2003) [pdf] http://theory.stanford.edu/~aiken/publications/papers/sigmod03.pdf 17 comments
- Stochastic Superoptimization [pdf] http://theory.stanford.edu/~aiken/publications/papers/asplos13.pdf 28 comments
- Singe: Leveraging Warp Specialization for High Performance on GPUs [pdf] http://theory.stanford.edu/~aiken/publications/papers/ppopp14.pdf 4 comments
- Introduction to A* http://theory.stanford.edu/~amitp/GameProgramming/AStarComparison.html 56 comments
- The FL Project: The Design of a Functional Language (PDF) http://theory.stanford.edu/~aiken/publications/trs/FLProject.pdf 2 comments forth
- A Writeup of How You Can Implement A* Pathfinding http://theory.stanford.edu/~amitp/GameProgramming/Heuristics.html 2 comments gamedev
- Pathfinding - how to keep away from walls? http://theory.stanford.edu/~amitp/GameProgramming/ 16 comments gamedev
- From Breadth First Search to A* http://theory.stanford.edu/~amitp/GameProgramming 20 comments gamedev
- Singe: Leveraging Warp Specialization for High Performance on GPUs http://theory.stanford.edu/~aiken/publications/papers/ppopp14.pdf 11 comments gpgpu
- Introduction to A* http://theory.stanford.edu/~amitp/gameprogramming/astarcomparison.html 42 comments programming
- Guidelines for posting homework problems. http://theory.stanford.edu/~aiken/moss/ 14 comments learnprogramming
- Implementing an algorithm optimally, by example: Amit's A* pages http://theory.stanford.edu/~amitp/gameprogramming/ 8 comments coding
- Pathfinding with A* http://theory.stanford.edu/~amitp/gameprogramming/ 18 comments programming
Lambda the Ultimate
- Data Representation Synthesis http://theory.stanford.edu/~hawkinsp/papers/pldi2011synthesis.pdf 8 comments LtU Forum
- Automatic Generation of Peephole Superoptimizers http://theory.stanford.edu/~aiken/publications/papers/asplos06.pdf 8 comments Implementation
- NEXCEL, a Deductive Spreadsheet http://theory.stanford.edu/~iliano/papers/ker06.pdf 0 comments DSL , Logic/Declarative