| 1. | | Show HN: Lemmafit: Make agents prove that their code is correct (github.com/midspiral) |
| 7 points by namin 17 days ago | past | 5 comments |
|
| 2. | | A Very Small SAT Solver (From Haskell) Now in Dafny, Proved Correct with LLMs (github.com/namin) |
| 4 points by namin 48 days ago | past | 2 comments |
|
| 3. | | Verifying State and Reconciliation in Collaborative Web Apps (midspiral.com) |
| 3 points by namin 70 days ago | past |
|
| 4. | | Show HN: Henri: a small, hackable agent CLI (github.com/metareflection) |
| 4 points by namin 72 days ago | past |
|
| 5. | | Show HN: Holey: Staged execution from Python to SMT for synthesis (github.com/namin) |
| 4 points by namin 72 days ago | past |
|
| 6. | | Building a React App with Formally Verified State (midspiral.com) |
| 3 points by namin 85 days ago | past |
|
| 7. | | From Intent to Proof: Dafny Verification for Web Apps (midspiral.com) |
| 5 points by namin 89 days ago | past |
|
| 8. | | Show HN: Tiny Hoare logic verifier using SMT (github.com/namin) |
| 12 points by namin 9 months ago | past | 1 comment |
|
| 9. | | Show HN: Live software archaeology of FOL (theory of reasoning) (livecode.ch) |
| 3 points by namin 9 months ago | past |
|
| 10. | | Work with Apps on macOS (help.openai.com) |
| 5 points by namin on Nov 15, 2024 | past |
|
| 11. | | A Scalable Communication Protocol for Networks of Large Language Models (agoraprotocol.org) |
| 3 points by namin on Nov 7, 2024 | past |
|
| 12. | | [dupe] Arc Prize Guide (arcprize.org) |
| 7 points by namin on June 11, 2024 | past | 1 comment |
|
| 13. | | Show HN: Verified Multi-Step Synthesis Using LLMs and MCTS (arxiv.org) |
| 1 point by namin on Feb 23, 2024 | past |
|
| 14. | | Show HN: LLM Verified with Monte Carlo Tree Search (github.com/namin) |
| 102 points by namin on Nov 11, 2023 | past | 15 comments |
|
| 15. | | Edited Works of Locke (earlymoderntexts.com) |
| 3 points by namin on May 20, 2022 | past |
|
| 16. | | Show HN: Turn GitHub repos into tutorials with code that can be edited and run (livecode.ch) |
| 4 points by namin on May 1, 2022 | past | 1 comment |
|
| 17. | | Understanding Machine Learning: From Theory to Algorithms (Downloadable Book) (huji.ac.il) |
| 80 points by namin on Dec 21, 2019 | past | 3 comments |
|
| 18. | | UCL Course on Reinforcement Learning including Videos (2015) (ucl.ac.uk) |
| 2 points by namin on Nov 14, 2017 | past |
|
| 19. | | Defining Intelligence (Stuart Russell) (edge.org) |
| 2 points by namin on Feb 9, 2017 | past |
|
| 20. | | interactive programming tutorials, powered by GitHub and Docker (livecode.ch) |
| 7 points by namin on April 1, 2016 | past |
|
| 21. | | Verified Programming in F*: A Tutorial (fstar-lang.org) |
| 95 points by namin on Jan 21, 2016 | past | 28 comments |
|
| 22. | | Can the Crowd Solve Medical Mysteries? (pbs.org) |
| 29 points by namin on Aug 23, 2014 | past | 2 comments |
|
| 23. | | The Intelligent Plant (newyorker.com) |
| 1 point by namin on Aug 8, 2014 | past |
|
| 24. | | Listing of Turing lectures (acm.org) |
| 3 points by namin on July 30, 2014 | past |
|
| 25. | | Debunking AI Doomsday Scenarios (ieet.org) |
| 5 points by namin on July 29, 2014 | past |
|
| 26. | | David Nolen – The Functional Final Frontier (Video) (youtube.com) |
| 6 points by namin on March 29, 2014 | past |
|
| 27. | | Racket is ... (neu.edu) |
| 4 points by namin on April 25, 2013 | past |
|
| 28. | | Computer Systems Lab Assignments for Self-Study (cmu.edu) |
| 2 points by namin on April 16, 2013 | past |
|
| 29. | | Functional Differential Geometry (csail.mit.edu) |
| 2 points by namin on Nov 14, 2012 | past |
|
| 30. | | Amb: A Redex Tutorial (racket-lang.org) |
| 26 points by namin on Sept 9, 2012 | past | 3 comments |
|
|
| More |
