Viewing profile — kisonecat

I was expecting diagrams of a https://en.wikipedia.org/wiki/Root_system (There are so many plant metaphors in mathematics!)

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 t…

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".

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

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 …

I'm terrified of opening a paren and forgetting to close it! How terrifying to find a tagged paren that cannot be closed! "please accept from me this unpretentious bouquet of early…

I'm a college prof in the US and know that term.

I suspect the author uses a qwerty keyboard.

He has made me extremely enthusiastic for heat pumps.

I don't feel like I've gotten fewer spam calls. My favorite spam call was someone wanting to make a cash offer on the Ohio State University building that my office is in.

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 …

I tried moving to Wayland and hyprland last year, but I couldn't get Zoom to handle screen sharing (specifically window sharing). I wonder if this has improved at all?

The HN community might be interested in the XML-based tech used to produce this book, namely https://pretextbook.org/

Totally evokes the good memories I have of "Google Wave" as a way for folks to collaborate on rich documents. Super cool.

That Apple ad feels more like an Advernado ad -- "We can solve any problem that you think up, and find any purchase that you require, the... iPad... is a full solution..." crushing…

Many communities offer a "math circle" which also builds some mathematical community. Some can be found on https://mathcircles.org/

I like the word "maritimity"!

[flagged]

For in-person summer math experiences, there is https://rossprogram.org/ among other math camps many of which are listed at https://summermathprograms.org/ Ross provides significan…

Evokes the "isolinear chips" from Star Trek!