Show more

resource request 

Does anyone know of any books/papers/etc summarizing the history of philosophy of mathematics? In particular things like the histories of intuitionism, constructivism, finitism, and other "non-standard" approaches/positions

remote code execution? I can't even get my code to work locally :((

You're an anglophone if you speak English.

You're a smartphone if you speak ???

@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

saw this jackdaw pick dead insects from the front of a locomotive earlier. such a clever little bird.

One of the greatest words in language: Thagomizer

"the distinctive arrangement of four to ten spikes on the tails of stegosaurid dinosaurs. These spikes are believed to have been a defensive measure against predators"

@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.

Show thread

Hmm, I still can't make the interrupt controller work on an actual Raspberry Pi 4. The goal is to set up a timer that fires an interrupt (so that we can pre-empt a process). And it doesn't help that the GIC-400 interrupt controller has impenetrable documentation.

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.

Show thread

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!

Show thread

”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.

Show thread

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.

Show more

Mastodon is a server for a federated social network: everyone can run a server if they want to, including me. So this is a Mastodon server for me (Vierkantor) and my friends.