Full threadColinWright·Here's the original Mastodon post:https://mathstodon.xyz/@andreasthom/117240535270608201View on HN