backend ok
Story history
Score and comment observations over time
Back to feed

Lean formalization of the Hamilton-Perelman proof of the Poincaré conjecture

HN #49,876,256 | submitted 2026-09-28 11:14 UTC | github.com

47 observationsby nill0
1 points
Latest score
1 comments
Latest comments
0
Score change

Rank history is not tracked yet in the current dataset, so this first slice focuses on score and comment movement.

Score

Range 1 to 1
2026-09-28 11:20 UTC2026-09-28 15:01 UTC

Comments

Range 1 to 1
2026-09-28 11:20 UTC2026-09-28 15:01 UTC

Observation history

Observation times are irregular and reflect when the tracker refreshed this story.

First 2026-09-28 11:20 UTCLatest 2026-09-28 15:01 UTC
Observed atScoreCommentsRank
2026-09-28 15:01 UTC11not tracked
2026-09-28 14:57 UTC11not tracked
2026-09-28 14:52 UTC11not tracked
2026-09-28 14:47 UTC11not tracked
2026-09-28 14:43 UTC11not tracked
2026-09-28 14:38 UTC11not tracked
2026-09-28 14:33 UTC11not tracked
2026-09-28 14:29 UTC11not tracked
2026-09-28 14:24 UTC11not tracked
2026-09-28 14:20 UTC11not tracked
2026-09-28 14:15 UTC11not tracked
2026-09-28 14:10 UTC11not tracked
2026-09-28 14:06 UTC11not tracked
2026-09-28 13:59 UTC11not tracked
2026-09-28 13:54 UTC11not tracked
2026-09-28 13:50 UTC11not tracked
2026-09-28 13:45 UTC11not tracked
2026-09-28 13:40 UTC11not tracked
2026-09-28 13:35 UTC11not tracked
2026-09-28 13:31 UTC11not tracked
2026-09-28 13:26 UTC11not tracked
2026-09-28 13:21 UTC11not tracked
2026-09-28 13:17 UTC11not tracked
2026-09-28 13:12 UTC11not tracked
2026-09-28 13:07 UTC11not tracked
2026-09-28 13:03 UTC11not tracked
2026-09-28 12:55 UTC11not tracked
2026-09-28 12:51 UTC11not tracked
2026-09-28 12:46 UTC11not tracked
2026-09-28 12:42 UTC11not tracked
2026-09-28 12:37 UTC11not tracked
2026-09-28 12:32 UTC11not tracked
2026-09-28 12:28 UTC11not tracked
2026-09-28 12:23 UTC11not tracked
2026-09-28 12:18 UTC11not tracked
2026-09-28 12:14 UTC11not tracked
2026-09-28 12:09 UTC11not tracked
2026-09-28 12:05 UTC11not tracked
2026-09-28 12:00 UTC11not tracked
2026-09-28 11:53 UTC11not tracked
2026-09-28 11:48 UTC11not tracked
2026-09-28 11:43 UTC11not tracked
2026-09-28 11:39 UTC11not tracked
2026-09-28 11:34 UTC11not tracked
2026-09-28 11:30 UTC11not tracked
2026-09-28 11:25 UTC11not tracked
2026-09-28 11:20 UTC11not tracked