Profile directory About Mobile apps
Log in Sign up

jonoodle :dragnloaf: @ionchy@types.pl

31.6K Toots
198 Following
161 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
198 Following 161 Followers
Max Willsey @mwillsey@discuss.systems
Ethan Cecchetti @EthanCecchetti@discuss.systems
Leah Neukirchen @leah@blahaj.social
Dana @liesnikov@types.pl
Casper Bach Poulsen @casperbp@types.pl
Yao Li @liyao@mastodon.acm.org
Laundry @rhelmot@types.pl
Raghav @raghav@types.pl
Rob, probably @chocodum@social.linux.pizza
Cyrus Omar @neurocy@mathstodon.xyz
jams @jamsyoo@mastodon.social
G. Allais @gallais@piaille.fr
1 2 3 … 14 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