Loop Engineering: Optimizing Code Generation and Verification (bradleygibbs.dev)

<a href="https://news.ycombinator.com/item?id=50044028">Comments</a>