TAOCP, Volume 4, Fascicle 6: Satisfiability
Literate programming, implementations and their containers.
Posted on January 28, 2026
| 3 min
| 550 words
| Donald E. Knuth
The Stanford GraphBase and CWEB
A Platform for Combinatorial Computing and a System of Structured Documentation
Posted on January 25, 2026
| 1 min
| 9 words
| Donald E. Knuth
Rust bindings for Postgres
Over the libpq C library
Posted on January 23, 2026
| 6 min
| 1104 words
| Massimo Nocentini
Rust bindings for igraph
and the companion container
Posted on January 12, 2026
| 1 min
| 36 words
| Massimo Nocentini