How long ago was this? I've had outstansingly impressive results asking Copilot ... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		jimmaswell 1 day ago \| parent \| context \| favorite \| on: AI will make formal verification go mainstream How long ago was this? I've had outstansingly impressive results asking Copilot Chat with Sonnet 4.5 or ChatGPT to debug difficult multithreaded C++.

oxag3n 1 day ago [–]

Few months back with ChatGPT 5. Multi-threaded Rust & custom async runtime, data integrity bug, reproduced every ~5th run.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact