Seems worth noting that nostalgebraist published this post in June 2017, which was (for example) before Eliezer’s post on toolbox thinking.
Seems worth noting that nostalgebraist published this post in June 2017, which was (for example) before Eliezer’s post on toolbox thinking.