HN Top Links - Popular Stories from Hacker News

17821.

Formal methods only solve half my problems (brooker.co.za)

78 points by signa11 4 months ago | 30 comments

17822.

Loss of moist broadleaf forest in Africa has turned a carbon sink into source (nature.com)

78 points by PaulHoule 4 months ago | 30 comments

17823.

Real VT102 Emulation with MAME (zork.net)

78 points by gurjeet 6 months ago | 30 comments

17824.

Bravo Apple! Calculator app has a memory leak (xcancel.com)

78 points by pfexec 7 months ago | 30 comments

17825.

EU age verification app hacked, 2 minute How to posted (xcancel.com)

78 points by johanstokking 4 weeks ago | 29 comments

17826.

GitHub Community Discussions: Past year's top 2 requests are to disable Copilot (github.com)

78 points by carodgers 8 months ago | 29 comments

17827.

Investigating Split Locks on x86-64 (chipsandcheese.com)

78 points by ingve 1 month ago | 28 comments

17828.

Adding a team was the wrong strategic decision (learnings.aleixmorgadas.dev)

78 points by milkglass 2 weeks ago | 27 comments

17829.

PGLite Evangelism (substack.com)

78 points by surprisetalk 1 month ago | 27 comments

17830.

Code Wiki: Accelerating your code understanding (developers.googleblog.com)

78 points by geoffbp 5 months ago | 27 comments

17831.

Restoring a ZX Spectrum+ Toastrack (celso.io)

78 points by rcarmo 10 months ago | 27 comments

17832.

Tell HN: 48 absurd web projects – one every month

78 points by absurdwebsite 4 weeks ago | 26 comments

17833.

Rydberg atoms detect clear signals from a handheld radio (phys.org)

78 points by Brajeshwar 2 months ago | 26 comments

17834.

High-performance header-only container library for C++23 on x86-64 (github.com)

78 points by mattgodbolt 4 months ago | 26 comments

17835.

Pingfs: Stores your data in ICMP ping packets (2020) (github.com)

78 points by linkdd 5 months ago | 26 comments

17836.

Show HN: Mathpad – Physical keypad for typing math symbols (crowdsupply.com)

78 points by MagneLauritzen 9 months ago | 26 comments

17837.

iOS 18.5 Bluetooth Privacy Vulnerabilities (github.com)

78 points by FluGameAce007 8 months ago | 25 comments

17838.

Lyon Is Replacing Windows and Microsoft Office with Linux and OnlyOffice (zdnet.com)

78 points by doener 9 months ago | 25 comments

17839.

U.S. carbon pollution rose in 2025, a reversal from prior years (nbcnews.com)

78 points by gmays 4 months ago | 24 comments

17840.

Ribir: Non-intrusive GUI framework for Rust/WASM (github.com)

78 points by adamnemecek 6 months ago | 24 comments

17841.

Promoted on Sunday, Fired on Monday: Inside a NASA Office's Sudden Closure (planetary.org)

78 points by ironyman 6 months ago | 24 comments

17842.

Show HN: We fingerprinted 178 AI models' writing styles and similarity clusters (rival.tips)

78 points by nuancedev 1 month ago | 23 comments

17843.

Show HN: Fence – Sandbox CLI commands with network/filesystem restrictions (github.com)

78 points by jy-tan 3 months ago | 23 comments

17844.

Nearby peer discovery without GPS using environmental fingerprints (svendewaerhert.com)

78 points by waerhert 5 months ago | 23 comments

17845.

Space Mission Options for Reconnaissance and Mitigation of Asteroid 2024 YR4 (arxiv.org)

78 points by bookofjoe 7 months ago | 23 comments

17846.

Look up macOS system binaries (macosbin.com)

78 points by tolerance 9 months ago | 23 comments

17847.

Show HN: A Language Server Implementation for SystemD Unit Files (github.com)

78 points by arandomhuman 10 months ago | 23 comments

17848.

America's Coming Smoke Epidemic (theatlantic.com)

78 points by JumpCrisscross 10 months ago | 23 comments

17849.

Year of the IPv6 Overlay Network (defined.net)

78 points by stock_toaster 4 weeks ago | 21 comments

17850.

Moving a large-scale metrics pipeline from StatsD to OpenTelemetry / Prometheus (medium.com)

78 points by jmarbach 4 weeks ago | 21 comments