@thsottiaux Building a spec-driven agent harness. No loop. LLM emits LTL, planner finds the trace, verifier checks. First app: refactor agent that proves it preserved every public contract. Loops are scaffolding, specs are the interface.
@q_yeon_gyu_kim@OpenAI@justsisyphus@q_yeon_gyu_kim lazycodex is state-machine-shaped (boulder + momus). One upgrade: 'verified' as checkable property, not LLM verdict.
lint_clean and tests_passes and no_regression must all hold before boulder marks done.
Kills 'checkbox says done, isn't' in one hook.🤭🤌😎
What happens when you combine real-time @MLB data, Vertex AI, and Gemini 2.5 Pro?
A system that generates personalized in-stadium headlines for fans—and is fast enough to keep up with the game.
Dig in to see how we got it big league ready → https://t.co/4ylLsbRNzR
Did you know you can use GitHub Copilot agent mode to debug your UI? 👀
@reddobowen breaks down how Copilot, paired with the Playwright MCP server, can identify and fix layout issues. ✅
Here's how to get started. ⬇️
https://t.co/pukuuJUPKT
Lovable just crossed $100M ARR in 8 months.
Faster than OpenAI, Cursor, Wiz, and every other software company in history.
Today we're launching a game-changing update, it reduces the error rates by 91%.
Introducing Lovable Agent:
Introducing Gemma 3n, our multimodal model built for mobile on-device AI. 🤳
It runs with a smaller memory footprint, cutting down RAM usage by nearly 3x – enabling more complex applications right on your phone, or for livestreaming from the cloud.
Now available in early preview. → https://t.co/FpNw9vFsTi
Video, meet audio. 🎥🤝🔊
With Veo 3, our new state-of-the-art generative video model, you can add soundtracks to clips you make.
Create talking characters, include sound effects, and more while developing videos in a range of cinematic styles. 🧵
AlphaEvolve, our new Gemini-powered coding agent, can help engineers + researchers discover new algorithms and optimizations for open math + computer science problems.
We’ve used it to improve the efficiency of our data centers (recovering 0.7% of our fleet-wide compute resources on average). We’re also using it in chip design and to speed up Gemini’s training, the very models underpinning AlphaEvolve itself — an exciting flywheel of progress!
Introducing AlphaEvolve: a Gemini-powered coding agent for algorithm discovery.
It’s able to:
🔘 Design faster matrix multiplication algorithms
🔘 Find new solutions to open math problems
🔘 Make data centers, chip design and AI training more efficient across @Google. 🧵
A personal update: I'm working with @Neuralink on their chat app, empowering Brad to express himself at the speed of thought.
I also helped Brad build his own keyboard training app: “I don't know how to code, but Grok walked me through it and wrote the code.”
Find out more:
Join Jack Parker-Holder & Philip Ball today at 5PM at the #ICLR2025 Google booth to discuss Genie 2, a foundation world model that can generate an endless variety of action-controllable, playable 3D environments for training & evaluating embodied agents. https://t.co/xPsrqa6j3s
Bring your ideas to life as shareable videos with Veo 2, rolling out in Gemini Advanced today.
Veo 2 handles diverse visual styles, so you can make your banjo-playing frog look exactly the way you imagine 🐸