they are trying really hard to turn the DSA discord into a forum which does raise the question as to why the DSA discord isn’t a forum
i agree, it IS better if every discussion has a separate thread. what if there was a software which did this for you
yes, i know there is also Zulip
@Lady would rather not
@aescling oh do you have zulip takes
@Lady i have used it fur a small about of time because the Lean commewnity uses it fur all discussion and it felt about as bad to use as slack
@Lady research language with full dynamic types (not the same concept as dynamic typing) and tactic based purrogram writing (itself built in the language’s extensive metaprogramming features)
it’s fur nerds
@Lady the purrimary audience rn is the niche of mathematicians who want to rigorously formalize the field
@aescling i thought mathematicians already proved 100 years ago that it is impossible to rigorously formalize anything
@Lady that is not exactly what the incompleteness theorem says
