diff --git a/3-99 Research/TLA/Untitled.md b/3-99 Research/TLA/Untitled.md deleted file mode 100644 index 92900815..00000000 --- a/3-99 Research/TLA/Untitled.md +++ /dev/null @@ -1,3 +0,0 @@ -# What is TLA good for? -- Great for finding bugs in concurrent and distributed systems. - - Programs where a lot of shit is happening at different times, and where emergent behavior isn't clear. \ No newline at end of file