plastic 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
Remote
plastic 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
75
Followers
157
Following
3
Posts
Joined May 05, 2025
GitHub:
Pronouns:
he/him or they/them
Favorite Proof Assistants:
Cubical Agda, Arend
ZFC:
Probably inconsistent ngl
Posts
Glerk Pizza
@anshthewad@mathstodon.xyz
mathstodon.xyz
Replying to
@ncf@types.pl
@ncf@types.pl @ecavallo@mathstodon.xyz
Somebody should make a "STOP WRITING PAPERS" meme in that one format
Open post
Glerk Pizza
@anshthewad@mathstodon.xyz
plastic 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
mathstodon.xyz
Replying to
@alisonkiddle@mathstodon.xyz
@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.
1
0
0
0
Open post
Glerk Pizza
@anshthewad@mathstodon.xyz
plastic 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
mathstodon.xyz
Replying to
@foldworks@mathstodon.xyz
@foldworks@mathstodon.xyz What if we make it recursive, so the inner symbol has dots of its own?
@GerardWestendorp@mathstodon.xyz @simontatham@hachyderm.io
1
7
0
0
Remote instance
mathstodon.xyz
Open on original server