Recent Posts
View allLetting agents test HDMI output
Coding agents could change my display driver but not see the screen, so every test waited for me at a monitor. A USB capture device and a classifier gave them a verdict they could read. The questions and go-aheads stayed mine.
Adding HDMI support to the SG2000
With the working SD image preserved, trace an irreplaceable board's display path through boot files, schematics, and Linux drivers. One reversible device-tree change enables the control bus and makes the HDMI bridge's identity registers answer.
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 →