Mastodon Feed
Boosted by pixxl:
maxsnew@types.pl ("Max S. New ⚜️") wrote:
I used to find separation logic confusing.
Then one day I went to Reading Terminal Market in Philadelphia. One of the grocers had a sign that said they sold "raw and pasteurized cheeses" and I suddenly understood the difference between the cartesian /\ and separating * conjunctions.