Massot has insulted me when I tried to make a small contribution to mathlib several years ago, and then, when I brought this event up on Mathstodon.xyz, went to (small) trouble of making an account there to denounce me there too.
It makes as much sense to argue with Massot as arguing with someone's badly mannered dog.
just commenting to draw your attention to this: https://www.ft.com/content/bdb3b820-905b-431e-82c0-386535755af1
Thank you. Every mathematician who participated in or attended every panel at the ICM should reflect on this.
Massot has insulted me when I tried to make a small contribution to mathlib several years ago, and then, when I brought this event up on Mathstodon.xyz, went to (small) trouble of making an account there to denounce me there too.
It makes as much sense to argue with Massot as arguing with someone's badly mannered dog.
Although it maybe makes sense to follow Massot's advice to contribute to less blindingly shiny (then mathlib) projects, indeed.