HN Top Links - Popular Stories from Hacker News

751.

Prospero: A new coding harness for a more civilized age (nullprogram.com)

208 points by fovc 2 weeks ago | 137 comments

752.

What mathematicians should know about the Lean Theorem Prover: reliability & AI (terrytao.wordpress.com)

208 points by matt_d 1 month ago | 58 comments

753.

Free Pascal compiler now supports dynamic packages (getlazarus.org)

208 points by sysrpl 3 weeks ago | 54 comments

754.

Cloudflare OHTTP gateway (blog.cloudflare.com)

207 points by est 1 month ago | 96 comments

755.

The people holding up the internet (sheets.works)

207 points by simjue 1 month ago | 73 comments

756.

Decompiling Fast Food Tycoon 2: Drawing the World (healeycodes.com)

207 points by healeycodes 3 weeks ago | 42 comments

757.

Wood Tape (2004) (gamesbyemail.com)

207 points by NaOH 1 month ago | 30 comments

758.

Meta hit with $25B penalty for deceiving users about privacy on Facebook (nmdoj.gov)

207 points by DeepLogin 3 weeks ago | 2 comments

759.

CorridorKey 2.0 (corridorkey.com)

206 points by ravenical 2 weeks ago | 78 comments

760.

Qualcomm licenses patents on Huawei’s LogicFolding chip tech (bloomberg.com)

205 points by 0xedb 1 month ago | 127 comments

761.

US federal budget deficit jumps 12% in one year to nearly $2 Trillion (finance.yahoo.com)

204 points by ck2 4 weeks ago | 202 comments

762.

Whatever Happened to Fire Escapes (practical.engineering)

204 points by sohkamyung 3 weeks ago | 164 comments

763.

Copper – A minimal low-level programming language with OOP and generics (tibleiz.net)

204 points by bogdanoff_2 2 weeks ago | 130 comments

764.

Laptop Based on 6502 CPU (maddox.pro)

204 points by nanochess 4 weeks ago | 109 comments

765.

Lean now ships with verified kernels (leodemoura.github.io)

204 points by matt_d 4 weeks ago | 80 comments

766.

How Japanese Dried Bonito Is Made (kottke.org)

204 points by bookofjoe 3 weeks ago | 53 comments

767.

Florida's HOAs and condo associations are making the housing crisis worse (hoaspy.com)

203 points by lovewins 3 weeks ago | 406 comments

768.

Desire to Move Permanently to U.S. at New Low (news.gallup.com)

203 points by karakoram 4 weeks ago | 212 comments

769.

Oregon lawmakers approve money to buy an iconic waterfall listed on Redfin (apnews.com)

203 points by surprisetalk 3 weeks ago | 98 comments

770.

The Origin Story of Kid Pix (red-green-blue.com)

203 points by MBCook 1 month ago | 49 comments

771.

Vote on which of Hacker News' challenges for AI have been met (stoppels.ch)

202 points by stabbles 1 month ago | 272 comments

772.

SS United States to be sunk as largest artificial reef (divemagazine.com)

202 points by geox 2 weeks ago | 166 comments

773.

Listen and read USA nuclear forces Emergency Action Messages, heard on 11175 kHz (missileer.watch)

202 points by liotier 3 weeks ago | 137 comments

774.

Self-hosted HTTP tunnels with SSH and Nginx (vincent.bernat.ch)

202 points by renehsz 1 month ago | 45 comments

775.

Growing Trees (brashandplucky.com)

202 points by ibobev 3 weeks ago | 28 comments

776.

Why are we even doing all this? (terrytao.wordpress.com)

201 points by smilelamp 4 weeks ago | 162 comments

777.

DOJ says presidents should be able to sell secrets on eBay (freedom.press)

201 points by _____k 2 weeks ago | 95 comments

778.

Pico CSS is no longer maintained (github.com)

200 points by henrid 2 weeks ago | 111 comments

779.

Microsoft-Decision-1, our model for fast decision-making (commandline.microsoft.com)

200 points by lisajaloza 1 month ago | 66 comments

780.

NetBSD adds a new text editor called atto (mastodon.sdf.org)

199 points by luke8086 2 weeks ago | 153 comments