< prev1 / 10 more >

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

< prev1 / 10 more >