Simple examples demonstrate the idea of the system, but I would be more impressed if they took some of the more complex published math papers out there and successfully rendered the notation from those with Penrose. That, to me, would better prove that it can handle the complexity that often comes with mathematical concepts.
Already did! Those are all basic examples of those various concepts. How about something that 'mixes metaphors', so to speak? Mathematicians are a creative bunch.
E.g., fuzzy sets. [1] One of the most-cited math papers ever. How could I use Penrose to represent a continuum of grades of membership between sets?
I think this is a reasonable criticism, I didn't see it addressed in the paper, but one place where it complex examples wouldn't matter is when writing material for basic introductory courses. There this would be really good: it's a way of quickly and accurately producing large numbers of diagrams, automatically adjusting for changes, without drawing things by hand, and there are probably enough students that this would help if it just reduced the barrier to producing maths diagrams.
Maybe the end representation is quite basic but I still think it’s a feat of programming to take a bunch of constraints and turn it into a representation that dynamically satisfies those constraints.
I think the criticism is more that the examples only show a very simple case. What you described is indeed very cool, if only rich examples showed it off better.
This is the video source of the gif at the top of the article [0].
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.
See also Anish Athalye 2019, "Experiments in Constraint-based Graphic Design" [1], which takes a similar approach to diagram creation. I'd also recommend looking at Keenan Crane's other research [2], in particular his book on Discrete Differential Geometry, which inspired some of the diagrams you see on the Penrose site.
I thought I’ve heard that name before. Anish is also one of the teachers of Missing Semester of CS [1]. One of the best courses I have taken as a college student!
I do a lot of LaTeX. With LaTeX there is some attempt to be declarative, to separate layout from context. But I find that while 99% of the time the separation works, there just are times you need to tweak or fiddle.
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.
As a non mathematician, I’d like to be able to take bits of math I don’t understand and dump it into something that makes a Penrose representation, maybe helping me understand it better.
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.
I assume this is a joke comment? The font is too small, huge white borders, scrolling elements with the page. I'd suggest this an average layout at best, & certainly nothing to croon over.
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.
Indeed, I find it more satisfying to read my own handwritten notes from years ago than a printout I spent more time typesetting than thinking about the content.
Highly recommend Visual Complex Analysis if you want to see the prettier side of mathematics (Notation is the easy part, your struggles makes me think you had a bad teacher or similar)
There could be lots of reasons. Foremost among them might be when I start looking at the mathematical notation I get turned off and go do something else.
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.
Yes, I wonder if something like this could help me finally "get" maths. I've always performed poorly in most mathematics, but rapidly find myself interested in subjects that make heavy use of them.
I would like to see a representation of algorithms. I remember watching some videos in the late 90s by a professor who I think worked at UCLA. They involved algebra and differential equations. The terms of the equation would fly around, transform, and disappear as various operations were performed. I remember thinking that the video captured how I did algebraic manipulation, given that I am a highly spatial thinker.
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.
I read through the Penrose presentation slides a few weeks ago and was very impressed with the perspective, idea, and implementation compared to the other dozens of tools I've looked at. I'm not particularly a math specialist, but I do think I'll use Penrose soon. However, it might not immediately fit my needs today.
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.
I haven't tried it yet but this could be an absolute godsend for people like me - in my head I can "see" a diagram, but I can't draw anything more than a cube.
I'd love to use this to create some visualizations for CS Education. Data Structures and AI often uses graphs to visualize the concepts. I mostly build them using Powerpoint. Looking at the Penrose website, Fig 24 shows something I think could be tweaked to showcase a graph and something like A* search.
