Lot can solve send+more=money 
* More humane syntax coming soonpic.twitter.com/NN2LZMeebJ
-
@oe1cxw I wish I could understand formal verification without requiring a PhD in mathematics :D!
@cr1901 If you can get a PhD in that time then this will probably help funding your future research.. (That's what PhDs tell me. :) 2/2
-
-
@oe1cxw Part of my problem is that I'm risk averse; I do not commit to something unless I'm fairly sure it won't lead to failure*. -
@oe1cxw Failure in this regard is that "I go down the rabbit hole, intending to study Y to do X, only to find that doing X is impractical." - Show replies
New conversation -
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.