Pinned toot

this account is supposed to be smaller and quieter than my main account @xnx38h. if i know you or you're on types.pl i will probably accept a follow request, otherwise you'll have better luck following @xnx38h

Pinned toot

sometimes i'm not doing anything interesting or worthwhile and then i realize there is something i could do that would be both interesting and worthwhile, and then i don't do it

Pinned toot
Pinned toot
Pinned toot
david boosted

hey. hey mathematicians.

∞ + 1

now what

what's the biggest number anyone's ever thought of

i love how i can just import mpv and make it adjust video speed based on usb serial readings in like 30 lines of python

Show thread

the best change in android 12 is the boot logo isn't on a white background anymore when you're in light mode

david boosted
david boosted

@david My advice is to unscrew your head like a lightbulb and kick it into the horizon

imagine being the guy who goes around proving things are undecidable and ruining everyone's day

what's the smallest program that's impossible for humans to determine whether it halts

david boosted
david boosted
david boosted
david boosted

if i was the BDFL of math i would make it illegal to talk about russell's paradox

david boosted
david boosted

other paradoxes: what even is space? what is time? how do we know anything? what is anything?

russell's paradox: h-hey so uh if you take this made up concept and apply it in a way that nobody will ever need to for any reason, it doesn't work

Show thread
david boosted

russell's paradox is just about the lamest paradox ever invented

i'd like to see someone try counting all the natural numbers. go on

Show thread

bold of you to call infinity "countable"

Show older
types.pl

A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.