Hacker News new | past | comments | ask | show | jobs | submit
12367-172 | on: LLMs are making formal software verification feasible at a much larger scale
I don't know what they expect people to do. Start a luxury porn company like Amodei's wife?