Fwiw, he has been posted before: https://hn.algolia.com/?query=Mochizuki&sort=byPopularity&prefix&page=0&dateRange=all&type=story https://hn.algolia.com/?query

Fwiw, he has been posted before: https://hn.algolia.com/?query=Mochizuki&sort=byPopularity&prefix&page=0&dateRange=all&type=story https://hn.algolia.com/?query=Mochizuki&sort=byPopularity&pr...