HN Top Links - Popular Stories from Hacker News

31261.

Looking for Missed Alarm Bugs in a Formal Verification Tool (blog.regehr.org)

29 points by luu 6 days ago | 1 comments

31262.

Memora: A Harmonic Memory Representation Balancing Abstraction and Specificity (microsoft.com)

29 points by matt_d 1 month ago | 1 comments

31263.

Latent Agents: A Post-Training Procedure for Internalized Multi-Agent Debate (arxiv.org)

29 points by PaulHoule 2 months ago | 1 comments

31264.

Tuta has joined Euro-Office and will now contribute to its codebase (neowin.net)

29 points by bundie 2 months ago | 1 comments

31265.

May I recommend understanding Emacs's patterns (chiply.dev)

29 points by chiply 3 months ago | 1 comments

31266.

European Lisp Symposium 2026 (european-lisp-symposium.org)

29 points by Igrom 3 months ago | 1 comments

31267.

The Triumph of Stupidity (1933) (russell-j.com)

29 points by downbad_ 4 months ago | 1 comments

31268.

A Visual Guide to Gemma 4 (newsletter.maartengrootendorst.com)

29 points by vismit2000 4 months ago | 1 comments

31269.

He saw an abandoned trailer, he uncovered a surveillance network on CA border (themarkup.org)

29 points by rmason 5 months ago | 1 comments

31270.

Judge Voids Mass Layoffs at Voice of America (nytimes.com)

29 points by JumpCrisscross 5 months ago | 1 comments

31271.

I Started Identifying Corporate Devices in My Software (lgug2z.com)

29 points by panic 6 months ago | 1 comments

31272.

Ukraine says more than 80% of enemy targets now destroyed by drones (defensenews.com)

29 points by Geonode 6 months ago | 1 comments

31273.

Refinement Without Specification (buttondown.com)

29 points by BerislavLopac 6 months ago | 1 comments

31274.

Justice Delayed Is Justice Denied (en.wikipedia.org)

29 points by barrister 7 months ago | 1 comments

31275.

California Delete Request and Opt-out Platform (DROP) (privacy.ca.gov)

29 points by 8organicbits 7 months ago | 1 comments

31276.

An initial analysis of the discovered Unix V4 tape (spinellis.gr)

29 points by zdw 7 months ago | 1 comments

31277.

Show HN: Mactop v2.0.0 (github.com)

29 points by carsenk 7 months ago | 1 comments

31278.

Disrupting the first reported AI-orchestrated cyber espionage campaign [pdf] (assets.anthropic.com)

29 points by piotrgrudzien 9 months ago | 1 comments

31279.

Too Cruel Too Soon (paulkrugman.substack.com)

29 points by rbanffy 9 months ago | 1 comments

31280.

F5 Networks reports nation-state cyberattack on product systems (streetinsider.com)

29 points by nycdatasci 10 months ago | 1 comments

31281.

Show HN: Resterm – A terminal-based REST/GraphQL and gRPC client (github.com)

29 points by unkn0wn_root 10 months ago | 1 comments

31282.

NixOS Moderation Team Resigns (lwn.net)

29 points by ragebol 10 months ago | 1 comments

31283.

Hacking Emacs: patching how markdown-mode finds images (oxal.org)

29 points by oxalorg 11 months ago | 1 comments

31284.

Active phishing campaign targeting crates.io users (blog.rust-lang.org)

29 points by calibas 11 months ago | 1 comments

31285.

The three stages of religious decline around the world (nature.com)

29 points by toomuchtodo 11 months ago | 1 comments

31286.

Ladybird Browser Update (August 2025) (youtube.com)

29 points by todsacerdoti 11 months ago | 1 comments

31287.

Gaza postwar plan envisions 'voluntary' relocation of population (washingtonpost.com)

29 points by linehedonist 11 months ago | 1 comments

31288.

Pearl – An Erlang lexer and syntax highlighter in Gleam (github.com)

29 points by TheWiggles 11 months ago | 1 comments

31289.

Google to make sideloading Android apps safer by verifying developer identity (androidauthority.com)

29 points by jmsflknr 11 months ago | 1 comments

31290.

Tesla is slow in reporting crashes and the feds have launched an investigation (apnews.com)

29 points by voxadam 11 months ago | 1 comments