Explore >> Select a destination
|
You are here 
|
anishathalye.com | ||
| | | | |
www.bailis.org
|
|
| | | | | ||
| | | | |
aphyr.com
|
|
| | | | | ||
| | | | |
jack-vanlightly.com
|
|
| | | | | Sophisticated, simulations need not be. Valuable insights, even simple scripts reveal. - Formal Methods Yoda A couple of weeks ago I was a guest on The Geek Narrator to talk about formal verification. I spoke a lot about how modeling and simulation are tremendously powerful tools, whether you use a formal verification language (such as TLA+) or just a Python script. This post goes through a real world example of how I used modeling and simulation to understand the statistical properties of a proposed distributed system protocol, using both Python and TLA+. There is a talk version of this post from TLA+ Conf 2022. | |
| | | | |
briankung.dev
|
|
| | | I survived David Beazley's weeklong course on the Raft consensus algorithm that powers technologies like Kubernetes, MongoDB, and Neo4j. Image from https://raft.github.io/ The Raft Consensus Algorithm is a way for a gaggle of computers to agree on a sequence of events, or a "log" of events. Raft is useful for things like databases - once... | ||
