HN Top Links - Popular Stories from Hacker News

18631.

Unified physics theory machine-verified in Lean 4 (504 K lines, 0 sorry) (ramzesx.github.io)

2 points by NorbertMarch 6 days ago | 0 comments

18632.

BrowseNotes – Sticky notes anchored to text on any webpage (chromewebstore.google.com)

2 points by browseby 6 days ago | 0 comments

18633.

Seed oils in the pathogenesis of CVD also warrants further investigation (pmc.ncbi.nlm.nih.gov)

2 points by bilsbie 6 days ago | 0 comments

18634.

Hedera Introduces CLPR: The Bridgeless Cross-Ledger Protocol (hashgraph.com)

2 points by kfrzcode 6 days ago | 0 comments

18635.

Ask HN: A Spec Driven Back end development platform to build and evolve safely

2 points by undermineduser 6 days ago | 0 comments

18636.

Meta's historic loss in court could cost more than $375M (theverge.com)

2 points by Brajeshwar 6 days ago | 0 comments

18637.

Show HN: Vacant, a fast domain checker for you and your agent (vacant.alltuner.com)

2 points by nirvanis 6 days ago | 0 comments

18638.

LLM-first document AI is missing a 50-year-old CS technique (bhavyagupta.dev)

2 points by bhavya2k03 6 days ago | 0 comments

18639.

H2 General Expense Database [video] (ajqvue.com)

2 points by danap 6 days ago | 0 comments

18640.

Show HN: One container. 4 cores. Hybrid search. 10k concurrent users? (amgix.io)

2 points by kvasserman 6 days ago | 0 comments

18641.

Automatic Enum Handling in C – Parsing, Validating and Iterating (medium.com)

2 points by yairlenga 6 days ago | 0 comments

18642.

HTTPS: The Three Guarantees and the Handshake Beneath (toolkit.whysonil.dev)

2 points by otterwilde2 6 days ago | 0 comments

18643.

Aviate, Navigate, Communicate – What to Do About Mythos (hyperdimensional.co)

2 points by mwigdahl 6 days ago | 0 comments

18644.

`Bun.Image` – fast builtin multi-format image processing library (twitter.com)

2 points by burnrate 6 days ago | 0 comments

18645.

Steam HW survey – Linux drops m/m (store.steampowered.com)

2 points by baal80spam 6 days ago | 0 comments

18646.

Show HN: Visual SSL TLS Handshake Visualizer (sitesecurityscore.com)

2 points by lemax2 6 days ago | 0 comments

18647.

High-Quality Chaos (daniel.haxx.se)

2 points by lladnar 6 days ago | 0 comments

18648.

Self Driving Car[Sor] (article.app)

2 points by sjakati98 6 days ago | 0 comments

18649.

Voltage Tester vs. Multimeter (techtownforum.com)

2 points by susam 6 days ago | 0 comments

18650.

Digital Hopes, Real Power: From Connection to Collective Action (eff.org)

2 points by hn_acker 6 days ago | 0 comments

18651.

Auto CVE Checker–open-source CVE+SBoM+C/C++ scanner for ISO/SAE 21434 compliance (github.com)

2 points by devvender 6 days ago | 0 comments

18652.

Karabiner-Elements 16.0.0 (karabiner-elements.pqrs.org)

2 points by pretext 6 days ago | 0 comments

18653.

Show HN: SharkAuth – Auth server for AI agent delegation (github.com)

2 points by raulgooo 6 days ago | 0 comments

18654.

Automatically switch Android's dark mode using ambient light sensor (howtogeek.com)

2 points by politelemon 6 days ago | 0 comments

18655.

Flipper: Beautiful, performant feature flags for Ruby (github.com)

2 points by thunderbong 6 days ago | 0 comments

18656.

Knowledge Infra for Agents and Humans (dosu.dev)

2 points by devstein 6 days ago | 0 comments

18657.

LandingRank – community-ranked landing page directory with daily Elo battles (landingrank.com)

2 points by _FakeBanana_ 6 days ago | 0 comments

18658.

Vitexec – allow agents to test Vite apps through injected code (youtube.com)

2 points by BelaBohlender 6 days ago | 0 comments

18659.

They Left Receipts: Inside Charming Kitten's Crypto Procurement Network (caudena.com)

2 points by caudena 6 days ago | 0 comments

18660.

Tera – System for structuring and testing complex ideas (github.com)

2 points by Yggdrasilcsui 6 days ago | 0 comments