On 2.: Maybe he is talking about branch prediction vs lack of this feature in compilers. What do I mean by that is that optimizing compilers( at least in c ) don't optimize based on measurements from actual programs. A compiler that would run the program for a certain amount of time, to profile, could find the weak spots and optimize.
You are using an incorrect definition of the word. Theory used in science[0] means:
a coherent group of tested general propositions, commonly regarded as correct, that can be used as principles of explanation and prediction for a class of phenomena
and not:
a proposed explanation whose status is still conjectural and subject to experimentation, in contrast to well-established propositions that are regarded as reporting matters of actual fact
We have a separate word for the latter: a hypothesis.
Absence of a legal contract for such cases exposes a website to abuse. I refuse to believe that a text posted publicly is subject to the same standards as a real contract.
This suggestion isn't solving any problem and is introducing new ones. How will the students pay once they spend their initial free credits, will they get a university account, or make new ones each time, who will manage that, so many problems. You certainly don't need a service that charges to do so, especially where the complete list of participants is available. A simple service that runs on university servers should be able to handle this.