Hacker News: damianabramovhttps://news.ycombinator.com/user?id=damianabramovHacker News RSShttps://hnrss.org/hnrss v2.1.1Sat, 24 Oct 2026 15:16:37 +0000<![CDATA[Show HN: Untyped – check recorded agent runs against a TLA+ spec]]>Hi, lots of talk about TLA+ lately, so I just published my work on the topic. The tool checks an agent harness design and its recorded runs to find invariant breaks. I believe it will help make your code hold up under retries and crashes. Sure you know your invariants?

Comments URL: https://news.ycombinator.com/item?id=49953789

Points: 2

# Comments: 0

]]>Sun, 04 Oct 2026 13:33:01 +0000https://github.com/untyped-ai/untypeddamianabramovhttps://news.ycombinator.com/item?id=49953789https://news.ycombinator.com/item?id=49953789