kragen / knuth-interview-2006
The transcript of a Donald Knuth interview in 2006
☆224Updated 8 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
- A neatly typeset version of John McCarthy's classic paper☆122Updated 2 weeks ago
- A modernized and annotated code companion to Paul Graham's "On Lisp".☆324Updated 2 years ago
- Interactive Structure and Interpretation of Computer Programs☆1,159Updated 5 years ago
- Honest CVs from programmers☆232Updated 3 years ago
- My personal notes on various computer languages☆221Updated 4 years ago
- Sketchbook - Simple Teaching Assistant☆73Updated 4 years ago
- My implementations of deterministic and non-deterministic turing machines☆70Updated last year
- Classic Hacker News stories☆145Updated 5 years ago
- Links to publicly available preprints for the POPL'16 conference☆120Updated 8 years ago
- Unix system programming in OCaml book☆287Updated 6 years ago
- Source Codes for "A Pamphlet against R"☆99Updated 3 years ago
- A toy Lisp interpreter and simple eval function☆145Updated last year
- ☆425Updated last year
- Solutions to exercises from "Structure and Interpretation of Computer Programs" (SICP) by Abelson, Sussman and Sussman. A PDF version of …☆129Updated 5 years ago
- SICP in Guile & Emacs Lisp☆693Updated 2 years ago
- A simple implementation of the SECD abstract machine (https://en.wikipedia.org/wiki/SECD_machine)☆120Updated 11 years ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 6 years ago
- A catalog of code worth reading☆113Updated 7 years ago
- Images and text transcripts of the correspondence between John Backus and Edsger Dijkstra, 1978-1979. Ref: https://medium.com/@acidflask/…☆108Updated 8 years ago
- A cross between Hacker News and the Wayback Machine☆47Updated last year
- A Digital Scientific Notation☆281Updated 4 years ago
- a history of Lisp's most notorious artifact, parentheses☆572Updated 4 months ago
- An Interpreter for Extended Relational Algebra (Scheme based)☆85Updated 8 years ago
- An experimental minimal chat written in Common Lisp☆175Updated last year
- Examples of literate programming by Knuth☆36Updated 8 months ago
- Canonical miniKanren implementation☆354Updated 6 years ago
- World's dumbest fuzzer☆52Updated last year
- Mirror of Software Foundations in PDF☆300Updated 4 years ago
- Tiny Scheme-like Lisp interpreter written in a weekend☆250Updated last year
- McCarthy's Lisp in Python with macros. A celebration of 50+ years of symbolic processing.☆260Updated last year