• 125 Diode – Build, program, and simulate hardware (withdiode.com)
  by rossant 4 days ago | 22 comments
• 312 Terence Tao, at 8 years old (1984) [pdf] (gwern.net)
  by gurjeet 21 hours ago | 169 comments
• 27 ΛProlog: Logic programming in higher-order logic (lix.polytechnique.fr)
  by ux266478 4 days ago | discuss
• 104 Show HN: enveil – hide your .env secrets from prAIng eyes (github.com)
  by parkaboy 7 hours ago | 59 comments
• 215 I Ported Coreboot to the ThinkPad X270 (dork.dev)
  by todsacerdoti 12 hours ago | 39 comments
• 28 A distributed queue in a single JSON file on object storage (turbopuffer.com)
  by Sirupsen 3 days ago | 10 comments
• 161 Show HN: X86CSS – An x86 CPU emulator written in CSS (lyra.horse)
  by rebane2001 10 hours ago | 57 comments
• 303 Firefox 148 Launches with AI Kill Switch Feature and More Enhancements (serverhost.com)
  by shaunpud 6 hours ago | 246 comments
• 291 Blood test boosts Alzheimer's diagnosis accuracy to 94.5%, clinical study shows (medicalxpress.com)
  by wglb 9 hours ago | 110 comments
• 1495 The Age Verification Trap: Verifying age undermines everyone's data protection (spectrum.ieee.org)
  by oldnetguy a day ago | 1150 comments
• 61 The Missing Semester of Your CS Education – Revised for 2026 (missing.csail.mit.edu)
  by anishathalye 20 hours ago | 6 comments
• 192 Show HN: Steerling-8B, a language model that can explain any token it generates (guidelabs.ai)
  by adebayoj 12 hours ago | 50 comments
• 194 Making Wolfram tech available as a foundation tool for LLM systems (writings.stephenwolfram.com)
  by surprisetalk 14 hours ago | 109 comments
• 103 Unsung heroes: Flickr's URLs scheme (unsung.aresluna.org)
  by onli 3 days ago | 36 comments
• 183 UNIX99, a UNIX-like OS for the TI-99/4A (2025) (forums.atariage.com)
  by marcodiego 16 hours ago | 56 comments
• 254 “Car Wash” test with 53 models (opper.ai)
  by felix089 16 hours ago | 319 comments
• 42 Intel XeSS 3: expanded support for Core Ultra/Core Ultra 2 and Arc A, B series (intel.com)
  by nateb2022 8 hours ago | 33 comments
• 259 A simple web we own (rsdoiel.github.io)
  by speckx 20 hours ago | 175 comments
• 277 Show HN: PgDog – Scale Postgres without changing the app (github.com)
  by levkk 21 hours ago | 53 comments
• 5 Decimal-Java is a library to convert java.math.BigDecimal to and from IEEE-754r (github.com)
  by mariuz 3 hours ago | discuss
• 17 Graph Topology and Battle Royale Mechanics (blog.lukesalamone.com)
  by salamo 3 days ago | 1 comments
• 37 Genetic underpinnings of chills from art and music (journals.plos.org)
  by coloneltcb a day ago | 15 comments
• 1191 Ladybird adopts Rust, with help from AI (ladybird.org)
  by adius a day ago | 662 comments
• 153 What it means that Ubuntu is using Rust (smallcultfollowing.com)
  by zdw 19 hours ago | 192 comments
• 24 Show HN: Cellarium: A Playground for Cellular Automata (github.com)
  by andrewosh 3 days ago | discuss
• 43 Typed Assembly Language (2000) (cs.cornell.edu)
  by luu 3 days ago | 17 comments
• 215 Writing code is cheap now (simonwillison.net)
  by swolpers 19 hours ago | 277 comments
• 232 Hetzner Prices increase 30-40% (docs.hetzner.com)
  by williausrohr a day ago | 529 comments
• SIM (YC X25) Is Hiring the Best Engineers in San Francisco (ycombinator.com)
  15 hours ago   job
• 385 FreeBSD doesn't have Wi-Fi driver for my old MacBook, so AI built one for me (vladimir.varank.in)
  by varankinv 15 hours ago | 309 comments