| user: | bumbledraven |
| created: | February 24, 2008 |
| karma: | 6.3k |
| about: | bumbledraven@gmail.com |
| 1. | The agent principal-agent problem(crawshaw.io) |
| 2. | I am building a cloud(crawshaw.io) |
| 3. | Lean proved this program correct; then I found a bug(kirancodes.me) |
| 4. | What's in a Codebase?(moderndescartes.com) |
| 5. | Being the Adult in the Room(tailscale.com) |
| 6. | Man beats machine at Go (2023)(ft.com) |
| 7. | The Flawed Ephemeral Software Hypothesis(blackhc.net) |
| 8. | |
| 9. | How I used AI to create an exploit for a CVE before public PoCs existed(platformsecurity.com) |
| 10. | Dynamo, DynamoDB, and Aurora DSQL(brooker.co.za) |
| 11. | Feeding the AI Bots(criticalmas.org) |
| 12. | 17-year-old refutes a mathematical conjecture proposed 40 years ago(english.elpais.com) |
| 13. | How I program with agents(crawshaw.io) |
| 14. | From GnuGo to AlphaGo Zero: A Roadmap for Solving Difficult Problems(moderndescartes.com) |
| 15. |