[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]
Also of interest, apropos this topic: @article{ Buzzard2021, author = "Buzzard, Kevin", title = "What is the Point of Computers? A Question for Pure Mathematicians", note = "arXiv:2112211598v1 [math.HO] 22-Dec 2021" year = 2021, month = "December 22", annote = "https://urldefense.com/v3/__https://arxiv.org/abs/2112.11598__;!!IBzWLUs!AxV2Fv4-shJoZ8gpbEEqqyhh5PvOj9MVC_4H9O8cSQzUmEEaXjVPbmfeHkiRyqSn_-uarZItZ_8$ " } Nikhil