jonoodle 
@ionchy@types.pl
- 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 🇨🇦 🏳️🌈 
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
I watched Cats (2019) w friends at one of their places who has a cat his name is Pippin and he's wonderful
tired: doing actual work
wired: coming up with something to put for this in our repo
ice cream
Consolation: ice cream from my THIRD pick in the neighbourhood. It's good but idk I've had better matcha
Okay this one was my fault I should have first checked on Google maps to see if they were open 
the images on science museum group aren't loading veyr fast so this is what I'm seeing atm
Neat stuff about amortized analysis using CBPV and coinduction by Harrison Grodin
Wish my rent were 20$ a day tho
ooh that's an interesting perspective of type checking
kinda has extensional type checking vibes
(Refutation-based typechecking using symbolic execution, presented by Earl Wu)
NJPLS without context: polymorphism must be stopped!
(Unbox Types in OCaml by Richard Eisenberg)
- 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 🇨🇦 🏳️🌈
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
