An enthusiast working across three things — formal methods, AI / agent infrastructure, and the Linux kernel (eBPF). What ties them together, for me, is pushing correctness ahead of runtime: proving a property, or catching it in the kernel, rather than hoping it holds. By day I build workflow and agent-orchestration systems; here I write up what I’m learning across the three.