Owen Lyncholynch@mathstodon.xyz
May 15, 2026, 8:41 AMCracking myself up over my morning oatmeal imagining if the proof assistant currently known as Rocq had instead been renamed "Le Chicken".
Replies
Jon Sterlingjonmsterling@mathstodon.xyzMay 15, 2026, 8:50 AM@olynch Lmao. This is a lot better than some of the options that were considered...
Meven Lennon-Bertrandmevenlennonbertrand@lipn.infoMay 15, 2026, 9:03 AM@jonmsterling @olynch The page collecting those names is the ultimate proof that one should never put communication in the hands of random academics!
- Jon Sterlingjonmsterling@mathstodon.xyzMay 15, 2026, 9:06 AM
@mevenlennonbertrand @olynch Yeah some of the ... suggestions ... were so baffling, they actually made me re-evaluate my opinions of some academic colleagues' common sense.
I mean, there is of course a lot of room for debate over what the best namesare, but there were some that were seriously like, how could this even enter your mind as a possibility ???
paulette d. koronkevichkoronkebitch@types.plMay 15, 2026, 1:13 PM@jonmsterling @mevenlennonbertrand @olynch I'm so curious for Jon's take on bad names