Explore >> Select a destination
|
You are here 
|
jack-vanlightly.com | ||
| | | | |
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. | |
| | | | |
www.hillelwayne.com
|
|
| | | | | I saw this question on the Software Engineering Stack Exchange: What are the barriers that prevent widespread adoption of formal methods? The question was closed as opinion-based, and most of the answers were things like its too expensive!!! or website isnt airplane!!! These are sorta kinda true but dont explain very much. I wrote this to provide a larger historical picture of formal methods, why theyre actually so unused, and what were doing to make them used. | |
| | | | |
surfingcomplexity.blog
|
|
| | | | | If you've ever sat at a stop light that was just stuck on red, where there was clearly a problem with the light where it wasn't ever switching green, you've encountered a liveness problem with a system. Is the turning light just taking a long time? Or is it broken? A liveness property of a... | |
| | | | |
brandonsavage.net
|
|
| | | PHP more or less has two kinds of dependency injection available: constructor injection, and setter injection. Constructor injection is the process of injecting dependencies through the constructor arguments, like so: The dependencies are injected via the constructor, on object creation, and the object has them from the very beginning. Setter injection is different; instead of [...] | ||
