Viewing profile — cndkxjsnf

Any law that's not based on a stochastic process, since stochastic processes can be gamed with a little bit of cleverness. If you don't believe me, just look at HFT.

>Another order reversal: type systems allow you to focus on programming, instead of hunting around for bugs Except that is false. Bug prevalence is empirically orthogonal to type s…

Do you want to invest your time worrying about types or actually programming? My issue with building these type-theoretic monstrosities is that now you suddenly have to tackle two …

So I see you're a big fan of Richard Nixon.