bumbledraven

Recent Submissions

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