previous comments, https://hn.algolia.com/?dateRange=all&page=0&prefix=true&query=Programming%20as%20Theory%20Building&sort=byPopularity&type=story https://hn.a

previous comments, https://hn.algolia.com/?dateRange=all&page=0&prefix=true&query=Programming%20as%20Theory%20Building&sort=byPopularity&type=story https://hn.algolia.com/?dateRange=all&page=0&prefix=true&que...