kragen / knuth-interview-2006Links
The transcript of a Donald Knuth interview in 2006
☆227Updated 9 years ago
Alternatives and similar repositories for knuth-interview-2006
Users that are interested in knuth-interview-2006 are comparing it to the libraries listed below
Sorting:
- My personal notes on various computer languages☆226Updated 5 years ago
- Interactive Structure and Interpretation of Computer Programs☆1,161Updated 5 years ago
- Honest CVs from programmers☆232Updated 4 years ago
- Images and text transcripts of the correspondence between John Backus and Edsger Dijkstra, 1978-1979. Ref: https://medium.com/@acidflask/…☆110Updated 9 years ago
- A modernized and annotated code companion to Paul Graham's "On Lisp".☆334Updated 3 years ago
- Sketchbook - Simple Teaching Assistant☆73Updated 5 years ago
- My implementations of deterministic and non-deterministic turing machines☆72Updated 2 years ago
- Moved to https://codeberg.org/khinsen/leibniz☆282Updated 10 months ago
- Luke Gorrie's blog☆567Updated 2 years ago
- A cross between Hacker News and the Wayback Machine☆47Updated last year
- A hands-on, test driven guide to implementing a simple programming language☆553Updated 3 years ago
- A Python implementation of Douglas Hofstadter formal systems, from his book "Gödel, Escher, Bach"☆626Updated 4 years ago
- Hacker News web site source code mirror.☆647Updated 10 years ago
- Algebraic Number Theory package☆271Updated 4 years ago
- A framework of abstractions☆294Updated last year
- A neatly typeset version of John McCarthy's classic paper☆124Updated 11 months ago
- A lazy specializing virtual machine for purely functional languages☆103Updated 7 years ago
- dead simple way to create semantic, nice to look at slides - without any dependencies☆150Updated 5 years ago
- SICP in Guile & Emacs Lisp☆709Updated 3 years ago
- Examples of literate programming by Knuth☆39Updated 6 months ago
- A Git annex repository of papers☆713Updated 7 years ago
- Prolog Tutorials and Information☆173Updated 6 years ago
- A toy Lisp interpreter and simple eval function☆148Updated 2 years ago
- An Interpreter for Extended Relational Algebra (Scheme based)☆84Updated 9 years ago
- rcor C compiler (under development)☆115Updated 8 years ago
- state machine visual debugger☆121Updated 10 years ago
- A Reasoning System for a First-Order Logic of Limited Belief, written in C++☆234Updated 5 years ago
- Ulix, the Literate Unix☆179Updated 10 years ago
- A catalog of code worth reading☆115Updated 8 years ago
- A list of talks that are worth watching.☆306Updated 10 years ago