← Back to radar

Observation record / Hacker News

LLMs are making formal software verification feasible at a much larger scale

First seen 10/23, 08:00 · Last observed 10/23, 09:41 · Source data is current

Read the original source ↗

Title-based outlineLLMs are making formal software verification feasible at a much larger scale

Why it mattersA discussion on this source’s current list. Verify details in the original; rank does not establish reliability.

Published 10/23, 06:54

30 minutesRank movement+1

Baseline observed 10/23, 09:10

1 hourRank movement0

Baseline observed 10/23, 08:40

24 hoursRank movement—

Building history

Source rank history

11 observations

Momentum 0/100 = max(0, 1h rank gain) ÷ baseline rank × 100. Platform metrics are not combined.

2310/23, 08:00 · 3 places10/23, 08:10 · 3 places10/23, 08:20 · 3 places10/23, 08:30 · 2 places10/23, 08:40 · 2 places10/23, 08:50 · 2 places10/23, 09:00 · 3 places10/23, 09:10 · 3 places10/23, 09:21 · 3 places10/23, 09:31 · 2 places10/23, 09:41 · 2 places10/23, 08:0010/23, 09:41
Official public API · linked titles only· Author johnbender
View original observation times and ranks
Observation time (Beijing)Source position
10/23, 09:412
10/23, 09:312
10/23, 09:213
10/23, 09:103
10/23, 09:003
10/23, 08:502
10/23, 08:402
10/23, 08:302
10/23, 08:203
10/23, 08:103
10/23, 08:003
Daily aggregate history
日期Best daily positionLast daily positionObservations
2026-10-232211