user: namin

741 karma | created 18 years ago

recent submissions

(no title)

24 days ago|discuss

(no title)

24 days ago|discuss

(no title)

24 days ago|discuss

A Very Small SAT Solver (From Haskell) Now in Dafny, Proved Correct with LLMs (github.com)

4 pts|24 days ago|2 comments

Verifying State and Reconciliation in Collaborative Web Apps (midspiral.com)

3 pts|1 month ago|discuss

Show HN: Henri: a small, hackable agent CLI (github.com)

4 pts|1 month ago|discuss

Show HN: Holey: Staged execution from Python to SMT for synthesis (github.com)

4 pts|1 month ago|discuss

Building a React App with Formally Verified State (midspiral.com)

3 pts|2 months ago|discuss

From Intent to Proof: Dafny Verification for Web Apps (midspiral.com)

5 pts|2 months ago|discuss

(no title)

3 months ago|discuss

Show HN: Tiny Hoare logic verifier using SMT (github.com)

12 pts|8 months ago|1 comment

Show HN: Live software archaeology of FOL (theory of reasoning) (io.livecode.ch)

3 pts|8 months ago|discuss

Work with Apps on macOS (help.openai.com)

5 pts|1 year ago|discuss

A Scalable Communication Protocol for Networks of Large Language Models (agoraprotocol.org)

3 pts|1 year ago|discuss

(no title)

1 year ago|discuss

Arc Prize Guide (arcprize.org)

7 pts|1 year ago|1 comment

(no title)

1 year ago|discuss

(no title)

1 year ago|discuss

Show HN: Verified Multi-Step Synthesis Using LLMs and MCTS (arxiv.org)

1 pts|2 years ago|discuss

(no title)

2 years ago|discuss