prev 1 / 10 more

• 12
  Jepsen: ParticleDB 1.1.4 (jepsen.io)
  by aphyr3 hours ago 2 comments
• 122
  Prospero: A new coding harness for a more civilized age (nullprogram.com)
  by fovc4 hours ago 29 comments
• 21
  Reading and writing are less symmetric than you (probably) think (fgiesen.wordpress.com)
  by luu3 days ago 2 comments
• 13
  What is a light-day? The milestone Voyager 1 is closing in on (science.nasa.gov)
  by geox42 minutes ago 0 comments
• 131
  AI, Lean, and the Future of Formal Verification, with Lean Creator Leo de Moura (thedataexchange.media)
  by datascientist2 days ago 13 comments
• 19
  Hunting 'Zombie Accounts' in Active Directory (fabian.fyi)
  by optimiz1 day ago 2 comments
• 142
  Show HN: Marelleo, an open-source story box I built for my kids using ESP32 (zebra.rodeo)
  by foOg4 days ago 25 comments
• 536
  The $6.3B Binance hack was pulled off in just 20 minutes (wired.com)
  by domhudson1 day ago 41 comments
• 5
  Show HN: Ghostman – A fast, keyboard-driven TUI API client and webhook inspector (github.com)
  by 4yk51 day ago 1 comments
• 350
  My favourite PowerMac is a Nintendo Wii (virtuallyfun.com)
  by DHowett23 hours ago 13 comments

prev 1 / 10 more