╔═════════════════════════════════════════════════════════════╗
║ ║
║ ▀█▀ ▄▀█ █▄▀ █▀▀ █ ▀█▀ █▀▀ █▀█ █▀█ █▀▄▀█ ║
║ █ █▀█ █ █ ██▄ █ █ █▀ █▀▄ █▄█ █ ▀ █ ║
║ ║
║ ▀█▀ █ █ █▀▀ ▀█▀ █▀█ █▀█ ║
║ █ █▀█ ██▄ █ █▄█ █▀▀ ║
║ ║
╚═════════════════════════════════════════════════════════════╝
// Tech news at terminal velocity
cat 2026-07-05.md
$ cat TLDR.md
▸ • Yann LeCun secures $1B for AMI Labs to build AI that actually understands physics, moving beyond LLMs.
▸ • Apple drops $2B on Q.ai to read your facial micro-movements for next-gen wearables.
▸ • A new open-source tool called `ctx` is curing AI coding agents of their notorious context amnesia.
Meta's former chief AI scientist just raised a massive $1B seed round for his new Paris-based startup, AMI Labs. Backed by Nvidia and Jeff Bezos, LeCun is on a mission to build AI that understands real-world physics, arguing that current LLMs will never truly grasp complex reality. It's a billion-dollar middle finger to the "just add more text" scaling laws.
Apple just made its second-largest acquisition ever, dropping $2 billion on Israeli startup Q.ai. The tech reads "facial skin micro movements" for nonverbal communication, which sounds like the missing piece for their next generation of wearables and smart glasses. Because why speak to Siri when you can just aggressively twitch your cheek?
Together AI just closed an $800M Series C at an $8.3B valuation, proving that open-weight AI inference is no longer just an experimental playground. With annual bookings crossing $1.15B, enterprise teams are seriously questioning if the premium for closed frontier models is still worth it.
Anthropic just dropped Claude Sonnet 5, a mid-tier model specifically optimized for running complex, autonomous agentic tasks without breaking the bank. It's a clear shot across the bow at OpenAI, proving the new battleground isn't just raw power, but affordable autonomy.
The Swift Observatory has been scanning the cosmos since 2004, but recent solar storms have dragged its orbit dangerously low. NASA just launched an emergency mission with Katalyst Space Technologies to prevent the satellite from burning up in Earth's atmosphere this year. It's basically a high-stakes orbital tow truck operation.
Zhipu AI's new GLM-5-Turbo model was rebuilt from the ground up based on real-world agent workflows to eliminate long-task stalls. By focusing on reliable tool calling and temporal awareness, they're trying to create a model that doesn't just chat, but actually executes complex, scheduled operations without failing halfway through.
If you're tired of re-explaining your project architecture to your AI coding agent every single session, `ctx` is here to save your sanity. This new open-source CLI tool indexes months of history into a single command, and it's already blowing up on Hacker News because developers are tired of being gaslit by their own copilots.
Mistral AI just released Leanstral 1.5, an open model specifically built for writing and completing proofs in Lean 4. It's a highly targeted release for formal mathematics and software verification, reportedly solving 587 of 672 problems in PutnamBench.
The Solon Java framework is iterating at breakneck speed, dropping v4.0.3 just weeks after its major 4.0 release. The update brings a new AI loop execution module for iterative agent reasoning and auto-detected JDK 25 scoped values support, proving Java isn't sitting out the agent revolution.
In a brilliant legal maneuver, Midjourney is trying to compel three major Hollywood studios to reveal exactly how they're using AI internally. It's the ultimate "I know you are, but what am I?" defense in their ongoing copyright dispute.
Flatbush Zombies' producer Erick the Architect went on record about how much he misses his BlackBerry keyboard. In a world of glass slabs, the desire for physical buttons remains an undefeated cultural undercurrent.