Yearly Favorites
11401.
YouTube Is Down
(downdetector.com)
11402.
A quiet change to RSA
(johndcook.com)
11403.
11404.
11405.
PgQue: Zero-Bloat Postgres Queue
(github.com)
11406.
Competition is not market validation
(ablg.io)
11407.
Formal Verification Gates for AI Coding Loops
(reubenbrooks.dev)
11408.
Melonking Website
(melonking.net)
11409.
11411.
11412.
50 years of proof assistants
(lawrencecpaulson.github.io)
11413.
11414.
Show HN: Microlandia, a brutally honest city builder
(microlandia.city)
11415.
Embedding user-defined indexes in Apache Parquet
(datafusion.apache.org)
11416.
Jensen–Shannon Divergence
(en.wikipedia.org)
11417.
Introducing: ShaderPad
(rileyjshaw.com)
11418.
The simple geometry behind any road
(sandboxspirit.com)
11419.
Sirius DB
(sirius-db.com)
11420.
Jmail: Gmail Clone with Epstein's Emails
(jmail.world)
11421.
New math revives geometry's oldest problems
(quantamagazine.org)
11422.
Ring cameras are about to get increasingly chummy with law enforcement
(arstechnica.com)
11423.
German economists push for gold repatriation from U.S. vaults
(seekingalpha.com)
11424.
11425.
Is the interstellar object 3I/ATLAS alien technology? [pdf]
(lweb.cfa.harvard.edu)
11426.
11427.
Steve Ballmer Interview
(acquired.fm)
11429.
U.S. abandons hunt for signal of cosmic inflation
(science.org)
11430.
Dear friend, you have built a Kubernetes (2024)
(macchaffee.com)