{
	"nodes":[
		{"id":"7c5e7263708dba1b","type":"file","file":"3-99 Research/TLA/What is TLA?.md","x":-720,"y":-880,"width":520,"height":440},
		{"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"},
		{"id":"ce0e035989391319","fromNode":"7c5e7263708dba1b","fromSide":"bottom","toNode":"ba1ae5966cfc977a","toSide":"top"},
		{"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"}
	]
}