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
Secondi Vespri della solennità dell'Epifania
Omelia di M.R.P. Francesco Piloni OFM
Posted on January 6, 2026
| 3 min
| 632 words
| fra Francesco Piloni
Santa Messa di Natale
Omelia di M.R.P. Francesco Piloni OFM
Posted on December 25, 2025
| 8 min
| 1616 words
| fra Francesco Piloni
Veglia di Natale
Omelia di fra Massimo Travascio OFM
Posted on December 24, 2025
| 7 min
| 1358 words
| fra Massimo Travascio
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