|
You are here |
fizzbee.io | ||
| | | | |
buttondown.com
|
|
| | | | | Successful software is buggy software. | |
| | | | |
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. | |
| | | | |
simpleprogrammer.com
|
|
| | | | | What Languages to Learn, How to Structure Code, Algorithms & Data Structures, Methodologies, Source Control, Object Oriented Design, Frameworks or Stack ... | |
| | | | |
www.dr-josiah.com
|
|
| | | Josiah Carlson talks about Redis, Python, and other technology topics. | ||