But if you just formalize an approach that was considered by everyone right from the start, this isn't coming to a different conclusion. (https://news.ycombinat

But if you just formalize an approach that was considered by everyone right from the start, this isn't coming to a different conclusion. (https://news.ycombinator.com/item?id=17304389 https://news.ycombinator.com/item?id=17304389)