Writing

Apologies in advance for the brief post. More details to come soon.

Refactoring Kai's plugin schema while adding better errors, system management, deployment, ISO creation, SOPS secrets, and backend escape hatches.

Building Kai for the long term through conceptual integrity, better tools, deliberate practice, and dogfooding.

Expanding Kai with reusable environments, runnable tasks, composable workflows, portable builds, and overlays.

Replacing Kai's embedded Roc config with a custom DSL and making plugin modules simpler, reusable, and validated.

Building Kai around replaceable commands, extensible plugins, and custom determinate backends.

Finding the right boundary between Kai's simple configuration and Nix's power.

Packaging official Roc nightly compiler binaries reproducibly with a Nix flake and overlay.

Making determinate computing friendly by building a modular frontend for Nix, Guix, and future reproducible systems.

Building an AI-powered pipeline to generate the largest, richest corpus of Ancient Greek texts with interlinear translations, morphology, and treebank data from a single prompt.

Lyceum is a modern interface for reading Ancient Greek works in their original language, with interlinear translations, morphology, and spaced-repetition vocabulary learning.

Learn how to stitch programs together reprodicibly with Nix

Our doubts are traitors and make us lose the good we oft might win by fearing to attempt

A QR code web component for Bitcoin on-chain, Lightning, and unified BIP-21 payments

As mentioned in the blog post on syncing my nb notebook across devices using Syncthing, I wanted a way to auto-publish to my site after finishing a piece of writing. What I ended up coming up with was…

dnf update may cause a boot into a black screen. Here's how you can reset your computer.

How to synchronize files across many devices automagically

A more thoughtful approach to personal site development

Payjoin is a protocol that uses a simple, clever trick in the way Bitcoin creates transactions to solve many of its problems at once.

Gibbon on the importance of reading and writing to civilization, and what distinguished the Romans from the 'barbarians', i.e. the Germans

Zoroaster founded the world's first monotheistic religion, thereby opening a new chapter in world history.

Content monetization on the internet is broken. Credit card fees prohibit the ability to make small payments for individual pieces of content. Creators have to choose between invading user privacy by selling their data, annoying them with a barrage of ads, or putting up paywalls and forcing them to sign up for subscriptions to continue. The Lightning Network offers a new, alternative monetization strategy in the form of micropayments.