namin

Recent Submissions

1. 1. ▲ Show HN: Tiny Hoare logic verifier using SMT (github.com) 12 points · 6 months ago · 1 comment
2. 2. ▲ Show HN: Live software archaeology of FOL (theory of reasoning) (io.livecode.ch) 3 points · 6 months ago · 0 comments
3. 3. ▲ Work with Apps on macOS (help.openai.com) 5 points · 1 year ago · 0 comments
4. 4. ▲ A Scalable Communication Protocol for Networks of Large Language Models (agoraprotocol.org) 3 points · 1 year ago · 0 comments
5. 5. ▲ Arc Prize Guide (arcprize.org) 7 points · 1 year ago · 1 comment
6. 6. ▲ Show HN: Verified Multi-Step Synthesis Using LLMs and MCTS (arxiv.org) 1 point · 1 year ago · 0 comments
7. 7. ▲ Show HN: LLM Verified with Monte Carlo Tree Search (github.com) 102 points · 2 years ago · 15 comments
8. 8. ▲ Edited Works of Locke (earlymoderntexts.com) 3 points · 3 years ago · 0 comments
9. 9. ▲ Show HN: Turn GitHub repos into tutorials with code that can be edited and run (io.livecode.ch) 4 points · 3 years ago · 1 comment
10. 10. ▲ Understanding Machine Learning: From Theory to Algorithms (Downloadable Book) (cs.huji.ac.il) 80 points · 5 years ago · 3 comments