< 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
• 534The $6.3B Binance hack was pulled off in just 20 minutes (wired.com)
  by domhudson1 day ago | 40 comments
• 348My favourite PowerMac is a Nintendo Wii (virtuallyfun.com)
  by DHowett23 hours ago | 12 comments
• 274Cloudflare 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
• 3Show HN: Ghostman – A fast, keyboard-driven TUI API client and webhook inspector (github.com)
  by 4yk51 day ago | 1 comments
• 302Breaking the open web won't stop the bad bots (techpolicy.press)
  by raybb3 days ago | 26 comments

< prev1/10 more >