* Vector spaces
* Function diagrams
* Geometric illustrations
* Polygonal meshes
* Ray tracing diagrams
The linked article is pretty much fluff, but the SIGGRAPH paper has the real content.
E.g., fuzzy sets.  One of the most-cited math papers ever. How could I use Penrose to represent a continuum of grades of membership between sets?
* Converting hand-drawn sketches to tidy diagrams 
* Converting tidy diagrams to look hand-drawn 
* A textual DSL for diagrams (e.g. Penrose)
* Support of declarative constraints for the diagram 
* Animation of the diagram 
 Paper https://www.fiftythree.com/think
 rough.js https://github.com/pshihn/rough
 Basalt https://www.anishathalye.com/2019/12/12/constraint-based-gra...
 Distill https://distill.pub/2017/momentum/ source https://github.com/distillpub/post--momentum
 g9.js https://omrelli.ug/g9/
I was pretty interested in Penrose when I first saw it but I still haven't seen a "cool" example of its use. Either something that's easy in Penrose but hard in every other visualization tool, or an example of a visualization in Penrose that elucidates some deeper mathematical relationship between the objects being shown.
While I do see the value in a programmatic diagram tool, I'm not sure I'll use it over something like Inkscape if the visualization is fairly simple.
I currently use a graphics-drawing system that is not very declarative at all (Asymptote). Going to more declarative approach is a very attractive idea, but I couldn't see quite how much tweakability there is in this system. I'd be surprised if you could get away with none at all.
They have an IDE that allows you to fiddle with all the stages in the pipeline, including the imperative stuff.
And it turned out to be true:
Too often even when reading relatively ‘Simple’ CS papers I hit a spot where they’re doing some math shuffling that stumps me. I can skip over and keep going but I’d prefer to know what they did.
The content is good tho.
I went back to school 10+ years ago after many years in software engineering. I naively thought it would be a good idea to keep notes in LaTeX because 1) I have a hard time reading my own handwriting. 2) Source controlled 3) Math notation!
Wow, what a special circle of Hell LateX has been.
I glaze over within sometimes seconds of a wall of text whereas I can process a bunch of equations much faster.
I didn't use to be like that (I was in the dumb set when I was 15/16) but you need to be lucky enough to see over the hump and see the bigger picture - the higher structure is exhausting to teach so it's very difficult to learn why you're doing something in a classroom.
The thread mentioned an alternative, https://graspablemath.com/, which looks similar (note: only judging from the video), which you can immediately try in the browser, but that felt a bit clumsy to me. YMMV.
Worth a listen to!
The presentation made it appear that this was an initial implementation, and that more progress will be needed to fit more use-cases, which is great! Hopefully I can contribute.
Because I like Graphviz but the results are never beautiful.