YHacker Newsscreenshots

theorem.dev on Hacker News

2 stories on the front page, newest first. Scroll down to watch the site change over time.

Screenshot of theorem.dev: Lf-lean: The frontier of verified software engineering

Lf-lean: The frontier of verified software engineering (theorem.dev)

37 points by alpaylan 7 months ago | 9 comments

Screenshot of theorem.dev: Systematically generating tests that would have caught Anthropic's top‑K bug

Systematically generating tests that would have caught Anthropic's top‑K bug (theorem.dev)

62 points by jasongross 9 months ago | 17 comments