With the discussion flaring up again, let me try to copy it to

discourse (using the email address above).

Regarding, what have people been doing to reach mathematicians. Let me

mention a few initiatives:

https://mapcommunity.github.io/

https://wiki.portal.chalmers.se/cse/pmwiki.php/ForMath/ForMath

Newton Institute:

https://www.newton.ac.uk/event/bpr

IAS:

https://www.math.ias.edu/sp/univalent

IHP:

https://ihp2014.pps.univ-paris-diderot.fr/doku.php

Moreover, I believe Egbert Rijke has a point:"

- Our communities are simply too small
- Our papers donât get published unless theyâre about new stuff. âThe

definition of a scheme in Coqâ doesnât get favorable reviews. - We
*do*some fashonable maths: higher topos theory, higher group

theory, some big theoremsâŚ"

https://twitter.com/EgbertRijke/status/1226948002654380033?s=20