< prev1/10 more >

• 140Prospero: A new coding harness for a more civilized age (nullprogram.com)
  by fovc5 hours ago | 30 comments
• 72Ex-Meta Researcher Torrented Pirated Books, Deleted It 'Due to Litigation' (torrentfreak.com)
  by WesleyGrant7822 hours ago | 9 comments
• 213Digital minimalism (vitalik.eth.limo)
  by wilbertliu11 hours ago | 38 comments
• 28What is a light-day? The milestone Voyager 1 is closing in on (science.nasa.gov)
  by geox1 hour ago | 4 comments
• 12Show HN: Ghostman – A fast, keyboard-driven TUI API client and webhook inspector (github.com)
  by 4yk51 day ago | 3 comments
• 5Show HN: Jointter – A daily word puzzle using dots and lines (jointter.com)
  by proy871 hour ago | 1 comments
• 3Redox: Ring Buffers Project Summary (redox-os.org)
  by g0xA52A2A3 days ago | 1 comments
• 141AI, Lean, and the Future of Formal Verification, with Lean Creator Leo de Moura (thedataexchange.media)
  by datascientist2 days ago | 13 comments
• 23Hunting 'Zombie Accounts' in Active Directory (fabian.fyi)
  by optimiz1 day ago | 2 comments
• 148Show HN: Marelleo, an open-source story box I built for my kids using ESP32 (zebra.rodeo)
  by foOg4 days ago | 26 comments

< prev1/10 more >