HN Top Links - Popular Stories from Hacker News

13111.

Single Module Lambda Calculus from Simply Typed to Martin Lof Type Theory (github.com)

3 points by birdculture 3 weeks ago | 0 comments

13112.

Waterfox: Firefox with privacy, usability, and speed enhancements (waterfox.com)

3 points by rankdiff 3 weeks ago | 0 comments

13113.

I swept all 667 layer duplication configs for Qwen3-4B on 1x RTX 3090 (austinsnerdythings.com)

3 points by auspiv 3 weeks ago | 0 comments

13114.

New Master Fixed Point Theorem Unifies Godel, Turing, Kleene, Tarski, Lob (novaspivack.com)

3 points by airesearcher 3 weeks ago | 0 comments

13115.

Pausing new GitHub Copilot Pro trials (github.blog)

3 points by ms7892 3 weeks ago | 0 comments

13116.

Suchir Balaji (en.wikipedia.org)

3 points by hunter67 3 weeks ago | 0 comments

13117.

Tips for a Successful Life by Agnes Callard (twitter.com)

3 points by jimsojim 3 weeks ago | 0 comments

13118.

The Economic Value of Eliminating Cancer (nber.org)

3 points by paulpauper 3 weeks ago | 0 comments

13119.

Avatar: Aang: The Last Airbender Surfaces Online Months Before Paramount+ Debut (cartoonbrew.com)

3 points by Cider9986 3 weeks ago | 0 comments

13120.

EU age verification app ready as Europe moves to curb children's social media (reuters.com)

3 points by ludovicianul 3 weeks ago | 0 comments

13121.

Is Your SaaS Bill Worth It? The Honest Math Behind Build vs. Buy (appunite.com)

3 points by Przemo_Appunite 3 weeks ago | 0 comments

13122.

Ask the Zuckbot? Meta Reportedly Building AI Clone of Mark Zuckerberg (uk.pcmag.com)

3 points by Towaway69 3 weeks ago | 0 comments

13123.

Meta creating AI version of Mark Zuckerberg so staff can talk to the boss (theguardian.com)

3 points by gmays 3 weeks ago | 0 comments

13124.

We're only seeing the tip of the chip-smuggling iceberg (cyberscoop.com)

3 points by lschueller 3 weeks ago | 0 comments

13125.

KillBench shows every major LLM is biased against Americans (twitter.com)

3 points by ovyan 3 weeks ago | 0 comments

13126.

Ireland is the 2n richest country in Europe; a single protest shut it down (butthistime.com)

3 points by nemoniac 3 weeks ago | 0 comments

13127.

Show HN: IBANforge – $6/mo alternative to $9,500/yr IBAN validation APIs (ibanforge.com)

3 points by Xentyon 3 weeks ago | 0 comments

13128.

Australian pleads guilty to creating deepfake porn in landmark case (bbc.com)

3 points by vinni2 3 weeks ago | 0 comments

13129.

Why AI hasn't replaced human expertise–and what that means for your SaaS stack (stackoverflow.blog)

3 points by salkahfi 3 weeks ago | 0 comments

13130.

Rome Is Burning (drjoshcsimmons.com)

3 points by joshcsimmons 3 weeks ago | 0 comments

13131.

Proposed US Congress bill requires all operating system providers to verify ages (gamingonlinux.com)

3 points by LorenDB 3 weeks ago | 0 comments

13132.

If you ignore soft skills, you'll be taken for a ride (togetherlondon.com)

3 points by algebracare 3 weeks ago | 0 comments

13133.

Let Sleeping CPUs Lie – S0ix (freebsdfoundation.org)

3 points by rbanffy 3 weeks ago | 0 comments

13134.

Kerrygold Maker Ornua Sees Middle East War Driving Food Inflation (bloomberg.com)

3 points by speckx 3 weeks ago | 0 comments

13135.

Input Brain vs. Output Brain (humaninternet.ai)

3 points by herbertl 3 weeks ago | 0 comments

13136.

The Anatomy of an Agent Harness (langchain.com)

3 points by andrewstetsenko 3 weeks ago | 0 comments

13137.

Before he wrote AI 2027, he predicted the world in 2026. How did he do? (asteriskmag.substack.com)

3 points by gmays 3 weeks ago | 0 comments

13138.

Show HN: Monadic Networking Library for Go (github.com)

3 points by ironmagma 3 weeks ago | 0 comments

13139.

The labor economics of 'Alien' and its lessons for inequality on Earth (npr.org)

3 points by andsoitis 3 weeks ago | 0 comments

13140.

The tech jobs bust is real. Don't blame AI (yet) (economist.com)

3 points by thm 3 weeks ago | 0 comments