Also while the NeurIPS name thing is totally tangential to this entire fiasco, as someone whose life work is on a system named by some French dude in the 1980s as an intentional joke to make anglophones talk about men's genitals, I have so much respect for that name change.
Even worse, the same joke was perpetuated in naming Agda, but with a strange allusion to Swedish folk music? Come on.
This is the namesake of Agda like you all had so many years to not perpetuate the genitals jokes and yet
BTW I love Coq still and I love that community and name changes after 40 years are really hard and they've tried. Just, all of that makes me respect the NeurIPS change a lot more.
You can follow @TaliaRinger.
Tip: mention @twtextapp on a Twitter thread with the keyword “unroll” to get a link to it.

Latest Threads Unrolled:
Those who think consciousness raising & movement building are disconnected, or even a distraction from electoral politics have not paid attention to the history of social change.In this thread, we
Read more
The 2020s will be known as the Remote Work decadeA few predictions of what is likely to emerge[ a thread ] Third Space: Office and Working from Home will
Read more
1/29: Have you ever had a concept explained to you that helps frame complex issues you’ve been wrestling with and opens your eyes to new possibilities? A concept that I
Read more
By continuing to use the site, you are consenting to the use of cookies as explained in our Cookie Policy to improve your experience.