John Carlos Baez Mathstodon.xyzmathstodon.xyz3 points·Nokinside··0 commentsOpen articleSaveView on HN