Hacker News new | past | comments | ask | show | jobs | submit
3dd3ee | on: LLMs are making formal software verification feasible at a much larger scale
Oh here come the anthropic bot army.
| parent
{"deleted":true,"id":50203219,"parent":50203160,"time":1792717226,"type":"comment"}