backend ok
Story history
Score and comment observations over time
[pre-RFC] Alloy formalization of LLVM IR's concurrent memory model
HN #49,337,913 | submitted 2026-08-17 21:30 UTC | discourse.llvm.org
74 observationsby matt_d
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-08-17 21:35 UTC2026-08-18 03:31 UTC
Comments
Range 0 to 0
2026-08-17 21:35 UTC2026-08-18 03:31 UTC
Observation history
Observation times are irregular and reflect when the tracker refreshed this story.
First 2026-08-17 21:35 UTCLatest 2026-08-18 03:31 UTC
| Observed at | Score | Comments | Rank |
|---|---|---|---|
| 2026-08-18 03:31 UTC | 1 | 0 | not tracked |
| 2026-08-18 03:24 UTC | 1 | 0 | not tracked |
| 2026-08-18 03:20 UTC | 1 | 0 | not tracked |
| 2026-08-18 03:15 UTC | 1 | 0 | not tracked |
| 2026-08-18 03:10 UTC | 1 | 0 | not tracked |
| 2026-08-18 03:06 UTC | 1 | 0 | not tracked |
| 2026-08-18 03:01 UTC | 1 | 0 | not tracked |
| 2026-08-18 02:57 UTC | 1 | 0 | not tracked |
| 2026-08-18 02:52 UTC | 1 | 0 | not tracked |
| 2026-08-18 02:47 UTC | 1 | 0 | not tracked |
| 2026-08-18 02:42 UTC | 1 | 0 | not tracked |
| 2026-08-18 02:37 UTC | 1 | 0 | not tracked |
| 2026-08-18 02:32 UTC | 1 | 0 | not tracked |
| 2026-08-18 02:28 UTC | 1 | 0 | not tracked |
| 2026-08-18 02:21 UTC | 1 | 0 | not tracked |
| 2026-08-18 02:17 UTC | 1 | 0 | not tracked |
| 2026-08-18 02:12 UTC | 1 | 0 | not tracked |
| 2026-08-18 02:07 UTC | 1 | 0 | not tracked |
| 2026-08-18 02:02 UTC | 1 | 0 | not tracked |
| 2026-08-18 01:57 UTC | 1 | 0 | not tracked |
| 2026-08-18 01:52 UTC | 1 | 0 | not tracked |
| 2026-08-18 01:47 UTC | 1 | 0 | not tracked |
| 2026-08-18 01:43 UTC | 1 | 0 | not tracked |
| 2026-08-18 01:38 UTC | 1 | 0 | not tracked |
| 2026-08-18 01:33 UTC | 1 | 0 | not tracked |
| 2026-08-18 01:29 UTC | 1 | 0 | not tracked |
| 2026-08-18 01:24 UTC | 1 | 0 | not tracked |
| 2026-08-18 01:17 UTC | 1 | 0 | not tracked |
| 2026-08-18 01:13 UTC | 1 | 0 | not tracked |
| 2026-08-18 01:08 UTC | 1 | 0 | not tracked |
| 2026-08-18 01:03 UTC | 1 | 0 | not tracked |
| 2026-08-18 00:58 UTC | 1 | 0 | not tracked |
| 2026-08-18 00:49 UTC | 1 | 0 | not tracked |
| 2026-08-18 00:44 UTC | 1 | 0 | not tracked |
| 2026-08-18 00:39 UTC | 1 | 0 | not tracked |
| 2026-08-18 00:35 UTC | 1 | 0 | not tracked |
| 2026-08-18 00:30 UTC | 1 | 0 | not tracked |
| 2026-08-18 00:26 UTC | 1 | 0 | not tracked |
| 2026-08-18 00:21 UTC | 1 | 0 | not tracked |
| 2026-08-18 00:15 UTC | 1 | 0 | not tracked |
| 2026-08-18 00:08 UTC | 1 | 0 | not tracked |
| 2026-08-18 00:04 UTC | 1 | 0 | not tracked |
| 2026-08-17 23:59 UTC | 1 | 0 | not tracked |
| 2026-08-17 23:55 UTC | 1 | 0 | not tracked |
| 2026-08-17 23:50 UTC | 1 | 0 | not tracked |
| 2026-08-17 23:45 UTC | 1 | 0 | not tracked |
| 2026-08-17 23:41 UTC | 1 | 0 | not tracked |
| 2026-08-17 23:36 UTC | 1 | 0 | not tracked |
| 2026-08-17 23:32 UTC | 1 | 0 | not tracked |
| 2026-08-17 23:27 UTC | 1 | 0 | not tracked |
| 2026-08-17 23:23 UTC | 1 | 0 | not tracked |
| 2026-08-17 23:18 UTC | 1 | 0 | not tracked |
| 2026-08-17 23:11 UTC | 1 | 0 | not tracked |
| 2026-08-17 23:07 UTC | 1 | 0 | not tracked |
| 2026-08-17 23:02 UTC | 1 | 0 | not tracked |
| 2026-08-17 22:58 UTC | 1 | 0 | not tracked |
| 2026-08-17 22:53 UTC | 1 | 0 | not tracked |
| 2026-08-17 22:48 UTC | 1 | 0 | not tracked |
| 2026-08-17 22:44 UTC | 1 | 0 | not tracked |
| 2026-08-17 22:39 UTC | 1 | 0 | not tracked |
| 2026-08-17 22:35 UTC | 1 | 0 | not tracked |
| 2026-08-17 22:30 UTC | 1 | 0 | not tracked |
| 2026-08-17 22:26 UTC | 1 | 0 | not tracked |
| 2026-08-17 22:21 UTC | 1 | 0 | not tracked |
| 2026-08-17 22:16 UTC | 1 | 0 | not tracked |
| 2026-08-17 22:12 UTC | 1 | 0 | not tracked |
| 2026-08-17 22:07 UTC | 1 | 0 | not tracked |
| 2026-08-17 22:03 UTC | 1 | 0 | not tracked |
| 2026-08-17 21:58 UTC | 1 | 0 | not tracked |
| 2026-08-17 21:53 UTC | 1 | 0 | not tracked |
| 2026-08-17 21:49 UTC | 1 | 0 | not tracked |
| 2026-08-17 21:44 UTC | 1 | 0 | not tracked |
| 2026-08-17 21:40 UTC | 1 | 0 | not tracked |
| 2026-08-17 21:35 UTC | 1 | 0 | not tracked |