readerrr

You are mistaken, unless you can prove me wrong. Care to elaborate?

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.

Lack of demand.

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.

[0]:https://en.wikipedia.org/wiki/Scientific_theory

Thank you, that makes it credible.

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.

How does that bounty work legally? Publicly( if a website counts as such ) declaring a reward for something isn't a legal 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.

How do you deal with black box algorithms taking extra time to get more money/credits?

So is bogosort: https://algorithmia.com/algorithms/ikkebr/BogoSort

I think it is cheaper and faster to run any sort on a local machine than to send the data there and back.