Yearly Favorites
11431.
11432.
11433.
The Origin of the Research University
(asteriskmag.com)
11434.
11435.
Akse3D – open-source 3D modelling anyone can master
(akse3d-en.skaperiet.no)
11437.
YouTube Is Down
(downdetector.com)
11438.
A quiet change to RSA
(johndcook.com)
11439.
11440.
11441.
PgQue: Zero-Bloat Postgres Queue
(github.com)
11442.
Competition is not market validation
(ablg.io)
11443.
Formal Verification Gates for AI Coding Loops
(reubenbrooks.dev)
11444.
Melonking Website
(melonking.net)
11445.
11447.
11448.
50 years of proof assistants
(lawrencecpaulson.github.io)
11449.
11450.
Show HN: Microlandia, a brutally honest city builder
(microlandia.city)
11451.
Embedding user-defined indexes in Apache Parquet
(datafusion.apache.org)
11452.
Jensen–Shannon Divergence
(en.wikipedia.org)
11453.
Introducing: ShaderPad
(rileyjshaw.com)
11454.
The simple geometry behind any road
(sandboxspirit.com)
11455.
Sirius DB
(sirius-db.com)
11456.
Jmail: Gmail Clone with Epstein's Emails
(jmail.world)
11457.
New math revives geometry's oldest problems
(quantamagazine.org)
11458.
Ring cameras are about to get increasingly chummy with law enforcement
(arstechnica.com)
11459.
German economists push for gold repatriation from U.S. vaults
(seekingalpha.com)
11460.