Full threadohm·There was a recent talk on the subject https://archive.org/download/hopeconf2020/20200731_0900_Poly...View on HN