Penrose

51 posts

Penrose banner
Penrose

Penrose

@UsePenrose

create beautiful diagrams just by typing mathematical notation in plain text

Pittsburgh انضم Nisan 2021
14 يتبع1.8K المتابعون
تغريدة مثبتة
Penrose
Penrose@UsePenrose·
Penrose is an open-source tool for making beautiful diagrams from any domain of knowledge. Want help using it? Want to help us build it? Or just want to talk about diagramming in general? Come chat with us on @Discord at discord.gg/a7VXJU4dfR. Anyone & everyone is welcome!
Penrose tweet media
English
1
39
264
47.4K
Penrose أُعيد تغريده
Keenan Crane
Keenan Crane@keenanisalive·
@OpenAI's new 4o image generation is pretty amazing. It also fails on some utterly basic tasks. Maybe a good metaphor for how easily we can be misled by algorithms based largely on fitting empirical data (i.e., machine learning) rather than deductive reasoning. @UsePenrose
Keenan Crane tweet media
English
1
9
67
4.8K
Penrose أُعيد تغريده
Wode "Nimo" Ni
Wode "Nimo" Ni@wodenimoni·
talked about diagrams and defended my thing today 🎓 thanks for friends who joined in person & on zoom!
Wode "Nimo" Ni tweet media
English
7
6
107
7K
Penrose أُعيد تغريده
Wode "Nimo" Ni
Wode "Nimo" Ni@wodenimoni·
took the idea of “run the layout optimizer again when interacting with the diagram” pretty far this summer. Bloom is a React library for interactive diagrams. It lets you reuse the diagram styling just like Penrose, but in a general-purpose programming language.
English
3
13
74
5.9K
Penrose أُعيد تغريده
Keenan Crane
Keenan Crane@keenanisalive·
Great work by the @UsePenrose team building Bloom: a lightweight way to make interactive diagrams: penrose.cs.cmu.edu/blog/bloom All coordinates are automatically figured out by the Penrose layout engine, and diagram specifications can be re-used for different content (like HTML/CSS).
English
8
199
1.3K
107.5K
Penrose أُعيد تغريده
Keenan Crane
Keenan Crane@keenanisalive·
A standard way to draw planar graphs is to draw nodes as dots and edges as line segments. But the Koebe–Andreev–Thurston theorem also shows that any planar graph can be visualized by drawing nodes as circular disks, which are tangent if they share an edge:
Keenan Crane tweet media
English
9
79
512
39.2K
Tivadar Danka
Tivadar Danka@TivadarDanka·
The Japanese multiplication method makes everybody feel "I wish they taught math like this in school." It's not just a cute visual tool: it illuminates how and why long multiplication works. Here is the full story.
Tivadar Danka tweet media
English
227
1.5K
9.8K
2.5M
Penrose
Penrose@UsePenrose·
Q: How do you quickly multiply multi-digit numbers? A: Draw a diagram! Just draw a line for each 10's and 1's digit of the two factors, and count the number of crossings to get the 100's (yellow), 10's (blue), and 1's (red) digits of the product! Drawn here using @UsePenrose.
Tivadar Danka@TivadarDanka

The Japanese multiplication method makes everybody feel "I wish they taught math like this in school." It's not just a cute visual tool: it illuminates how and why long multiplication works. Here is the full story.

English
1
8
33
5.2K
Penrose أُعيد تغريده
Keenan Crane
Keenan Crane@keenanisalive·
In a moment nobody was waiting for, I've released meshes from Mark Kilgard's classic OpenGL / GLUT demo "dinoshade.c": #dinoshade" target="_blank" rel="nofollow noopener">cs.cmu.edu/~kmcrane/Proje… The image below re-imagines this example as a vectorized SVG generated in @UsePenrose—read how it was done here! github.com/penrose/penros…
Keenan Crane tweet media
English
1
8
92
12.1K
Penrose أُعيد تغريده
apoorva.lal
apoorva.lal@Apoorva__Lal·
penrose.cs.cmu.edu Penrose (now released) is promising looking domain-specific language for scientific figures that isn't bogged down by decades of tech-debt (cf Tikz/tex) Esp like the .style/.substance/.domain division, makes iteration easy (e.g. shape in 2, 'Pipe' in 3)
apoorva.lal tweet mediaapoorva.lal tweet mediaapoorva.lal tweet media
English
1
15
90
13.3K
Penrose أُعيد تغريده
Keenan Crane
Keenan Crane@keenanisalive·
Tired of making the same kind of diagrams over and over by hand (e.g., in PowerPoint)? The @UsePenrose team has been working away on Penrose 3.0, an automated notation-to-diagram tool, finally released today! Check it out here: penrose.cs.cmu.edu/blog/v3
Keenan Crane tweet media
English
4
72
385
45.5K
Penrose أُعيد تغريده
Keenan Crane
Keenan Crane@keenanisalive·
The winding number of a polygon is, quite literally, the number of times a polygon "winds" around a given point x. It can be used for inside/outside tests by just summing the angles made by each (oriented) edge: zero if x is outside, ±2π if x is inside. [Made with @UsePenrose.]
Keenan Crane tweet media
English
2
21
144
36.1K
Penrose أُعيد تغريده
Keenan Crane
Keenan Crane@keenanisalive·
Animation of how the winding number changes as the center point x moves inside/outside a shape. Notice how the signed angle of an edge suddenly jumps from +π to -π (or vice versa) as x crosses an edge, changing the total signed angle by ±2π. [Made with @UsePenrose]
Keenan Crane@keenanisalive

The winding number of a polygon is, quite literally, the number of times a polygon "winds" around a given point x. It can be used for inside/outside tests by just summing the angles made by each (oriented) edge: zero if x is outside, ±2π if x is inside. [Made with @UsePenrose.]

English
2
21
153
24.8K
Penrose أُعيد تغريده
Keenan Crane
Keenan Crane@keenanisalive·
Thanks to @sgestep, we squashed a 4+ year old bug in @UsePenrose that makes it *asymptotically* faster! 🪲 Pro tip: if you're using L-BFGS to avoid building a dense matrix… don't build the dense matrix!! Try the new, way faster version of Penrose here: penrose.cs.cmu.edu/try/
English
2
11
120
12.6K
Penrose أُعيد تغريده
Keenan Crane
Keenan Crane@keenanisalive·
You can perfectly pack 16 unit squares into a larger 4x4 square. But what’s the smallest square that can contain 17 squares? Check out this thread for an interactive exploration, via @UsePenrose!
Keenan Crane@keenanisalive

[19/n] And keep on going—how low can we go? Warning: if you make it too small, the optimization may go on forever and freeze your tab! Sorry about that. You can also slow down the optimization to a step size of 1 to see how it works:

English
1
3
31
9.3K
Penrose أُعيد تغريده
Keenan Crane
Keenan Crane@keenanisalive·
[1/n] There's been a lot of hubbub lately about the best known packing of 17 unit squares into a larger square, owing to this post: twitter.com/KangarooPhysic… I realized this can be coded up in < 5 minutes in the browser via @UsePenrose, and gave it a try. Pretty darn close! 🧵
Keenan Crane tweet media
Daniel Piker@KangarooPhysics

The optimal known packing of 17 equal squares into a larger square - i.e. the arrangement which minimises the size of the large square.

English
7
65
450
145.9K
Penrose أُعيد تغريده
Wode "Nimo" Ni
Wode "Nimo" Ni@wodenimoni·
A pool player who works on @UsePenrose must do Made with Penrose™ pool diagrams. Gave a talk about pool yesterday in the @S3DatCMU weekly seminar to show how a pool player plans their shots.
Wode "Nimo" Ni tweet media
English
2
3
25
0