david @david@types.pl
- matrix
- @xn--cr8h:matrix.org
- favourite number
- #DavidsNumber
professional computer hecker. computer engineering undergrad at university of waterloo. i don't know what i'm doing
he/they; 19; canadian/american
this is the account where i post things specifically designed to piss hazel off. if you want to see my other posts, go to @xnx38h
please don't reply to me with foss
Joined Oct 2020
Pinned toot
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
📢 meow
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
mpv is good
only 2 more weeks of school
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 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
@nonphatic @jordyd russell's paradox
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
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
bold of you to call infinity "countable"
- matrix
- @xn--cr8h:matrix.org
- favourite number
- #DavidsNumber
professional computer hecker. computer engineering undergrad at university of waterloo. i don't know what i'm doing
he/they; 19; canadian/american
this is the account where i post things specifically designed to piss hazel off. if you want to see my other posts, go to @xnx38h
please don't reply to me with foss
Joined Oct 2020
david's choices:
