← 返回情报台

原始观测记录 / Hacker News

HOL Light Tutorial

首次发现 10/19 17:34 · 最近观测 10/19 20:25 · 来源数据在有效期内

阅读原始来源 ↗

标题整理HOL Light Tutorial

为什么值得看该来源当前榜单中的讨论线索，可从原文核实细节；榜单排名不代表内容可靠性。

内容发布时间较早；采集成功不代表内容最新。

发布 10/16 08:33

30 分钟排名变化—

数据积累中

1 小时排名变化—

数据积累中

24 小时排名变化—

数据积累中

平台排名记录

18 次观测

数据积累中；不推测热度。

122910/19 17:34 · 14 位10/19 17:45 · 15 位10/19 17:55 · 16 位10/19 18:05 · 12 位10/19 18:15 · 14 位10/19 18:25 · 15 位10/19 18:35 · 16 位10/19 18:45 · 15 位10/19 18:55 · 15 位10/19 19:05 · 17 位10/19 19:15 · 19 位10/19 19:25 · 21 位10/19 19:35 · 23 位10/19 19:45 · 24 位10/19 19:55 · 23 位10/19 20:05 · 26 位10/19 20:15 · 27 位10/19 20:25 · 29 位10/19 17:3410/19 20:25
Official public API · linked titles only· 作者 stmonty
查看原始观测时间与位次
观测时间（北京时间）来源位次
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
每日聚合历史
日期当日最佳位次当日最后位次观测次数
2026-10-19122918