Kai Devlog #7: Triumph of Roc
Apologies in advance for the brief post. More details to come soon.
Read
Brandon Lucas
Βράνδων Λουκᾶς
Writing on software, history and philosophy; building Kai and Lyceum.
Βράνδων Λουκᾶς
Writing on software, history and philosophy; building Kai and Lyceum.
Article ·
Making determinate computing friendly by building a modular frontend for Nix, Guix, and future reproducible systems.
Article ·
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.
Article ·
Our doubts are traitors and make us lose the good we oft might win by fearing to attempt
Article ·
Payjoin is a protocol that uses a simple, clever trick in the way Bitcoin creates transactions to solve many of its problems at once.
Article ·
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,…
Apologies in advance for the brief post. More details to come soon.
ReadRefactoring 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.
Lyceum now has glosses and side-by-side prose translations for many New Testament works.
Lyceum now supports passkeys for easier, safer, more private logins!
Kai Devlog #7: Triumph of Roc
A friendly frontend for determinate computing.
Latest: Kai Devlog #7: Triumph of Roc
A modern interface for reading Ancient Greek texts.
Latest: 13 October 2026
An open source, accountless PWA visualizer for CoNLL-U files.
Install and pin nightly Roc compiler builds reproducibly with Nix.
Latest: Packaging Roc Nightlies with a Nix Flake and Overlay
A zero-dependency QR code web component for BIP-21 Bitcoin and Lightning payments.
Latest: <bitcoin-qr/> - A Zero-Dependency Web Component for Stylish BIP-21 Payments
Someone who asked, ‘why believe what is true?’ or ‘why want what is good?’ has failed to understand the nature of reasoning. He doesn’t see that, if we are to justify our beliefs and desires at all, then our reasons must be anchored in the true and the good.
I'm a software engineer, mostly in Bitcoin: Lightning payments at Voltage and privacy at Payjoin. I'm learning Ancient Greek, and read history and philosophy.
About · Quotes · Books · Talks · Contributions · Technology · Old projects