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

Ruby-lean: A Ruby semantics with a type soundness proof

HN #49,947,499 | submitted 2026-10-03 20:33 UTC | samx.io

95 observationsby rajangdavis
1 points
Latest score
0 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-10-03 20:36 UTC2026-10-04 04:01 UTC

Comments

Range 0 to 0
2026-10-03 20:36 UTC2026-10-04 04:01 UTC

Observation history

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

First 2026-10-03 20:36 UTCLatest 2026-10-04 04:01 UTC
Observed atScoreCommentsRank
2026-10-04 04:01 UTC10not tracked
2026-10-04 03:56 UTC10not tracked
2026-10-04 03:52 UTC10not tracked
2026-10-04 03:47 UTC10not tracked
2026-10-04 03:42 UTC10not tracked
2026-10-04 03:38 UTC10not tracked
2026-10-04 03:33 UTC10not tracked
2026-10-04 03:28 UTC10not tracked
2026-10-04 03:24 UTC10not tracked
2026-10-04 03:16 UTC10not tracked
2026-10-04 03:12 UTC10not tracked
2026-10-04 03:07 UTC10not tracked
2026-10-04 03:03 UTC10not tracked
2026-10-04 02:58 UTC10not tracked
2026-10-04 02:54 UTC10not tracked
2026-10-04 02:49 UTC10not tracked
2026-10-04 02:44 UTC10not tracked
2026-10-04 02:40 UTC10not tracked
2026-10-04 02:35 UTC10not tracked
2026-10-04 02:31 UTC10not tracked
2026-10-04 02:26 UTC10not tracked
2026-10-04 02:21 UTC10not tracked
2026-10-04 02:15 UTC10not tracked
2026-10-04 02:10 UTC10not tracked
2026-10-04 02:06 UTC10not tracked
2026-10-04 02:01 UTC10not tracked
2026-10-04 01:57 UTC10not tracked
2026-10-04 01:52 UTC10not tracked
2026-10-04 01:48 UTC10not tracked
2026-10-04 01:43 UTC10not tracked
2026-10-04 01:38 UTC10not tracked
2026-10-04 01:34 UTC10not tracked
2026-10-04 01:29 UTC10not tracked
2026-10-04 01:24 UTC10not tracked
2026-10-04 01:20 UTC10not tracked
2026-10-04 01:15 UTC10not tracked
2026-10-04 01:10 UTC10not tracked
2026-10-04 01:06 UTC10not tracked
2026-10-04 01:01 UTC10not tracked
2026-10-04 00:57 UTC10not tracked
2026-10-04 00:52 UTC10not tracked
2026-10-04 00:47 UTC10not tracked
2026-10-04 00:43 UTC10not tracked
2026-10-04 00:38 UTC10not tracked
2026-10-04 00:34 UTC10not tracked
2026-10-04 00:29 UTC10not tracked
2026-10-04 00:25 UTC10not tracked
2026-10-04 00:20 UTC10not tracked
2026-10-04 00:15 UTC10not tracked
2026-10-04 00:08 UTC10not tracked
2026-10-04 00:03 UTC10not tracked
2026-10-03 23:59 UTC10not tracked
2026-10-03 23:54 UTC10not tracked
2026-10-03 23:49 UTC10not tracked
2026-10-03 23:45 UTC10not tracked
2026-10-03 23:40 UTC10not tracked
2026-10-03 23:36 UTC10not tracked
2026-10-03 23:31 UTC10not tracked
2026-10-03 23:26 UTC10not tracked
2026-10-03 23:22 UTC10not tracked
2026-10-03 23:17 UTC10not tracked
2026-10-03 23:13 UTC10not tracked
2026-10-03 23:06 UTC10not tracked
2026-10-03 23:01 UTC10not tracked
2026-10-03 22:57 UTC10not tracked
2026-10-03 22:52 UTC10not tracked
2026-10-03 22:47 UTC10not tracked
2026-10-03 22:43 UTC10not tracked
2026-10-03 22:38 UTC10not tracked
2026-10-03 22:34 UTC10not tracked
2026-10-03 22:29 UTC10not tracked
2026-10-03 22:24 UTC10not tracked
2026-10-03 22:20 UTC10not tracked
2026-10-03 22:15 UTC10not tracked
2026-10-03 22:11 UTC10not tracked
2026-10-03 22:06 UTC10not tracked
2026-10-03 22:01 UTC10not tracked
2026-10-03 21:57 UTC10not tracked
2026-10-03 21:52 UTC10not tracked
2026-10-03 21:48 UTC10not tracked
2026-10-03 21:43 UTC10not tracked
2026-10-03 21:39 UTC10not tracked
2026-10-03 21:34 UTC10not tracked
2026-10-03 21:29 UTC10not tracked
2026-10-03 21:25 UTC10not tracked
2026-10-03 21:20 UTC10not tracked
2026-10-03 21:16 UTC10not tracked
2026-10-03 21:11 UTC10not tracked
2026-10-03 21:06 UTC10not tracked
2026-10-03 20:59 UTC10not tracked
2026-10-03 20:54 UTC10not tracked
2026-10-03 20:50 UTC10not tracked
2026-10-03 20:45 UTC10not tracked
2026-10-03 20:41 UTC10not tracked
2026-10-03 20:36 UTC10not tracked