Inatanasinali - the Internationale in Toki Pona https://www.invidio.us/watch?v=HOg0ql_Ep6c
@operand @Vierkantor @GreenandBlack
I just remembered another one that fits into this thread in a way: the US state of New Mexico is older than the modern nation state of Mexico
@BestGirlGrace (John Q. Programming, inventing higher-kinded typeclasses) what we need here is some type of type of type of type (begins typing)
QEMU only supports the "legacy" interrupt controller, which should be equivalent to the ones in a RPi ≤ 3. So I put `enable_gic=0' in the config.txt and set up the "local timer" in the interrupt controller to fire repeatedly. This works for QEMU, but not on an actual RPi 4.
The professor lost his tenure at CCNY and was fired the next day. While driving on the highway, he crashed because the road was not locally non-constant. He died on the weekend but not on Saturday or on Sunday.
P.S. That mathematician's name? Frank Nelson Cole.
On the other side of the board, he multiplied 193,707,721 × 761,838,257,287 and got the same number, then returned to his seat.
The students all applauded. An eagle named “Constructive Proof” flew into the room and perched atop the Soviet Flag and shed a tear on the chalk. God himself showed up and distributed swords to go slay the dragon but you do not know if the sword is good enough but you go anyway!
”What are the composite factors of M₆₇, pinhead?”
The arrogant professor smirked quite paradoxically and smugly replied, “No one knows, and no one will ever know, you stupid intuitionist. It's proven that M₆₇ must be composite, and that is proof enough for all time.”
”Wrong.” Without speaking another word, the mathematician went to the blackboard and raised 2 to the 67th power, then subtracted one.
A classical logician professor and set theorist was teaching a class on David Hilbert, known formalist.
”Before the class begins, you must get on your knees and worship Hilbert and accept that he is the most highly-evolved being the world has ever known, even greater than L. E. J. Brouwer!”
At this moment, a brave mathematician and AMS officer who had advised over 1500 doctoral students and understood the superfluity of the law of excluded middle stood up and held up a piece of chalk.
/'ɑ.nə/ & legally certified as they who must become Master & (intuitionistic) maths / programming & pronouns: they/them (or best offer) & trains, crows and sheep & as seen in children's magazine