Y Hacker News new | ask | show | jobs

user: bumbledraven created: 2008-02-24 karma: 6269 bumbledraven@gmail.com submissions: 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments The agent principal-agent problem 2 points | 2 comments I am building a cloud 1115 points | 563 comments 0 points | 0 comments Lean proved this program correct; then I found a bug 395 points | 178 comments What's in a Codebase? 1 points | 0 comments Being the Adult in the Room 5 points | 0 comments 0 points | 0 comments 0 points | 0 comments Man beats machine at Go (2023) 2 points | 3 comments The Flawed Ephemeral Software Hypothesis 4 points | 0 comments 0 points | 0 comments The hidden control plane lurking in your commodity server 6 points | 0 comments How I used AI to create an exploit for a CVE before public PoCs existed 1 points | 0 comments 0 points | 0 comments Dynamo, DynamoDB, and Aurora DSQL 1 points | 0 comments 0 points | 0 comments 0 points | 0 comments Feeding the AI Bots 1 points | 0 comments 0 points | 0 comments 17-year-old refutes a mathematical conjecture proposed 40 years ago 4 points | 0 comments 0 points | 0 comments How I program with agents 615 points | 295 comments 0 points | 0 comments From GnuGo to AlphaGo Zero: A Roadmap for Solving Difficult Problems 1 points | 0 comments The Sad, Beautiful Fact That We're All Going to Miss Almost Everything (2011) 10 points | 1 comments 0 points | 0 comments