John Regehrregehr@mastodon.social
Jul 4, 2026, 7:07 PMnew contender for best figure appearing in a computer science paper
alt: caption is "porcupine ordering" and it shows an extremely stylized porcupine with Greek letters coming out as spines
Replies
Jul 4, 2026, 7:10 PM@regehr omg
DougMerritt (log😅 = 💧log😄)dougmerritt@mathstodon.xyzJul 4, 2026, 7:13 PM
G. Wozniakgwozniak@discuss.systemsJul 4, 2026, 7:23 PM@regehr "When is this going to be done?"
"Don't worry, check the porcupine for the timeline."
Jul 4, 2026, 7:39 PMExcellent catch!
Is that the symbol for bottom on the porcupine side?
All of these letters look like χ to me, but I can't quite read the subscripts: are they all single-digit decimal numbers?
Next, hedgehog trees...
Albert Cardonaalbertcardona@mathstodon.xyzJul 4, 2026, 7:42 PM
Antonio Patriarcaantopatriarca@mathstodon.xyzJul 5, 2026, 9:54 AM@albertcardona @vnikolov @regehr the symbol on the porcupine is the bottom symbol ⊥ in logic usually used to represent the lower bound. My hypothesis is that in the porcupine order everything comes after the bottom by they are otherwise not comparable with each other (and that is why the numbers in the subscript are in random order). But I haven’t read the paper so I cannot be sure.
Jul 4, 2026, 8:09 PM@regehr unfortunately it really should be typeset, this is wildly illegible
Jul 4, 2026, 8:15 PM@regehr Commonly called the 'flat domain' which presumably refers to when a car has driven over the said animal.