HN Top Links - Popular Stories from Hacker News

11551.

Show HN: Verifying Rust implementation logic using Lean 4 as a fuzzing oracle (github.com)

3 points by xmaruff 4 months ago | 1 comments

11552.

Why are weather forecasting sites so bad? (blog.engora.com)

3 points by Vermin2000 4 months ago | 1 comments

11553.

Show HN: 90% of GPU Cycles Are Waste. A New Computing Primitive for Physics AI (github.com)

3 points by ZuoCen_Liu 4 months ago | 1 comments

11554.

Show HN: I built a health score for 1,800 Laravel packages (laraplugins.io)

3 points by danielpetrica 4 months ago | 1 comments

11555.

The Next Thing Will Not Be Big (blog.glyph.im)

3 points by vortex_ape 4 months ago | 1 comments

11556.

Wikipedia's most-read pages reveal our shared curiosities (not-ship.com)

3 points by Nitrolo 4 months ago | 1 comments

11557.

What happened in Q4 in my personal project (blog.with.audio)

3 points by OfflineSergio 4 months ago | 1 comments

11558.

Why Nearly Every Apple Has a Sticker–and What That Tiny Label Does (seriouseats.com)

3 points by acdanger 4 months ago | 1 comments

11559.

Show HN: A standalone server for probabilistic data structures written in Go (github.com)

3 points by lopezb 4 months ago | 1 comments

11560.

Stop Searching for a "Match." Start Thinking in Systems (substack.com)

3 points by bosmanos 4 months ago | 1 comments

11561.

Reduced pricing for GitHub-hosted runners usage (github.blog)

3 points by nateb2022 4 months ago | 1 comments

11562.

US battery autonomy will upend EV hierarchy (reuters.com)

3 points by alephnerd 4 months ago | 1 comments

11563.

How Nokia went from iPhone victim to $1B Nvidia deal (ft.com)

3 points by thm 4 months ago | 1 comments

11564.

MacDown 3000 – your favorite Markdown editor for macOS is back (macdown.app)

3 points by sderle 4 months ago | 1 comments

11565.

Gastown: multi-agent workspace manager (github.com)

3 points by simonpure 4 months ago | 1 comments

11566.

Show HN: It Happened Again – Track recurring events with evidence (ithappenedagain.fyi)

3 points by goniszewski 4 months ago | 1 comments

11567.

Show HN: Get company brand data API (brand.dev)

3 points by ICodeSometimes 4 months ago | 1 comments

11568.

Tesla Falls Behind China's BYD as Vehicle Sales Drop for Second Year (wsj.com)

3 points by JumpCrisscross 4 months ago | 1 comments

11569.

AI Data Centers in Space? (nytimes.com)

3 points by bookofjoe 4 months ago | 1 comments

11570.

How to make a Blockbuster VHS sleeve for any movie (popsci.com)

3 points by Brajeshwar 3 months ago | 1 comments

11571.

Experimenting with AI to defend critical infrastructure (red.anthropic.com)

3 points by Kristopher1337 4 months ago | 1 comments

11572.

Why I am Starting a Blog in 2026 (zias.be)

3 points by ziasvannes 4 months ago | 1 comments

11573.

Star Wars Racer Revenge game is key to jailbreaking PlayStation 5 (tomshardware.com)

3 points by canucker2016 4 months ago | 1 comments

11574.

MSI teases new PSU with 'instant protection' against melting RTX 5090 cables (tomshardware.com)

3 points by canucker2016 4 months ago | 1 comments

11575.

Show HN: Research-Backed Multi-Agent System for Autonomous Development (github.com)

3 points by slogansand 4 months ago | 1 comments

11576.

Deciding what SEO content to create before writing anything (vect.pro)

3 points by afrafgf 4 months ago | 1 comments

11577.

National Design Studio (ndstudio.gov)

3 points by handfuloflight 4 months ago | 1 comments

11578.

Exposure to Multiple Fine Particulate Matter Components and Incident Depression (jamanetwork.com)

3 points by wjb3 4 months ago | 1 comments

11579.

Grok says safeguard lapses led to images of 'minors in minimal clothing' on X (reuters.com)

3 points by erhuve 4 months ago | 1 comments

11580.

I Was Anti-Imperialist Until I Wasn't (elimbi.com)

3 points by sepiropht 3 months ago | 1 comments