"...certainly the latter is even more widely used" There are lots of LaTeX users no doubt, but Lamport's work on the fundamentals of distributed systems inform

"...certainly the latter is even more widely used" There are lots of LaTeX users no doubt, but Lamport's work on the fundamentals of distributed systems informs the design all the large-scale systems relied on by billions of people. Lamport's analysis of the limitations of time in distributed systems, and the Logical Clock construct to help with that is way more impactful than LaTeX.