Hacker News new | ask | show | jobs
by NackerHughes 188 days ago
It absolutely will not make formal verification go mainstream.

What it will make go mainstream, and in fact has already started to, is “ChatGPT verified it so it must be OK.”