danesabo/Obsidian
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

vault backup: 2025-02-10 15:48:27

Browse Source
This commit is contained in:
Dane Sabo 2025-02-10 15:48:27 -05:00
parent b7a48ce259
commit 59404c3c6c
5 changed files with 18 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
.obsidian/plugins/colored-tags/data.json vendored
View File

@ -188,7 +188,8 @@
"ME046": 176, "ME046": 176,
"Reading": 177, "Reading": 177,
"Union": 178, "Union": 178,
"Follow-Up": 179 "Follow-Up": 179,
"TLA": 180
}, },
"_version": 3 "_version": 3
} }

2
1 Daily Notes/2025/2025-02-10.md
View File

@ -10,6 +10,8 @@ tags:
# Summary # Summary
## What's the plan? ## What's the plan?
- [ ] Install TLA+ and do a tutorial #Research 📅 2025-02-10 ⏳ 2025-02-10 - [ ] 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! ## What's the results!
```tasks ```tasks

11
3-99 Research/TLA/TLA Canvas.canvas
View File

@ -1,6 +1,13 @@
{ {
"nodes":[ "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"}
]
} }

5
3-99 Research/TLA/What is TLA?.md
View File

@ -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 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. 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+

0
3-99 Research/TLA/What is TLA good for?.md → 3-99 Research/TLA/What the hell is liveness?.md
View File