In case you missed it, Closing the Loop: Modular, Testable Postgres for AI Agents with Dan Lynch is now available on YouTube. Watch here: piped.video/uDOWROFoSUM

Humans no longer write software, they write behaviours. Quint Studio is designed for that world. Track behaviours, decisions, testing, and more. Try it out today.

AI agents can write code, but can we trust the systems they build? With SkySynth, we co-evolve code with tests and formal proofs to generate specialized, just-in-time infrastructure. The result: formally verified KV stores 2.3× faster than Redis and custom inference engines with 2.2× the throughput of vLLM/SGLang!

OpenAI's @cdngdev predicts robotics will have its own version of the 3D printing craze, with people buying cheap, open-source robot arms and connecting them to agents. "I can see a world quite soon where, similar to when everyone went and bought 3D printers and ran software, everyone's going to buy plastic, cheaper robot arms that you can clip onto a table, put stuff in front of, and plug them into agents." "The price of classic robotics equipment is thousands of dollars at the moment. This arm I'm using here is a Hugging Face SO-100 robot, which is open source, fully 3D printable, and around $200." "People can just pull up Codex and start controlling robots with it right now."