< prev1 / 10 more >

• 190Diode – Build, program, and simulate hardware (withdiode.com)
  by rossant3 days ago | 17 comments
• 31Show HN: SNKV – SQLite's B-tree as a key-value store (C/C++ and Python bindings) (github.com)
  by swaminarayan36 minutes ago | 6 comments
• 53λProlog: Logic programming in higher-order logic (lix.polytechnique.fr)
  by ux2664783 days ago | 4 comments
• 344Terence Tao, at 8 years old (1984) [pdf] (gwern.net)
  by gurjeet21 hours ago | 42 comments
• 43A distributed queue in a single JSON file on object storage (turbopuffer.com)
  by Sirupsen3 days ago | 7 comments
• 123Show HN: enveil – hide your .env secrets from prAIng eyes (github.com)
  by parkaboy8 hours ago | 41 comments
• 234I Ported Coreboot to the ThinkPad X270 (dork.dev)
  by todsacerdoti13 hours ago | 11 comments
• 103The Missing Semester of Your CS Education – Revised for 2026 (csail.mit.edu)
  by anishathalye21 hours ago | 11 comments
• 27Goodbye InnerHTML, Hello SetHTML: Stronger XSS Protection in Firefox 148 (hacks.mozilla.org)
  by todsacerdoti32 minutes ago | 2 comments
• 177Show HN: X86CSS – An x86 CPU emulator written in CSS (lyra.horse)
  by rebane200111 hours ago | 22 comments

< prev1 / 10 more >