On: Gemini 2.5 Pro Preview

[alex1138]

The fact that SO much is only discovered after the fact by asking it "Are you sure?" is just insane

There has to be some kind of recursive error checking thing, or something

[Tainnor → alex1138]

I did a bit more than "are you sure", though. I said "I don't think X is right because ..." (after reading the type signature of some function and thinking through what would happen). That seemed to lead it into the right direction.