Worse, the disclaimer is buried under a bunch of "did X, did Y on line Z of file a/b/c", as if it's just a minor inconvenience. To the extent the plan was inaccurate, you're left in an undefined state where you might as well undo what it just did..

I only ever use it on the high reasoning mode, for what it's worth. I'm sure it's even less of a problem if you turn it down.

I'm not sure about benchmarks comparing languages, but Dafny goes through a lot of tweaking to make the process faster.

If you had come into the relationship with the understanding that you'd both date/have sex with other people then great; it doesn't matter what other people think. However, when you say that it was hard for you to accept her being with other men, and that you're lucky that "she has never fallen in love and wanted to run away with one of em", damn. My first instinct is that you should take your own advice: find or design a relationship where you don't have to accept this.

I realize that some of my knee jerk reaction might just be instinct/cultural values, I mean no disrespect.

Yes, that is how this works. I'm talking about the case where you're providing a good query and getting poor results. Claiming that this can be solved by more LLM conversations and ultrathink is cope.