Hacker News new | ask | show | jobs
user: namin
created: 2007-08-09
karma: 743

submissions:

LemmaScript: A Verification Toolchain for TypeScript via Dafny
4 points | 0 comments
Show HN: LemmaScript, a verification toolchain for TypeScript via Dafny
5 points | 0 comments
Show HN: Guardians – Verify tool-using agent workflows before execution
8 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
Show HN: Lemmafit: Make agents prove that their code is correct
7 points | 5 comments
0 points | 0 comments
A Very Small SAT Solver (From Haskell) Now in Dafny, Proved Correct with LLMs
4 points | 2 comments
Verifying State and Reconciliation in Collaborative Web Apps
3 points | 0 comments
Show HN: Henri: a small, hackable agent CLI
4 points | 0 comments
Show HN: Holey: Staged execution from Python to SMT for synthesis
4 points | 0 comments
Building a React App with Formally Verified State
3 points | 0 comments
From Intent to Proof: Dafny Verification for Web Apps
5 points | 0 comments
0 points | 0 comments
Show HN: Tiny Hoare logic verifier using SMT
12 points | 1 comments
Show HN: Live software archaeology of FOL (theory of reasoning)
3 points | 0 comments
Work with Apps on macOS
5 points | 0 comments
A Scalable Communication Protocol for Networks of Large Language Models
3 points | 0 comments
0 points | 0 comments
Arc Prize Guide
7 points | 1 comments
0 points | 0 comments
0 points | 0 comments
Show HN: Verified Multi-Step Synthesis Using LLMs and MCTS
1 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments