HN Top Links - Popular Stories from Hacker News

11041.

50 years of proof assistants (lawrencecpaulson.github.io)

144 points by baruchel 5 months ago | 30 comments

11042.

First 2D, non-silicon computer developed (psu.edu)

144 points by giuliomagnifico 11 months ago | 30 comments

11043.

Our modular, high-performance Merkle Tree library for Rust (github.com)

144 points by bibiver 6 months ago | 29 comments

11044.

Show HN: Microlandia, a brutally honest city builder (microlandia.city)

144 points by phaser 5 months ago | 25 comments

11045.

Embedding user-defined indexes in Apache Parquet (datafusion.apache.org)

144 points by jasim 10 months ago | 24 comments

11046.

Introducing: ShaderPad (rileyjshaw.com)

144 points by evakhoury 1 month ago | 21 comments

11047.

The simple geometry behind any road (sandboxspirit.com)

144 points by azhenley 1 month ago | 17 comments

11048.

Sirius DB (sirius-db.com)

144 points by manoji 4 months ago | 17 comments

11049.

Jmail: Gmail Clone with Epstein's Emails (jmail.world)

144 points by walz 5 months ago | 11 comments

11050.

New math revives geometry's oldest problems (quantamagazine.org)

144 points by pykello 7 months ago | 10 comments

11051.

Ring cameras are about to get increasingly chummy with law enforcement (arstechnica.com)

144 points by zdw 7 months ago | 3 comments

11052.

German economists push for gold repatriation from U.S. vaults (seekingalpha.com)

144 points by saubeidl 3 months ago | 2 comments

11053.

Is the interstellar object 3I/ATLAS alien technology? [pdf] (lweb.cfa.harvard.edu)

143 points by jackbravo 9 months ago | 244 comments

11054.

Iran caused more extensive damage to U.S. military bases than publicly known (nbcnews.com)

143 points by hggh 3 weeks ago | 229 comments

11055.

Steve Ballmer Interview (acquired.fm)

143 points by naves 8 months ago | 205 comments

11056.

Trevor Milton is raising funds for a new jet he claims will transform flying (wsj.com)

143 points by jgalt212 1 month ago | 197 comments

11057.

U.S. abandons hunt for signal of cosmic inflation (science.org)

143 points by bikenaga 10 months ago | 194 comments

11058.

Dear friend, you have built a Kubernetes (2024) (macchaffee.com)

143 points by Wingy 3 weeks ago | 174 comments

11059.

Blind to Disruption – The CEOs Who Missed the Future (steveblank.com)

143 points by ArmageddonIt 10 months ago | 161 comments

11060.

C3 solved memory lifetimes with scopes (c3-lang.org)

143 points by lerno 10 months ago | 159 comments

11061.

It’s nearly impossible to buy an original Bob Ross painting (2021) (thehustle.co)

143 points by rmason 11 months ago | 157 comments

11062.

Child prodigies rarely become elite performers (economist.com)

143 points by i7l 3 months ago | 151 comments

11063.

Novo Nordisk launches Wegovy weight-loss pill in US, triggering price war (theguardian.com)

143 points by andsoitis 4 months ago | 146 comments

11064.

Texas law gives grid operator power to disconnect data centers during crisis (utilitydive.com)

143 points by walterbell 8 months ago | 140 comments

11065.

iPhone DevOps (2023) (clearsky.dev)

143 points by ustad 9 months ago | 135 comments

11066.

Fil-Qt: A Qt Base build with Fil-C experience (git.qt.io)

143 points by pjmlp 4 months ago | 134 comments

11067.

Worldwide power grid with glass insulated HVDC cables (omattos.com)

143 points by londons_explore 11 months ago | 134 comments

11068.

I made 20 GDPR deletion requests. 12 were ignored (nikolak.com)

143 points by nikola-k 3 months ago | 133 comments

11069.

After dissing Anthropic for limiting Mythos, OpenAI restricts access to Cyber (techcrunch.com)

143 points by gbourne1 2 weeks ago | 129 comments

11070.

They lied to you. Building software is hard (blog.nordcraft.com)

143 points by xiaohanyu 3 months ago | 118 comments