Jonathan Chan
@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
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
no gay men in chinatown 😔
November 29, 2025 at 1:46 PM
no gay men in chinatown 😔
bugonia no context spoilers
November 27, 2025 at 3:28 AM
bugonia no context spoilers
[at the Thanksgiving parade] Hail our Lady, blessed Virgin Macy, mother of JC Penney
November 27, 2025 at 2:08 AM
[at the Thanksgiving parade] Hail our Lady, blessed Virgin Macy, mother of JC Penney
I've been crylaughing at this for a good minute www.tiktok.com/@kratataty/v...
November 24, 2025 at 4:19 AM
I've been crylaughing at this for a good minute www.tiktok.com/@kratataty/v...
I did a puzzle of the New York subway map!!
It's on a large flattened cardboard box bc I don't have a large enough desk lol but the large lid is great as a working tray and I'm thinking of framing this as decor
It's on a large flattened cardboard box bc I don't have a large enough desk lol but the large lid is great as a working tray and I'm thinking of framing this as decor
November 22, 2025 at 5:09 PM
I did a puzzle of the New York subway map!!
It's on a large flattened cardboard box bc I don't have a large enough desk lol but the large lid is great as a working tray and I'm thinking of framing this as decor
It's on a large flattened cardboard box bc I don't have a large enough desk lol but the large lid is great as a working tray and I'm thinking of framing this as decor
small bread the size of a large bread
en.wikipedia.org/wiki/Panettone
en.wikipedia.org/wiki/Panettone
November 19, 2025 at 11:54 PM
small bread the size of a large bread
en.wikipedia.org/wiki/Panettone
en.wikipedia.org/wiki/Panettone
it's too bad they discovered all of the elegant type systems before the 90s because now every type system has an extra context, a signature, a modality, an effect annotation, a coeffect annotation, a dependency annotation, a lifetime, a region, four subscripts, and an obscure greek character variant
November 17, 2025 at 5:16 PM
it's too bad they discovered all of the elegant type systems before the 90s because now every type system has an extra context, a signature, a modality, an effect annotation, a coeffect annotation, a dependency annotation, a lifetime, a region, four subscripts, and an obscure greek character variant
just finished reading Luminous by Silvia Park
idk what to think of it but I think this book would be up some of yous alley
idk what to think of it but I think this book would be up some of yous alley
November 14, 2025 at 6:02 AM
just finished reading Luminous by Silvia Park
idk what to think of it but I think this book would be up some of yous alley
idk what to think of it but I think this book would be up some of yous alley
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
you can model CBV lambda calculus with an explicit lazy thunk using CBPV's native thunks. can you model CBN with an explicit strict sequencing using CBPV's let binding? yes: ionathan.ch/2025/11/06/s...
it turns out instead of the usual CBN translation, you need to use Levy's secret second one
it turns out instead of the usual CBN translation, you need to use Levy's secret second one
Modelling laziness with a little bit of strictness
ionathan.ch
November 8, 2025 at 12:55 AM
you can model CBV lambda calculus with an explicit lazy thunk using CBPV's native thunks. can you model CBN with an explicit strict sequencing using CBPV's let binding? yes: ionathan.ch/2025/11/06/s...
it turns out instead of the usual CBN translation, you need to use Levy's secret second one
it turns out instead of the usual CBN translation, you need to use Levy's secret second one
Reposted by Jonathan Chan
Postcard From the End of the World (digital)
October 30, 2025 at 4:52 PM
Postcard From the End of the World (digital)
I'm running in your browser
October 30, 2025 at 4:06 PM
I'm running in your browser
Reposted by Jonathan Chan
Good thing there’s not a power hungry sector of the economy that has single handedly revived demand growth in electric markets and revived interest in fossil fuel plants or we’d really be in trouble
As the single most important news story this year, I can't wait to see the detailed and central coverage this will get in every media outlet we have
‘Change course now’: humanity has missed 1.5C climate target, says UN head
Exclusive: ‘Devastating consequences’ now inevitable but emissions cuts still vital, says António Guterres in sole interview before Cop30
www.theguardian.com
October 28, 2025 at 3:47 AM
Good thing there’s not a power hungry sector of the economy that has single handedly revived demand growth in electric markets and revived interest in fossil fuel plants or we’d really be in trouble
Reposted by Jonathan Chan
"you have to admit that copilot is useful for—" no I don't. if vim users don't have to concede that using a mouse is useful then no I don't
October 16, 2025 at 11:58 PM
"you have to admit that copilot is useful for—" no I don't. if vim users don't have to concede that using a mouse is useful then no I don't
it's actually tame impala's monster
October 16, 2025 at 11:50 PM
it's actually tame impala's monster
zfs stands for ze file système
October 16, 2025 at 11:49 PM
zfs stands for ze file système
my five-year plan is a circle actually. year 5 is when I finish building the time machine
October 16, 2025 at 11:47 PM
my five-year plan is a circle actually. year 5 is when I finish building the time machine
I'm part of the LGTM community
October 16, 2025 at 11:45 PM
I'm part of the LGTM community
Sane Max where they all drive trucks on paved roads at the speed limit
October 16, 2025 at 11:42 PM
Sane Max where they all drive trucks on paved roads at the speed limit
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