#literate-programming recursive implementation of #Knuth’s #MMIX and other software in it
on 02026-05-27you can buy a #PDF of #Knuth’s #TAOCP here. “PDFs have been reviewed and approved by Knuth for proper rendering.”
on 02026-05-27#Knuth #TAOCP volume 4 fascicle 6a: satisfiability
on 02026-05-27#Knuth #TAOCP volume 4 fascicle 7a: constraint satisfaction
on 02026-05-27#Knuth #TAOCP volume 4 pre-fascicle 9b: A potpourri of puzzles
on 02026-05-27#Knuth #TAOCP volume 4 pre-fascicle 8a: Hamiltonian paths and cycles
on 02026-05-27#ALGOL 60 on the #Burroughs 5000 by #Knuth, as well as surrounding developments
on 02022-10-12