Fork me on GitHub
#off-topic
<
2019-09-16
>
Mno06:09:42

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!!

Mno07:09:01

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

dominicm15:09:52

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
dominicm15:09:46

Oh, really? That would be a shame.

dominicm15:09:03

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

dominicm15:09:33

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

euccastro19:09:56

but maybe something went wrong