Viewing profile — m0deran

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 softwa…

> 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 co…

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 dea…