Recent Posts
View allLetting agents test HDMI output
HDMI feedback loop for agentic hardware development.
Adding HDMI support to the SG2000
My one-of-a-kind dev board needed a display driver to make its HDMI port work. I started with a smaller goal: getting Linux to talk to the chip behind it.
Built and running
BillTracker · legislative tracking for advocacy orgs · a few thousand users · the same droplet and script serve this site
live · billtracker.site· How it's deployed · Elixir/Phoenix LiveView · PostgreSQL · Oban · NixOS
Build and deploy infrastructure · A Nix remote builder isolated in a microVM on a shared host, the host's Nix store shared into it, and one-script deploys to a single droplet.
finished · 3 posts →
Linux drivers and bring-up · A DSI host driver for the SG2000 on a mainline kernel, debugged by diffing registers against the vendor image.
in progress · 2 posts →· BadgeOS #7
Kernel security · Kernel exploits rebuilt as Nix derivations, and the page-cache bug the build sandbox can't contain.
finished · 2 posts →