HN Top Links - Popular Stories from Hacker News

18871.

Formalizing Nvidia PTX in Lean to Prove GPU Kernel Correctness (sf-tensor.com)

2 points by adamnemecek 6 days ago | 0 comments

18872.

Show HN: HackerByte – Finding promising AI stories by analyzing HN discussions (hackerbyte.net)

2 points by bakigul 6 days ago | 0 comments

18873.

100 Fly Brains Play Doom (namespace.so)

2 points by benwen 6 days ago | 0 comments

18874.

Three Points on AI Safety (nicholasdecker.substack.com)

2 points by speckx 6 days ago | 0 comments

18875.

New strategies for the cognitive science of dreaming (2024) (pmc.ncbi.nlm.nih.gov)

2 points by Daniel_Van_Zant 6 days ago | 0 comments

18876.

Show HN: An MCP proxy that sends 97% fewer tool-definition tokens per request (github.com)

2 points by TDabasinskas 6 days ago | 0 comments

18877.

Hippocampus – self-hosted memory shared by every Claude Code session (github.com)

2 points by macelinollima 6 days ago | 0 comments

18878.

Spooky C++ (nablag.com)

2 points by ibobev 6 days ago | 0 comments

18879.

An easy way to try local AI with braindead-local-intelligence (dataswamp.org)

2 points by ibobev 6 days ago | 0 comments

18880.

The Mystery of the Baklava Man (2018) (thetyee.ca)

2 points by wmchen 6 days ago | 0 comments

18881.

What Rami Ismail learned with his return to game development (gamedeveloper.com)

2 points by HelloUsername 6 days ago | 0 comments

18882.

ILC Dover, ILC Astrospace Agree to Pay $13M over Cybersecurity Fraud Claims (justice.gov)

2 points by wmchen 6 days ago | 0 comments

18883.

Who broke CI this time? (yeet.cx)

2 points by zasc 6 days ago | 0 comments

18884.

A free live outage feed for your agents (outages.live)

2 points by gneray 6 days ago | 0 comments

18885.

Dear 2040 (whatthefuckjusthappenedtoday.com)

2 points by outofstep 6 days ago | 0 comments

18886.

Av1gpu – AVIF encoder in CUDA, 9× faster than libaom at the same size (github.com)

2 points by maddog107 6 days ago | 0 comments

18887.

Global Semiconductor Sales Increase 24.1% (to $517.7B) from Q2 2026 to Q3 2026 (semiconductors.org)

2 points by giuliomagnifico 6 days ago | 0 comments

18888.

Electrical network frequency analysis: dating recordings by power grid hum (en.wikipedia.org)

2 points by ta_u 6 days ago | 0 comments

18889.

Developing a Desktop BLE Air-Quality Application with Rust (bleuio.com)

2 points by sheikhshuhad 6 days ago | 0 comments

18890.

Decision Models as Policy Gates for Coding Agents (arxiv.org)

2 points by ghshephard 6 days ago | 0 comments

18891.

Show HN: Animus AI Blocker:Block AI slop images/videos on your social media feed (chromewebstore.google.com)

2 points by masterchef2209 6 days ago | 0 comments

18892.

How Will AI Affect Developing Countries? (indevelopmentmag.substack.com)

2 points by speckx 6 days ago | 0 comments

18893.

Apenwarr.ca/thundersnap: an undo button for everything (tangled.org)

2 points by nerdypepper 6 days ago | 0 comments

18894.

The Bitnami engineering team is looking for its next chapter (linkedin.com)

2 points by carrodher 6 days ago | 0 comments

18895.

Finite Agent Machines: guarantees for dynamic agent swarms [pdf] (github.com)

2 points by dtdannen 6 days ago | 0 comments

18896.

How Our AI Agents Write a Help Center (veludocs.com)

2 points by _aravindc 6 days ago | 0 comments

18897.

StateBench: Testing how language models track state changes over long documents (allenai.org)

2 points by _delirium 6 days ago | 0 comments

18898.

The Inference Stack Behind OCRia (llamaindex.ai)

2 points by pierre 6 days ago | 0 comments

18899.

A New Map of 'Empty' Space Challenges a Tranquil Picture of the Galaxy (quantamagazine.org)

2 points by digital55 6 days ago | 0 comments

18900.

Eval-production behavior gaps in agent safety and the role of eval-awareness (alignment.openai.com)

2 points by Klaster_1 6 days ago | 0 comments