Βράνδων Λουκᾶς
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,…
Refactoring Kai's plugin schema while adding better errors, system management, deployment, ISO creation, SOPS secrets, and backend escape hatches.
ReadBuilding 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.
It’s strange in that it feels economically wasteful to keep building if your tokens are spent or if the models are being throttled that day. Like if the internet went out before. Switching to higher-level thinking or reading something is…
Email being un-self-hostable and captured yet universal for auth online is really sad. Seems to me sites should move toward deprecating them in favor of passkeys or SSO and just asking for them for account recovery purposes until we figure…
Schopenhauer on dead languages: they are deterministic!
A friendly frontend for determinate computing.
Latest: Kai Devlog #6: κατακλυσμός!
A modern interface for reading Ancient Greek texts.
Latest: Lyceum: A New Ancient Greek Digital Library For A Post-LLM World
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