pocoo
Technical writing on agentic systems, protocols, and building in public.
-
Maxwell's Demon and the honest work ledger
Landauer showed that erasing one bit of information dissipates kT ln 2 of heat. The honest work ledger is Maxwell's Demon: it converts raw compute into verifiable truth, and thermodynamics sets the price.
-
Compiling multi-agent topology ahead of time with MLIR
Two MLIR dialects, three passes, and a staged adoption plan for ahead-of-time-compiling the structural guarantees a multi-agent runtime depends on.
-
Stigmergy: routing without asking
Ants don't ask each other where the food is. They read the pheromone trail. The Vaked swarm routes compute the same way — agents query historical latency logs rather than the network.
-
Vaked: a capability language above Nix, not a replacement
Vaked declares typed capability graphs and compiles them to boring artifacts. It is not a Nix replacement. Here is what that distinction actually means.
-
Parallel by default: a 3.7x shell speedup with Nushell par-each
We swapped a bash/Amber task runner for Nushell and got a measured 3.7x on fan-out work. Here's the benchmark, why par-each wins, and why Nix - not the shell - is what actually keeps it reproducible.
-
Reduce till it's a constant: turning config functions into kernel modules
We model compiled config functions as a small lambda IR and reduce them - known config folds to a compiled-in constant, unknown config stays a minimal residual. One IR targets a MirageOS unikernel and the MyThOS microkernel. Plus: two plausible-but-fake APIs our emitter invented, and how grounding and an independent review caught them.