[reitanqild]

> and getting Google's search engine to find exactly what I want with its pseudo-AI machine-learning algorithms doing completely inexplicable things with my queries, that I think "generally do the right thing" is not a good idea.

Actually Google works kind of OK now after they overshot seriously some years ago. Today if you use doublequotes around the search terms it actually seems to search for that exact term.

Which I think is a good solution: reasonable AI with easy fallback when you need it.

I guess an AI VM would need an exact modifier: don't attempt any unspecified cleverness on this variable/method/class.

Specifying some kind of runtime assertions on steroids could perhaps also alleviate some problems.

Debugging could be simplified by having the VM outputting all its assumptions.

[zdkl]

Aw man, I was hoping we'd be rid of compiler flags by then