LAUNCH · SIGNAL STARTUP
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…
出典・元記事Hacker News — Show HNhttps://github.com/untyped-ai/untyped 配信元で続きを読む◆ SOURCE POLICY
公開RSS・Atomから取得した短い概要のみを表示しています。詳細は必ず配信元の記事で確認してください。
公開RSS・Atomから取得した短い概要のみを表示しています。詳細は必ず配信元の記事で確認してください。
SHARE STARTUP