HN Top Links - Popular Stories from Hacker News

28591.

The Z3 Theorem Prover (github.com)

35 points by benoitg 7 months ago | 2 comments

28592.

Debian Extended Long Term Support (wiki.debian.org)

35 points by mariuz 8 months ago | 2 comments

28593.

Debian Mandates Rust for Apt, Reshaping Ubuntu and Other Linux Distros (thenewstack.io)

35 points by CrankyBear 8 months ago | 2 comments

28594.

Post-heist report reveals the password of the Louvre's video system was 'Louvre' (pcgamer.com)

35 points by PLenz 9 months ago | 2 comments

28595.

Rethinking CQRS: An Interview on OpenCQRS (docs.eventsourcingdb.io)

35 points by goloroden 9 months ago | 2 comments

28596.

Imgur Access in the United Kingdom (help.imgur.com)

35 points by jap 10 months ago | 2 comments

28597.

Google's Android developer registration requirement will kill F-Droid (osnews.com)

35 points by snvzz 10 months ago | 2 comments

28598.

Trump demands Bondi "move fast" to prosecute, James, Comey, Schiff (nytimes.com)

35 points by mizzao 10 months ago | 2 comments

28599.

Gap in Mochizuki's proof of ABC confirmed by Lean (twitter.com)

35 points by ogogmad 3 weeks ago | 1 comments

28600.

GPT‑Red: Unlocking Self-Improvement for Robustness (openai.com)

35 points by alvis 3 weeks ago | 1 comments

28601.

Ex-NOAA employees re-create a valuable climate data site shut down by Trump (npr.org)

35 points by geox 1 month ago | 1 comments

28602.

How Long Does It Take for a QQuickItem to Become Visible? (kdab.com)

35 points by jandeboevrie 2 months ago | 1 comments

28603.

I knew my writing students used AI. Their confessions led to a teaching moment (theguardian.com)

35 points by Michelangelo11 2 months ago | 1 comments

28604.

Safe ways to do things in bash (2023) (github.com)

35 points by gautamsomani 4 months ago | 1 comments

28605.

SSH Certificates and Git Signing (codon.org.uk)

35 points by zdw 4 months ago | 1 comments

28606.

WebAI Kinda Stinks (capsolver.com)

35 points by sqiubncwab 4 months ago | 1 comments

28607.

KiCad 10.0.0 RC1 (kicad.org)

35 points by dthakur 5 months ago | 1 comments

28608.

IBM triples US entry-level hiring for roles AI was predicted to replace (bloomberg.com)

35 points by speckx 5 months ago | 1 comments

28609.

Gaming on Linux just got a bump with new Wine 11 improvements (pcgamer.com)

35 points by evo_9 6 months ago | 1 comments

28610.

Officials discover a million more documents potentially related to Epstein case (bbc.com)

35 points by simonebrunozzi 7 months ago | 1 comments

28611.

Getting serial port output on modern Macs (gist.github.com)

35 points by walterbell 7 months ago | 1 comments

28612.

Congress Kills Military "Right to Repair" (theintercept.com)

35 points by beepbooptheory 7 months ago | 1 comments

28613.

My jury stood up to Trump's DOJ and acquitted me of assault on an FBI agent (msnbc.com)

35 points by gok 9 months ago | 1 comments

28614.

Amazon targets as many as 30k corporate job cuts: Reuters, citing sources (cnbc.com)

35 points by blindriver 9 months ago | 1 comments

28615.

Trump pardons convicted Binance founder Zhao, White House says (reuters.com)

35 points by mitchbob 9 months ago | 1 comments

28616.

Microplastics May Be Tied to Vascular Dementia Cases (sciencealert.com)

35 points by fluxist 9 months ago | 1 comments

28617.

Rearchitecting GitHub Pages (2015) (github.blog)

35 points by djoldman 11 months ago | 1 comments

28618.

AI: Great Expectations (rodneybrooks.com)

35 points by chmaynard 11 months ago | 1 comments

28619.

Study shows removing exposure to plastic from our food chain yields quick result (abc.net.au)

35 points by xbmcuser 3 months ago | 0 comments

28620.

SteamOS ARM64 Reaches Nintendo Switch in First Experiment (onejailbreak.com)

35 points by SockThief 3 months ago | 0 comments