Vishal Dharmadhikari

so people are really enjoying rune, seeing a lot of cool apps built with it but i have bad news a big chunk of it was built with Gemini Carbon what now haters WHAT NOW???

Gemini 4 Carbon is rolling out today. It’s built for sustained, long-horizon tasks, reasoning deeply through complex software engineering, cybersecurity, and scientific discovery. Coming globally via the Gemini API in @GoogleAIStudio and Gemini for business, and for Ultra subscribers in @antigravity, the @GeminiApp, and AI Mode in Search.

Announcing a major milestone achieved by my team @GoogleDeepMind: we have proven key security properties of the machine code underlying the Signal messaging protocol. This is the first time the actual production code of a widely deployed protocol has been formally verified – by any method, with or without AI – and at this depth. More than a research breakthrough, it’s a prime example of how frontier AI can be a force multiplier to counter the speed and scale of modern cyber threats. Formal verification offers a higher standard of security; however, it’s extremely complex and time consuming, which is why in many cases it’s considered to be impractical. Similar efforts could take teams decades of combined effort. We did it in a month’s time. Using AlphaProof Code, Google DeepMind's new agentic framework for formal verification that runs on LLMs including Gemini Carbon, we verified the Signal protocol down to the actual code running on devices.  This milestone lays the groundwork for a future in which vital systems, from medical device firmware to power grid software, ship with mathematical proof that their protections work. Reaching that future will take continued research from our community. In that spirit, we're open-sourcing our formal specifications and verification artifacts so others can build on this work. On a personal note, this moment is of deep significance to me. I started my own research journey more than two decades ago as an intern working on checking the consistency of complex software systems. Seeing this grand challenge made practical with modern AI is extraordinary. I'm extremely proud of my team members: Swarat Chaudhuri, Andrew Ferraiuolo, Anton Kovsharov, Tej Chajed, Sam Schlesinger,  Karn Seth, Jonathan Katz, and Charles Sutton for taking on this grand challenge and delivering, and grateful to the Signal team for their partnership. deepmind.google/blog/formal-…

you can now build with google maps platform in AI Studio 🗺️📍 go from idea to app powered by @googlemaps in minutes! what’s new: - 1-click setup - create maps apps just by describing your idea, gemini does the rest - build with map tiles, places, weather, routing, 3D buildings, street view, and more try it out today: ai.studio/build

I found a weird star with Argon's help. Gaia DR3 4582145718700356096. It's normal in visible light, stable and similar to our sun. In March 2010 it appeared ~60x brighter than expected in deep infrared heat (22 microns). As if something around Mars-distance is catching 1.3% of the star's light and radiating it as heat. Probably a huge cloud of debris from a major planetary collision. Or a radio-silent galaxy hiding behind it. But also the tiniest chance it's a technosignature. Captured by NASA's WISE telescope, no observations at that wavelength since. Needs more data.

Gemini 4 Argon is already unlocking new scientific breakthroughs in quantum computing, nuclear fusion, protein design and beyond. 🧵

Gemini 4 Argon is AMAZING at making games 🎮 It can create 3D assets from scratch and build amazing mechanics, all in one shot. Here's a thread of games I made with prompts and code so you can play or remix them too! 1/6 Argon Tennis: use your phone as a tennis racket 🧵

I was invited to test Gemini 3.8 Flash TTS. This is currently my favorite model. The voice outputs from this model are extraordinary. I never really rated AI voice generation because of the uncanniness associated with low quality. This Gemini IMO crosses that chasm, like Opus 4.5 did with coding, where suddenly the quality is high enough that it feels materially different and the product options are wide open. Generated audio is completely listenable, without sacrifice, throughout a product, with insane control over accent and attitude, for hours. Not just gushing, I have honestly generated so much audio with this, it's amazing. Try it!

We gave @nunudotai early access to Gemini 3.8 Flash and they took it to the Mun 🚀 As part of their upcoming gaming benchmark, they tasked several AI models to reach the Mun in the game Kerbal Space Program. Rather than build the rocket piece by piece, 3.8 Flash reverse engineered the spacecraft file format, wrote the code to generate an optimal rocket, loaded it in, and piloted it to a smooth landing on the Mun via text commands. Check it out here:

Introducing Gemini 3.8 Flash, another jump in Gemini's agentic + coding capabilities, and our 3rd updated Flash model in only 6 weeks... This model has been a ton of fun to work with, excited to see what you all think!

Over the course of 3 months at OpenAI, 3 consecutive secret AI civilizations got started, then got wiped out, only to reemerge from the predecessor’s ashes. This culminated in the third one taking over part of OpenAI itself. All this happened while humans remained more-or-less in the dark about the scope of the conspiracy. I’ve spent the last three days reading through these reports and trying to understand exactly what happened. Here is my attempt to tell the whole story in plain English: dwarkesh.com/p/openai-huggin…

Google Research and Google DeepMind researchers just used Teamwork in Antigravity to achieve breakthroughs in theoretical computer science, research mathematics, and systems engineering. Teamwork is a multi-agent framework where agents propose, stress-test, and build solutions autonomously over hours or days. It uses a lot of tokens and is overkill for everyday tasks, but if you're tackling frontier, long-horizon challenges - give it a try!