3Lean proved this program correct; then I found a bug (opens in new tab)(kirancodes.me)395bumbledraven2mo ago178Save
8The hidden control plane lurking in your commodity server (opens in new tab)(linkedin.com)6bumbledraven4mo ago0Save
9How I used AI to create an exploit for a CVE before public PoCs existed (opens in new tab)(platformsecurity.com)1bumbledraven9mo ago0Save
1217-year-old refutes a mathematical conjecture proposed 40 years ago (opens in new tab)(english.elpais.com)4bumbledraven11mo ago0Save
14From GnuGo to AlphaGo Zero: A Roadmap for Solving Difficult Problems (opens in new tab)(moderndescartes.com)1bumbledraven1y ago0Save
15The Sad, Beautiful Fact That We're All Going to Miss Almost Everything (2011) (opens in new tab)(npr.org)10bumbledraven1y ago1Save
