bumbledraven

Recent Submissions

1. 1. ▲ I am building a cloud (crawshaw.io) 1115 points · 9 days ago · 562 comments
2. 2. ▲ Lean proved this program correct; then I found a bug (kirancodes.me) 395 points · 18 days ago · 178 comments
3. 3. ▲ What's in a Codebase? (moderndescartes.com) 1 point · 24 days ago · 0 comments
4. 4. ▲ Being the Adult in the Room (tailscale.com) 5 points · 29 days ago · 0 comments
5. 5. ▲ Man beats machine at Go (2023) (ft.com) 2 points · 1 month ago · 3 comments
6. 6. ▲ The Flawed Ephemeral Software Hypothesis (blackhc.net) 4 points · 1 month ago · 0 comments
7. 7. ▲ The hidden control plane lurking in your commodity server (linkedin.com) 6 points · 2 months ago · 0 comments
8. 8. ▲ How I used AI to create an exploit for a CVE before public PoCs existed (platformsecurity.com) 1 point · 8 months ago · 0 comments
9. 9. ▲ Dynamo, DynamoDB, and Aurora DSQL (brooker.co.za) 1 point · 8 months ago · 0 comments
10. 10. ▲ Feeding the AI Bots (criticalmas.org) 1 point · 9 months ago · 0 comments