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)
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