bumbledraven

Recent Submissions

1. 1. ▲ Dissolving the Fermi Paradox (2018) (arxiv.org) 2 points · 1 month ago · 0 comments
2. 2. ▲ The agent principal-agent problem (crawshaw.io) 2 points · 6 months ago · 2 comments
3. 3. ▲ I am building a cloud (crawshaw.io) 1115 points · 6 months ago · 563 comments
4. 4. ▲ Lean proved this program correct; then I found a bug (kirancodes.me) 395 points · 6 months ago · 178 comments
5. 5. ▲ What's in a Codebase? (moderndescartes.com) 1 point · 7 months ago · 0 comments
6. 6. ▲ Being the Adult in the Room (tailscale.com) 5 points · 7 months ago · 0 comments
7. 7. ▲ Man beats machine at Go (2023) (ft.com) 2 points · 7 months ago · 3 comments
8. 8. ▲ The Flawed Ephemeral Software Hypothesis (blackhc.net) 4 points · 7 months ago · 0 comments
9. 9. ▲ The hidden control plane lurking in your commodity server (linkedin.com) 6 points · 8 months ago · 0 comments
10. 10. ▲ How I used AI to create an exploit for a CVE before public PoCs existed (platformsecurity.com) 1 point · 1 year ago · 0 comments