any TLA+ interested people here? (http://lamport.azurewebsites.net/tla/tla.html)

I bought the Practical TLA+ book but then started reading the Alloy book online 😄

Just finished readling Practical TLA+, went to read "Specifying Systems" by Lamport and noticead I had already read it in the past 😛 (https://www.microsoft.com/en-us/research/publication/specifying-systems-the-tla-language-and-tools-for-hardware-and-software-engineers/)

correct

I find TLA+ very interesting but never practiced it. Just read a bit about it and the concepts.

same here, I would like to be able to use it, but like with lisp and erlang, even learning about it changes the way I see programming and helps me with designs.

I find it pretty interesting, even though I'm generally not into the static typed super verified languages. TLA+ has kind of a minimalism that is quite appealing. Also yay, state machine models! I wish it was built-in to systems so we could verify certain properties in-place.

@shalabh I’ve never tried it, but there’s this: https://github.com/Viasat/salt