Fork me on GitHub

If anyone here has tried TLA+ in a project and would like to tell me about their experience/opinions on it, I would greatly appreciate it.

Thomas Deniffel17:09:59

I considered it and learned/tested it, but had not used it in a project. I think it's great, if you design a complicated algorithm, as you "think above the code" (great talk by Lamport). I don't see too much sense if you "just" develop a "normal" user-data system. Even you've created and validated a model, you have to implement it. You can do errors in this "translation" as well. I played with the tought to use PBT to validate the invariants and so on designed and validated by TLA+. BUT, I did not acually use it!!


That's still a good experience of it, and it helps me decide whether it's worth it for me personally, thanks!


Is there any news of clojure-south's videos going up? I'm eager to watch the Sherlock talk.

☝️ 8
Alex Miller (Clojure team)15:09:26

I heard that they weren't recorded? not sure if that's accurate

Alex Miller (Clojure team)15:09:42

Stu might redo it at conj

👍 4

Oh, really? That would be a shame.


There were so many good talks it sounds like. There is a youtube link in the footer, so I'd just assumed.


I will just have to be patient for the conj then 🙂


but maybe something went wrong