@MarcJBrooker Yeah I'm actually quite optimistic about their future, and I thought the AWS formal methods paper you were co-author on is
Butler Lampson on what's worked in computer science, 16 years later: http://danluu.com/butler-lampson-1999/ …pic.twitter.com/WPVoCSp2IR
-
-
-
@MarcJBrooker something that will spur other folks to try TLA+.
End of conversation
New conversation -
-
-
@danluu @king_cons Ericcson uses Erlang, they support a lot of the wireless worldwide. -
@philosodad @king_cons For what,exactly?Certainly not datapath. All I can find is reference to Erlang sometimes being used for support nodes - 2 more replies
New conversation -
-
-
@danluu Very interesting post, I just wonder why you say ARMv8 is “hopeless”. I do not claim otherwise, just curious. -
@Jussi7 Only in embedded, where you usually have little use for a 64-bit machine with worse code density than the 32-bit alternative. - 1 more reply
New conversation -
-
-
@danluu I notice that "Objects / subtypes" does not have a "yes" next to it in your 2015 column... -
@NovalisDMT Whoops, typo. I should fix that. Or maybe not. - 1 more reply
New conversation -
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@danluu@garybernhardt This isn't so much a list of what worked as a list of what became popular. Not the same thing imo.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.