Kuinka paljon Leslie Lamport on vaikuttanut elämääni? Ainakin hän on kehittänyt LaTeXin, jota käytin opiskelujeni loppupuolella paljon ja myös työuran alkupuolella. Ja varmaan hänen ansiostaan nykyiset webbipalvelutkin toimivat, kuten toimivat. Quantamagazine on tehnyt pienen jutun hänestä. Videoista enemmän tykkäävät voivat katsoa hänen selittämänään muuttumattomien muuttujien ideaa…