namin

743 karmajoined August 9, 2007On HN

Recent submissions

LemmaScript: A Verification Toolchain for TypeScript via Dafny midspiral.com
4namin4modiscuss
Show HN: LemmaScript, a verification toolchain for TypeScript via Dafny github.com/midspiral
5namin4modiscuss
Show HN: Guardians – Verify tool-using agent workflows before execution github.com/metareflection
8namin5modiscuss
Show HN: Lemmafit: Make agents prove that their code is correct github.com/midspiral
7namin6mo5 comments
A Very Small SAT Solver (From Haskell) Now in Dafny, Proved Correct with LLMs github.com/namin
4namin7mo2 comments
Verifying State and Reconciliation in Collaborative Web Apps midspiral.com
3namin7modiscuss
Show HN: Henri: a small, hackable agent CLI github.com/metareflection
4namin8modiscuss
Show HN: Holey: Staged execution from Python to SMT for synthesis github.com/namin
4namin8modiscuss
Building a React App with Formally Verified State midspiral.com
3namin8modiscuss
From Intent to Proof: Dafny Verification for Web Apps midspiral.com
5namin8modiscuss
Show HN: Tiny Hoare logic verifier using SMT github.com/namin
12namin1y1 comment
Show HN: Live software archaeology of FOL (theory of reasoning)io.livecode.ch
3namin1ydiscuss
Work with Apps on macOS help.openai.com
5namin1ydiscuss
A Scalable Communication Protocol for Networks of Large Language Models agoraprotocol.org
3namin1ydiscuss
Arc Prize Guide arcprize.org
7namin2y1 comment
Show HN: Verified Multi-Step Synthesis Using LLMs and MCTS arxiv.org
1namin2ydiscuss
Show HN: LLM Verified with Monte Carlo Tree Search github.com/namin
102namin2y15 comments
Edited Works of Locke earlymoderntexts.com
3namin4ydiscuss
Show HN: Turn GitHub repos into tutorials with code that can be edited and run io.livecode.ch
4namin4y1 comment
Understanding Machine Learning: From Theory to Algorithms (Downloadable Book)cs.huji.ac.il
80namin6y3 comments
UCL Course on Reinforcement Learning including Videos (2015)www0.cs.ucl.ac.uk
2namin8ydiscuss
Defining Intelligence (Stuart Russell)edge.org
2namin9ydiscuss
interactive programming tutorials, powered by GitHub and Docker io.livecode.ch
7namin10ydiscuss
Verified Programming in F*: A Tutorial fstar-lang.org
95namin10y28 comments
Can the Crowd Solve Medical Mysteries?pbs.org
29namin12y2 comments
The Intelligent Plant newyorker.com
1namin12ydiscuss
Listing of Turing lectures amturing.acm.org
3namin12ydiscuss
Debunking AI Doomsday Scenarios ieet.org
5namin12ydiscuss
David Nolen – The Functional Final Frontier (Video)youtube.com
6namin12ydiscuss
Racket is ...ccs.neu.edu
4namin13ydiscuss

All submissions and comments on Hacker News.