/explore
|
You are here 
|
muratbuffalo.blogspot.com | ||
| | | | |
jack-vanlightly.com
|
|
| | | | | The aim of this post is to give the reader an understanding of why formal methods exist and an introduction to TLA+ including the conceptual model of how it represents data and time. From here, you should be able to go out and read more advanced content on TLA+ with some foundational idea of what it is all about. | |
| | | | |
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. | |
| | | | |
stribny.name
|
|
| | | | | Fields in Artificial Intelligence and what libraries to use to address them. | |
| | | | |
github.com
|
|
| | | The Cloud-Native API Gateway and AI Gateway. Contribute to Kong/kong development by creating an account on GitHub. | ||
