The proof of the last remaining Lean theorem in our upcoming conference submission has now been completed with the help of AI. The research community’s perception of program verification is about to change irreversibly.

https://t.co/IMC7gNhadm

We’re releasing Bloom, an open-source tool for generating behavioral misalignment evals for frontier AI models. Bloom lets researchers specify a behavior and then quantify its frequency and severity across automatically generated scenarios. Learn more:

I’ve been building in public for so long, I see every draft I’ve built reaching millions of tvl and traction is too beautiful, I’m excited for 2026 thinking about everything I’ve been writing code and seeing things run and the email full.

One of the craziest things I’ve ever experienced this December

Man, I forgot that I’m in Apple’s beta program, I haven’t been able to work on my main computer since Friday, today I remembered and updated problem solved, I miss the popups notifying update @justinbieber do something.

introducing https://t.co/C2HfuZbGoG - a place to share and collaborate on extending @opencode i realized that there wasn't a good "list" of opencode plugins, configs, tools etc so I built it free to signup & enjoy https://t.co/C2HfuZbGoG

👷‍♂️15 months. 32 minor releases. 460 GitHub stars. HyperIndex is being used by many teams across Web3. Big thanks to everyone building with Envio and pushing the stack forward. We wouldn’t be here without you. 🫶 V3 is coming.

Keep swimming, keep building, just me waking up early, building until the world wakes up.

HyperIndex v3 is underway. Early tests already show major speed and storage improvements across the board. Hard to believe things are going to get even faster and more efficient! 🤯 V3 is coming.

The Mirror talking

Ultra-miniature cluster board with 7 SOM slots https://t.co/4PK7LvNwsk

15TB of physics simulation datasets https://t.co/DPDO6pexUe

“I missed more than 9000 shots in my career. I failed many times in my life. And that’s why I succeeded.” - Michael Jordan

Anthropic is donating the Model Context Protocol to the Agentic AI Foundation, a directed fund under the Linux Foundation. In one year, MCP has become a foundational protocol for agentic AI. Joining AAIF ensures MCP remains open and community-driven.

@ericw_ai the future belongs to tools that understand you, not the other way around

The @AnthropicAI interviewer dataset is number one trending on HF, congrats! https://t.co/gqmXtaAtk4

this is the best time in history to build decentralized technology and nothing can persuade me otherwise

Solidity v0.8.31 is out! ✨ This latest version makes Osaka the default target for the compiler, extends storage layout specifiers, brings new deprecation warnings, Linux ARM builds, and more! Highlights in the thread! ↓🧵