Witiko
@witik0.bsky.social
Computer scientist, free software enthusiast, typographer, video gamer, and occasional music producer.
Just published a new explcheck devlog on flow graphs and how explcheck can use them to figure out which function definition each call refers to. More technical than usual, but hopefully it finds its audience. 🤞 witiko.github.io/Expl3-Linter... #LaTeX #expl3 #programming #TeXLaTeX
Static analysis of expl3 programs (11½): Chunks, edges, flow graphs, confidence, and reaching definitions
Over the past two months, I released three new updates of
expltools, the bundle that provides the explcheck static analyzer for
the expl3 programming language.
These updates include major improvement...
witiko.github.io
November 30, 2025 at 1:06 PM
Just published a new explcheck devlog on flow graphs and how explcheck can use them to figure out which function definition each call refers to. More technical than usual, but hopefully it finds its audience. 🤞 witiko.github.io/Expl3-Linter... #LaTeX #expl3 #programming #TeXLaTeX
Great to have you back in Brno!
May 15, 2025 at 7:02 AM
Great to have you back in Brno!