namin | Dark Hacker News

user:	namin
created:	August 9, 2007
karma:	743

1.	LemmaScript: A Verification Toolchain for TypeScript via Dafny(midspiral.com) 4 points by namin 39 days ago \| 0 comments
2.	Show HN: LemmaScript, a verification toolchain for TypeScript via Dafny(github.com) 5 points by namin 41 days ago \| 0 comments
3.	Show HN: Guardians – Verify tool-using agent workflows before execution(github.com) 8 points by namin 53 days ago \| 0 comments
4.	Show HN: Lemmafit: Make agents prove that their code is correct(github.com) 7 points by namin 85 days ago \| 5 comments
5.	115 days ago \| discuss
6.	A Very Small SAT Solver (From Haskell) Now in Dafny, Proved Correct with LLMs(github.com) 4 points by namin 115 days ago \| 2 comments
7.	Verifying State and Reconciliation in Collaborative Web Apps(midspiral.com) 3 points by namin 138 days ago \| 0 comments
8.	Show HN: Henri: a small, hackable agent CLI(github.com) 4 points by namin 139 days ago \| 0 comments
9.	Show HN: Holey: Staged execution from Python to SMT for synthesis(github.com) 4 points by namin 139 days ago \| 0 comments
10.	Building a React App with Formally Verified State(midspiral.com) 3 points by namin 153 days ago \| 0 comments
11.	From Intent to Proof: Dafny Verification for Web Apps(midspiral.com) 5 points by namin 157 days ago \| 0 comments
12.	Show HN: Tiny Hoare logic verifier using SMT(github.com) 12 points by namin 348 days ago \| 1 comment
13.	Show HN: Live software archaeology of FOL (theory of reasoning)(io.livecode.ch) 3 points by namin 358 days ago \| 0 comments
14.	Work with Apps on macOS(help.openai.com) 5 points by namin 1 year ago \| 0 comments
15.	A Scalable Communication Protocol for Networks of Large Language Models(agoraprotocol.org) 3 points by namin 1 year ago \| 0 comments
16.	Arc Prize Guide(arcprize.org) 7 points by namin 1 year ago \| 1 comment
17.	Show HN: Verified Multi-Step Synthesis Using LLMs and MCTS(arxiv.org) 1 points by namin 2 years ago \| 0 comments