Matt Horn

Software and security engineering. This page is an interactive terminal when JavaScript runs; either way, everything is an ordinary page you can open directly.

I’m Matt Horn. I’ve spent twelve years in software and security engineering building AI serving data planes, sovereign cloud deployments, and identity control planes at Google, OpenAI, AWS, and Twilio (resume). Most of my work sits where distributed-systems reliability meets security: overload and cost-exhaustion defenses, high-throughput authorization, and formal verification in Lean 4.

I write here occasionally: essays on security and AI, write-ups of things I’ve built, and once in a while some very short fiction.

GitHub · LinkedIn · Resume · matt [at] matthorn [dot] io

Posts

• How one Manhattan power room took down FAA air traffic control and disrupted 1,174 flights 2026-10-18
• protonctl: a local, read-only MCP server for Proton 2026-10-17
• Dismissing AI code as slop misses the real risk 2026-09-13
• Three Claude skills for career, finance, and writing 2026-08-05
• The A320 power transfer unit 2026-08-04
• When a correct proof is a lie: honesty gates for a Lean library 2026-08-01
• A lesson engine in plain files 2026-07-24
• This homepage is a terminal 2026-07-05
• Daily CP437 block art on a kitchen receipt printer 2026-07-04
• Security is becoming an epidemiology problem 2026-04-11
• The Seahorse Emoji 2026-03-27

Personal site; views are my own, not any employer's. © 2026 Matt Horn · CC BY-ND 4.0