Charlotte Aten
@caten@mathstodon.xyz
I'm a mathematician, and I like combinatorics, universal algebra, and category theory. I also write software, and I know that spreading technical literacy is critical to building a better world.
mathstodon.xyz
Since Detexify is now #AI slop, I have updated my one-pager of advice for learning mathematics to recommend The Comprehensive LaTeX Symbol List (https://tug.ctan.org/info/symbols/comprehensive/symbols-a4.pdf) for finding symbols. This is kind of a bad solution, since Detexify solved the problem of knowing how to draw the symbol without knowing its name with a very appropriate use of traditional image recognition. It is absurd that there is no #FLOSS tool I can recommend instead. If no one builds it first, it'll go on my list of things to do.
My one-pager: https://aten.cool/one_pager.html
Sloppified Detexify: https://detexify.kirelabs.org/#/about
#NoAI #LLM #math #mathematics #Tex #LaTeX #TeXLaTeX #MachineLearning #ImageRecognition #NeuralNetworks