• 233 Diode – Build, program, and simulate hardware (withdiode.com)
  by rossant 4 days ago | 47 comments
• 67 λProlog: Logic programming in higher-order logic (lix.polytechnique.fr)
  by ux266478 4 days ago | 13 comments
• 74 Goodbye InnerHTML, Hello SetHTML: Stronger XSS Protection in Firefox 148 (hacks.mozilla.org)
  by todsacerdoti an hour ago | 19 comments
• 370 Terence Tao, at 8 years old (1984) [pdf] (gwern.net)
  by gurjeet a day ago | 195 comments
• 66 A distributed queue in a single JSON file on object storage (turbopuffer.com)
  by Sirupsen 3 days ago | 24 comments
• 133 The Missing Semester of Your CS Education – Revised for 2026 (missing.csail.mit.edu)
  by anishathalye a day ago | 32 comments
• 138 Show HN: enveil – hide your .env secrets from prAIng eyes (github.com)
  by parkaboy 9 hours ago | 78 comments
• 241 I Ported Coreboot to the ThinkPad X270 (dork.dev)
  by todsacerdoti 14 hours ago | 47 comments
• 181 Show HN: X86CSS – An x86 CPU emulator written in CSS (lyra.horse)
  by rebane2001 12 hours ago | 63 comments
• 1540 The Age Verification Trap: Verifying age undermines everyone's data protection (spectrum.ieee.org)
  by oldnetguy a day ago | 1182 comments
• 229 Show HN: Steerling-8B, a language model that can explain any token it generates (guidelabs.ai)
  by adebayoj 14 hours ago | 70 comments
• 333 Blood test boosts Alzheimer's diagnosis accuracy to 94.5%, clinical study shows (medicalxpress.com)
  by wglb 11 hours ago | 129 comments
• 221 Making Wolfram tech available as a foundation tool for LLM systems (writings.stephenwolfram.com)
  by surprisetalk 16 hours ago | 121 comments
• 347 Firefox 148 Launches with AI Kill Switch Feature and More Enhancements (serverhost.com)
  by shaunpud 9 hours ago | 295 comments
• 147 Unsung heroes: Flickr's URLs scheme (unsung.aresluna.org)
  by onli 3 days ago | 57 comments
• 291 “Car Wash” test with 53 models (opper.ai)
  by felix089 18 hours ago | 363 comments
• 16 Decimal-Java is a library to convert java.math.BigDecimal to and from IEEE-754r (github.com)
  by mariuz 5 hours ago | 3 comments
• 20 xAI and Pentagon reach deal to use Grok in classified systems (axios.com)
  by ironyman an hour ago | 11 comments
• 192 UNIX99, a UNIX-like OS for the TI-99/4A (2025) (forums.atariage.com)
  by marcodiego 18 hours ago | 60 comments
• 28 Graph Topology and Battle Royale Mechanics (blog.lukesalamone.com)
  by salamo 3 days ago | 1 comments
• 51 Intel XeSS 3: expanded support for Core Ultra/Core Ultra 2 and Arc A, B series (intel.com)
  by nateb2022 10 hours ago | 37 comments
• 30 Discord cuts ties with Peter Thiel-backed verification software (fortune.com)
  by robtherobber 2 hours ago | 9 comments
• 28 ATAboy is a USB adapter for legacy CHS only style IDE (PATA) drives (github.com)
  by zdw 4 days ago | 27 comments
• 316 Hetzner Prices increase 30-40% (docs.hetzner.com)
  by williausrohr a day ago | 551 comments
• 291 Show HN: PgDog – Scale Postgres without changing the app (github.com)
  by levkk a day ago | 54 comments
• 271 A simple web we own (rsdoiel.github.io)
  by speckx a day ago | 195 comments
• 260 Writing code is cheap now (simonwillison.net)
  by swolpers 21 hours ago | 332 comments
• SIM (YC X25) Is Hiring the Best Engineers in San Francisco (ycombinator.com)
  17 hours ago   job
• 1210 Ladybird adopts Rust, with help from AI (ladybird.org)
  by adius a day ago | 675 comments
• 31 Show HN: Cellarium: A Playground for Cellular Automata (github.com)
  by andrewosh 4 days ago | discuss