His interests are in early analytic philosophy, philosophy of language and formal logic. This niche is what created the foundations for both theoretical computer science and formal programming languages. This is kind of a reason why quite a few of big names in tech are from a philosophy background - Paul Graham, Peter Thiel, Reid Hoffman, etc.
Oh hey, I'm sure his Stanford philosophy teachers are very impressed by how Thiel took their teaching to hearth and these days offer compelling arguments for why Greta Thunberg is a servant of the Antichrist. /s
His musings on Girard and Schmidt are high-grade wordcelism but I would be surprised if a Stanford philosophy graduate did not get extensive exposure to formal logic and philosophy of language.