Profile directory About Mobile apps
Log in Sign up

jonoodle :cat_yawn: @ionchy@types.pl

34K Toots
204 Following
165 Followers
Follow
pronouns
he/they
website
https://ionathan.ch
birdsite
https://twitter.com/ionathanch
Pokémon Go
8336 6654 0984
Admin

Jon(athan)? | ionchy ("yawnchy")
PhD student in PL doing type theory things
#WaterDrinker 💦

emoji boy of types.pl 🇨🇦 🏳️‍🌈 :demiboy_flag: :heart_cybre:
I have been blessed with admin powers on this instance and I will do my best not to muck things up

pfp: https://picrew.me/share?cd=6rKy0AQ4I3
header: https://doi.org/10.1145/2578855.2537850

Joined Oct 2020
204 Following 165 Followers
Rob Ricci @ricci@discuss.systems
Patrick Lam @va2lam@mastodon.nz
Vriska Goes To McDonald's (2023 Worldwide Fucker) @tulips@lesbian.solutions
Adrian Sampson @adrian@discuss.systems
sophia @a11ce@types.pl
Racket @racketlang@mastodon.social
void friend @void_friend@tech.lgbt
Max Willsey @mwillsey@discuss.systems
mattam @mattam@types.pl
Sam Tobin-Hochstadt @samth@mastodon.social
Ethan Cecchetti @EthanCecchetti@discuss.systems
Soc Virnyl Estela @uncomfyhalomacro@julialang.social
1 2 3 … 17 Next

Resources

  • Terms of service
  • Privacy policy

Developers

  • Documentation
  • API

What is Mastodon?

types.pl

  • About
  • v3.5.5+types

More…

  • Source code
  • Mobile apps
v3.5.5+types · Privacy policy