Software engineer, 30 years. Run a dev shop for 20+ years. Into distributed systems, cryptography, and formal verification. Currently obsessed with the trust problem in AI agents. Building in public.