HN Top Links - Popular Stories from Hacker News

2041.

Lies, Damned Lies and Proofs: Formal Methods Are Not Slopless (lesswrong.com)

9 points by OgsyedIE 10 hours ago | 1 comments

2042.

Amateur sleuth earns £2M reward for exposing research fraud (thetimes.com)

9 points by bookofjoe 8 hours ago | 1 comments

2043.

Show HN: An SVG Inspection Tool (svg.studio)

9 points by gatkinso 1 week ago | 0 comments

2044.

Lenovo ThinkCentre Neo 50q Tiny QC Review a Qualcomm Snapdragon X Based 1L PC (servethehome.com)

9 points by ksec 1 week ago | 0 comments

2045.

Trump claims Venezuela's Maduro captured after 'large-scale' attacks (aljazeera.com)

9 points by taurath 1 week ago | 0 comments

2046.

Show HN: Walkie-Talkie Toy over WiFi/Tailscale on Raspberry Pi (github.com)

9 points by spieglt 1 week ago | 0 comments

2047.

Beijing Unveils Supercritical CO2 Turbine That Could Upend Power Tech (oilprice.com)

9 points by PaulHoule 1 week ago | 0 comments

2048.

Interview of Fabien Pinckaers, CEO at Odoo[video] (youtube.com)

9 points by me_bx 1 week ago | 0 comments

2049.

Who Owns the Memory? Part 2: Who Calls Free? (lukefleed.xyz)

9 points by lukefleed 1 week ago | 0 comments

2050.

They Said AI Would Replace You by Now (youtube.com)

9 points by cable2600 1 week ago | 0 comments

2051.

Denmark Tells Trump to 'Stop the Threats' About Greenland (nytimes.com)

9 points by saubeidl 1 week ago | 0 comments

2052.

Tech companies increasingly defeated by communities opposed to data centers (apnews.com)

9 points by jnord 1 week ago | 0 comments

2053.

We Bought 404media.com (404media.co)

9 points by Sami_Lehtinen 1 week ago | 0 comments

2054.

China's Q-Ship Containerized Weapon System (hisutton.com)

9 points by wood_spirit 1 week ago | 0 comments

2055.

The 5 Knights of the MCP Apocalypse (foojay.io)

9 points by saikatsg 1 week ago | 0 comments

2056.

OpenWRT 25.12.0-RC2 Released (openwrt.org)

9 points by josteink 1 week ago | 0 comments

2057.

Donald Trump poses a threat to civilization (theguardian.com)

9 points by hkhn 1 week ago | 0 comments

2058.

The modern peril of the availability heuristic (behavioraleconomics.com)

9 points by ohpissoff 1 week ago | 0 comments

2059.

U.S. Forces Seize Fleeing Tanker Being Escorted by Russian Vessels (wsj.com)

9 points by JumpCrisscross 1 week ago | 0 comments

2060.

Russian attack hits infrastructure target in Western Lviv region (reuters.com)

9 points by clanky 5 days ago | 0 comments

2061.

Software Is Mostly All You Need (softwarefordays.com)

9 points by jbmilgrom 1 day ago | 0 comments

2062.

AI PCs aren't selling, and Microsoft's PC partners are scrambling (zdnet.com)

9 points by csomar 4 days ago | 0 comments

2063.

Show HN: MCP Server for Job Search (github.com)

9 points by sp1982 3 days ago | 0 comments

2064.

Texas Police Invested Millions in Shadowy Phone-Tracking Software (texasobserver.org)

9 points by lnguyen 2 hours ago | 0 comments

2065.

Prompting 101: Show, don't tell (haskellforall.com)

9 points by birdculture 3 days ago | 0 comments

2066.

Texas A&M Bans Philosophy Prof. From Teaching Plato Because of "Gender Ideology" (erininthemorning.com)

9 points by sapphicsnail 3 days ago | 0 comments

2067.

Universal Commerce Protocol (ucp.dev)

9 points by meetpateltech 3 days ago | 0 comments

2068.

India proposes forcing smartphone makers to give source code (reuters.com)

9 points by Brajeshwar 2 days ago | 0 comments

2069.

A City on Mars (en.wikipedia.org)

9 points by ColinWright 3 days ago | 0 comments

2070.

Milk-V Titan: A $329 8-Core 64-bit RISC-V mini-ITX board with PCIe Gen4x16 (cnx-software.com)

9 points by fork-bomber 2 days ago | 0 comments