Latest posts
- #3
What Rust got right: the future is composable
Rust is the clearest case study in compile-time safety the industry has. What that proof actually buys, where it stops, and the future Archway is building toward: code that is not only modular but fully composable.
- #2
The State of Provable Software
A tour of formal methods in the agent era: type systems, linters, abstract interpretation, model checking, symbolic execution, proof assistants — and where the field is finally going.
- #1
Trust and Verify
42% of new code is now written by AI. We are trusting AI to review it. Archway is what's missing — a verification layer for the AI era.