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
Reposted by ionchy
Finishing a proof feels so good for the PhD student
November 19, 2024 at 11:04 AM
Finishing a proof feels so good for the PhD student
I tried Kodacolor 200 over the winter break
I guess it's ok but the PNW weather made it kinda gloomy
flic.kr/s/aHBqjCGem7
I guess it's ok but the PNW weather made it kinda gloomy
flic.kr/s/aHBqjCGem7
January 11, 2026 at 6:49 PM
I tried Kodacolor 200 over the winter break
I guess it's ok but the PNW weather made it kinda gloomy
flic.kr/s/aHBqjCGem7
I guess it's ok but the PNW weather made it kinda gloomy
flic.kr/s/aHBqjCGem7
computer networking 🤝 conference networking
handshake
handshake
January 11, 2026 at 5:29 PM
computer networking 🤝 conference networking
handshake
handshake
can you believe ⊥ ⊢ ⊤ is a valid judgement? that's not math that's shapes. that's a mensa visual-spatial question
January 10, 2026 at 6:46 PM
can you believe ⊥ ⊢ ⊤ is a valid judgement? that's not math that's shapes. that's a mensa visual-spatial question
scourge of the flute section
Note: the String Band Competition has been suspended due to high winds.
January 1, 2026 at 7:23 PM
scourge of the flute section
Reposted by ionchy
Just watched the new Knives Out and I think it's really important you know that the scene in the Seminary's Gym is filmed in the same place Rick Astley filmed the music video for Never Gonna Give You Up.
I saw the window tracery and immediately made my friends pause the film so I could tell them.
I saw the window tracery and immediately made my friends pause the film so I could tell them.
December 29, 2025 at 1:11 PM
Just watched the new Knives Out and I think it's really important you know that the scene in the Seminary's Gym is filmed in the same place Rick Astley filmed the music video for Never Gonna Give You Up.
I saw the window tracery and immediately made my friends pause the film so I could tell them.
I saw the window tracery and immediately made my friends pause the film so I could tell them.
2025 books read! roughly chronologically ordered by when I read them, but I also wanted to group authors/similar ones together
(I haven't actually finished Summer Sons. but I physically have it here with me so I'm sure I will)
(I haven't actually finished Summer Sons. but I physically have it here with me so I'm sure I will)
December 28, 2025 at 6:49 PM
2025 books read! roughly chronologically ordered by when I read them, but I also wanted to group authors/similar ones together
(I haven't actually finished Summer Sons. but I physically have it here with me so I'm sure I will)
(I haven't actually finished Summer Sons. but I physically have it here with me so I'm sure I will)
what is this loop-de-loop rug and why am I seeing it everywhere
December 24, 2025 at 7:49 PM
what is this loop-de-loop rug and why am I seeing it everywhere
Reposted by ionchy
spice cabinet sorting axes:
• hue
• luminosity
• use frequency
• remaining amount
• container size
• grain size
• species name
• price per gram
• distance of cultural origin
• distance of manufacturer origin
• stroke count of characters in chinese
• cinnamon-challenge-style threat level
• hue
• luminosity
• use frequency
• remaining amount
• container size
• grain size
• species name
• price per gram
• distance of cultural origin
• distance of manufacturer origin
• stroke count of characters in chinese
• cinnamon-challenge-style threat level
December 20, 2025 at 6:27 AM
spice cabinet sorting axes:
• hue
• luminosity
• use frequency
• remaining amount
• container size
• grain size
• species name
• price per gram
• distance of cultural origin
• distance of manufacturer origin
• stroke count of characters in chinese
• cinnamon-challenge-style threat level
• hue
• luminosity
• use frequency
• remaining amount
• container size
• grain size
• species name
• price per gram
• distance of cultural origin
• distance of manufacturer origin
• stroke count of characters in chinese
• cinnamon-challenge-style threat level
re floorp specifically though, I looked them up and they have AI on their roadmap docs.floorp.app/docs/roadmaps/ so perhaps not
December 18, 2025 at 9:35 PM
re floorp specifically though, I looked them up and they have AI on their roadmap docs.floorp.app/docs/roadmaps/ so perhaps not
Reposted by ionchy
The ACM Digital Library, where a LOT of computing-related research is published (I'd say at least 75% of my own publications), is now not only providing (without consent of the authors and without opt-in by readers) AI-generated summaries of papers, but they appear as the *default* over abstracts.
December 16, 2025 at 11:31 PM
The ACM Digital Library, where a LOT of computing-related research is published (I'd say at least 75% of my own publications), is now not only providing (without consent of the authors and without opt-in by readers) AI-generated summaries of papers, but they appear as the *default* over abstracts.
tried some Kono 200 but tbh it just looks like an Orwo to me
December 13, 2025 at 4:33 PM
tried some Kono 200 but tbh it just looks like an Orwo to me
(covering my left eye) uhhh f, c, ð, v, t, þ
lmao these are some of the options that my eye doctor apparently makes available as a preferred language for patients
![a dropdown menu for "Language"
Elamite
English [selected]
English, Middle (1100-1500)
English, Old (ca.450-1100)
Erzya](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:k6p2bfabrk4x4hunlbuzzywe/bafkreihoxpvqod7lqsxnh7rav7fwtw4l6nvbbdc3gwvtbmwsqc3nzu2o7a@jpeg)
December 12, 2025 at 12:33 AM
(covering my left eye) uhhh f, c, ð, v, t, þ
saw Modern Alibi tonight they were v good
December 8, 2025 at 3:44 AM
saw Modern Alibi tonight they were v good
v good book, first time I've read SCP stories edited together as one novel
December 7, 2025 at 5:09 PM
v good book, first time I've read SCP stories edited together as one novel
Reposted by ionchy
I'm at the types store shopping for types
February 18, 2025 at 2:24 PM
I'm at the types store shopping for types
anisota.net/harvest my emojis are full of despair
December 5, 2025 at 11:43 PM
anisota.net/harvest my emojis are full of despair
my top song of 2025 was We Don't Have Your Wrapped This Year by Get Yours
December 3, 2025 at 6:39 PM
my top song of 2025 was We Don't Have Your Wrapped This Year by Get Yours
data Perhaps a = Indeed a | Alas
December 3, 2025 at 12:19 PM
data Perhaps a = Indeed a | Alas
I'm giving a talk at NJPLS this Friday!
But I also submitted this work to OOPSLA so I can't post what it is.
If you're not an OOPSLA reviewer you can read the abstract I submitted here!
njpls.org/dec2025.html
(If you are an OOPSLA reviewer please don't.)
But I also submitted this work to OOPSLA so I can't post what it is.
If you're not an OOPSLA reviewer you can read the abstract I submitted here!
njpls.org/dec2025.html
(If you are an OOPSLA reviewer please don't.)
NJPLS Dec 2025
njpls.org
December 2, 2025 at 11:31 PM
I'm giving a talk at NJPLS this Friday!
But I also submitted this work to OOPSLA so I can't post what it is.
If you're not an OOPSLA reviewer you can read the abstract I submitted here!
njpls.org/dec2025.html
(If you are an OOPSLA reviewer please don't.)
But I also submitted this work to OOPSLA so I can't post what it is.
If you're not an OOPSLA reviewer you can read the abstract I submitted here!
njpls.org/dec2025.html
(If you are an OOPSLA reviewer please don't.)
don't freak out but my display name is my publication name for now for a bit that I hope will pay off in a while
November 29, 2025 at 4:16 PM
don't freak out but my display name is my publication name for now for a bit that I hope will pay off in a while
