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