if this generalized passive aggressiveness in the form of moderation policy and defense to it angers you, please consider:
- why does this make me angry?
- am I one of those bigoted figures? how would I know?
- would migrating instances be a good idea, or would it merely cause me to be banned somewhere else?
- if I am a professor, what do my students think about me?
- if I am a student, what would people think about me as a professor?
not only that, but I think it's very important that the moderation team assembled here is entirely comprised of groups in a similar vein who run in contrast with bigoted figures in the programming languages community, because in essence when running types.pl I am creating a space *I* feel safe in, and when mixed with the intersections of other moderators it turns into a space that a large swath of people feel safe in.
I am very okay with the idea of dividing the PL community into an explicitly leftist space being the hill that my entire career dies on.
breaking my month-long depressive silence to state:
this was the plan all along, actually. I am being purposefully inflammatory. the entire idea was to centralize the PL community in one place and irrevocably intertwine it with revolutionary politics via moderation policy that reflects that, ergo creating a schism in the community that needs to be addressed as a whole in order for marginalized groups to find their place within it.
in essence, if you disagree with our moderation policy, you've more or less put yourself on a list of people who marginalized groups interested in programming languages know to avoid.
End of lecture today:
"So if anyone doesn't have anything better to do over break, I'm going to eventually assign reading *Towards Observational Type Theory*, by Conor McBride.
Also, all the proofs in *The Little Typer* should now seem trivial, if you need more general examples of dependent types.
"Make sure to have Agda 2.6.2 installed before next lecture.
"Also, if you have nothing better to do over break, you could read Homestuck. I'm not sure why you would. But you definitely could."
types.pl admin. they.
math & computer science student at indiana university bloomington. it's been conjectured that i exist but nobody's been able to prove it.