Andy Smith Follow me

formal-methods 1 post

Infrastructure as a formal system
Aug 17

Topics

ai-agents 45
automation 16
claude-code 12
self-hosting 9
ai-agent 8
writing 8
blogging 7
llm 7
sandboxing 7
nixos 6
entrepreneurship 5
kubernetes 5

Archive

2026
2025

Andy Smith · Progress · Contacts · RSS