Proof test article
This is a short test post to validate that proofs created on dev match snapshots created on main.
Articles
Fast feedback loops
Fast feedback is the simplest performance optimization: make it cheap to learn.
Compact representations
When structure is explicit, it can be reasoned about. When it is compact, it can be scaled.