HN
Hacker News
Top
New
Best
Ask
Show
Jobs
henryrobbins00
70 karma · joined December 23, 2025
submissions
comments
Dynamic Documents as Personal Software (Geoffrey Litt)
youtube.com
·
2 pts
·
henryrobbins00
·
0
Flare: Verifying MILP Reformulations with LLM-Based Theorem Proving
arxiv.org
·
2 pts
·
henryrobbins00
·
0
Grok is a surprisingly good automated theorem prover
3 pts
·
henryrobbins00
·
1
Show HN: OpenATP: A platform for automated theorem proving in Lean
github.com
·
3 pts
·
henryrobbins00
·
0
Show HN: A website to track live music attendance
showcount.com
·
3 pts
·
henryrobbins00
·
1