orthonormel
Re:The Art of LaTeX: Advice for Typesetting Beautiful, Delightful Proofs
on Sunday January 08, 2023 @12:42PM (#34301182)
Something like overleaf.com ?
Re:Guido van Rossum joins Microsoft
on Thursday November 12, 2020 @12:34PM (#25072256)
His Twitter actually says "Distinguished Engineer at Microsoft"