Today we’re introducing Aether @aetherruntime.
The fastest cloud coding agents in the world that you can use with your existing subscription
Give it a task and just 20 seconds later your build is running on its own cloud machine. You can pick up from your phone, watch every line, and step in whenever you want as if it was local. Close the laptop. It keeps going.
It runs Claude Code or Codex on the Claude or ChatGPT plan you already pay for so there’s not a 2nd AI bill. You only pay for the machine.
When it’s done, if code review is enabled, a reviewer agent runs the code with the changes, which catches classes of bugs that can't be found from static analysis.
Before building Aether I built infra at Apple, Uber, and HeyGen. I built Aether because the cloud agents I tried before all had drawbacks, and I couldn't imagine building something without it now.
It’s free to start. https://t.co/H4NreKyaF5
Most think vibecoding at scale is slop. Here’s a counterexample.
Today we release a 16M-line formalization of the entire Stacks Project, critical infra underlying modern math, with optimized code quality and its highly interconnected structure preserved.
A mathematical city 🌆
HeyGen Video 1 is now on your phone.
Everything in this video was made with it.
Download the HeyGen app and get started on any mobile device.
iOS: https://t.co/hk97AaMPcv
Android: https://t.co/ZVYY4EiVd3
Can LLMs simulate biology?
We tested frontier models on real lab experiments: predict how cells respond to drugs, gene knockdowns, and immune signals. Even the best get only part of the response right. Lots of room to improve.
Introducing BioSimBench, built on @NVIDIAAI. 🧵