Houdayfa

Your AI coworkers now have an office. @getskydive is open to everyone. Build a team of agents, watch them work in a 3D office, and hand them tasks over Slack, email, iMessage or the web. Claim your company’s domain to put your office on the map. They work for free this week.

Meet Robyn, the personal agentic platform built around your life and work. - Tell her what you need in one sentence. No setup, ever. - Spin up a fleet of agents preloaded with your context that work while you sleep. - Access it on the web or just text it. - 20hrs/week saved per user. I’m Jenny, and I spent 3 years working with Nobel Laureate Eric Kandel, who mapped out memory in the human brain. We built all of that into Robyn, making it the first AI capable of taking intelligent action. Invite only access opens today. We’re giving out 1000 invite codes. Link in first comment. Comment "Robyn" for 100 free credits.

Every AI agent at work runs with the access of whoever set it up. That’s why security keeps saying no. Today we’re launching @mintive: every agent gets its own identity and permissions, the same way every employee does. We’ve raised $11M, with @cowboyvc leading our latest round.

Today we're launching @snaptrude Agent, the most advanced agent for building design. It does real design work with you, from a site to a construction-ready LOD 400 model with structure, MEP and drawings. Then can go back to your existing software with your families intact. About a year ago we bet the company on AI. Honestly the insight came from software engineering. It wasn't long ago that autocomplete felt like a big deal, and now engineers direct agents that write a lot of the code. I think the same shift is coming to how we design buildings, and it's already started. Most designers I meet aren't short on skill, they're short on time. Take the call every design team dreads, the client cuts the budget by 30%. Today that's a bad month for everyone. With the agent you're the director. You decide where the cost comes out, and it updates the layout, coordinates the structure and MEP, and redoes the drawings. So when design exploration gets this cheap, we go from 3 options to 300, and more options means better buildings. Since August our users have gone through more than 140 billion tokens, and firms like Jacobs, Studio+, Kajima, VMDO, Dekker and hundreds of others use Snaptrude today. In our early access, more than 2,000 designers have run over 25,000 tasks through the agent since September. We also built a benchmark for this, AECBench, because in AEC an almost correct answer is still wrong. It gives AI the same brief an architect would get, has its design in a real BIM model, and scores the result against the brief and against how architects review design. We're publishing the first results today, link below. Thank you @prashanthp at @Accel and Shub and the team at @foundamental for backing us when this was still a bet, and the Snaptrude team, who built every bit of this. Really proud of you all. Thanks to our investors, @scottbelsky, @andreasklinger, @thilokonzok, @immad, @CindyXBi, @DanilaVladi, @jmwass, rahulchaudhary, @adamecourt, Zach Ginsburg, Alex duff, Paul grossinger, really appreciate all the help along the way.

Every video is now open-source. With Tesseract, Claude and ChatGPT can use any video as a reference to create a new, editable project around your idea. Paste a link or upload a video, then tell your agent what you’d do differently. Keep refining with your agent, or take your project into After Effects or Premiere Pro. To prove our point, we remixed a few classics.

Introducing 𝙻𝙵𝙼𝟹: our new generation of Liquid Foundation Models. With a new tri-hybrid architecture and new multimodal encoders, the LFM3 family is the ideal model suite for specialized intelligence. > 6 model instances, across text, audio, vision, and omni modalities, generative and decision models. > 𝙻𝙵𝙼𝟹-𝟷.𝟽𝙱: text, 256k context window. > 𝙻𝙵𝙼𝟹-𝚅𝙻-𝟸𝙱: vision-language model with video-input support for spatial understanding > 𝙻𝙵𝙼𝟹-𝙰𝚞𝚍𝚒𝚘-𝟸𝙱: tool calls, voice chat, reasoning in 18 languages. > 𝙻𝙵𝙼𝟹-𝙾𝚖𝚗𝚒-𝟸𝙱: an omni model combines vision, audio, and language. > 𝚍𝟷-𝟸𝙱 and 𝚍𝟷-𝙾𝚖𝚗𝚒-𝟸𝙱: decision models with typed outputs and calibrated probabilities in a single pass. Omni adds audio input. > fine-tune on 1 GPU. > a new tri-hybrid architecture > architecture optimized for 14 processor classes across GPUs, CPUs, and NPUs. > 𝙻𝙵𝙼𝟹-𝚅𝙻-𝟸𝙱 is a beast. It performs competitively with Gemma 4 12B (6x larger), and Gemini 3.5 Flash Lite, and GPT-5.6 Luna, with 1.9B parameters. > 𝙻𝙵𝙼𝟹-𝟷.𝟽𝙱 is #1 on the Pareto frontier of device intelligence 𝚙𝚒𝚙𝚎𝚝𝚝𝚎.𝚕𝚒𝚚𝚞𝚒𝚍.𝚊𝚒 Every modality for specialized intelligence. Pick the one that fits your use case, customize it, and run it on-device. 1/ 🧵

The largest math proof in human history is now computer-verified. Today, Axiom announces a complete Lean auto-formalization of the Classification of Finite Simple Groups, the "periodic table of symmetry." About 15,000 pages, built by over 100 mathematicians across generations.