Explore >> Select a destination
|
You are here 
|
anishathalye.com | ||
| | | | |
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. | |
| | | | |
buttondown.com
|
|
| | | | | Recently I was in a Discord channel where someone wrote something akin to "I have a question about linearizability" which had an attached thread with 80... | |
| | | | |
builtin.com
|
|
| | | What is software engineering? It is a field directly related to computer science, where engineers apply systematic and disciplined methods to the development, operation and maintenance of software. | ||
