ionchy
@ionchy.ca
it's pronounced "yawn-chee" and the `i` is lowercase
MSc @ SPL ∈ UBC ⊦ PhD @ PLClub ∈ UPenn
asian-canadian 🇨🇦🇹🇼🇭🇰🏳️🌈
https://ionathan.ch
MSc @ SPL ∈ UBC ⊦ PhD @ PLClub ∈ UPenn
asian-canadian 🇨🇦🇹🇼🇭🇰🏳️🌈
https://ionathan.ch
happy PLDI deadline week to those who celebrate
November 12, 2025 at 4:25 AM
happy PLDI deadline week to those who celebrate
(also ttforall's run by twitter.com/p_droabreu0)
Pedro Abreu (@p_droabreu0) / X
Pedro Abreu (@p_droabreu0) / X
twitter.com
November 8, 2025 at 12:46 AM
(also ttforall's run by twitter.com/p_droabreu0)
wait what's the context of the original image
November 8, 2025 at 12:46 AM
wait what's the context of the original image
they compiled me to webassembly
October 30, 2025 at 4:06 PM
they compiled me to webassembly
I went to the Philly coffee fest today and tried a bunch of coffee! I ended up getting a blackberry coferment from Brainwave (in NW Philly), but I also really liked the coffee from Seekers (in Princeton) and Pilgrim (in Manayunk)
October 25, 2025 at 10:46 PM
I went to the Philly coffee fest today and tried a bunch of coffee! I ended up getting a blackberry coferment from Brainwave (in NW Philly), but I also really liked the coffee from Seekers (in Princeton) and Pilgrim (in Manayunk)
never mind I see why they added this rule 😵💫
borisalexeev.com/papers/erdos...
borisalexeev.com/papers/erdos...
October 22, 2025 at 3:11 PM
never mind I see why they added this rule 😵💫
borisalexeev.com/papers/erdos...
borisalexeev.com/papers/erdos...
wait I've seen this before too lmao
October 17, 2025 at 12:16 PM
wait I've seen this before too lmao
you've heard of DINK get ready for DINC (double income nine cats)
October 16, 2025 at 11:37 PM
you've heard of DINK get ready for DINC (double income nine cats)