Yearly Favorites
11041.
50 years of proof assistants
(lawrencecpaulson.github.io)
11042.
First 2D, non-silicon computer developed
(psu.edu)
11043.
11044.
Show HN: Microlandia, a brutally honest city builder
(microlandia.city)
11045.
Embedding user-defined indexes in Apache Parquet
(datafusion.apache.org)
11046.
Introducing: ShaderPad
(rileyjshaw.com)
11047.
The simple geometry behind any road
(sandboxspirit.com)
11048.
Sirius DB
(sirius-db.com)
11049.
Jmail: Gmail Clone with Epstein's Emails
(jmail.world)
11050.
New math revives geometry's oldest problems
(quantamagazine.org)
11051.
Ring cameras are about to get increasingly chummy with law enforcement
(arstechnica.com)
11052.
German economists push for gold repatriation from U.S. vaults
(seekingalpha.com)
11053.
Is the interstellar object 3I/ATLAS alien technology? [pdf]
(lweb.cfa.harvard.edu)
11054.
11055.
Steve Ballmer Interview
(acquired.fm)
11057.
U.S. abandons hunt for signal of cosmic inflation
(science.org)
11058.
Dear friend, you have built a Kubernetes (2024)
(macchaffee.com)
11059.
Blind to Disruption – The CEOs Who Missed the Future
(steveblank.com)
11060.
C3 solved memory lifetimes with scopes
(c3-lang.org)
11061.
11062.
Child prodigies rarely become elite performers
(economist.com)
11063.
11064.
11065.
iPhone DevOps (2023)
(clearsky.dev)
11066.
Fil-Qt: A Qt Base build with Fil-C experience
(git.qt.io)
11067.
Worldwide power grid with glass insulated HVDC cables
(omattos.com)
11068.
I made 20 GDPR deletion requests. 12 were ignored
(nikolak.com)
11069.
11070.
They lied to you. Building software is hard
(blog.nordcraft.com)