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
Scheme lang: Chez, 48 and Chicken
Some docs, refs and containers, respectively.
Posted on January 22, 2026
|
1 min
|
162 words
|
Massimo Nocentini
Rust bindings for igraph
and the companion container
Posted on January 12, 2026
|
1 min
|
36 words
|
Massimo Nocentini
Hyperfunctions
Communicating Continuations
Posted on January 8, 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
|
1 min
|
140 words
|
Massimo Nocentini
The Silent (R)evolution of SAT
Today's powerful, robust SAT solvers have become primary tools for solving hard computational problems.
Posted on May 24, 2023
|
1 min
|
49 words
|
Johannes K. Fichte Daniel Le Berre Markus Hecher Stefan Szeider
Functions and Jordan canonical forms of Riordan matrices
Posted on March 15, 2019
|
1 min
|
90 words
|
Massimo Nocentini Donatella Merlini
The Reasoned Schemer
miniKanren, microKanren and some implementations
Posted on March 9, 2018
|
11 min
|
2174 words
|
Massimo Nocentini