bmays

9 ms·

1. 1.▲
   by bmays 8y ago

   You're welcome, godspeed.
2. 2.▲
   by bmays 8y ago

   The author of this book doesn't work at a big cloud provider (afaik) and wrote a pretty good write up on verifying a device setup protocol: https://medium.com/espark-engineering-blog/formal-methods-in...
3. 3.▲
   by bmays 8y ago

   I think you can agree that _worse_ doesn't necessarily imply _harder_. More critical systems are online, software is more complex, more actors are in the mix, etc. Feels like semantics, anyway.
4. 4.▲
   by bmays 8y ago

   This is great, was looking for this exactly!
5. 5.▲
   by bmays 8y ago

   Uber | San Francisco | Mobile Platform Performance - Backend Engineer | Full-time | Onsite You would be the 2nd backend engineer on the mobile platform, helping build out services to productionize our team's offerings. We have amazing