← Back to radar

Observation record / Hacker News

HOL Light Tutorial

First seen 10/19, 17:34 · Last observed 10/19, 20:25 · Source data is current

Read the original source ↗

Title-based outlineHOL Light Tutorial

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

This content was published earlier. Fetch success does not imply freshness.

Published 10/16, 08:33

30 minutesRank movement—

Building history

1 hourRank movement—

Building history

24 hoursRank movement—

Building history

Source rank history

18 observations

Building history; no inferred heat score.

122910/19, 17:34 · 14 places10/19, 17:45 · 15 places10/19, 17:55 · 16 places10/19, 18:05 · 12 places10/19, 18:15 · 14 places10/19, 18:25 · 15 places10/19, 18:35 · 16 places10/19, 18:45 · 15 places10/19, 18:55 · 15 places10/19, 19:05 · 17 places10/19, 19:15 · 19 places10/19, 19:25 · 21 places10/19, 19:35 · 23 places10/19, 19:45 · 24 places10/19, 19:55 · 23 places10/19, 20:05 · 26 places10/19, 20:15 · 27 places10/19, 20:25 · 29 places10/19, 17:3410/19, 20:25
Official public API · linked titles only· Author stmonty
View original observation times and ranks
Observation time (Beijing)Source position
10/19, 20:2529
10/19, 20:1527
10/19, 20:0526
10/19, 19:5523
10/19, 19:4524
10/19, 19:3523
10/19, 19:2521
10/19, 19:1519
10/19, 19:0517
10/19, 18:5515
10/19, 18:4515
10/19, 18:3516
10/19, 18:2515
10/19, 18:1514
10/19, 18:0512
10/19, 17:5516
10/19, 17:4515
10/19, 17:3414
Daily aggregate history
日期Best daily positionLast daily positionObservations
2026-10-19122918