namin

Posts

• Show HN: Tiny Hoare logic verifier using SMT
  by naminon 6/18/2025, 12:49 AMwith 1 comments
• Show HN: Live software archaeology of FOL (theory of reasoning)
  by naminon 6/8/2025, 2:52 AMwith 0 comments
• Work with Apps on macOS
  by naminon 11/15/2024, 12:09 PMwith 0 comments
• A Scalable Communication Protocol for Networks of Large Language Models
  by naminon 11/7/2024, 6:14 AMwith 0 comments
• Arc Prize Guide
  by naminon 6/11/2024, 8:12 PMwith 1 comments
• Show HN: Verified Multi-Step Synthesis Using LLMs and MCTS
  by naminon 2/23/2024, 1:04 AMwith 0 comments
• Show HN: LLM Verified with Monte Carlo Tree Search
  by naminon 11/11/2023, 10:52 PMwith 15 comments
• Edited Works of Locke
  by naminon 5/20/2022, 6:59 AMwith 0 comments
• Show HN: Turn GitHub repos into tutorials with code that can be edited and run
  by naminon 5/1/2022, 10:25 AMwith 1 comments
• Understanding Machine Learning: From Theory to Algorithms (Downloadable Book)
  by naminon 12/21/2019, 11:38 PMwith 3 comments
• UCL Course on Reinforcement Learning including Videos (2015)
  by naminon 11/14/2017, 6:40 PMwith 0 comments
• Defining Intelligence (Stuart Russell)
  by naminon 2/9/2017, 8:14 PMwith 0 comments
• interactive programming tutorials, powered by GitHub and Docker
  by naminon 4/1/2016, 11:42 PMwith 0 comments
• Verified Programming in F*: A Tutorial
  by naminon 1/21/2016, 11:10 PMwith 28 comments
• Can the Crowd Solve Medical Mysteries?
  by naminon 8/23/2014, 1:02 PMwith 2 comments