From 59404c3c6c9aaf396d388826ce13d696301b5a0c Mon Sep 17 00:00:00 2001 From: Dane Sabo Date: Mon, 10 Feb 2025 15:48:27 -0500 Subject: [PATCH] vault backup: 2025-02-10 15:48:27 --- .obsidian/plugins/colored-tags/data.json | 3 ++- 1 Daily Notes/2025/2025-02-10.md | 2 ++ 3-99 Research/TLA/TLA Canvas.canvas | 11 +++++++++-- 3-99 Research/TLA/What is TLA?.md | 5 +++++ ...TLA good for?.md => What the hell is liveness?.md} | 0 5 files changed, 18 insertions(+), 3 deletions(-) rename 3-99 Research/TLA/{What is TLA good for?.md => What the hell is liveness?.md} (100%) diff --git a/.obsidian/plugins/colored-tags/data.json b/.obsidian/plugins/colored-tags/data.json index 647467f3f..801eab6cc 100755 --- a/.obsidian/plugins/colored-tags/data.json +++ b/.obsidian/plugins/colored-tags/data.json @@ -188,7 +188,8 @@ "ME046": 176, "Reading": 177, "Union": 178, - "Follow-Up": 179 + "Follow-Up": 179, + "TLA": 180 }, "_version": 3 } \ No newline at end of file diff --git a/1 Daily Notes/2025/2025-02-10.md b/1 Daily Notes/2025/2025-02-10.md index abe2c4930..ca9939d1c 100644 --- a/1 Daily Notes/2025/2025-02-10.md +++ b/1 Daily Notes/2025/2025-02-10.md @@ -10,6 +10,8 @@ tags: # Summary ## What's the plan? - [ ] Install TLA+ and do a tutorial #Research 📅 2025-02-10 ⏳ 2025-02-10 +- [/] Read about TLA+... What is it? Make at least 3 notes about it #TLA #Research ⏳ 2025-02-10 📅 2025-02-10 +- [ ] Install Ollama, and see how it works with SmartConnections ## What's the results! ```tasks diff --git a/3-99 Research/TLA/TLA Canvas.canvas b/3-99 Research/TLA/TLA Canvas.canvas index 69a8289c9..cc54d1c70 100644 --- a/3-99 Research/TLA/TLA Canvas.canvas +++ b/3-99 Research/TLA/TLA Canvas.canvas @@ -1,6 +1,13 @@ { "nodes":[ - {"id":"7c5e7263708dba1b","x":-720,"y":-880,"width":520,"height":440,"type":"file","file":"3-99 Research/TLA/What is TLA?.md"} + {"id":"7c5e7263708dba1b","type":"file","file":"3-99 Research/TLA/What is TLA?.md","x":-720,"y":-880,"width":520,"height":440}, + {"id":"7976edc45e280d3a","x":-817,"y":-312,"width":357,"height":212,"color":"4","type":"text","text":"# What is TLA good for?\n- Great for finding bugs in concurrent and distributed systems. \n - Programs where a lot of shit is happening at different times, and where emergent behavior isn't clear."}, + {"id":"ba1ae5966cfc977a","x":-370,"y":-312,"width":340,"height":295,"color":"1","type":"text","text":"# What is TLA bad at?\n- Numerical based decisions. Good at discrete things. Can't handle floating points\n- Strings are awkward\n- Probabilistic things\n- Reachability\n- Timeliness properties"}, + {"id":"1232f9e8fb201329","x":120,"y":-809,"width":340,"height":299,"type":"file","file":"3-99 Research/TLA/What the hell is liveness?.md"} ], - "edges":[] + "edges":[ + {"id":"cf09b3ca5385891c","fromNode":"7c5e7263708dba1b","fromSide":"bottom","toNode":"7976edc45e280d3a","toSide":"top"}, + {"id":"ce0e035989391319","fromNode":"7c5e7263708dba1b","fromSide":"bottom","toNode":"ba1ae5966cfc977a","toSide":"top"}, + {"id":"6a55b20e1c5e0002","fromNode":"ba1ae5966cfc977a","fromSide":"right","toNode":"1232f9e8fb201329","toSide":"left"} + ] } \ No newline at end of file diff --git a/3-99 Research/TLA/What is TLA?.md b/3-99 Research/TLA/What is TLA?.md index 86f726e40..9890eb59c 100644 --- a/3-99 Research/TLA/What is TLA?.md +++ b/3-99 Research/TLA/What is TLA?.md @@ -6,3 +6,8 @@ There is a nice [learntla](https://learntla.com/intro/faq.html#what-s-tla) websi TLA stands for 'Temporal Logic of Actions'. It's a formal specification language. TLA mainly works with a tool called TLC, which is a model checker. TLC is exhaustive, and will check every possible case. + +# What does TLA+ do, more specifically? +Acts on Designs! + +TLA+ diff --git a/3-99 Research/TLA/What is TLA good for?.md b/3-99 Research/TLA/What the hell is liveness?.md similarity index 100% rename from 3-99 Research/TLA/What is TLA good for?.md rename to 3-99 Research/TLA/What the hell is liveness?.md