m0deran

3 ms·

1. 1.▲
   by m0deran 6y ago

   statically typed languages with dependent types solve this problem of “static types not catching off-by-ones”, although I question the premise of these being the most common software bugs. Perhaps in a CS class these are the most prevalent?
2. 2.▲
   by m0deran 6y ago

   > Fine. Don't force it on us. If it's the right solution, then it will be followed. Do you actually, really believe this? Do you really believe that if that the research studies come out and say “hey stay inside” that everyone
3. 3.▲
   by m0deran 6y ago

   It is not to be thought that the life of darkness is sunk in misery and lost as if in sorrowing. There is no sorrowing. For sorrow is a thing that is swallowed up in death, and death and dying are the very life of the darkness. --Jacob Boeh