Full threadJarmsy·The original discussion first posted here:https://mathstodon.xyz/@johncarlosbaez/109511663915548794View on HN