I'm endlessly distracted by other things at work, but I believe this same idea could also be used to provide real-time compilation of TeX'd documents as they're typed. Simon Rubinstein-Salzedo had suggested wanting something like a real-time Overleaf to teach his classes at https://eulercircle.com/ Interrupting and resurrecting the TeX-in-the-browser would let you render a document as it is typed.
AG maybe isn't so connected to software, but HoTT connects to the "functional programming" crowd. https://youtu.be/MVtlD22Y8SQ is me doing some examples.
I wouldn't say I'm organized, but org-mode is the only tool I've ever really used to keep track of what I am doing. I've been using org-mode for >= 15 years.
This document was hugely influential to me. It got me interested in linguistics (one of the "immaterial sciences" alongside math, comp sci). My username includes "kisone" which is from the conlang I made as a kid. It is wonderful to see it again and I hope folks still enjoy it!
Being born in 1981, the mid-2000s feel very weird to me too -- partly being in grad school in that time (and so somewhat isolated from the broader world) and yeah the rise of cell phones.
(There are so many plant metaphors in mathematics!)