3 ms·

I wish I could've one shoted this 200 LoC PR: https://github.com/ncruces/wasm2go/pull/42/changes#diff-5181f8745abc6d98fdef013bc2eab391642e4af2b3e499e4baefb0f939

by ncruces 4mo ago

I wish I could've one shoted this 200 LoC PR: https://github.com/ncruces/wasm2go/pull/42/changes#diff-5181f8745abc6d98fdef013bc2eab391642e4af2b3e499e4baefb0f939134ce6 https://github.com/ncruces/wasm2go/pull/42/changes#diff-5181... I'd really like to know the prompt, because I did try and, this took me way too long to figure out.

sdesol 4mo ago
The AI agreed > There isn’t a magic prompt I could have written before knowing the solution. A retrospective prompt can reproduce the 200 lines only because it embeds the invariants you discovered. The useful AI task would have been systematically finding counterexamples and iterating toward those invariants, not generating the final file in one shot. For me the value with AI isn't the one shot, it is the fact that it can help you iterate faster. My biggest take awway so far with AI is it can help you fail fast. The faster you can fail, the faster you can iterate.