HN Top Links - Popular Stories from Hacker News

2941.

Show HN: Requirements Engineering with Formal Verification (fizzbee.ai)

27 points by jayaprabhakar 2 months ago | 5 comments

2942.

Show HN: Simulator for a custom 8-bit discreet logic computer (msap2.mehran.dk)

27 points by mehrant 2 months ago | 5 comments

2943.

Marco Rubio launches campaign to dismantle international criminal court (theguardian.com)

27 points by colinprince 2 months ago | 5 comments

2944.

Show HN: Web App Uses RTL-SDR to Align HDTV Antenna (tunerscope.com)

27 points by robotastic 2 months ago | 5 comments

2945.

Building watchable digital twins of 64 World Cup games (rogerdickey.com)

27 points by rogerdickey 2 months ago | 5 comments

2946.

The Origins of Modern Mathematics in Russia (valeman.medium.com)

27 points by ibobev 2 months ago | 5 comments

2947.

Making Referential Stability a Type (jovidecroock.com)

27 points by acmnrs 2 months ago | 4 comments

2948.

The Proof Machine (2016) (incredible.pm)

27 points by BenoitP 2 months ago | 4 comments

2949.

Publishers Are Preparing to Opt Out of Google Search (adweek.com)

27 points by giuliomagnifico 2 months ago | 3 comments

2950.

UIUC AI Teaching Assistant (github.com)

27 points by teleforce 2 months ago | 3 comments

2951.

Show HN: Tines 3B – safe workflow automation for when everyone builds software (tines.com)

27 points by retsol 2 months ago | 2 comments

2952.

Online Historical Encyclopaedia of Programming Languages (hopl.info)

27 points by gregsadetsky 2 months ago | 2 comments

2953.

'Weird Al' Yankovic Pulled Out of AI Ad (variety.com)

27 points by cdrnsf 3 months ago | 1 comments

2954.

Police arrests 5,800 suspects in global anti-fraud crackdown (bleepingcomputer.com)

27 points by Brajeshwar 2 months ago | 1 comments

2955.

Who cleans up after the vibe-coding party? (ft.com)

27 points by jweir 2 months ago | 1 comments

2956.

Qwen 3.8 Max (qwen.ai)

27 points by linzhangrun 2 months ago | 1 comments

2957.

A U.S. Citizen Deleted His Phone's Data. Now He Faces a Felony Charge (nytimes.com)

27 points by aarghh 2 months ago | 1 comments

2958.

Characterizing Warp Divergence from Pascal to Blackwell (arxiv.org)

27 points by matt_d 2 months ago | 1 comments

2959.

Morphometrics: Introduction to the Analysis of Shape (geol.umd.edu)

27 points by num42 3 months ago | 0 comments

2960.

Could a Neuroscientist Understand a Microprocessor?(2017) (journals.plos.org)

27 points by num42 2 months ago | 0 comments

2961.

27 points by andsoitis 2 months ago | 0 comments

2962.

Baseload Is a Myth (2024) (cleanenergyreview.io)

26 points by thecopy 2 months ago | 52 comments

2963.

Purging George Orwell's books misses what drives the political right (theloop.ecpr.eu)

26 points by jruohonen 2 months ago | 35 comments

2964.

Show HN: InstantVideos.org – short documentaries in ~30 seconds (instantvideos.org)

26 points by pw 3 months ago | 31 comments

2965.

Apple's rumored M7 Ultra targets 1.5TB and Blackwell-class AI performance (tomshardware.com)

26 points by rbanffy 2 months ago | 31 comments

2966.

Kids who own phones have poorer reading comprehension scores VS those who don't (phys.org)

26 points by Markoff 2 months ago | 31 comments

2967.

Banning AI will not make it go away (vishal.rs)

26 points by vishalontheline 2 months ago | 26 comments

2968.

The politics of air conditioning in Switzerland (lenews.ch)

26 points by bookofjoe 2 months ago | 25 comments

2969.

Claude's Criminally Bad Electron Mac App Is an Inside Job (daringfireball.net)

26 points by GavinAnderegg 3 months ago | 22 comments

2970.

How to Sell a Kettle (economist.com)

26 points by bazzmt 2 months ago | 16 comments