Skip to content

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

henryrobbins00

70 karmajoined December 23, 2025On HN

Recent submissions

Dynamic Documents as Personal Software (Geoffrey Litt)youtube.com
2henryrobbins005hdiscuss
Flare: Verifying MILP Reformulations with LLM-Based Theorem Proving arxiv.org
2henryrobbins0015ddiscuss
Grok is a surprisingly good automated theorem prover
3henryrobbins001mo1 comment
Show HN: OpenATP: A platform for automated theorem proving in Lean github.com/henryrobbins
3henryrobbins002modiscuss
Show HN: A website to track live music attendance showcount.com
3henryrobbins005mo1 comment

All submissions and comments on Hacker News.

AboutSource Built by g1lg1l

Hackerly is an independent reader for Hacker News, built on the public HN API. Not affiliated with Y Combinator.