5 ms·
> I think we need to wait until I think we should take advantage of any improvements we can get, that result in a net gain, for the individual. Programming is
by nomel 4y ago
> I think we need to wait until
I think we should take advantage of any improvements we can get, that result in a net gain, for the individual. Programming is a practical endeavor. There’s no need to wait.
- agentultra 4y agoYou’re absolutely right! Don’t wait! Learn how to write proofs and use model checkers today! But I think most people will prefer the easy way out.