1LemmaScript: A Verification Toolchain for TypeScript via Dafny (opens in new tab)(midspiral.com)4namin2mo ago0Save
2Show HN: LemmaScript, a verification toolchain for TypeScript via Dafny (opens in new tab)(github.com)GitHub5namin2mo ago0Save
3Show HN: Guardians – Verify tool-using agent workflows before execution (opens in new tab)(github.com)GitHub8namin2mo ago0Save
4Show HN: Lemmafit: Make agents prove that their code is correct (opens in new tab)(github.com)GitHub7namin3mo ago5Save
5A Very Small SAT Solver (From Haskell) Now in Dafny, Proved Correct with LLMs (opens in new tab)(github.com)GitHub4namin4mo ago2Save
6Verifying State and Reconciliation in Collaborative Web Apps (opens in new tab)(midspiral.com)3namin5mo ago0Save
8Show HN: Holey: Staged execution from Python to SMT for synthesis (opens in new tab)(github.com)GitHub4namin5mo ago0Save
9Building a React App with Formally Verified State (opens in new tab)(midspiral.com)3namin5mo ago0Save
10From Intent to Proof: Dafny Verification for Web Apps (opens in new tab)(midspiral.com)5namin6mo ago0Save
11Show HN: Tiny Hoare logic verifier using SMT (opens in new tab)(github.com)GitHub12namin1y ago1Save
12Show HN: Live software archaeology of FOL (theory of reasoning) (opens in new tab)(io.livecode.ch)3namin1y ago0Save
14A Scalable Communication Protocol for Networks of Large Language Models (opens in new tab)(agoraprotocol.org)3namin1y ago0Save
