You're welcome, godspeed.
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...
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.
This is great, was looking for this exactly!
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.…
You're welcome, godspeed.
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...
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.
This is great, was looking for this exactly!
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.…