0xPage ¶

Home

Home ¶

Lisp, systems programming, retrocomputing and Bitcoin. Not in that specific order.

Now
Recent

Now ¶

Digging into cryptographic accumulators and its usage in the Bitcoin ecosystem, in particular Utreexo.
Returning to Guile Scheme as the primary language for personal projects and experiments.
Thinking through modularity and feature embeddability in Bitcoin node implementations.
Banging my head against formal proofs and software validation using ACL2.

Recent ¶

April 28, 2026

Why I Still Read SICP

Every few years I return to Structure and Interpretation of Computer Programs. Not for the refresher—the ideas are old friends—but because it remains the clearest account I know of what programming actually is.

April 24, 2026

Publishing with Texinfo

The GNU documentation format turns out to be a decent blogging engine. One source file, one stylesheet, one Makefile rule—and the same source produces HTML, PDF and Info without touching the content.