Writing

Ideas worth writing about.

Coming soon — excited to share more about what we have been working on.

Topics

Formal verification AI agents Enterprise code quality Formal mathematics