As Juped said, there is actually an in depth discussion of the tool used to generate the website on the about page: https://www.gwern.net/About#tools It looks like static generated website is about correct.