Submissions from github.com/namin

		A Very Small SAT Solver (From Haskell) Now in Dafny, Proved Correct with LLMs (github.com/namin)
		4 points by namin 21 days ago \| past \| 2 comments
		Show HN: Holey: Staged execution from Python to SMT for synthesis (github.com/namin)
		4 points by namin 46 days ago \| past
		Show HN: Tiny Hoare logic verifier using SMT (github.com/namin)
		12 points by namin 8 months ago \| past \| 1 comment
		Show HN: LLM Verified with Monte Carlo Tree Search (github.com/namin)
		102 points by namin on Nov 11, 2023 \| past \| 15 comments
		Explorations of multi-stage logic programming in miniKanren (github.com/namin)
		1 point by tosh on May 28, 2021 \| past
		inc: step-by-step development of a Scheme-to-x86 compiler (github.com/namin)
		2 points by tosh on May 9, 2021 \| past
		Collapsing Towers of Interpreters (In Scheme) (github.com/namin)
		1 point by tosh on April 18, 2019 \| past
		Step-by-step development of a Scheme-to-x86 compiler (github.com/namin)
		108 points by akkartik on Feb 11, 2017 \| past
		Generate JavaScript from DSL code to enable backend/frontend validation sharing (github.com/namin)
		2 points by iso8859-1 on May 29, 2013 \| past