HN Top Links - Popular Stories from Hacker News

1561.

Show HN: Lean4 proof that SSOT requires definition-time hooks and introspection (zenodo.org)

9 points by trissim 4 days ago | 16 comments

1562.

Show HN: PrintReadyBook (printreadybook.com)

9 points by cboulio 1 day ago | 14 comments

1563.

Ask HN: What is the best microVMs for AI agents?

9 points by zfoong 1 week ago | 8 comments

1564.

Who's in charge of Venezuela and what happens next? (bbc.com)

9 points by SilverElfin 1 week ago | 8 comments

1565.

America's affordability crisis is (mostly) a mirage (economist.com)

9 points by dxxmxnd 5 days ago | 8 comments

1566.

Ask HN: Are you missing daily email alerts from HN?

9 points by unknownhad 1 week ago | 6 comments

1567.

Trump gets Greenland in 4 easy steps (politico.eu)

9 points by JumpCrisscross 5 days ago | 6 comments

1568.

Ask HN: Is anyone aware of a LinkedIn mirror like xcancel.com for X?

9 points by danielfalbo 5 days ago | 6 comments

1569.

Telegram recovery model allows permanent lockout after phishing (bugs.telegram.org)

9 points by saloed 1 hour ago | 6 comments

1570.

The math animation library ManimCE had many of its assets deleted by an attack (old.reddit.com)

9 points by Darylgolden 1 week ago | 5 comments

1571.

Alexa.com, a new way to interact with Alexa+ (aboutamazon.com)

9 points by thm 1 week ago | 5 comments

1572.

Microsoft is losing the AI race, Copilot stuck at 1% market share (on web) (windowslatest.com)

9 points by jinxmeta 3 days ago | 5 comments

1573.

Digital Euro 'only defence' against deepening US control of money (ft.com)

9 points by rorylawless 18 hours ago | 5 comments

1574.

Influencers and OnlyFans models are dominating O-1 visa requests (theguardian.com)

9 points by Teever 20 hours ago | 5 comments

1575.

Maybe Russia and China Should Sit This One Out (theatlantic.com)

9 points by JumpCrisscross 1 week ago | 4 comments

1576.

15,000 churches could close this year amid religious shift in U.S. (axios.com)

9 points by toomuchtodo 1 week ago | 4 comments

1577.

How the Times Assessed That Photo from Trump of Maduro in Handcuffs (nytimes.com)

9 points by reaperducer 1 week ago | 4 comments

1578.

OpenAI Board Member Zico Kolter's Modern AI Course (modernaicourse.org)

9 points by demirbey05 1 week ago | 4 comments

1579.

Serious Lisp Written in Go (github.com)

9 points by peterohler 6 days ago | 4 comments

1580.

Samsung Galaxy Z TriFold hands-on (mashable.com)

9 points by kristianp 4 days ago | 4 comments

1581.

Larry Page is moving business out of CA ahead of a proposed billionaire's tax (businessinsider.com)

9 points by Alupis 4 days ago | 4 comments

1582.

How Big Tech Killed Literary Culture (unherd.com)

9 points by wigwamnh 2 days ago | 4 comments

1583.

EU countries have approved the Mercosur trade deal after 25 years of talks (politico.eu)

9 points by paulpauper 2 days ago | 4 comments

1584.

AI is intensifying a 'collapse' of trust online, experts say (nbcnews.com)

9 points by pseudolus 1 day ago | 4 comments

1585.

Macron wants to ban under-15s from social media from September 2026 (reuters.com)

9 points by 1vuio0pswjnm7 1 week ago | 3 comments

1586.

Show HN: Underpriced AI – Snap a photo, get instant resale value with AI (underpricedai.com)

9 points by fkratzer 1 week ago | 3 comments

1587.

Jan. 6 Archive: The Capital Charges database (apps.npr.org)

9 points by 1659447091 1 week ago | 3 comments

1588.

50k people were dropped from one AI training project during the holidays

9 points by KyleW9 4 days ago | 3 comments

1589.

Inside China's Six-Decade Campaign to Dominate Rare Earths (nytimes.com)

9 points by bookofjoe 3 days ago | 3 comments

1590.

Artificial intelligence begins prescribing medications in Utah (politico.com)

9 points by randycupertino 1 day ago | 3 comments