Full threadquanganhdo·TECS by Noam Nisan and Shimon Schocken: https://mitpress.mit.edu/9780262140874/View on HN