Penrose – Tool for Diagrams

What level of abstraction is this for? Like the digraph example, that looks like it&#x27;s re-implementing core parts of graphviz—is the idea that every clones and re-uses this implementation for their own digraphs? Because the implementation (&quot;.style&quot; tab) looks quite low-level and laborious...<p><a href="https:&#x2F;&#x2F;penrose.cs.cmu.edu&#x2F;try&#x2F;?examples=graph-domain&#x2F;textbook&#x2F;sec1&#x2F;fig5" rel="nofollow">https:&#x2F;&#x2F;penrose.cs.cmu.edu&#x2F;try&#x2F;?examples=graph-domain&#x2F;textbo...</a>

It would be great to see new practical software for declarative specification of general 2D diagrams. With increasing emphasis recently on language-based tools, this is an excellent opportunity.<p>It would be good to find ways to make the internal algorithms and their parameters more &quot;open&quot; or more easily parameterized and recombined in novel ways. It would be good to find ways to rely on more generic optimization methods, though software like this is probably skating on the edge of computational intractability (not to mention usability or interpretability issues) so it&#x27;s a very challenging problem.<p>Kudos.

I have dabbled with Penrose, TikZ, manim, PlantUML, mermaid etc., because &quot;I can‘t draw, I want to program diagrams&quot;.<p>I think I should really stop fooling myself and learn Inkscape.

This is the type of thing I want AI to solve for me. I give an English description, I get some Penrose output, I tweak it till I get what I want. Learning curve seems too stiff for something I wouldn’t use too often.

Penrose is a platform that enables people to create beautiful diagrams just by typing notation in plain text.<p><a href="https:&#x2F;&#x2F;penrose.cs.cmu.edu&#x2F;" rel="nofollow">https:&#x2F;&#x2F;penrose.cs.cmu.edu&#x2F;</a>

I have to say, I&#x27;m very confused. There is possibly something very cool here, but confusion reigns supreme for me right now.<p>In the &quot;A&quot;, or &quot;signed angle outside&quot; example [1], what defines the position of the points making the A?<p>Also, the amount of text required to make that examples seems huge, when you consider the &gt;600 lines of style. How is this advantageous over SVG, which can also be semantically-meaningful?<p>1. <a href="https:&#x2F;&#x2F;penrose.cs.cmu.edu&#x2F;try&#x2F;?examples=walk-on-spheres%2FSignedAngleOutside" rel="nofollow">https:&#x2F;&#x2F;penrose.cs.cmu.edu&#x2F;try&#x2F;?examples=walk-on-spheres%2FS...</a>