Full threadOscarCunningham·By the same author: https://mathstodon.xyz/@andrewt/115056697540191327View on HN