> Would love to know where the TLA community hides. Currently, the (tiny) community hides mostly in large companies and doesn't blog or evangelize much. Nevert

> Would love to know where the TLA community hides. Currently, the (tiny) community hides mostly in large companies and doesn't blog or evangelize much. Nevertheless, because it is used in such large companies on such critical and popular systems, its direct impact is far larger than that of say, Haskell, despite fewer people knowing it. Here is a talk[1] about Microsoft's experience with TLA+. They do a three-day workshop for developers, which is sufficient to specify and verify the design of large, complex, real-world systems. [1]: https://youtu.be/ifFfxRCX_jw https://youtu.be/ifFfxRCX_jw