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

How to Formalize All of Mathematics

HN #50,118,512 | submitted 2026-10-16 14:01 UTC | xenaproject.wordpress.com

44 observationsby practal
53 points
Latest score
47 comments
Latest comments
+52
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 53
2026-10-16 14:06 UTC2026-10-16 17:26 UTC

Comments

Range 0 to 47
2026-10-16 14:06 UTC2026-10-16 17:26 UTC

Observation history

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

First 2026-10-16 14:06 UTCLatest 2026-10-16 17:26 UTC
Observed atScoreCommentsRank
2026-10-16 17:26 UTC5347not tracked
2026-10-16 17:22 UTC5146not tracked
2026-10-16 17:17 UTC5044not tracked
2026-10-16 17:13 UTC4842not tracked
2026-10-16 17:08 UTC4842not tracked
2026-10-16 17:03 UTC4642not tracked
2026-10-16 16:59 UTC4541not tracked
2026-10-16 16:54 UTC4541not tracked
2026-10-16 16:50 UTC4440not tracked
2026-10-16 16:45 UTC4235not tracked
2026-10-16 16:40 UTC4132not tracked
2026-10-16 16:36 UTC4129not tracked
2026-10-16 16:31 UTC4027not tracked
2026-10-16 16:26 UTC3827not tracked
2026-10-16 16:22 UTC3523not tracked
2026-10-16 16:17 UTC3422not tracked
2026-10-16 16:13 UTC3419not tracked
2026-10-16 16:08 UTC3318not tracked
2026-10-16 16:03 UTC3218not tracked
2026-10-16 15:59 UTC3115not tracked
2026-10-16 15:54 UTC2814not tracked
2026-10-16 15:50 UTC2714not tracked
2026-10-16 15:45 UTC2512not tracked
2026-10-16 15:40 UTC2412not tracked
2026-10-16 15:36 UTC2210not tracked
2026-10-16 15:31 UTC207not tracked
2026-10-16 15:26 UTC186not tracked
2026-10-16 15:22 UTC154not tracked
2026-10-16 15:17 UTC134not tracked
2026-10-16 15:12 UTC102not tracked
2026-10-16 15:08 UTC90not tracked
2026-10-16 15:03 UTC50not tracked
2026-10-16 14:59 UTC30not tracked
2026-10-16 14:54 UTC30not tracked
2026-10-16 14:49 UTC20not tracked
2026-10-16 14:45 UTC20not tracked
2026-10-16 14:39 UTC20not tracked
2026-10-16 14:34 UTC20not tracked
2026-10-16 14:29 UTC20not tracked
2026-10-16 14:25 UTC20not tracked
2026-10-16 14:20 UTC20not tracked
2026-10-16 14:15 UTC10not tracked
2026-10-16 14:11 UTC10not tracked
2026-10-16 14:06 UTC10not tracked