← 返回情报台

原始观测记录 / Hacker News

I built the RealWorld app in Lean 4

首次发现 10/17 09:01 · 最近观测 10/17 23:44 · 来源数据在有效期内

阅读原始来源 ↗

标题整理I built the RealWorld app in Lean 4

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

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

发布 10/14 23:03

30 分钟排名变化—

数据积累中

1 小时排名变化—

数据积累中

24 小时排名变化—

数据积累中

平台排名记录

87 次观测

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

Official public API · linked titles only· 作者 saviorand

查看原始观测时间与位次

观测时间（北京时间）	来源位次
10/17 23:44	30
10/17 23:14	30
10/17 23:04	29
10/17 22:54	27
10/17 22:44	29
10/17 22:34	29
10/17 22:24	27
10/17 22:14	26
10/17 22:04	23
10/17 21:54	21
10/17 21:44	20
10/17 21:34	20
10/17 21:23	20
10/17 21:13	22
10/17 21:03	20
10/17 20:53	21
10/17 20:43	17
10/17 20:33	17
10/17 20:23	19
10/17 20:13	20
10/17 20:03	22
10/17 19:53	21
10/17 19:43	20
10/17 19:33	20
10/17 19:23	20
10/17 19:13	20
10/17 19:03	21
10/17 18:53	20
10/17 18:43	20
10/17 18:33	21
10/17 18:23	21
10/17 18:13	21
10/17 18:03	20
10/17 17:53	20
10/17 17:43	20
10/17 17:33	19
10/17 17:23	18
10/17 17:13	16
10/17 17:03	15
10/17 16:53	13
10/17 16:43	15
10/17 16:33	18
10/17 16:23	18
10/17 16:13	16
10/17 16:03	16
10/17 15:52	16
10/17 15:42	16
10/17 15:32	16
10/17 15:22	15
10/17 15:12	15
10/17 15:02	15
10/17 14:52	15
10/17 14:42	16
10/17 14:32	16
10/17 14:22	15
10/17 14:12	21
10/17 14:02	20
10/17 13:52	20
10/17 13:42	22
10/17 13:32	25
10/17 13:22	23
10/17 13:12	23
10/17 13:02	28
10/17 12:52	25
10/17 12:42	25
10/17 12:32	24
10/17 12:22	24
10/17 12:12	23
10/17 12:02	21
10/17 11:52	22
10/17 11:42	21
10/17 11:32	18
10/17 11:22	16
10/17 11:12	16
10/17 11:02	16
10/17 10:52	16
10/17 10:42	19
10/17 10:32	19
10/17 10:21	15
10/17 10:11	18
10/17 10:01	26
10/17 09:51	23
10/17 09:41	22
10/17 09:31	21
10/17 09:21	18
10/17 09:11	18
10/17 09:01	23

每日聚合历史

日期	当日最佳位次	当日最后位次	观测次数
2026-10-17	13	30	87