Wed, Aug 19 03:09 AM

Palomar: A registry of Lean verified mathematics

Hacker News•Wed, Aug 19, 2026, 02:41 AM•2 min read

2 points, 0 comments on Hacker News

Source: [Hacker News](https://terrytao.wordpress.com/2026/08/18/palomar-a-registry-of-lean-verified-mathematics/)

📰 Read Full Story

This is an aggregated headline summary. For the complete report, visit the original publisher.

Continue Reading at Hacker News ↗

#tech #palomar #registry #lean #verified #mathematics

More Headlines

TechnologyHacker News• 5m ago

Ask HN: How are front end friends doing these days?

With the popularity of AI tools, how are front-end folks doing? BG: My company recently laid off a group of people, most of them from R&D, and among R&D, most were front-end.

TechnologyHacker News• 6m ago

Japan's Gen X workers are struggling

1 points, 0 comments on Hacker News

TechnologyHacker News• 8m ago

Cosmological natural selection: evolution beyond biology

1 points, 0 comments on Hacker News

TechnologyHacker News• 8m ago

How Claude is accelerating protein design and analytical chemistry

1 points, 0 comments on Hacker News

TechnologyHacker News• 8m ago

Does anyone care about HR?

I am working on some HR tech that doesn't really exist today, but does HR matter? I mean it was just 10 years ago when HR was just starting to be measurable, not we have AI, automation, etc. But do founders, CEO's etc.

TechnologyHacker News• 9m ago

Will Autonomous AI Exceed AI-Aided Physicians as the Best Medical Care?

1 points, 0 comments on Hacker News