Loop Engineering: Optimizing Code Generation and Verification | Dark Hacker News