absolutely no pressure to herd people over (I'll still be active here) but if you want to have more in depth conversations about typed clojure, I just set up a zuplipchat channel that has unlimited history. makes a big difference for me at least https://clojurians.zulipchat.com/#narrow/stream/231516-typedclojure

@ambrosebs The history of this channel is available on Zulip as well: https://clojurians.zulipchat.com/#narrow/stream/180378-slack-archive/topic/core-typed

Anyone saw this: https://pnwamk.github.io/sst-tutorial/

Your latest blog post about set theoritic types got me interested, had never heard of it.

Seems the research around it is quite recent as well