Alex Prejean

Anthropic informs bankers that incorrect figures were included in its IPO filing and says updated numbers will follow, Rtrs says.

Dejounte Murray says he asked Rich Paul to get him traded from the Spurs during his rookie year because of the organization's mind games “I'm busting Tony's ass in practice. I'm busting Patty Mills’ ass in practice. I'm locking them up. I'm like, damn, give me five minutes, give me seven minutes. Then they send me to the G League” “Then as time start going, they bringing a point guard from Argentina that's close with Manu, playing in front of me. And mind you I'm behind Tony, Patty, but they playing these mind games. They trying to see if they could break me, not knowing you can't break me. They want you to break yourself” “And they doing that though. I'm at home tripping. They playing other guys that was second round picks, undrafted in front of me. Now I'm just like, what's going on? I'm hitting Rich [Paul]. I'm like, ‘I gotta get traded.’ He's like, ‘You ain't got no value.’ I'm like, this is too much. What did they put me through, I don't understand”

Gotta admire data engineers for (correctly) identifying that ai engineering is just data engineering, and (incorrectly) thinking data engineering will finally get the respect it deserves.

NEW VIDEO: A passenger onboard the American Heritage River Cruise ship recorded this video of the oil tanker headed directly for them. This footage is unbelievable. ABSOLUTELY TERRIFYING!

Your email might be down, but the skies are always open. ✉️✈️

NBA Star Chris Bosh Linked to Palisades Fire Case by Arson Suspect's Defense tmz.me/48fXxdq

Thrilled to announce that our @GoogleDeepMind team has cracked a major challenge in software engineering and cybersecurity: formally verifying a real-world implementation of the #Signal cryptographic protocol at the machine-code level. This proof was done using AlphaProof Code, our new AI framework for formal specification and verification. * Paper: deepmind.google/documents/36… * Lean code: github.com/google-deepmind/c… * DeepMind blog post: deepmind.google/blog/introdu… A huge shoutout to my amazing teammates: @tchajed, @FerrousAndrew, Jonathan Katz, @pushmeet, @antonkovsharov, Karn Seth, Sam Schlesinger, @RandomlyWalking. I started working on formal software verification 20+ years ago as a grad student. I was persuaded by Dijkstra and other computer science pioneers’ vision of programming backed up by mathematical theorems. At that time, we had to choose between automated code analysis algorithms that scaled but could only prove shallow properties, and deep manual verification that took decades of expert human work. Thanks to progress in AI for mathematical reasoning, we don’t have to make that choice any more. Over four weeks in October 2026, AlphaProof Code agents generated more than 6 million lines of machine-checked Lean proof. We proved deep computational and symbolic security properties of the entire protocol core of Signal, all the way down to the ARM machine-code level. This is just the first step, of course, because our goal is nothing short of verifying the world’s software infrastructure. Most cyberattacks, including the AI-powered ones recently in the news, happen because of preventable code bugs. I expect that agents for formal code analysis will eliminate these bugs one category at a time. As our paper explains in more detail, this doesn’t at all mean humans are out of the picture! Proofs are now largely automated, but human experts will need to decide what is proved with AI assistance. AlphaProof Code offers an early glimpse of what such human-AI collaboration could look like, but many other proposals of this nature will emerge. We have released all our Lean specs and proofs and plan to work with the open-source community on improving them. If you are building critical software and would like to apply these ideas, come talk to us!

Starting to roll out today: Claude Whiteboards, Claude Sheets and Claude Data. Think a plan through on a board, build a tracker in a sheet, and tell a story with your data.

Millennials, what was considered completely NORMAL in 2005 that would be absolutely unhinged today?

No gas, no noise, just pure efficiency. This man and his scythe are unstoppable.

Can't wait to vibe code at the SF bars with these

hearing things. they're not good.

These hornets attacked his Bee hive. Now he is waiting for them on the outside.

Not to be an annoying rule follower but everyone at every baggage claim I’ve ever been to needs to take a GIANT step back