0xPage ¶

Home

Home ¶

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

Now
Recent Writings

Now ¶

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

Recent Writings ¶

May 20, 2026

BIP-181 Annotated: Utreexo

A section-by-section walk through BIP-181, quoting the original text and proposing rephrasing to improve clarity without changing its semantics.

April 28, 2026

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.