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
imo @beliapp.bsky.social should send me an award for this
November 12, 2025 at 11:23 PM
imo @beliapp.bsky.social should send me an award for this
happy PLDI deadline week to those who celebrate
November 12, 2025 at 4:25 AM
happy PLDI deadline week to those who celebrate
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...
did I ever post my Lean tactic pokémon
October 16, 2025 at 11:40 PM
did I ever post my Lean tactic pokémon
gone are the days when you could list your cat as a coauthor
October 16, 2025 at 11:34 PM
gone are the days when you could list your cat as a coauthor
here's some attempts to white balance, I was just curious to see how it would turn out
October 11, 2025 at 5:45 PM
here's some attempts to white balance, I was just curious to see how it would turn out
more expired film! this is Seagull Color IR100
along with the usual discolouration, it's got some pretty mysterious dots and stains on them
along with the usual discolouration, it's got some pretty mysterious dots and stains on them
October 11, 2025 at 5:35 PM
more expired film! this is Seagull Color IR100
along with the usual discolouration, it's got some pretty mysterious dots and stains on them
along with the usual discolouration, it's got some pretty mysterious dots and stains on them
it's always amusing to me when the author name is larger than the book title. my next read is Lucky Day by Chuck Tingle, better known for certain other work
September 27, 2025 at 6:46 PM
it's always amusing to me when the author name is larger than the book title. my next read is Lucky Day by Chuck Tingle, better known for certain other work
banned for posting about punching nazis
September 21, 2025 at 11:43 AM
banned for posting about punching nazis
there goes my business idea of selling PL-themed bongs
September 21, 2025 at 11:39 AM
there goes my business idea of selling PL-themed bongs
posting about where you can find hemp-based THC drinks and getting banned for methods and instructions of controlled substances
September 21, 2025 at 11:34 AM
posting about where you can find hemp-based THC drinks and getting banned for methods and instructions of controlled substances
sharing a video of two cats fighting and getting banned for animal exploitation
September 21, 2025 at 11:30 AM
sharing a video of two cats fighting and getting banned for animal exploitation
in the meantime I will have to make the beans I got last month last a little longer
September 20, 2025 at 6:02 PM
in the meantime I will have to make the beans I got last month last a little longer
for the record I started replaying BEFORE the viral bullet casing engraving post
September 16, 2025 at 3:53 AM
for the record I started replaying BEFORE the viral bullet casing engraving post
lmao the post got sent without the video
September 12, 2025 at 5:02 PM
lmao the post got sent without the video
I got my scans back for the expired Lucky Color II roll from 1993 and it's so funky
September 3, 2025 at 1:43 PM
I got my scans back for the expired Lucky Color II roll from 1993 and it's so funky
another oldie, this one is WasteUrTime
I didn't get any from the new EP but I can tell you they're good too
I didn't get any from the new EP but I can tell you they're good too
August 30, 2025 at 3:38 AM
another oldie, this one is WasteUrTime
I didn't get any from the new EP but I can tell you they're good too
I didn't get any from the new EP but I can tell you they're good too
saw Kevin Walkman perform tonight again!! funnily enough the one I picked to record was Burnt Out *again* lmao
August 30, 2025 at 3:37 AM
saw Kevin Walkman perform tonight again!! funnily enough the one I picked to record was Burnt Out *again* lmao
I was curious to see if there were any five-word ones but now it's just getting silly
August 28, 2025 at 9:18 PM
I was curious to see if there were any five-word ones but now it's just getting silly