HN Top Links - Popular Stories from Hacker News

15241.

GenDB-V: AI-generated, formally verified database engines (genlang-v.github.io)

2 points by matt_d 1 day ago | 0 comments

15242.

Vulkan 1.4.368 released with new extensions from Valve and Nvidia (phoronix.com)

2 points by pierreneter 1 day ago | 0 comments

15243.

TPS on Kimi K3 with TPU Megakernels (inferact.ai)

2 points by gmays 1 day ago | 0 comments

15244.

The Agentic Hobby OS Veda Runs Native Linux Executables Now (github.com)

2 points by saeedmh108 1 day ago | 0 comments

15245.

Read this before you build another AI wrapper (ferran.sh)

2 points by ferran9908 1 day ago | 0 comments

15246.

Hacking South Korea's National Cyber Security Center (duti.dev)

2 points by acheong08 1 day ago | 0 comments

15247.

Exponential time hypothesis refuted by AI (nytimes.com)

2 points by garyrob 1 day ago | 0 comments

15248.

Where They Collide (mypinstrositylife.com)

2 points by jruohonen 1 day ago | 0 comments

15249.

The Door Next Door - A Runelite Barrows Plugin

2 points by blaso 1 day ago | 0 comments

15250.

SSA-Based Register Allocation for Intel GPUs – Alyssa Rosenzweig, XDC 2026 [video] (youtube.com)

2 points by matt_d 1 day ago | 0 comments

15251.

Artificial Epanorthosis: Why LLMs overuse a classical rhetorical figure (arxiv.org)

2 points by geox 1 day ago | 0 comments

15252.

Don't change a Win32 static control's style after creation (devblogs.microsoft.com)

2 points by ibobev 1 day ago | 0 comments

15253.

Flash C – Open-source C Compiler and (Turbo-C like) IDE for Linux x86-64 (github.com)

2 points by peter_d_sherman 1 day ago | 0 comments

15254.

Retro Bowl (poki.com)

2 points by TED1 1 day ago | 0 comments

15255.

How we built Render OIDC (render.com)

2 points by anurag 1 day ago | 0 comments

15256.

Trace-engine-CLI: analyse DevTools traces with agents (github.com)

2 points by jackfranklin 1 day ago | 0 comments

15257.

African elephants putatively self-medicate with medicinal plants in Kenya (nature.com)

2 points by gmays 1 day ago | 0 comments

15258.

Biodiorama (biodiorama.com)

2 points by abhishekum 1 day ago | 0 comments

15259.

Paranoia: A Beginner's Guide (lesswrong.com)

2 points by eatitraw 1 day ago | 0 comments

15260.

Show HN: Laplace's Scissors – A tool for directly editing LLM weights (github.com)

2 points by 032renya 1 day ago | 0 comments

15261.

T3 Code (t3.codes)

2 points by Kyselica 1 day ago | 0 comments

15262.

Show HN: Tumblr Likes Calendar: Browse Your Likes by Date (hakuren-dev.blog)

2 points by Hakurendev 1 day ago | 0 comments

15263.

Show HN: Digdeep.fyi – A DNS Debug Tool for DNSSEC, Mail, HTTP (digdeep.fyi)

2 points by oipart 1 day ago | 0 comments

15264.

FM-1: Things Are Happening with This Little Synth [video] (youtube.com)

2 points by alin23 1 day ago | 0 comments

15265.

Choosing One of My Compiler Books [pdf] (t3x.org)

2 points by AlexeyBrin 1 day ago | 0 comments

15266.

Things That Turbo Pascal Is Smaller Than (2011) (prog21.dadgum.com)

2 points by theanonymousone 1 day ago | 0 comments

15267.

GTA2 RTX Remix – HD Cars Edition (github.com)

2 points by doener 1 day ago | 0 comments

15268.

Show HN: FoilGateway–Linux firewall gateway with telemetry blocking (2×Ethernet) (github.com)