Replying to
@ncf@types.pl @ecavallo@mathstodon.xyz
Somebody should make a "STOP WRITING PAPERS" meme in that one format
Remote
Glerk Pizza
@anshthewad@mathstodon.xyz
mastodon 4.7.2plastic eyes lookin through a numbskull
I'm Ansh :D
I'll accept most follow requests.
A minor
Currently: chasing diagrams (may be out of date)
Profile image description: Clippy in blue background
Header image description: Cheese #709
98 Followers
164 Following
3 Posts
Joined May 05, 2025
GitHub:
Pronouns:
he/him or they/them
Favorite Proof Assistants:
Cubical Agda, Arend
ZFC:
Probably inconsistent ngl
Replying to
@alisonkiddle@mathstodon.xyz The first has 1 in 2^10 chance of happening, and the second has 1 in 6^4 chance of happening. I want to compare them, so I can square root both sides, now I'm comparing 2^5 and 6^2. But I already know that 2^5 = 32 < 6^2 = 36, which means that the first is more likely.
Replying to
@foldworks@mathstodon.xyz What if we make it recursive, so the inner symbol has dots of its own?
@GerardWestendorp@mathstodon.xyz @simontatham@hachyderm.io