Βράνδων Λουκᾶς
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,…
Introducing apo, a free and open-source CLI that uses LLMs to generate word-by-word glosses and prose translations of Ancient Greek.
ReadApologies 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.
Announcing Lyceum Study!
The latest data release for Lyceum is out! Newly added are the complete New Testament Romans and Plato’s Crito enhanced with contextual glosses and verse-by-verse prose translations.
“Software as legos”, mutable, porous, adaptable, modular, becomes higher-yield as personalization continues to cheapen.
A friendly frontend for determinate computing.
Latest: Kai Devlog #7: Triumph of Roc
A modern interface for reading Ancient Greek texts.
Latest: Prototyping a Tool for Ancient Greek LLM Gloss Generation
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