straight up asking codex to do test amplification on our unit test suite based on our code and past bugs works great
lmeyerov on Hacker News
90% is fine
In the thread “AI is forcing us to write good code”
Helped: Test amplification and porting conformance tests from standards.
Got in the way: Alloy model checker experiments were lukewarm and found no bugs.
… One item I'm hoping is AI coders get better at is using static analysis tools and verification tools. My experiments here have been lukewarm/bad, like adding an Alloy model checker for some parts of GFQL (GPU graph query language) took a lot of prodding and found no bugs, but straight up asking codex to do test amplification on our unit test suite based on our code and past bugs works great. Likewise, it's easy to make it port conformance tests from standards and help with making our docs executable to help prevent drift. …