TAOCP: Volume 4, Fascicle 6.
Satisfiability
Posted on January 28, 2026
(Last modified on July 13, 2026)
|
3 min
|
620 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
(Last modified on February 18, 2026)
|
1 min
|
9 words
|
Donald E. Knuth
Rust bindings for Postgres
Over the libpq C library
Posted on January 23, 2026
(Last modified on February 11, 2026)
|
6 min
|
1104 words
|
Massimo Nocentini
Scheme lang: Chez, 48 and Chicken
Some docs, refs and containers, respectively.
Posted on January 22, 2026
(Last modified on February 11, 2026)
|
1 min
|
162 words
|
Massimo Nocentini
Rust bindings for igraph
and the companion container
Posted on January 12, 2026
(Last modified on February 11, 2026)
|
1 min
|
36 words
|
Massimo Nocentini
Hyperfunctions
Communicating Continuations
Posted on January 8, 2026
(Last modified on February 11, 2026)
|
1 min
|
163 words
|
Donnacha Kidney Nicolas Wu
Lua 5.5.0 is out!
Declarations for global variables, named vararg tables, more compact arrays, and major garbage collections done incrementally
Posted on December 22, 2025
(Last modified on July 8, 2026)
|
1 min
|
140 words
|
Massimo Nocentini
Functions and Jordan canonical forms of Riordan matrices
Posted on March 15, 2019
(Last modified on July 10, 2026)
|
1 min
|
90 words
|
Massimo Nocentini Donatella Merlini
The Reasoned Schemer
miniKanren, microKanren and some implementations
Posted on March 9, 2018
(Last modified on July 10, 2026)
|
7 min
|
1379 words
|
Daniel P. Friedman William E. Byrd Oleg Kiselyov Jason Hemann
Algebraic Generating Functions for Languages Avoiding Riordan Patterns
Posted on January 21, 2018
(Last modified on July 10, 2026)
|
1 min
|
142 words
|
Massimo Nocentini Donatella Merlini