I was expecting diagrams of a https://en.wikipedia.org/wiki/Root_system

(There are so many plant metaphors in mathematics!)

I expected *nix file system diagrams of some sort :) but this might be even better

Indeed, you can find my calculus videos at https://www.youtube.com/kisonecat

But maybe for a coding audience https://www.youtube.com/watch?v=MVtlD22Y8SQ is more entertaining.

As the author of TikZJax, I can certainly apologize for not making more progress on this.

I need to get back to this project! I'd very much like to clean up the build process.

Author of TikZJax here...

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.

See also (if you haven't already) SwiftLaTeX ( https://www.swiftlatex.com/ https://github.com/SwiftLaTeX ) and their paper (DOI: 10.1145/3209280.3209522 ).

Resurrecting this workflow was one of the funniest things in implementing TikZJax.

Matt Klaber?! If so, great to run into you!

I mean, I'm guessing from "klabetron"... Unfortunately I don't think my "kisonecat" gives much clue to "Fowler".

lol yep

As a 40-something year old person who used ratpoison more than 21 years ago... Yeah, I feel super old now.

No need to feel super old!

/cries in half century

Reminds me of that explanation for why the years seem to move much faster when you’re older. When you’re 10, five years is half your life. When you’re 50, it’s only 10%.

I still use ratpoison, dreading the day it stops working for whatever reason (wayland being a likely one). Haven't tried it, but Cagebreak (https://github.com/project-repo/cagebreak) seems like a possible successor.

Man I miss those days. I felt so cool sitting in coffee shops with a 10 year old ThinkPad running ratpoison on Gentoo.

A nice side benefit is that ratpoison is its own screen lock (for 99% of people).

Ratpoison is surprisingly good on small laptops, where everything is usually maximized anyway.

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!

Any connection to Finnish "kissa" 'cat'?

(apparently from an onomatopoeia for calling a cat)