• 240 Progress on provable inference for large language models (anthropic.com)
  by ltononro 4 days ago | 122 comments
• 127 Show HN: Uncracked City, detective game where you question LLM suspects that lie (uncracked.city)
  by passkey1510 5 days ago | 69 comments
• 255 Show HN: After a decade of reversing, I got co-op working in DOS Wing Commander (fireflyk64.github.io)
  by daniel_rh 4 days ago | 40 comments
• 8 AI-supported woodworking: Building an up-and-over tool chest with a clever hinge (portalworkers.com)
  by mpalme 2 days ago | discuss
• 377 The Internals of PostgreSQL (interdb.jp)
  by ibobev 5 days ago | 38 comments
• 13 Show HN: AegisKernel – Zero-trust POSIX runtime for AI agents in <0.016ms (adikshatriyag-crypto.github.io)
  by adityawebde 2 days ago | 3 comments
• 12 Major construction ongoing near Iran missile bases, satellite images suggest (bbc.com)
  by spzx 19 hours ago | 7 comments
• 7 He Was a Suspect in the Yogurt Shop Murders for Thirty Years. He Can't Forget (texasmonthly.com)
  by gmays a day ago | 2 comments
• 19 The Formula for Lovable Cities (worksinprogress.co)
  by rafaelc 2 days ago | discuss
• 48 Don't Call It a Decision Model (typesafe.ai)
  by emschwartz 4 days ago | 10 comments
• 10 Partnering with Hacktron to find vulnerabilities in OpenAI's systems – OpenAI (openai.com)
  by 99lcccss 2 days ago | 2 comments
• 21 Good Luck Getting a Cheap GPU. AMD Is a 'Data Center First Company,' CEO Says (pcmag.com)
  by yakkomajuri a day ago | 11 comments
• 3 The cyber range builder for red, blue and purple teams. (purpleedge.io)
  by TrojanJockey a day ago | discuss
• 264 Incident with Pull Requests, Git Operations and Issues (githubstatus.com)
  by kevcampb 4 days ago | 133 comments
• 6 The Maya used so much red paint that they poisoned their water with mercury (livescience.com)
  by geox 12 hours ago | discuss
• 24 Show HN: Agentic Identity Broker, OAuth Delegation for AI Agents (github.com)
  by jbspeakr 2 days ago | 3 comments
• 14 Project Sync: The journey to sample-perfect audio/video sync with WebCodecs (mediabunny.dev)
  by vanilagy 4 days ago | 2 comments
• 22 Stop running everything through LLMs: How I fixed my research agent (tinyfish.ai)
  by manavm12 2 days ago | 1 comments
• 11 Upgrading NetBSD from 11.0 to 11.1 (dwarmstrong.org)
  by birdculture 20 hours ago | discuss
• 134 Have I befriended a murderer? (longreads.com)
  by gmays 4 days ago | 77 comments
• 14 Just 3 grams of creatine a day improved measures of cognitive function (twitter.com)
  by bilsbie a day ago | 2 comments
• 5 British soldier ignored order to pull his SIM card, then got blackmailed (arstechnica.com)
  by Bender 13 hours ago | discuss
• 115 Practice speaking Japanese with real YouTube videos, graded line by line (jivx.com)
  by momentmaker 5 days ago | 41 comments
• 20 Bug Finding Considered Harmful? (alperenkeles.com)
  by alpaylan 4 days ago | 7 comments
• 170 Qualcomm Cloud AI 100 Ultra – 150W AI Accelerator Card with 128GB at 548GB/s (qualcomm.com)
  by peter_d_sherman 4 days ago | 64 comments
• 6 Changing one letter bypassed an admin API in HuggingFace (twitter.com)
  by robindooh 16 hours ago | discuss
• 86 Arrows to arrows, categories to queries (2025) (reasonablypolymorphic.com)
  by firstbase 5 days ago | 9 comments
• 22 Flashcards are "dead fish": rethinking spaced repetition around highlights (andymatuschak.org)
  by musabilhan 2 days ago | 4 comments
• 11 GPU-Accelerated Weight Teleportation (humansand.ai)
  by gmays 2 days ago | 1 comments
• 294 Tencent Hy4 (hy.tencent.ai)
  by Philpax 4 days ago | 142 comments