/explore
|
You are here 
|
zicklag.leaflet.pub | ||
| | | | |
ahelwer.ca
|
|
| | | | | In which I am stunted upon by coin flips Wasn't too long ago that I felt pretty good about my knowledge of distributed systems. All someone really needed in order to understand them, I thought, was a thorough understanding of the paxos protocol and a willingness to reshape your brain in the image of TLA?. Maybe add a dash of conflict-free replicated datatypes, just so you know what "eventual consistency" means. | |
| | | | |
fizzbee.io
|
|
| | | | | Building a complex distributed system? How do you verify your design doesn't have issues with consistency, performance or fault tolerance? Amazon has been using formal methods to verify its distributed systems since 2012. Now, major players like Amazon, Microsoft, MongoDB, Confluent, Oracle, Elastic, CockroachDB, and many more are all embracing formal methods for their systems. Despite the immense benefits and relevance of this technique in modern software development, its widespread adoption has been hindered by the complexity of existing tools. | |
| | | | |
muratbuffalo.blogspot.com
|
|
| | | | | In a distributed system, there is no shared state, counter, or any other kind of global clock. So we can not implicitly associate an event ... | |
| | | | |
blog.marc-seeger.de
|
|
| | | [AI summary] The author shares insights from interviewing for Site Reliability Engineer positions at major Silicon Valley tech companies, covering the specific technical domains, interview process, and preparation tips. | ||
