← Back to radar

Observation record / Hacker News

I built the RealWorld app in Lean 4

First seen 10/17, 09:01 · Last observed 10/17, 23:44 · Source data is current

Read the original source ↗

Title-based outlineI built the RealWorld app in Lean 4

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/14, 23:03

30 minutesRank movement—

Building history

1 hourRank movement—

Building history

24 hoursRank movement—

Building history

Source rank history

87 observations

Building history; no inferred heat score.

Official public API · linked titles only· Author saviorand

View original observation times and ranks

Observation time (Beijing)	Source position
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

Daily aggregate history

日期	Best daily position	Last daily position	Observations
2026-10-17	13	30	87