Read news on Knuth with our app.
Read more in the app
Further human + AI + proof assistant work on Knuth's "Claude Cycles" problem
Generalizing Knuth's Pseudocode Architecture to Knowledge
Generalizing Knuth's Pseudocode Architecture From Algorithms to Knowledge
Literate programming: Knuth is doing it wrong (2014)
