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
#tex
3 posts · Last used Jul 29
I'm pleased to announce that I managed to get the draft Common Lisp Specification translated from TeX to an s-expression based document format. I started this project in 2015 and finally finished it this year (maybe a bit late for it to be relevant).
The HTML proof-of-concept is at metaspec.dev/ and is probably the most complete rendering of the spec to date. It contains the acknowledgements, the appendix, errata, and preserves editorial TeX comments in the margins. It uses a patching system against sdoc to make auditable corrections and MathML to render the TeX mathy bits.
The code that generates it, and a copy of the metaspec.sdoc file can be found at codeberg.org/dlowe/metaspectre
#CommonLisp #Lisp #TeX
#introduction
Hi Mastodon! I'm Pascal and new to Mastodon. I'm a computer engineer and a researcher in operations research. I'm a (fairly) strong advocate for #openSource and #openScience. I'm interested in many topics but mostly #sustainability #privacy #lowtech #epistemology.
I'm a bit of a #typesetting nerd, so I #LaTeX (or #TeX), and #Typst. I maintain two Typst packages: glossarium and algorithmic.
I have some free time before my next work contract starts, so I have been slowly going through my personal projects backlog...
Looking forward to meet people here!
You've seen all posts