A small measure of peace

This site is a collection of Massimo Nocentini's papers, notes, memos and source code.

Per Dio la morte è davvero un sonno

Omelia al Vangelo Mc 5,21–43

Posted on February 3, 2026 | 5 min | 902 words | San Pietro Crisologo

[Read More]

vangelo marco

SAT Solvers

Papers and implementations

Posted on January 28, 2026 | 2 min | 296 words | Massimo Nocentini

[Read More]

sat solvers knuth mit acm containers cweb c papers

Rust bindings for Postgres

Over the libpq C library

Posted on January 23, 2026 | 6 min | 1104 words | Massimo Nocentini

[Read More]

rust bindings postgresql c

Scheme lang: Chez, 48 and Chicken

Some docs, refs and containers, respectively.

Posted on January 22, 2026 | 1 min | 162 words | Massimo Nocentini

[Read More]

containers scheme releases

Rust bindings for igraph

and the companion container

Posted on January 12, 2026 | 1 min | 36 words | Massimo Nocentini

[Read More]

rust bindings containers graph c

Hyperfunctions

Communicating Continuations

Posted on January 8, 2026 | 1 min | 172 words | Donnacha Kidney, Nicolas Wu

[Read More]

acm continuations haskell papers

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

[Read More]

ofm porziuncola piloni natale

Santa Messa di Natale

Omelia di M.R.P. Francesco Piloni OFM

Posted on December 25, 2025 | 8 min | 1616 words | fra Francesco Piloni

[Read More]

ofm porziuncola piloni natale

Veglia di Natale

Omelia di fra Massimo Travascio OFM

Posted on December 24, 2025 | 7 min | 1369 words | fra Massimo Travascio

[Read More]

ofm porziuncola travascio natale

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

[Read More]

lua containers releases