|
|
|
|
|
|
by theamk
54 days ago
|
|
|
You still have to review LLM results. But LLMs let you skip all the boring parts - setting up harness, writing some initial inputs, adding asserts for every output. And then _you_ get to do actually important stuff, like ensuring square has 4 vertices. |
|
|