Stories by bumbledraven

The agent principal-agent problem

I am building a cloud

Lean proved this program correct; then I found a bug

What's in a Codebase?

Being the Adult in the Room

Man beats machine at Go (2023)

The Flawed Ephemeral Software Hypothesis

The hidden control plane lurking in your commodity server

How I used AI to create an exploit for a CVE before public PoCs existed

Dynamo, DynamoDB, and Aurora DSQL

Feeding the AI Bots

17-year-old refutes a mathematical conjecture proposed 40 years ago

How I program with agents

From GnuGo to AlphaGo Zero: A Roadmap for Solving Difficult Problems

The Sad, Beautiful Fact That We're All Going to Miss Almost Everything (2011)

Mass market non-fiction has bad incentives

Arresting Flexibility: A QJE field experiment on policing with ~40 outcome vars

Claude Plays GeoGuessr

Air-Gapped Computers Can Communicate Through Heat (2015)

1 2 3 4 5 6 7 8 9