Blog
Shitposting about technology, fast carstrains and simple-minded opinions.
Authorship key: ¯_(^^)/¯ human = a person wrote it, ⚙ assisted = AI drafted it, human rewrote it, ★ vibed = AI wrote it, human nodded.
- self-verifying agents: I built a VT multiplexer I don't understand
The human job in agentic development isn't knowing the domain, it's building the harness that lets agents verify their own work. Pymux is where that workflow fit like a glove.
- ghanix (GitHub Actions workflows as NixOS modules)
ghanix: write GitHub Actions workflows as NixOS modules and get back plain values. Why YAML was the last thing left, what the module system buys, and what it deliberately does not.
- pyedit (super editing powers for agents)
Why I built pyedit: scripted edits for AI agents, staged in memory, merged by git, applied and undone as patches.
- Hello world... Hello Carl!
First post. Why I made this site and what to expect.