HN Top Links - Popular Stories from Hacker News

22351.

Formally verifying Advent of Code using Dijkstra's program construction (haripm.com)

57 points by seafoamteal 7 months ago | 8 comments

22352.

Appeals court upholds FTX co-founder Sam Bankman-Fried's fraud conviction (apnews.com)

57 points by 1vuio0pswjnm7 1 month ago | 7 comments

22353.

Kuri – Zig based agent-browser alternative (github.com)

57 points by sorcercode 3 months ago | 7 comments

22354.

The zero-days are numbered (blog.mozilla.org)

57 points by mccr8 3 months ago | 7 comments

22355.

High fidelity font synthesis for CJK languages (github.com)

57 points by kaonashi-tyc-01 4 months ago | 7 comments

22356.

Anna's Archive Loses .PM Domain, Adds Greenland (.GL) Backup (torrentfreak.com)

57 points by HieronymusBosch 5 months ago | 7 comments

22357.

Vector Graphics in Lil (beyondloom.com)

57 points by RodgerTheGreat 1 month ago | 6 comments

22358.

Bitwise conversion of doubles using only FP multiplication and addition (2020) (dougallj.wordpress.com)

57 points by vitaut 5 months ago | 6 comments

22359.

mRNA cancer vaccine shows protection at 5-year follow-up, Moderna and Merck say (arstechnica.com)

57 points by MaysonL 5 months ago | 6 comments

22360.

Scientific and Technical Amateur Radio (destevez.net)

57 points by gballan 7 months ago | 6 comments

22361.

Fork Off: Surveillance States Need to Fork Linux Themselves (blog.devrupt.io)

57 points by ddtaylor 4 months ago | 5 comments

22362.

Judge scolds Zuckerberg's team for wearing Meta glasses to social media trial (cbsnews.com)

57 points by ColinWright 5 months ago | 5 comments

22363.

Cardputer uLisp Machine (2024) (ulisp.com)

57 points by tosh 6 months ago | 5 comments

22364.

An Interview with Intel's Kira Boyko: Xeon 6's Product Director (chipsandcheese.com)

57 points by lumpa 1 month ago | 4 comments

22365.

The predictable failure of the QDay Prize (algassert.com)

57 points by firefly284 2 months ago | 4 comments

22366.

4chan founder created /pol/ board after meeting with Epstein (bsky.app)

57 points by DustinEchoes 5 months ago | 4 comments

22367.

Windows 3.1 in the Browser (pcjs.org)

57 points by memalign 7 months ago | 4 comments

22368.

Beyond Git: Real-Time Version Control for Godot – Lilith Duncan – GodotCon 2026 [video] (youtube.com)

57 points by surprisetalk 3 weeks ago | 3 comments

22369.

DeepSeek V4 Pro at 5% the cost of Claude – what it takes to close the gap (howardchen.substack.com)

57 points by coolwulf 1 month ago | 3 comments

22370.

Please do not use auto-scrolling content on the web and in applications (cerovac.com)

57 points by speckx 4 months ago | 3 comments

22371.

Claude.ai Is Down (claude.ai)

57 points by imalerba 8 months ago | 3 comments

22372.

A grounded conceptual model for ownership types in Rust (cacm.acm.org)

57 points by tkhattra 2 months ago | 2 comments

22373.

The (economic) AI apocalypse is nigh (pluralistic.net)

57 points by rendx 9 months ago | 2 comments

22374.

Steam Machine game testing (lttlabs.com)

57 points by LabsLucas 1 month ago | 1 comments

22375.

Network Flow Algorithms (networkflowalgs.com)

57 points by teleforce 3 months ago | 1 comments

22376.

Generative Pen-Trained Transformer (theodore.net)

57 points by Twarner 5 months ago | 1 comments

22377.

Bootstrapping Bun (walters.app)

57 points by zerf 6 months ago | 1 comments

22378.

Australian teens lose access to social media as ban takes effect (bbc.com)

57 points by tartoran 7 months ago | 1 comments

22379.

Upsides and Downsides (calv.info)

57 points by nohide 11 months ago | 1 comments

22380.

Language Courses in the Public Domain (fsi-languages.yojik.eu)

57 points by hggh 1 month ago | 0 comments