Hacker News new | past | comments | ask | show | jobs | submit
3dd3ee | on: LLMs are making formal software verification feasible at a much larger scale
[flagged]
3dd3ee | parent
Oh here come the anthropic bot army.
loading story #50203212
loading story #50203219