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

vault backup: 2025-02-10 16:04:53

Browse Source
This commit is contained in:
Dane Sabo 2025-02-10 16:04:53 -05:00
parent 59404c3c6c
commit 3495e1e9cd
2 changed files with 7 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -3,11 +3,16 @@
{"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":"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"}
],
"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"}
{"id":"6a55b20e1c5e0002","fromNode":"ba1ae5966cfc977a","fromSide":"right","toNode":"1232f9e8fb201329","toSide":"left"},
{"id":"4ac8ac81276daf0c","fromNode":"65e200ef862612b9","fromSide":"bottom","toNode":"7c5e7263708dba1b","toSide":"top"},
{"id":"575aab1cbc7169df","fromNode":"89eb5b5f25fdbbcb","fromSide":"bottom","toNode":"8c1fe3f5569f406c","toSide":"top"}
]
}

BIN
Pasted image 20250210160000.png Normal file
View File

Binary file not shown.
Side by Side

After

Width:  |  Height:  |  Size: 557 KiB