Posts

Learning tests for Scheme

Posted on February 5, 2026 · by Massimo Nocentini · 4-minute read · Scheme

Streams, streams after SICP, and sequences and power series

Posted on February 5, 2026 · by Massimo Nocentini · 27-minute read · Scheme

Bootstrapping a unittest framework

Posted on February 5, 2026 · by Massimo Nocentini · 8-minute read · Scheme

Satisfiability

Posted on January 28, 2026 · by Donald E. Knuth · 3-minute read · Taocp, Cweb, C, Books, Computer Science · Satisfiability

A Platform for Combinatorial Computing and a System of Structured Documentation

Posted on January 25, 2026 · by Donald E. Knuth · 1-minute read · Knuth, Containers, Cweb, C, Graphs

Over the libpq C library

Posted on January 23, 2026 · by Massimo Nocentini · 6-minute read · Rust, Bindings, Postgresql, C

We provide a new set of bindings over Postgresql libpq C library, that focuses to be Rusty but stick to the original library as much as possible.

Some docs, refs and containers, respectively.

Posted on January 22, 2026 · by Massimo Nocentini · 1-minute read · Containers, Scheme, Releases

and the companion container

Posted on January 12, 2026 · by Massimo Nocentini · 1-minute read · Rust, Bindings, Containers, Graphs, C · Igraph

We provide a new Rust crate igraph-rs, with the relative documentation, that supply bindings over the C library igraph.

Communicating Continuations

Posted on January 8, 2026 · by Donnacha Kidney and Nicolas Wu · 1-minute read · Haskell, Papers · Continuations

Declarations for global variables, named vararg tables, more compact arrays, and major garbage collections done incrementally

Posted on December 22, 2025 · by Massimo Nocentini · 1-minute read · Lua, Containers, Releases, Tools