The Importance of summer

Some time ago I've decided to copy some of my blog posts in the Topos Institute Blog to here, where it's easier for me to find what I am looking for. There I have written (with others) the following posts: Introducing the MathFoldr Project https://topos.site/blog/2021-07-11-introducing-mathfoldr/ The many facets of Networked Mathematics…