HN Top Links - Popular Stories from Hacker News

28051.

Vulkan Documentation Project (docs.vulkan.org)

1 points by ibobev 1 week ago | 0 comments

28052.

Machine-Generated, Machine-Checked Proofs for a Verified Compiler (ICFP'26) [video] (youtube.com)

1 points by matt_d 1 day ago | 0 comments

28053.

Show HN: Cross-platform governed memory for a fleet of agents (github.com)

1 points by oren198 1 week ago | 0 comments

28054.

TLDR; what the heck is Jev? (jrzs.dev)

1 points by jrhey 1 week ago | 0 comments

28055.

Gpui (github.com)

1 points by auraham 1 week ago | 0 comments

28056.

Gpui Tutorial (github.com)

1 points by auraham 1 week ago | 0 comments

28057.

When the Debugger Lies (danielmangum.com)

1 points by hasheddan 1 week ago | 0 comments

28058.

I built a Chrome extension for when Cmd/Ctrl and F is not enough (chromewebstore.google.com)

1 points by billy-enrizky-1 1 week ago | 0 comments

28059.

Maker's Schedule, Manager's Schedule (paulgraham.com)

1 points by tosh 1 week ago | 0 comments

28060.

Clocky: Alarm clock on wheels that runs away from you (clocky.com)

1 points by Bluestein 1 week ago | 0 comments

28061.

Show HN: Bastionskill – scan an AI agent skill for malicious code

1 points by Rinkia 1 week ago | 0 comments

28062.

The Return of the Utah Teapot – Siggraph 2026 [video] (youtube.com)

1 points by justin66 1 week ago | 0 comments

28063.

Show HN: PromptSign – Sigstore signing and verification for AI instruction files (promptsign.ai)

1 points by sergey_v 2 weeks ago | 0 comments

28064.

Qbix Server – PHP 100× faster than Nginx and PHP-fpm (github.com)

1 points by theHocineSaad 1 week ago | 0 comments

28065.

The Input Layer (mg-crea.com)

1 points by olouv 1 week ago | 0 comments

28066.

Stanford CME295 Transformers n LLMs – Autumn 2026 – Lecture 1 – Transformers [video] (youtube.com)

1 points by mdp2021 1 day ago | 0 comments

28067.

King Charles has hesitations about AI (techcrunch.com)

1 points by soltanov 1 week ago | 0 comments

28068.

The Harms of Modern Lighting and the Fight to Bring Back Incandescent Bulbs (midwesterndoctor.com)

1 points by bilsbie 1 week ago | 0 comments

28069.

Show HN: For people who don't like writing docs but have to (cortee.ai)

1 points by nandorb1 1 week ago | 0 comments

28070.

Making Concurrent Hardware Verification Sequential (2025) (dl.acm.org)

1 points by imakwana 1 week ago | 0 comments

28071.

AgentLaws – Govern Agents Through Prompts Organized Like Law (github.com)

1 points by atomicnature 2 weeks ago | 0 comments

28072.

Show HN: JevEval, evals using Jev-as-a-judge (deepeval.com)

1 points by jeffreyip 1 week ago | 0 comments

28073.

Show HN: Video clip maker/editor right in the browser (supports YouTube) (heahy.com)

1 points by ignasheahy 1 week ago | 0 comments

28074.

Moving Share Homes for Ukraine data's code to open source (mhclgdigital.blog.gov.uk)

1 points by edent 1 week ago | 0 comments

28075.

Grep your Claude Code/Codex history and jump back into the exact session

1 points by ayushgzip 1 week ago | 0 comments

28076.

Hjfjhg

1 points by MgAungPhyoThu 1 week ago | 0 comments

28077.

Building an Integrated Vector Database System in PostgreSQL (arxiv.org)

1 points by pykello 1 week ago | 0 comments

28078.

Backgrounding My Way to Japan – How to learn truth from fiction (aethermug.com)

1 points by mrcgnc 1 week ago | 0 comments

28079.

Show HN: Jawz – macro market state for AI agents, now a ChatGPT app (no login) (jawz.ai)

1 points by nunespv 1 week ago | 0 comments

28080.

Managed IT Support for Law Firms (andersenlab.com)

1 points by andersen_lab 1 week ago | 0 comments