ionchy
banner
ionchy.ca
ionchy
@ionchy.ca
it's pronounced "yawn-chee" and the `i` is lowercase
MSc @ SPL ∈ UBC ⊦ PhD @ PLClub ∈ UPenn
asian-canadian 🇨🇦🇹🇼🇭🇰🏳️‍🌈
https://ionathan.ch
have fun at POPL, I won't be there
January 11, 2026 at 5:30 PM
My fave is The Dispossessed
One that's very different from this one and the usual recommendations I see is The Lathe of Heaven, it's a weird one
It reminded me a bit of Philip K. Dick's Ubik so if you liked that you might like this
January 4, 2026 at 9:49 PM
and now 2025 movies and shows watched! this one is chronological by when I watched them
I'm also about halfway through Pluribus rn but I haven't decided if I like it enough to delete one of the other things on this grid
December 28, 2025 at 7:06 PM
ngl it pmo a little lol
I enjoyed Babel bc I'm not in linguistics and had no reference for how any of it is supposed to be, but I *do* know logical paradoxes and some of it got me >:[
December 28, 2025 at 6:59 PM
From the first part I was actually expecting something Babel-like but then it was ??? and I was ??? and then the ending was ??? and I ???
December 28, 2025 at 6:57 PM
oh. geez
December 25, 2025 at 7:17 AM
that's been on my list for a while, guess I might take a look
December 25, 2025 at 6:31 AM
anyway I finished Fellow Travellers and I'm dead now so I need Heated Rivalry to revive me on Friday
December 25, 2025 at 6:19 AM
also got even more beans roasted by Traffic at Revolver
December 18, 2025 at 12:43 AM
I'm back in Vancouver!! got a pourover at my local fancy coffee place
December 18, 2025 at 12:41 AM
Title reveal: I'm delighted to announce that our work on Commuting Conversions and Join Points in Call By Push Value has been accepted to OOPSLA 2026! This is work with Madi Gudin, Annabel Levy, and @fancytypes.bsky.social
December 17, 2025 at 8:48 PM
wait I never noticed you're on bzky.team what is that
December 17, 2025 at 7:04 AM