< prev1 / 10 more >

• 151Diode – Build, program, and simulate hardware (withdiode.com)
  by rossant3 days ago | 16 comments
• 36ΛProlog: Logic programming in higher-order logic (lix.polytechnique.fr)
  by ux2664783 days ago | 1 comments
• 321Terence Tao, at 8 years old (1984) [pdf] (gwern.net)
  by gurjeet21 hours ago | 41 comments
• 37A distributed queue in a single JSON file on object storage (turbopuffer.com)
  by Sirupsen3 days ago | 7 comments
• 110Show HN: enveil – hide your .env secrets from prAIng eyes (github.com)
  by parkaboy7 hours ago | 38 comments
• 220I Ported Coreboot to the ThinkPad X270 (dork.dev)
  by todsacerdoti12 hours ago | 11 comments
• 164Show HN: X86CSS – An x86 CPU emulator written in CSS (lyra.horse)
  by rebane200110 hours ago | 22 comments
• 313Firefox 148 Launches with AI Kill Switch Feature and More Enhancements (serverhost.com)
  by shaunpud6 hours ago | 45 comments
• 300Blood test boosts Alzheimer's diagnosis accuracy to 94.5%, clinical study shows (medicalxpress.com)
  by wglb9 hours ago | 17 comments
• 78The Missing Semester of Your CS Education – Revised for 2026 (csail.mit.edu)
  by anishathalye20 hours ago | 9 comments

< prev1 / 10 more >