Full threadgliptic·Recent developments on BB(6) previously posted here: https://scottaaronson.blog/?p=8972View on HN