1,692 karma · joined July 18, 2014
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!
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...)
It's funny, Dennett talks about a "coin tossing machine" as a virtual impossibility, but Persi Diaconis actually had one built! It is described in this paper: https://statweb.stanford.edu/~susan/papers/headswithJ.pdf
> Physicists have calculated that if you really want to predict coin flips, you have to know the location of every electron in the visible universe and its gravitational effect on the coin.
This is not really true either. Coin tosses leak a lot of information into the physical world. For example, here is a short paper on trying to predict the outcome of a coin toss by analyzing the sound of the "ping!" it makes: https://cs.stanford.edu/~kach/can-one-hear-the-fate-of-a-coi...
> To borrow an analogy from literature, travelers come upon a door that has writing in a foreign language. When translated, the writing says "say 'friend' and enter." The travelers say "friend" and the door opens. As with the writing on that door, YouTube presents instructions on accessing video streams to everyone who comes asking for it.
https://ranchero.com/netnewswire/
Here is their "How to Support NNW" page. https://github.com/Ranchero-Software/NetNewsWire/blob/main/T...
https://repositories.lib.utexas.edu/bitstream/handle/2152/74...