HN Top Links - Popular Stories from Hacker News

21811.

Turning Our Back on Clean Energy (paulkrugman.substack.com)

57 points by rbanffy 3 months ago | 8 comments

21812.

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

57 points by seafoamteal 5 months ago | 8 comments

21813.

FMD Android: secure open source alternative to Google's Find My Device (gitlab.com)

57 points by miles 10 months ago | 8 comments

21814.

Denmark tests unmanned robotic sailboat fleet (apnews.com)

57 points by domofutu 11 months ago | 8 comments

21815.

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

57 points by sorcercode 4 weeks ago | 7 comments

21816.

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

57 points by mccr8 4 weeks ago | 7 comments

21817.

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

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

21818.

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

57 points by HieronymusBosch 3 months ago | 7 comments

21819.

Why Spain has the greatest cities (worksinprogress.co)

57 points by devitoria 5 days ago | 6 comments

21820.

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

57 points by vitaut 3 months ago | 6 comments

21821.

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

57 points by MaysonL 3 months ago | 6 comments

21822.

Scientific and Technical Amateur Radio (destevez.net)

57 points by gballan 5 months ago | 6 comments

21823.

A Beautiful Technique for Some XOR Related Problems (codeforces.com)

57 points by blobcode 11 months ago | 6 comments

21824.

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

57 points by ddtaylor 2 months ago | 5 comments

21825.

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

57 points by ColinWright 3 months ago | 5 comments

21826.

Cardputer uLisp Machine (2024) (ulisp.com)

57 points by tosh 4 months ago | 5 comments

21827.

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

57 points by firefly284 3 weeks ago | 4 comments

21828.

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

57 points by DustinEchoes 3 months ago | 4 comments

21829.

Windows 3.1 in the Browser (pcjs.org)

57 points by memalign 5 months ago | 4 comments

21830.

Grid-Free Approach to Partial Differential Equations on Volumetric Domains [pdf] (rohansawhney.io)

57 points by luu 11 months ago | 4 comments

21831.

New method for creating large 3D models of urban areas is faster and cheaper (techxplore.com)

57 points by PaulHoule 11 months ago | 4 comments

21832.

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

57 points by speckx 2 months ago | 3 comments

21833.

Claude.ai Is Down (claude.ai)

57 points by imalerba 6 months ago | 3 comments

21834.

High-speed fluorescence light field tomography of whole freely moving organisms (opg.optica.org)

57 points by PaulHoule 11 months ago | 3 comments

21835.

Yet another tmux cheat sheet (tmuxai.dev)

57 points by alvinunreal 11 months ago | 3 comments

21836.

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

57 points by tkhattra 3 weeks ago | 2 comments

21837.

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

57 points by rendx 7 months ago | 2 comments

21838.

The importance of free software to science (lwn.net)

57 points by leephillips 11 months ago | 2 comments

21839.

Network Flow Algorithms (networkflowalgs.com)

57 points by teleforce 1 month ago | 1 comments

21840.

Generative Pen-Trained Transformer (theodore.net)

57 points by Twarner 3 months ago | 1 comments