This page is not created by, affiliated with, or supported by Slack Technologies, Inc.
2019-09-16
Channels
- # announcements (2)
- # architecture (3)
- # beginners (72)
- # cider (15)
- # cljs-dev (27)
- # clojure (85)
- # clojure-berlin (3)
- # clojure-dev (4)
- # clojure-europe (7)
- # clojure-italy (7)
- # clojure-nl (6)
- # clojure-uk (17)
- # clojurescript (63)
- # clojutre (10)
- # core-async (10)
- # cursive (10)
- # datomic (34)
- # events (4)
- # fulcro (3)
- # funcool (8)
- # incanter (1)
- # jackdaw (1)
- # jobs-discuss (6)
- # joker (4)
- # kaocha (7)
- # leiningen (8)
- # nrepl (6)
- # off-topic (11)
- # reagent (8)
- # shadow-cljs (119)
- # spacemacs (11)
- # sql (11)
- # vim (30)
- # yada (2)
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.
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.
I heard that they weren't recorded? not sure if that's accurate
There were so many good talks it sounds like. There is a youtube link in the footer, so I'd just assumed.
FWIW this tweet suggests they were recorded: https://twitter.com/clojure_south/status/1168169590905610240?s=20