Skip to content

Dan Abramov personal blog

The Math Is Haunted

overreacted.io

A taste of Lean.

Read on overreacted.io → Discuss on HN (194) Archived copy

Points: 409
HN comments: 194
Submissions: 1
Cited by: 0 commenters

Math & Algorithms Software Engineering 2025

On Hacker News

Submitted	Title on HN	Points	Comments
Jul 30, 2025	The Math Is Haunted by danabramov	409	194

More from Dan Abramov

All 23 posts →

Goodbye, Clean Code

20201,678 points1,117 commentscited by 7Software Engineering details

Open Social

2025991 points388 commentscited by 7Society, Policy & Culture details

Npm Audit: broken by design?

2021872 points259 commentscited by 10Security & Privacy details

Things I Don’t Know as of 2018

2018753 points323 commentscited by 9Life, Learning & Writing details

Progressive JSON

2025575 points235 comments Web & Frontend details

There are no instances in ATProto

2026537 points315 commentscited by 3Networking & Internet details

Related posts from the same era

Airfoil

Bartosz Ciechanowski20242,544 points356 commentscited by 8 details

Learning to Reason with LLMs

OpenAI Blog20241,654 points1,261 commentscited by 18 details

An OpenAI model has disproved a central conjecture in discrete geometry

OpenAI Blog20261,429 points1,055 commentscited by 13 details

AI solves International Math Olympiad problems at silver medal level

Google DeepMind20241,370 points525 commentscited by 16 details

Sharing AI progress in mathematics

OpenAI Blog20261,363 points1,539 comments details

On the Navier–Stokes Millennium Prize Problem

OpenAI Blog20261,346 points1,137 commentscited by 21 details