Explore >> Select a destination
|
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. | |
| | | | |
www.bailis.org
|
|
| | | | | ||
| | | | |
archagon.net
|
|
| | | | | Alexei's pile o'stuff, featuring writing on software development, travel, photography, and more. | |
| | | | |
supabase.com
|
|
| | | Embedding Yjs and Automerge into Postgres for collaborative applications. | ||
