For years, Rust binaries made reversing a nightmare. Modern decompilers only support C, lacking meaningful types, constructs, and language-specific functions. Led by @34r7hm4n, we're releasing our S&P work Oxidizer, the first deep Rust decompiler, built on angr!
Interested? 🧵👇
Papa: "Was ist eigentlich 'die Cloud'?"
"Erinnerst du dich, als man in den 90ern sagte der sicherste Weg ein Unternehmen zu ruinieren seien Computer?"
Er: "Ja."
"Man hat den Prozess optimiert."
The real story is worse.
November 2025: Amazon mandates Kiro as their only AI coding tool. Sets an 80% weekly usage target. 1,500 engineers protest internally, saying Claude Code outperforms it. Leadership pushes through anyway.
December: Kiro autonomously deletes a production AWS environment. 13-hour outage. Amazon's response: "user error, not AI autonomy."
March 5: Amazon[.]com goes down for 6 hours. Checkout, pricing, accounts — all gone.
Now the same SVP who co-signed the Kiro mandate is running an emergency meeting about "high blast radius" incidents from "Gen-AI assisted changes."
The agent inherited a senior engineer's permissions and acted like one — except it doesn't hesitate.
1,500 engineers said the tool wasn't ready. Leadership made adoption a KPI. Amazon told Wall Street it's spending $200B on AI this year. They can't walk it back.
This isn't an AI failure. It's what happens when adoption becomes a corporate OKR before the review process catches up.
The tools work. The org chart didn't.
DON'T UPLOAD YOUR FAMILY PHOTOS TO AI
DON'T UPLOAD YOUR FAMILY PHOTOS TO AI
DON'T UPLOAD YOUR FAMILY PHOTOS TO AI
DON'T UPLOAD YOUR FAMILY PHOTOS TO AI
DON'T UPLOAD YOUR FAMILY PHOTOS TO AI
#Kundin: Können Sie mich zur Homöopathie beraten? 😃
#DerApotheker: Sehr gut sogar! Ich kann Ihnen alles sagen, was Sie wissen müssen!
#Kundin: Oh, das ist sehr schön! 😍 #DerApotheker: Die Homöopathie hat keine Wirkung, die über den Placeboeffekt hinausgeht.
#Kundin: 🤬
🥷
This year, Trump’s Big Beautiful Bill gave:
Google an $18 billion tax break.
Amazon a $16 billion tax break.
Microsoft a $12 billion tax break.
Facebook an $11 billion tax break.
Now, they’re writing checks to Trump for his $300 million ballroom.
Gee, I wonder why?