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