Tagged software
- Kai Devlog #6: κατακλυσμός!Blog
Refactoring Kai's plugin schema while adding better errors, system management, deployment, ISO creation, SOPS secrets, and backend escape hatches.
- Kai Devlog #5: Conceptual Integrity and Being a Better ProgrammerBlog
Building Kai for the long term through conceptual integrity, better tools, deliberate practice, and dogfooding.
- Kai Devlog #4: Environment, Task, Build, WorkflowBlog
Expanding Kai with reusable environments, runnable tasks, composable workflows, portable builds, and overlays.
- Kai Devlog #3: Custom DSL & Plugin ModulesBlog
Replacing Kai's embedded Roc config with a custom DSL and making plugin modules simpler, reusable, and validated.
- Kai Devlog #2: ModularityBlog
Building Kai around replaceable commands, extensible plugins, and custom determinate backends.
- Kai Devlog #1: BoundariesBlog
Finding the right boundary between Kai's simple configuration and Nix's power.
- Packaging Roc Nightlies with a Nix Flake and OverlayBlog
Packaging official Roc nightly compiler binaries reproducibly with a Nix flake and overlay.
- Prototyping a friendlier frontend for determinate computingArticle
Making determinate computing friendly by building a modular frontend for Nix, Guix, and future reproducible systems.
- Lyceum: A New Ancient Greek Digital Library For A Post-LLM WorldArticle
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.
- Introducing Lyceum: A Modern Interface for Reading Ancient Greek TextsArticle
Lyceum is a modern interface for reading Ancient Greek works in their original language, with interlinear translations, morphology, and spaced-repetition vocabulary learning.
- Automating Site Deployment for an `nb` -> Github -> VPS SetupBlog
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…
- Hard Reset Asahi Linux After Boot Error and Data BackupBlog
dnf update may cause a boot into a black screen. Here's how you can reset your computer.
- File Synchronization For All Your Devices with SyncthingBlog
How to synchronize files across many devices automagically