4 ms·

I think distros package it like TeX-full, TeX-minimal etc...The one having documentation files is a couple of GiB on Ubuntu... I wonder what distro or editor h

I think distros package it like TeX-full, TeX-minimal etc...The one having documentation files is a couple of GiB on Ubuntu... I wonder what distro or editor he is using...

naves 4y ago
Two years ago, he used macOS on a 13" MacBook Air and an iMac, as per his conversation with Lex Fridman: https://youtu.be/O9upVbGSBFo?t=2523 https://youtu.be/O9upVbGSBFo?t=2523