From f8faa35a54e65f34962dbb39194073075a4114c8 Mon Sep 17 00:00:00 2001 From: Dane Sabo Date: Mon, 10 Feb 2025 21:23:58 -0500 Subject: [PATCH] vault backup: 2025-02-10 21:23:58 --- 3-99 Research/TLA/TLA Canvas.canvas | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/3-99 Research/TLA/TLA Canvas.canvas b/3-99 Research/TLA/TLA Canvas.canvas index 03398f65..fb239ebc 100644 --- a/3-99 Research/TLA/TLA Canvas.canvas +++ b/3-99 Research/TLA/TLA Canvas.canvas @@ -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"},