Occam's razor: "Entities should not be multiplied without necessity" Thinking about ppl who make opposite error - finding one cause & using it to explain everything, even when reality is more complex. Was gonna name this "inverse Occam's", but the realized it's "Eigen's razor"https://twitter.com/eigenrobot/status/967114911401652225 …
-
-
Proving it's logically equivalent to peano arithmatic can be a great step towards demonstrating the numeric tower as specified behaves correctly. Given you're talking about "building a working production system" I guess that's both true and not at all the point though.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
is