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

vault backup: 2025-02-10 21:23:58

Browse Source
This commit is contained in:
Dane Sabo 2025-02-10 21:23:58 -05:00
parent 3495e1e9cd
commit f8faa35a54
1 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1,12 +1,12 @@
{
"nodes":[
{"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"},
{"id":"65e200ef862612b9","x":-660,"y":-1240,"width":400,"height":267,"type":"file","file":"Pasted image 20250210160000.png"},
{"id":"8c1fe3f5569f406c","x":-1457,"y":-1106,"width":640,"height":360,"type":"link","url":"https://www.youtube.com/watch?v=p54W-XOIEF8"},
{"id":"89eb5b5f25fdbbcb","x":-1333,"y":-1222,"width":393,"height":65,"type":"text","text":"# TLA+ Video Tutorials"}
{"id":"7976edc45e280d3a","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.","x":-817,"y":-312,"width":357,"height":212,"color":"4"},
{"id":"ba1ae5966cfc977a","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","x":-370,"y":-312,"width":340,"height":295,"color":"1"},
{"id":"1232f9e8fb201329","type":"file","file":"3-99 Research/TLA/What the hell is liveness?.md","x":120,"y":-809,"width":340,"height":299},
{"id":"65e200ef862612b9","type":"file","file":"Pasted image 20250210160000.png","x":-660,"y":-1240,"width":400,"height":267},
{"id":"8c1fe3f5569f406c","type":"link","url":"https://www.youtube.com/watch?v=p54W-XOIEF8","x":-1457,"y":-1106,"width":640,"height":360},
{"id":"89eb5b5f25fdbbcb","type":"text","text":"# TLA+ Video Tutorials","x":-1333,"y":-1222,"width":393,"height":65}
],
"edges":[
{"id":"cf09b3ca5385891c","fromNode":"7c5e7263708dba1b","fromSide":"bottom","toNode":"7976edc45e280d3a","toSide":"top"},