Software
Outside of work, I spend a lot of time developing software of my own. Here are some of the software projects which I’ve released publicly so far.
dejima
Sandboxed development environment for unsupervised agentic work, which assumes and bounds the blast radius of a hostile, compromised agent
02dejima-devbox-hardener
Hardens a development VM, bounds what it can reach on your network if compromised, and tells you what that bound actually is
03dejima-guard
Watches a devbox for suspicious changes and alerts you when they occur, with a dead-man's switch so you're also alerted if the guard goes down
04dejima-ci-hardener
Hardens a continuous integration runner host that executes agent-authored code on every pull request, and gives its jobs as little as possible to execute it with
05dotcom-arcade
Self-hosted flash game arcade for Flashpoint Ultimate, focused on game discovery, game support coverage, and theming. Not affiliated with the Flashpoint project.
06songtrace
Self-hosted karaoke chart builder for UltraStar and compatible games.
07Insta360 Link Tools
Tools for operating an Insta360 Link 2 camera on Linux
08dotfiles
The dotfiles that I use. Includes an installer to set up from a fresh Arch Linux install
09qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families