3 ms·
That a professor of philosophy [1] made tools [2] that are used by millions around the world... that's just mind boggling. In a good (great!) way. Pandoc is my
by aanet 3mo ago
That a professor of philosophy [1] made tools [2] that are used by millions around the world... that's just mind boggling. In a good (great!) way.
Pandoc is my go-to tool. Thank you, Sir!
[1] https://johnmacfarlane.net/index.html https://johnmacfarlane.net/index.html
[2] https://johnmacfarlane.net/tools.html https://johnmacfarlane.net/tools.html
- vovavili 3mo agoHis 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.
- SiempreViernes 3mo agoOh 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
- vovavili 3mo agoHis 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.