notes & half‑baked thoughts

on formal methods, AI agents, and what I am building