No
I tried to get ChatGPT to help--o3 pro--and it kept on suggesting a concurrency problem
GMoromisato on Hacker News
In the thread “To be a better programmer, write little proofs in your head”
Got in the way: Kept suggesting concurrency issue despite evidence to the contrary.
… And with sufficient logging, I proved that an object was not being deleted during marking, but the marking thread crashed anyway. [Quick aside: I tried to get ChatGPT to help--o3 pro--and it kept on suggesting a concurrency problem. I could never really convince it that all threads were stopped. …