bumbledraven
- Karma
- 0
- Created
- ()
- Submissions
- 0
- The agent principal-agent problem (crawshaw.io)
- I am building a cloud (crawshaw.io)
- Lean proved this program correct; then I found a bug (kirancodes.me)
- What's in a Codebase? (moderndescartes.com)
- Being the Adult in the Room (tailscale.com)
- Man beats machine at Go (2023) (ft.com)
- The Flawed Ephemeral Software Hypothesis (blackhc.net)
- The hidden control plane lurking in your commodity server (linkedin.com)
- How I used AI to create an exploit for a CVE before public PoCs existed (platformsecurity.com)
- Dynamo, DynamoDB, and Aurora DSQL (brooker.co.za)
- Feeding the AI Bots (criticalmas.org)
- 17-year-old refutes a mathematical conjecture proposed 40 years ago (english.elpais.com)
- How I program with agents (crawshaw.io)
- From GnuGo to AlphaGo Zero: A Roadmap for Solving Difficult Problems (moderndescartes.com)
- Mass market non-fiction has bad incentives (borretti.me)
- Claude Plays GeoGuessr (jerrywei.net)
- Air-Gapped Computers Can Communicate Through Heat (2015) (securityweek.com)
- The Empirical World Interpretation of Quantum Mechanics (jiggerwit.wordpress.com)
- How to hide information from yourself in a solo RPG (blog.sigfpe.com)
- Donkey Kong Arcade Illusion (twitter.com)
- Death Valley could break world heat record (foxla.com)