This site needs no title
  • content
    • Pages
    • Tags
    • Categories
    • About

This site needs no title

Massimo Nocentini's papers, notes, memos and source code.

The (aux nondeterministic) module

 Posted on February 5, 2026  (Last modified on February 11, 2026)  |   18 min  |   Massimo Nocentini

[Read More]
Categories: scheme 

Learning tests for Scheme

 Posted on February 5, 2026  (Last modified on March 9, 2026)  |   4 min  |   Massimo Nocentini

[Read More]
Categories: scheme 

The (aux stream) module

 Posted on February 5, 2026  (Last modified on February 11, 2026)  |   2 min  |   Massimo Nocentini

[Read More]
Categories: scheme 

The (aux unittest) module

Bootstrapping a unittest framework

 Posted on February 5, 2026  (Last modified on February 11, 2026)  |   5 min  |   Massimo Nocentini

[Read More]
Categories: scheme 

TAOCP: Volume 4, Fascicle 6.

Satisfiability

 Posted on January 28, 2026  (Last modified on July 13, 2026)  |   3 min  |   Donald E. Knuth

[Read More]
Categories: taocp  cweb  c  books  computer science  Tags: satisfiability 

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  |   Donald E. Knuth

[Read More]
Categories: knuth  containers  cweb  c  graphs 

Rust bindings for Postgres

Over the libpq C library

 Posted on January 23, 2026  (Last modified on February 11, 2026)  |   6 min  |   Massimo Nocentini

[Read More]
Categories: rust  bindings  postgresql  c 

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  |   Massimo Nocentini

[Read More]
Categories: containers  scheme  releases 

Rust bindings for igraph

and the companion container

 Posted on January 12, 2026  (Last modified on February 11, 2026)  |   1 min  |   Massimo Nocentini

[Read More]
Categories: rust  bindings  containers  graphs  c  Tags: igraph 

Hyperfunctions

Communicating Continuations

 Posted on January 8, 2026  (Last modified on February 11, 2026)  |   1 min  |   Donnacha Kidney Nicolas Wu

[Read More]
Categories: haskell  papers  Tags: continuations 
  • ← Newer Posts
  • Older Posts →
Posts
  • Inspecting the Payments Graph
  • SIMD
  • CHICKEN Scheme
  • Pharo Smalltalk
  • Neovim
  • The SBRAL data structure
  • Pattern matching
  • The Wolfram Engine
  • Running PostgreSQL natively vs into containers
  • The (aux hansei) module
  • The (aux nondeterministic) module
  • Learning tests for Scheme
  • The (aux stream) module
  • The (aux unittest) module
  • TAOCP: Volume 4, Fascicle 6.
  • The Stanford GraphBase and CWEB
  • Rust bindings for Postgres
  • Scheme lang: Chez, 48 and Chicken
  • Rust bindings for igraph
  • Hyperfunctions
  • Lua 5.5.0 is out!
  • Functions and Jordan canonical forms of Riordan matrices
  • The Reasoned Schemer
  • Algebraic Generating Functions for Languages Avoiding Riordan Patterns
  • BiRank
  • Axioms for Centrality
  • Aggregation predicates for µkanren
  • miniKanren, live and untagged
  • Teaching the art of computer programming
  • Pure, declarative, and constructive arithmetic relations
  • The igraph software package for complex network research
  • Final shift for call/cc
  • Call with Current Continuation Patterns
  • Cogen in six lines
  • The Seasoned Schemer
  • The Little Schemer
  • Adding generic functions to Scheme
  • Representing monads
  • Handling control

Massimo Nocentini  •  © 2016 - 2026  •  This site needs no title

Hugo v0.166.0 powered  •  Theme Beautiful Hugo adapted from Beautiful Jekyll