New on our Frontier Red Team blog: using Claude to formally verify software at large scale. Formal verification can prove that code is free of certain bugs, but historically it has only been feasible for small codebases (or required a lot of expert time). With AI models, however, this is beginning to change. In collaboration with @theoremlabs, we used Claude to prove security properties in over one hundred real-world open-source libraries over the span of a few weeks. Read our research in full here: anthropic.com/research/forma…

apologies if this is super naive but just asking bc im curious. is there anything different about raising a kid now in 2026 versus in the 80s that warrants them needing more supervision? like when my dad was like 8 he'd wander around the city alone most of the time. i'm asking bc when i have kids, i dont want to have to supervise them 24/7. i feel like that's very demanding on parents. why cant independent play be more of then norm? is it a cultural thing? or is the world more dangerous now than it used to be?

>"So basically the entire Internet runs on PHP and today they found some critical secu-" >"Honey, please shut the fuck up."

So it begins, EasyJet 43KU (Airbus A320) currently inbound Glasgow with a minimum of eight passengers vomiting in the cabin.

I call this the diva's paradox if you tell your manager you have complete conviction in an idea, and they tell you "no," and your response is anything OTHER than leaving the company to do it yourself, you are signaling to them that you don't actually have conviction in the idea. if you're not willing to bet your career on the idea, why should they? but then if you DO quit to pursue the idea yourself, your manager will get the message that they should take the idea seriously, but it's too late, you've already quit so you need a way to credibly signal that you have a burn-it-all-down level of conviction in your idea without actually quitting enter: the tantrum

I’ve always felt this would make Love is Blind a better show. Every season should have a decoy butch or twink.

there is a certain personality type which will play Civilization or Factorio 14 hours a day pausing only to sleep and microwave food. this type can be absurdly economically productive if you can take the games away, give him a job, and get him to think of it as a videogame

One of Bismarck’s trademark habits was to openly weep and wail and threaten to resign, harm or kill himself when he was not getting his way with the Kaiser. He would genuinely throw tantrums and cry and on one such occasion walked up to an open window and threatened to jump.