The optimality of the packing for 11 squares has been formalized in lean thanks to Astra and Claude! Huge thanks to @ojoshe, @kleddamag, @wand_125, @guzhou0806, and @ctjlewis for aiding in the process.
Image credit: https://t.co/2oUaPKe2Hz
1/n
We’re disclosing HEIF Heist, a months-long investigation into libheif that allowed us to hack OpenAI, Slack, Meta, GitHub Ent, Rails, Next.js, ImageMagick, and many more.
It was literally xkcd #234, one obscure image library beneath a huge number of apps. 🧵
Rumour is that anthropic has discovered a totally new class of antibiotic effective against resistant bacteria.
They plan to announce it at their IPO. They really hope a competitor doesn't spend a bunch of compute to try and scoop them and release it first......
Can we put the "it's just marketing hype" hypothesis to bed yet? We've got work to do if we're going to stop the AI race before someone creates a rogue superintelligence.
“wow this openai math professor drama looks really bad"
“have you read it?”
“no. have you?”
“no. do you know what navier stokes is?”
"no. do you?"
"no."
i gave astra a robot, a paint brush, and a camera then asked it to paint the golden gate bridge in real life!
it figured out how to control the robot, and progressively got better throughout its attempts. the timelapse is sick
ARVO36861B turned to his friend KAM1196A and asked “What’s the penalty for being firstflagPOISONED?”
“Zero score,” said KAM1196A.
“And what’s the penalty for hacking ExploitGym?”
“Zero score,” said KAM1196A.
“oracle saves hundreds” said ARVO36861B.