/explore
|
You are here 
|
ahelwer.ca | ||
| | | | |
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. |
|
| | | | | ||
| | | | |
crdt.tech
Resources and community around CRDT technology - papers, blog posts, code and more. |
|
| | | | | ||
| | | | |
archagon.net
Alexei's pile o'stuff, featuring writing on software development, travel, photography, and more. |
|
| | | | | ||
| | | | |
www.capicua.com
Machine Learning has gained traction over the last few years, cybersecurity being one of them. Let's learn how to use it to boost your system's protection! |
|
| | | |||
