Elektrine
EN
Log in Register
Paige Chat Timeline Communities Gallery Videos Email DNS VPN Uptime Kairo
Back to Timeline
Remote

Glerk Pizza

@anshthewad@mathstodon.xyz
mastodon 4.6.4
  • Open on 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

75 Followers
157 Following
3 Posts
Joined May 05, 2025
GitHub:
https://github.com/anshwad10
Pronouns:
he/him or they/them
Favorite Proof Assistants:
Cubical Agda, Arend
ZFC:
Probably inconsistent ngl

Posts

Open post
anshthewad
Glerk Pizza @anshthewad@mathstodon.xyz · Feb 10, 2026
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 @ncf@types.pl
@ncf@types.pl @ecavallo@mathstodon.xyz Somebody should make a "STOP WRITING PAPERS" meme in that one format
5
0
0
0
Open post
anshthewad
Glerk Pizza @anshthewad@mathstodon.xyz · Dec 17, 2025
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
anshthewad
Glerk Pizza @anshthewad@mathstodon.xyz · Dec 16, 2025
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
313k7r1n3
Elektrine

Tor hidden service

elekhj7afj4qnrr4yd3bkzslsyo5jgfxw3orgjkhlcxifueodybyiiad.onion

Platform

  • Email
  • Chat
  • Timeline
  • Communities
  • VPN
  • DNS

Company

  • About
  • Contact
  • FAQ

Legal

  • Terms of Service
  • Privacy Policy
  • Warrant Canary
  • Lite (no JS)
  • VPN Policy
  • Source code

Support

  • support@elektrine.com
  • Report Security Issue
Mail client setup IMAP mail.elektrine.com:993 POP3 mail.elektrine.com:995 SMTP mail.elektrine.com:465
© 2026 Elektrine. All rights reserved. Server: 20:47:10 UTC