/explore
|
You are here 
|
muratbuffalo.blogspot.com | ||
| | | | |
simpleprogrammer.com
What Languages to Learn, How to Structure Code, Algorithms & Data Structures, Methodologies, Source Control, Object Oriented Design, Frameworks or Stack ... |
|
| | | | | ||
| | | | |
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. |
|
| | | | | ||
| | | | |
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. |
|
| | | | | ||
| | | | |
wtfleming.github.io
[AI summary] This post discusses achieving 99.1% accuracy in binary image classification of cats and dogs using an ensemble of ResNet models with PyTorch. |
|
| | | |||
