HN Top Links - Popular Stories from Hacker News

18241.

Systematically generating tests that would have caught Anthropic's top‑K bug (theorem.dev)

80 points by jasongross 8 months ago | 20 comments

18242.

How Apple's walled garden protects ICE (theverge.com)

80 points by Fricken 11 months ago | 20 comments

18243.

Largest Digital Human Rights Conference Suddenly Canceled (404media.co)

80 points by Brajeshwar 4 months ago | 19 comments

18244.

Using Tailscale with an OrbStack VM on macOS (github.com)

80 points by highpost 4 months ago | 18 comments

18245.

Detecting DOSBox from Within the Box (datagirl.xyz)

80 points by atan2 5 months ago | 18 comments

18246.

A prison of my own making (jsteuernagel.de)

80 points by todsacerdoti 10 months ago | 18 comments

18247.

Roman industrial hub discovered on banks of River Wear (durham.ac.uk)

80 points by andsoitis 7 months ago | 17 comments

18248.

North Korean infiltrator caught at Amazon due to 110ms keystroke lag (tomshardware.com)

80 points by bns 9 months ago | 17 comments

18249.

Cloud-Init on Raspberry Pi OS (raspberrypi.com)

80 points by rcarmo 9 months ago | 17 comments

18250.

Creating the Aetheryte Radio (haz.ee)

80 points by wonger_ 4 weeks ago | 16 comments

18251.

Sleepwalker: Passive Backdoor with Its Own Command Language (r136a1.dev)

80 points by defrost 1 month ago | 16 comments

18252.

BYOC Anywhere: The Spectrum of Bring Your Own Cloud Deployments (omnistrate.com)

80 points by kkgupta 1 month ago | 16 comments

18253.

Google Search is now using AI to replace headlines (theverge.com)

80 points by imartin2k 6 months ago | 16 comments

18254.

How to train your program verifier (risemsr.github.io)

80 points by matt_d 7 months ago | 16 comments

18255.

Single header Parser Combinators for C (github.com)

80 points by steve-chavez 2 months ago | 15 comments

18256.

"time to GPT-2", down to 2.91 hours (twitter.com)

80 points by tosh 7 months ago | 15 comments

18257.

Quack-Cluster: A Serverless Distributed SQL Query Engine with DuckDB and Ray (github.com)

80 points by tanelpoder 7 months ago | 15 comments

18258.

Better Vector Search for Long Documents: Chunking Inside Manticore Search (manticoresearch.com)

80 points by GloriaVinogrado 1 week ago | 14 comments

18259.

KisakCOD – Open-source reimplementation of Call of Duty 4 Multiplayer (github.com)

80 points by skibz 1 month ago | 14 comments

18260.

Financial Times' 404 Page not Found (ft.com)

80 points by sans_souse 1 week ago | 13 comments

18261.

Show HN: I left Figma to build a diffusion-based UI design tool (diffui.ai)

80 points by jjcm 2 months ago | 13 comments

18262.

How much linear memory access is enough? (solidean.com)

80 points by PhilipTrettner 5 months ago | 13 comments

18263.

ReferenceFinder: Find coordinates on a piece of paper with only folds (mutsuntsai.github.io)

80 points by icwtyjj 7 months ago | 13 comments

18264.

That Time Ken Thompson Wrote a Backdoor into the C Compiler (micahkepe.com)

80 points by thunderbong 11 months ago | 13 comments

18265.

Faster embeddings: how we rebuilt the ONNX path in Manticore (manticoresearch.com)

80 points by snikolaev 2 months ago | 12 comments

18266.

Verus is a tool for verifying the correctness of code written in Rust (verus-lang.github.io)

80 points by fanf2 5 months ago | 12 comments

18267.

Accurate Models of AMD Matrix Cores (arxiv.org)

80 points by matt_d 1 week ago | 11 comments

18268.

Pointing at the error: compiler-style diagnostics in uutils coreutils (uutils.org)

80 points by ingve 3 weeks ago | 11 comments

18269.

DeepSeek-V4 on Day 0: From Fast Inference to Verified RL with SGLang and Miles (lmsys.org)

80 points by mji 5 months ago | 10 comments

18270.

Peter Thiel's 'Dialog' network was super-secret. A data leak changed that (san.com)

80 points by lorecore 3 months ago | 9 comments