Saturday, December 31, 2016

Selected blog posts from 2016

This is my 42nd post for the year. As is the custom in a year-end post, I mention some highlights among my 41 posts in 2016.

Machine Learning




Facebook papers




Fault-tolerance




Distributed Coordination




TLA+/Pluscal Modeling




Miscellaneous


No comments: