Latest posts
- #4
Archway is the top deterministic type-inference tool on TypeEvalPy.
Archway leads every deterministic tool on TypeEvalPy's suites, the first strong signal that our representation is ready to power a new class of analysis for Python.
- #3
What Rust got right: the future is compositional
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 compositional.
- #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.