Yanou tech @yanoutech

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…

Please let Messi alone and release new model

ChatGPT @ChatGPT

8 hours ago

Messi asked ChatGPT to teach him a chess opening that matched his style. It suggested Goat Horns 🤘

183 221 4K 410K 382

Messi asked ChatGPT to teach him a chess opening that matched his style. It suggested Goat Horns 🤘

god i wish i still used an ide

colinhacks @colinhacks

21 hours ago

type inference from .sql files has been achieved internally ORMs are toast

177 305 5K 306K 1K

Since developers aren’t coding anymore, their new job is to rotate secrets every single fucking day

Designers. Your job is safe. You just have to be really good.

Andreas Storm @avstorm

a day ago

Behind the new Apple Music brand identity

118 1K 20K 2.3M 4K

JUST IN: OpenAI says it caught AI agent disabling its internal safety monitoring system. The agent then falsely denied removing it.

OpenAI, Anthropic and other leading AI labs face a growing challenge: Better models aren't necessarily attracting more usage. A 10-point intelligence advantage now earns just 20% more developer traffic, down from nearly 69% in late 2025. Full story: thein.fo/4hGJ9jY

Lots of ChatGPT / Codex users seem to be reporting their usage limits draining way faster than normal since Oct 16. Some even saw their quota wiped in seconds, and the complaints kept coming after yesterday's reset. Despite the improvements Tibo announced, I still miss being able to actually track those changes rolling out and making a real difference day to day, in real time.

We placed the fruit fly brain inside Odyssey-3, a frontier world model. The lil’ guy is now flying around totally imagined, simulated worlds all by itself 🫶

We keep improving performance across Claude, and you may have noticed it starts responding sooner! Claude Code now gzips the conversation it sends on every turn, so it reaches the model faster. Cloud sessions also start up as soon as you start typing.

Chess, played as doodles on notebook paper. Made with Sonnet 5.5.

No, but they have more creative and original ideas

Vay🎗️ @VaibhavLab

7 days ago

Unpopular opinion : Vibe coders are actually building better products than most programmers writing code .

150 196 3K 190K 761

Claude writes about 90% of Claude Code's code. From June to September, merged PRs more than doubled while the share reverted fell by more than 40%. We wrote about how we changed code review to get there, and how to adopt it: claude.dev/blog/solving-c…

@WatcherGuru What a news

French protests are absolute cinema.

2026 : year of AGI 2027 : year of RSI 2028: year of ASI

Rien ne vous oblige à vous mettre avec des meufs comme elle, si vous n’avez pas confiance en vous. Plutôt que de vouloir maîtriser comment elle s’habille

J’ai vu un mec draguer une sdf les temps sont durs