prev 1 / 10 more

• 101
  AI, Lean, and the Future of Formal Verification, with Lean Creator Leo de Moura (thedataexchange.media)
  by datascientist1 day ago 10 comments
• 7
  Hunting 'Zombie Accounts' in Active Directory (fabian.fyi)
  by optimiz1 day ago 1 comments
• 33
  Why Did Meta Suspend a US Senate Candidate's Instagram in the Middle of a Rally? (newrepublic.com)
  by ck21 hour ago 10 comments
• 517
  The $6.3B Binance hack was pulled off in just 20 minutes (wired.com)
  by domhudson1 day ago 38 comments
• 339
  My favourite PowerMac is a Nintendo Wii (virtuallyfun.com)
  by DHowett21 hours ago 12 comments
• 263
  Cloudflare Turnstile solver library (no headless browser required) (github.com)
  by costco2 days ago 17 comments
• 458
  Northflank Breached (status.northflank.com)
  by js4ever23 hours ago 34 comments
• 291
  Breaking the open web won't stop the bad bots (techpolicy.press)
  by raybb3 days ago 25 comments
• 280
  Tell HN: Scribd Breached
  by x______________11 hours ago 32 comments
• 330
  Florilegium: Procedural Flowers in LaTeX (github.com)
  by nanna22 hours ago 26 comments

prev 1 / 10 more