Few months back with ChatGPT 5. Multi-threaded Rust & custom async runtime, data... | Hacker News

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

oxag3n 9 months ago | parent | context | favorite | on: AI will make formal verification go mainstream

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

Consider applying for YC's Winter 2027 batch! Applications are open till November 2.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact