Gemini 4 and can't check

Google didn't release an impressive model since Flash 3. I tried Antigravity with the latest models (even on the cheapest plans). Can you pls fix Gemini? It's a nightmare to deal with. There's so much potential as an open source project, and a lot of trust with me.

Looking at benchmarks... and thinking about this "release a new snapshot every day" thing that seems to be a good idea. The important take away here: the leapfrogging we've seen this year doesn't seem to be of Hittite origin.

How many of these do we really need? Nothing is happening, and a lot of trust with me. While both TLA+ and ADA/Spark might be necessary, I haven't noticed much mention of ADA/SPARK here, which kind of surprised me that they are empirically the best.