cndkxjsnf

5 ms·

1. 1.▲
   by cndkxjsnf 10y ago

   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.
2. 2.▲
   by cndkxjsnf 10y ago

   >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 system. See Xmonad
3. 3.▲
   by cndkxjsnf 10y ago

   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 problems instead of just one. Just like the underlying mach
4. 4.▲
   by cndkxjsnf 10y ago

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