HN Top Links - Popular Stories from Hacker News

26641.

Automated Lean Proofs for Every Type (galois.com)

40 points by surprisetalk 9 months ago | 4 comments

26642.

Extrachromosomal DNA–Driven Oncogene Evolution in Glioblastoma (aacrjournals.org)

40 points by PaulHoule 10 months ago | 4 comments

26643.

Trump DOJ erases report showing far-right violence outpaces 'all other types' (alternet.org)

40 points by clipsy 10 months ago | 4 comments

26644.

Sharing a mutable reference between Rust and Python (blog.lilyf.org)

40 points by Bogdanp 10 months ago | 4 comments

26645.

Censorship is quietly deciding which games you can buy (items.gog.com)

40 points by HelloUsername 11 months ago | 4 comments

26646.

Shattering the rotation illusion: The attacker view and AWSKeyLockdown (2024) (clutch.security)

40 points by complexpass 11 months ago | 4 comments

26647.

Samsung in talks to invest in Mistral at €20B valuation (ft.com)

40 points by petethomas 15 hours ago | 3 comments

26648.

TempleOS WASM (templeos.reiko.app)

40 points by zdgeier 1 month ago | 3 comments

26649.

Data centers raise nearby temperatures by up to 4 degrees in Phoenix (techxplore.com)

40 points by limitedfrom 2 months ago | 3 comments

26650.

Forget the AI job apocalypse. AIs real threat is worker control and surveillance (theguardian.com)

40 points by beardyw 2 months ago | 3 comments

26651.

Rolling the Root Key (blog.apnic.net)

40 points by jandeboevrie 2 months ago | 3 comments

26652.

Scientists uncovered the nutrients bees were missing – Colonies surged 15-fold (sciencedaily.com)

40 points by apparent 3 months ago | 3 comments

26653.

Desperately Seeking Space Friends (reviewcanada.ca)

40 points by benbreen 3 months ago | 3 comments

26654.

390TB video game archive being taken offline due to skyrocketing RAM, SSD (tomshardware.com)

40 points by neilfrndes 4 months ago | 3 comments

26655.

Show HN: Explain Curl Commands (github.com)

40 points by akgitrepos 4 months ago | 3 comments

26656.

Arrays in Forth (forth.org)

40 points by tosh 5 months ago | 3 comments

26657.

Bye, Google Search (tbray.org)

40 points by HieronymusBosch 8 months ago | 3 comments

26658.

Google Play Store Stops Requiring the Use of Google Play Billing in the US (support.google.com)

40 points by kruuuder 8 months ago | 3 comments

26659.

Go Assembly Mutation Testing (words.filippo.io)

40 points by Metalnem 11 months ago | 3 comments

26660.

Democrats are trying to revive the click-to-cancel rule (theverge.com)

40 points by pseudolus 11 months ago | 3 comments

26661.

FCC Officials Took $$$ Gifts from Paramount as Company Needed Approval for Deals (propublica.org)

40 points by WarOnPrivacy 5 days ago | 2 comments

26662.

Possibility of modifying an image to see without glasses? (2010) (stackoverflow.com)

40 points by zeristor 2 months ago | 2 comments

26663.

Effectful Recursion Schemes (effekt-lang.org)

40 points by marvinborner 3 months ago | 2 comments

26664.

Claude just jumped to #2 on the iOS App Store (xcancel.com)

40 points by doener 4 months ago | 2 comments

26665.

Five security lessons from the FBI's Washington Post raid (freedom.press)

40 points by ColinWright 4 months ago | 2 comments

26666.

Meta Is Blocking Links to ICE List on Facebook, Instagram, and Threads (wired.com)

40 points by joering2 5 months ago | 2 comments

26667.

Proving Liveness with TLA (roscidus.com)

40 points by ibobev 6 months ago | 2 comments

26668.

A look back: LANPAR, the first spreadsheet (technicallywewrite.com)

40 points by rbanffy 7 months ago | 2 comments

26669.

Microscopic robots that sense, think, act, and compute (science.org)

40 points by XzetaU8 7 months ago | 2 comments

26670.

Gin is a bad software library (eblog.fly.dev)

40 points by thunderbong 7 months ago | 2 comments