< prev1 / 10 more >

• 115Prospero: A new coding harness for a more civilized age (nullprogram.com)
  by fovc4 hours ago | 29 comments
• 128AI, Lean, and the Future of Formal Verification, with Lean Creator Leo de Moura (thedataexchange.media)
  by datascientist2 days ago | 13 comments
• 140Show HN: Marelleo, an open-source story box I built for my kids using ESP32 (zebra.rodeo)
  by foOg4 days ago | 24 comments
• 16Hunting 'Zombie Accounts' in Active Directory (fabian.fyi)
  by optimiz1 day ago | 1 comments
• 535The $6.3B Binance hack was pulled off in just 20 minutes (wired.com)
  by domhudson1 day ago | 40 comments
• 6What is a light-day? The milestone Voyager 1 is closing in on (science.nasa.gov)
  by geox25 minutes ago | 0 comments
• 349My favourite PowerMac is a Nintendo Wii (virtuallyfun.com)
  by DHowett23 hours ago | 12 comments
• 275Cloudflare Turnstile solver library (no headless browser required) (github.com)
  by costco2 days ago | 19 comments
• 461Northflank Breached (status.northflank.com)
  by js4ever1 day ago | 36 comments
• 4Enlightenment 0.28 Released with Many Improvements (phoronix.com)
  by mikece13 minutes ago | 1 comments

< prev1 / 10 more >