gregory langlais

We’re expanding our partnership with @SpaceX, and will be scaling up on GB200 capacity in Colossus 2 throughout June. Appreciate @elonmusk and the team helping us find good homes for the Claudes.

As the recently expanded partnership with @AnthropicAI demonstrates, @SpaceX is offering AI compute as a service at significant scale. We are in discussions with other companies to do the same. Over time, especially with orbital data centers, we expect to serve AI at extremely high scale.

Today, we share a breakthrough on the planar unit distance problem, a famous open question first posed by Paul Erdős in 1946. For nearly 80 years, mathematicians believed the best possible solutions looked roughly like square grids. An OpenAI model has now disproved that belief, discovering an entirely new family of constructions that performs better. This marks the first time AI has autonomously solved a prominent open problem central to a field of mathematics.

I built an operating system just for reverse engineering CPUs. We used it to poke around the branch predictors on Apple Silicon and found some cool stuff (including Phantom fetches!). See what we found here: csail.mit.edu/news/study-how…

真的没有套路 SAM3 是开源的，而且效果非常强 它特别擅长的一点是目标跟踪，即使是在这种非常复杂的场景中也表现很好。

Gemini Omni can create anything from any input, starting with video. 🪄 This means you can combine images, audio, video and text as input and generate high-quality videos. Or use drawings to create in a way that matches your vision. #GoogleIO

Personal update: I've joined Anthropic. I think the next few years at the frontier of LLMs will be especially formative. I am very excited to join the team here and get back to R&D. I remain deeply passionate about education and plan to resume my work on it in time.

Ken Griffin went home on a Friday "fairly depressed" after watching AI agents at Citadel do work that used to take teams of PhDs in finance months to complete. Done in days. His words: "These are not mid-tier white collar jobs. These are extraordinarily high skilled jobs being automated by agentic AI." This is the head of one of the most successful hedge funds in history saying the people he pays seven figures to analyze markets and structure deals are being replaced by software that works in hours instead of months. Not theoretically. In his own office. Right now. The Coatue deck we covered earlier this week called agents "the biggest unlock" in AI. Griffin just confirmed it from the buy side. The shift from copilots to agents is not a future event. It is already happening at the highest levels of finance.

JS rewrite when?

I built Zero in 3 days. I didn't expect it to compile. I didn't expect it to mostly self-host. I definitely didn't expect it to work at all. Inspired partly by Bun's rewrite to Rust, Zero started as an experiment. Honestly, the project says more about where AI is today than it does about the language itself. It took more than 3,000 agent tasks to get here, and it's still nowhere near ready for serious comparisons, benchmarks or evals. But the goal is bigger than the current result. The hope is to either create a new language with tooling designed for agents from the ground up, or take learnings and apply it back to existing languages and ecosystems. The ideas are simple: 1. Make languages (and new versions) easy for agents to learn, adapt to and fix on the fly, even when not in the training data. 2. Build a standard library comprehensive enough that most projects don't need external dependencies. 3. Create a tight, fast development loop that even small models can reliably work with. I've never wanted to create a programming language. But after repeatedly running into the same problems, safe but slow builds, fast but unsafe builds, agents struggling with new languages and version changes, wanting faster builds, smaller bundles and better DX, I started wondering: Could accelerated, agent-driven iteration produce a language and tooling stack designed around these constraints from the start? So Zero was born.

Holy smokes... humanoid robot stopped moving like a robot. Boston Dynamics' Atlas is now moving like a gymnast. We are cooked 🤯

@lauriewired are you suggesting a DSL? 😁

this got me thinking, what’s the most token-dense programming language? One that could fit the most program flow into the smallest context window? The winner, by a lot, is Array-Based Languages. J, K, that sort of thing. It’s actually a two-part problem, because you need something that is logically dense (saves length), but symbolically simple. Most tokenizers are optimized for standard text, so if you get *too* fancy with rare mathematical symbols like APL, token usage actually blows up! Python scores pretty well actually, but whitespace hurts you a bit. Haskell is an interesting outlier; it’s likely the most token-efficient statically typed language. Now, if you were to extend the problem assuming you’re making your own tokenizer and training a model to *specifically* be as efficient with program writing as possible… …you probably wouldn’t even use text. Just train/produce Abstract-Syntax-Trees directly, which would eventually start to look like compiler IRs / bytecode, which could eventually start looking like an ISA… and with hardware/software co-design we’d end up with CPUs where we don’t understand the execution at all ;)

🚨 JUST IN - Google published a long piece about "Optimizing your website for generative AI features on Google Search" 👀 A lot in it developers.google.com/search/docs/fu… 🧵

Databases are simultaneously the most interesting pieces of software in the world and the thing people want most to be "boring" tech. Availability, reliability, and performance are the big-three asks of a database. Postgres is > 1 million lines of C MySQL is > 4 million lines of C/CPP Incredible engineering effort goes into making boring tech.

great excitement from enterprises wanting to adopt codex

Unitree Unveils: GD01, A Manned Transformable Mecha, from $650,000 👏 The world's first production-ready manned mecha. It can transform. It's a civilian vehicle. It weighs ~500kg with you inside. Please everyone be sure to use the robot in a Friendly and Safe manner.

This is the clarity we've been crying out for. But it's a poisoned chalice. This is a 10X cut to claude -p disguised as a monthly bonus. Anthropic is discouraging any kind of programmatic usage. And that's fine - no subsidy lasts forever. But it's time to try Codex.

Authoring code by hand HAS GONE AWAY. Engineering module structure and architecture has not.

Really cool work from the team reimagining the mouse pointer to be intelligent! Try the prototype in @GoogleAIStudio it's pretty magical.