Obsidian/3-99 Research/TLA/Untitled.md

194 B

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.