> I haven't done any exhaustive checking on it yet, but it certainly looks passa... | Hacker News

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

NooneAtAll3 34 days ago | parent | context | favorite | on: Can LLMs model real-world systems in TLA+?

> I haven't done any exhaustive checking on it yet, but it certainly looks passable.

isn't that exactly the kind of fails LLMs do the most? first-glance-passable nonsense?

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact