There has never been a better time to learn formal specification.| buttondown.com
Author: Igor Konnov| Protocols Made Fun
Back in August, Murat Derimbas published a blog post about the paper by Herlihy and Wing that first introduced the concept of linearizability. When we move from sequential programs to concurrent on…| Surfing Complexity
Or model checking fault-tolerant algorithms that have more states than the atoms in the universe| Protocols Made Fun
Improving efficiency, reducing coordination, and simplifying architectures by using Leader election.| Amazon Web Services, Inc.
I’ve been reading Alex Petrov’s Database Internals to learn more about how databases are implemented. One of the topics covered in the book is a data structure known as the B-tree. Rela…| Surfing Complexity
It is a longer article about my research, how AWS used formal methods - in particular, TLA+ to design their outstanding services like Amazon DynamoDB, Amazon EC2, or Amazon S3.| awsmaniac.com
Introduction| Cheng Huang’s corner
More than just a first impression| Cheng Huang’s corner
Testing distributed systems is challenging due to concurrency and nondeterminism.| Anish Athalye
Simple Simulations for System Builders| brooker.co.za
At Signal, we want to make privacy simple. From the beginning, we’ve designed Signal so that your information is in your hands rather than ours. Technologies like Signal Protocol secure your messages so that they are never visible by anyone but you and the intended recipients. Technologies like p...| Signal Messenger
