0xPage

Home

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

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

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.

Read more →

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.

Read more →

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.

Read more →