backend ok
Story history
Score and comment observations over time
Combining Tests and Proofs with Contracts for Better Software Verification
HN #50,108,206 | submitted 2026-10-15 18:37 UTC | dl.acm.org
47 observationsby rramadass
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-15 18:38 UTC2026-10-15 22:19 UTC
Comments
Range 0 to 0
2026-10-15 18:38 UTC2026-10-15 22:19 UTC
Observation history
Observation times are irregular and reflect when the tracker refreshed this story.
First 2026-10-15 18:38 UTCLatest 2026-10-15 22:19 UTC
| Observed at | Score | Comments | Rank |
|---|---|---|---|
| 2026-10-15 22:19 UTC | 1 | 0 | not tracked |
| 2026-10-15 22:14 UTC | 1 | 0 | not tracked |
| 2026-10-15 22:10 UTC | 1 | 0 | not tracked |
| 2026-10-15 22:05 UTC | 1 | 0 | not tracked |
| 2026-10-15 22:00 UTC | 1 | 0 | not tracked |
| 2026-10-15 21:56 UTC | 1 | 0 | not tracked |
| 2026-10-15 21:51 UTC | 1 | 0 | not tracked |
| 2026-10-15 21:47 UTC | 1 | 0 | not tracked |
| 2026-10-15 21:42 UTC | 1 | 0 | not tracked |
| 2026-10-15 21:35 UTC | 1 | 0 | not tracked |
| 2026-10-15 21:30 UTC | 1 | 0 | not tracked |
| 2026-10-15 21:25 UTC | 1 | 0 | not tracked |
| 2026-10-15 21:21 UTC | 1 | 0 | not tracked |
| 2026-10-15 21:16 UTC | 1 | 0 | not tracked |
| 2026-10-15 21:11 UTC | 1 | 0 | not tracked |
| 2026-10-15 21:07 UTC | 1 | 0 | not tracked |
| 2026-10-15 21:02 UTC | 1 | 0 | not tracked |
| 2026-10-15 20:57 UTC | 1 | 0 | not tracked |
| 2026-10-15 20:53 UTC | 1 | 0 | not tracked |
| 2026-10-15 20:48 UTC | 1 | 0 | not tracked |
| 2026-10-15 20:44 UTC | 1 | 0 | not tracked |
| 2026-10-15 20:39 UTC | 1 | 0 | not tracked |
| 2026-10-15 20:32 UTC | 1 | 0 | not tracked |
| 2026-10-15 20:28 UTC | 1 | 0 | not tracked |
| 2026-10-15 20:23 UTC | 1 | 0 | not tracked |
| 2026-10-15 20:18 UTC | 1 | 0 | not tracked |
| 2026-10-15 20:14 UTC | 1 | 0 | not tracked |
| 2026-10-15 20:09 UTC | 1 | 0 | not tracked |
| 2026-10-15 20:04 UTC | 1 | 0 | not tracked |
| 2026-10-15 20:00 UTC | 1 | 0 | not tracked |
| 2026-10-15 19:55 UTC | 1 | 0 | not tracked |
| 2026-10-15 19:51 UTC | 1 | 0 | not tracked |
| 2026-10-15 19:46 UTC | 1 | 0 | not tracked |
| 2026-10-15 19:41 UTC | 1 | 0 | not tracked |
| 2026-10-15 19:37 UTC | 1 | 0 | not tracked |
| 2026-10-15 19:29 UTC | 1 | 0 | not tracked |
| 2026-10-15 19:25 UTC | 1 | 0 | not tracked |
| 2026-10-15 19:20 UTC | 1 | 0 | not tracked |
| 2026-10-15 19:16 UTC | 1 | 0 | not tracked |
| 2026-10-15 19:11 UTC | 1 | 0 | not tracked |
| 2026-10-15 19:06 UTC | 1 | 0 | not tracked |
| 2026-10-15 19:02 UTC | 1 | 0 | not tracked |
| 2026-10-15 18:57 UTC | 1 | 0 | not tracked |
| 2026-10-15 18:52 UTC | 1 | 0 | not tracked |
| 2026-10-15 18:48 UTC | 1 | 0 | not tracked |
| 2026-10-15 18:43 UTC | 1 | 0 | not tracked |
| 2026-10-15 18:38 UTC | 1 | 0 | not tracked |