← レーダーに戻る

観測記録 / 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