HN Top Links - Popular Stories from Hacker News

13081.

Can LLMs model real-world systems in TLA+? (sigops.org)

118 points by mad 1 day ago | 31 comments

13082.

How to run an Arduino for years on a battery (2021) (makecademy.com)

118 points by thunderbong 9 months ago | 30 comments

13083.

The GNU libc atanh is correctly rounded (inria.hal.science)

118 points by matt_d 3 weeks ago | 29 comments

13084.

The Medley Interlisp Project: Reviving a Historical Software System [pdf] (interlisp.org)

118 points by pamoroso 10 months ago | 29 comments

13085.

Show HN: Juvio – UV Kernel for Jupyter (github.com)

118 points by okost1 11 months ago | 27 comments

13086.

Cash issuing terminals (computer.rip)

118 points by zdw 2 months ago | 26 comments

13087.

Small Kafka: Tansu and SQLite on a free t3.micro (blog.tansu.io)

118 points by rmoff 3 months ago | 26 comments

13088.

Delimited continuations in lone Lisp (matheusmoreira.com)

118 points by matheusmoreira 7 months ago | 26 comments

13089.

A history of ARM, part 1: Building the first chip (2022) (arstechnica.com)

118 points by ibobev 7 months ago | 26 comments

13090.

April Fools 2014: The *Real* Test Driven Development (2014) (testing.googleblog.com)

118 points by omot 8 months ago | 26 comments

13091.

GSWT: Gaussian Splatting Wang Tiles (yunfan.zone)

118 points by klaussilveira 5 months ago | 25 comments

13092.

Trillions in Retirement Dollars Flow into Opaque Trusts (bloomberg.com)

118 points by koolhead17 5 days ago | 19 comments

13093.

Show HN: Find Hidden Gems on HN (pj4533.com)

118 points by pj4533 8 months ago | 19 comments

13094.

80386 Memory Pipeline (nand2mario.github.io)

118 points by wicket 3 weeks ago | 18 comments

13095.

Recreating the Canon Cat document interface (lab.alexanderobenauer.com)

118 points by tonyg 6 months ago | 16 comments

13096.

Modeling the World in 280 Characters (tympanus.net)

118 points by OuterVale 10 months ago | 16 comments

13097.

Show HN: ArchGW – An intelligent edge and service proxy for agents (github.com)

118 points by honorable_coder 9 months ago | 15 comments

13098.

Ju Ci: The Art of Repairing Porcelain (thesublimeblog.org)

118 points by lawrenceyan 1 month ago | 13 comments

13099.

StardustOS: Library operating system for building light-weight Unikernels (github.com)

118 points by transpute 5 months ago | 9 comments

13100.

Happy 20th Birthday Django (djangoproject.com)

118 points by spapas82 9 months ago | 2 comments

13101.

Ask HN: Who wants to be hired? (August 2025)

117 points by whoishiring 9 months ago | 360 comments

13102.

Can I stop drone delivery companies flying over my property? (rte.ie)

117 points by austinallegro 11 months ago | 324 comments

13103.

How private equity is changing housing (theatlantic.com)

117 points by harambae 5 months ago | 306 comments

13104.

Rahm Emanuel says U.S. should follow Australia's youth social media ban (politico.com)

117 points by RickJWagner 5 months ago | 270 comments

13105.

U.S. will review social media for foreign student visa applications (npr.org)

117 points by BeetleB 9 months ago | 200 comments

13106.

LLMs are a 400-year-long confidence trick (tomrenner.com)

117 points by Growtika 3 months ago | 188 comments

13107.

New York’s bill banning One-Person Train Operation (etany.org)

117 points by Ericson2314 9 months ago | 186 comments

13108.

Kaleidos – A portable nuclear microreactor that replaces diesel generators (radiantnuclear.com)

117 points by sparrish 9 months ago | 179 comments

13109.

The looming college-enrollment death spiral (theatlantic.com)

117 points by JumpCrisscross 3 weeks ago | 166 comments

13110.

The Resolv hack: How one compromised key printed $23M (chainalysis.com)

117 points by timbowhite 1 month ago | 163 comments