namin

Recent Submissions

1. 1. ▲ Verifying State and Reconciliation in Collaborative Web Apps (midspiral.com) 3 points · 20 days ago · 0 comments
2. 2. ▲ Show HN: Henri: a small, hackable agent CLI (github.com) 4 points · 22 days ago · 0 comments
3. 3. ▲ Show HN: Holey: Staged execution from Python to SMT for synthesis (github.com) 4 points · 22 days ago · 0 comments
4. 4. ▲ Building a React App with Formally Verified State (midspiral.com) 3 points · 1 month ago · 0 comments
5. 5. ▲ From Intent to Proof: Dafny Verification for Web Apps (midspiral.com) 5 points · 1 month ago · 0 comments
6. 6. ▲ Show HN: Tiny Hoare logic verifier using SMT (github.com) 12 points · 7 months ago · 1 comment
7. 7. ▲ Show HN: Live software archaeology of FOL (theory of reasoning) (io.livecode.ch) 3 points · 8 months ago · 0 comments
8. 8. ▲ Work with Apps on macOS (help.openai.com) 5 points · 1 year ago · 0 comments
9. 9. ▲ A Scalable Communication Protocol for Networks of Large Language Models (agoraprotocol.org) 3 points · 1 year ago · 0 comments
10. 10. ▲ Arc Prize Guide (arcprize.org) 7 points · 1 year ago · 1 comment