reuben brooks

reubenbrooks.dev

Notes on formal methods, AI coding, and whatever else I'm reading.

why we picked it

A personal collection of notes on formal methods and AI coding, with occasional detours into other readings. The site provides a window into one developer's learning journey, offering a quiet corner for those interested in technical deep dives.

Checked with Google Web Risk · 9 hours ago

Visit reubenbrooks.dev ↗ ♡ Save ↻ Surf somewhere else

language: EN
here since: July 2026