hardmath123
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 a lot like HTML vs. CSS). Importantly, Penrose's vision is that experts will author libraries of domains and styles, and end-users need only express the substance of their diagrams (i.e. the three lines of code above).
The second beautiful idea in Penrose is that diagram generation is expressed as a constrained optimization problem. This lets you easily experiment with layouts by writing constraints and sampling a variety of potential diagrams via stochastic search.
These two ideas set Penrose apart from most other diagram software out there. I really hope it gains wider adoption. Give it a try!
Gradient Descent: The Ultimate Optimizer
Designing Perceptual Puzzles by Differentiating Probabilistic Programs
Show HN: Shabdle Is Wordle in Hindi
Searching for Playtronics
Finding a Horseshoe on the Beaches of Rio [pdf]
PeLU: Porcelain-Emulated Linear Unit
Teacup Twists and impossible braids [pdf]
Scribomechanica
Seeking Pencils
Generative Adversarial Web Development
And the HN discussion from the time: https://news.ycombinator.com/item?id=23095190
Do you have a recommendation for a good reference that teaches about the various metrics for point-cloud distance? (I only used Chamfer distance because I hazily recalled it from some undergrad class taken a while ago...)