← レーダーに戻る

観測記録 / Hacker News

Lean now ships with verified kernels

初回発見 10/18 10:06 · 最終観測 10/19 03:01 · ソースのデータは有効期間内

原文を読む ↗

見出しに基づく整理Lean now ships with verified kernels

注目する理由現在の一覧にある議論の手掛かりです。詳細は原文で確認でき、順位は信頼性を保証しません。

公開から時間が経っています。取得成功は最新であることを意味しません。

公開 10/16 14:16

30分順位の変化—

データ蓄積中

1時間順位の変化—

データ蓄積中

24時間順位の変化—

データ蓄積中

ソース順位の履歴

100 回の観測

履歴を蓄積中です。人気度を推測しません。

23010/18 10:06 · 19 位10/18 10:16 · 20 位10/18 10:26 · 9 位10/18 10:36 · 4 位10/18 10:46 · 3 位10/18 10:56 · 3 位10/18 11:07 · 3 位10/18 11:17 · 2 位10/18 11:27 · 2 位10/18 11:37 · 2 位10/18 11:47 · 2 位10/18 11:57 · 2 位10/18 12:07 · 2 位10/18 12:17 · 2 位10/18 12:27 · 2 位10/18 12:37 · 2 位10/18 12:47 · 3 位10/18 12:57 · 3 位10/18 13:07 · 3 位10/18 13:17 · 3 位10/18 13:27 · 3 位10/18 13:37 · 3 位10/18 13:47 · 3 位10/18 13:57 · 3 位10/18 14:07 · 3 位10/18 14:17 · 5 位10/18 14:27 · 5 位10/18 14:38 · 5 位10/18 14:48 · 6 位10/18 14:58 · 5 位10/18 15:08 · 5 位10/18 15:18 · 6 位10/18 15:28 · 6 位10/18 15:38 · 6 位10/18 15:48 · 6 位10/18 15:58 · 5 位10/18 16:08 · 5 位10/18 16:18 · 5 位10/18 16:28 · 5 位10/18 16:38 · 5 位10/18 16:48 · 5 位10/18 16:58 · 5 位10/18 17:08 · 5 位10/18 17:18 · 5 位10/18 17:28 · 5 位10/18 17:38 · 5 位10/18 17:48 · 6 位10/18 17:58 · 5 位10/18 18:08 · 5 位10/18 18:18 · 6 位10/18 18:29 · 6 位10/18 18:39 · 6 位10/18 18:49 · 6 位10/18 18:59 · 7 位10/18 19:09 · 7 位10/18 19:19 · 6 位10/18 19:29 · 9 位10/18 19:39 · 8 位10/18 19:49 · 8 位10/18 19:59 · 8 位10/18 20:09 · 8 位10/18 20:19 · 9 位10/18 20:29 · 9 位10/18 20:39 · 10 位10/18 20:49 · 10 位10/18 20:59 · 10 位10/18 21:09 · 10 位10/18 21:19 · 10 位10/18 21:29 · 10 位10/18 21:39 · 10 位10/18 21:49 · 10 位10/18 22:00 · 10 位10/18 22:10 · 12 位10/18 22:20 · 12 位10/18 22:30 · 12 位10/18 22:40 · 15 位10/18 22:50 · 15 位10/18 23:00 · 16 位10/18 23:10 · 18 位10/18 23:20 · 21 位10/18 23:30 · 23 位10/18 23:40 · 25 位10/18 23:50 · 26 位10/19 00:00 · 26 位10/19 00:10 · 24 位10/19 00:20 · 26 位10/19 00:30 · 23 位10/19 00:40 · 25 位10/19 00:50 · 25 位10/19 01:00 · 26 位10/19 01:10 · 27 位10/19 01:20 · 27 位10/19 01:30 · 27 位10/19 01:40 · 29 位10/19 01:51 · 28 位10/19 02:01 · 29 位10/19 02:11 · 27 位10/19 02:21 · 27 位10/19 02:31 · 30 位10/19 03:01 · 30 位10/18 10:0610/19 03:01
Official public API · linked titles only· 著者 matt_d
元の観測時刻と順位を見る
観測時刻(北京時間)ソース順位
10/19 03:0130
10/19 02:3130
10/19 02:2127
10/19 02:1127
10/19 02:0129
10/19 01:5128
10/19 01:4029
10/19 01:3027
10/19 01:2027
10/19 01:1027
10/19 01:0026
10/19 00:5025
10/19 00:4025
10/19 00:3023
10/19 00:2026
10/19 00:1024
10/19 00:0026
10/18 23:5026
10/18 23:4025
10/18 23:3023
10/18 23:2021
10/18 23:1018
10/18 23:0016
10/18 22:5015
10/18 22:4015
10/18 22:3012
10/18 22:2012
10/18 22:1012
10/18 22:0010
10/18 21:4910
10/18 21:3910
10/18 21:2910
10/18 21:1910
10/18 21:0910
10/18 20:5910
10/18 20:4910
10/18 20:3910
10/18 20:299
10/18 20:199
10/18 20:098
10/18 19:598
10/18 19:498
10/18 19:398
10/18 19:299
10/18 19:196
10/18 19:097
10/18 18:597
10/18 18:496
10/18 18:396
10/18 18:296
10/18 18:186
10/18 18:085
10/18 17:585
10/18 17:486
10/18 17:385
10/18 17:285
10/18 17:185
10/18 17:085
10/18 16:585
10/18 16:485
10/18 16:385
10/18 16:285
10/18 16:185
10/18 16:085
10/18 15:585
10/18 15:486
10/18 15:386
10/18 15:286
10/18 15:186
10/18 15:085
10/18 14:585
10/18 14:486
10/18 14:385
10/18 14:275
10/18 14:175
10/18 14:073
10/18 13:573
10/18 13:473
10/18 13:373
10/18 13:273
10/18 13:173
10/18 13:073
10/18 12:573
10/18 12:473
10/18 12:372
10/18 12:272
10/18 12:172
10/18 12:072
10/18 11:572
10/18 11:472
10/18 11:372
10/18 11:272
10/18 11:172
10/18 11:073
10/18 10:563
10/18 10:463
10/18 10:364
10/18 10:269
10/18 10:1620
10/18 10:0619
日次集計の履歴
日期当日の最高順位当日の最終順位観測回数
2026-10-1822683
2026-10-19233017