Live data from Hacker News

Penrose – Create diagrams by typing notation in plain text

penrose.cs.cmu.edu

81–90 of 124 posts

Re: Penrose – Create diagrams by typing notation in plain text

#81
post #5

Penrose looks great. Beautiful diagrams and readable code. What are some other text-driven diagramming languages / tools? I know of: https://mermaid.js.org/ https://graphviz.org/ https://flowchart.fun/

D2 is my current favorite: https://github.com/terrastruct/d2

D2 is scripting language primarily for non-free back-end. Opensource back-ends give inferior results with it.

Re: Penrose – Create diagrams by typing notation in plain text

#82
post #9

Oh, I thought these would be to create spacetime diagrams. As in Penrose Diagrams: https://en.wikipedia.org/wiki/Penrose_diagram

For Penrose spacetime diagrams I found xhorizon [1] and einsteinpy [2] 1: https://github.com/xh-diagrams/xhorizon 2: https://github.com/einsteinpy/einsteinpy/issues/480 There's a 'spacetime' GH topic: https://github.com/topics/spacetime /? spacetime diagrams site:github.com : https://www.google.com/search?q=spacetime+diagrams+site%3Agi...

Also there there's

Penrose graphical notation aka Tensor Diagrams: https://en.wikipedia.org/wiki/Penrose_graphical_notation :

> In mathematics and physics, Penrose graphical notation or tensor diagram notation is a (usually handwritten) visual depiction of multilinear functions or tensors proposed by Roger Penrose in 1971.[1] A diagram in the notation consists of several shapes linked together by lines.

Penrose graphical notation (tensor diagram notation) of a matrix product state of five particles

The notation widely appears in modern quantum theory, particularly in matrix product states and quantum circuits. In particular, Categorical quantum mechanics which includes ZX-calculus is a fully comprehensive reformulation of quantum theory in terms of Penrose diagrams, and is now widely used in quantum industry.

> The notation has been studied extensively by Predrag Cvitanović, who used it, along with Feynman's diagrams and other related notations in developing "birdtracks", a group-theoretical diagram to classify the classical Lie groups.[2] Penrose's notation has also been generalized using representation theory to spin networks in physics, and with the presence of matrix groups to trace diagrams in linear algebra.

(From a post about Tensor Networks this week: https://news.ycombinator.com/item?id=38922467 )

Re: Penrose – Create diagrams by typing notation in plain text

#83
post #5

Penrose looks great. Beautiful diagrams and readable code. What are some other text-driven diagramming languages / tools? I know of: https://mermaid.js.org/ https://graphviz.org/ https://flowchart.fun/

Mermaid has been nice to use. It's very much in a beta phase still, with some odd quirks and missing documentation. I'm excited to see where it will be in a year's time.

The fact it's supported natively by GitHub gives it a huge advantage over the others.

Re: Penrose – Create diagrams by typing notation in plain text

#84
post #58

Is this actually affiliated with Roger Penrose? Seems extraordinarily rude to use his name otherwise. Was his permission sought? In fact, this may be seen as "passing off" in English law.

At first I thought that he actually had something to do with it!

To simply borrow his name is indeed, I think, in pretty poor taste. The trend of naming unrelated products after scientists and inventors (from "Tesla" and "Nikola," to Theranos' "Edison," to "Ada Lovelace," and so forth,) has become unbelievably low-effort and cringe.

Re: Penrose – Create diagrams by typing notation in plain text

#85
post #39

Is there any tool to make animated diagrams by declaring them in code?

You can do animations with PGF/tikz, the problem is you can do everything with PGF/tikz and so the whole thing is a bit of a chaotic mess. The diagrams are beautiful but the code makes me very sad.

Re: Penrose – Create diagrams by typing notation in plain text

#86
post #68

A lot of replies here are missing the key idea behind Penrose: that the "substance" and "style" of any mathematical diagram are separable. For example, the "substance" of a diagram might be a collection of sets with known subset relationships: Set A, B, C IsSubset(B, A) IsSubset(C, A) That same substance can then be rendered in many different styles, e.g. as a Venn diagram or as a tree diagram (substance vs. style is…

> substance vs. style is a lot like HTML vs. CSS Given the popularity of frameworks like TailwindCSS, it seems that people here don’t understand the advantage of separating HTML and CSS either, so I’m not sure if this analogy is helpful…

The comparison to CSS for separating style vs (semantic) data was also the first thing that came to mind for me.

Re: Penrose – Create diagrams by typing notation in plain text

#87
post #5

Penrose looks great. Beautiful diagrams and readable code. What are some other text-driven diagramming languages / tools? I know of: https://mermaid.js.org/ https://graphviz.org/ https://flowchart.fun/

Asymptote[0] is excellent IME.

[0] https://asymptote.sourceforge.io/gallery/

Re: Penrose – Create diagrams by typing notation in plain text

#88
post #58

Is this actually affiliated with Roger Penrose? Seems extraordinarily rude to use his name otherwise. Was his permission sought? In fact, this may be seen as "passing off" in English law.

List of things named after Roger Penrose:

https://en.wikipedia.org/wiki/List_of_things_named_after_Rog...

Re: Penrose – Create diagrams by typing notation in plain text

#89
post #58

Is this actually affiliated with Roger Penrose? Seems extraordinarily rude to use his name otherwise. Was his permission sought? In fact, this may be seen as "passing off" in English law.

At first I thought that he actually had something to do with it! To simply borrow his name is indeed, I think, in pretty poor taste. The trend of naming unrelated products after scientists and inventors (from "Tesla" and "Nikola," to Theranos' "Edison," to "Ada Lovelace," and so forth,) has become unbelievably low-effort and cringe.

Especially because Roger Penrose is still alive.
Post reply on HN