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
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 ionchy
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 ionchy
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 ionchy
"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
I visited the national peanut gallery today and I saw you there
October 16, 2025 at 11:38 PM
I visited the national peanut gallery today and I saw you there
the `Ord` typeclass in Haskell represents types that have been ordained
October 16, 2025 at 11:36 PM
the `Ord` typeclass in Haskell represents types that have been ordained
did you know you can experience a preview edition of all of your married friends talking about their babies by getting together with your coupled friends who own cats
October 16, 2025 at 11:30 PM
did you know you can experience a preview edition of all of your married friends talking about their babies by getting together with your coupled friends who own cats
a mega church is what happens when a population is deprived of Broadway musicals
October 16, 2025 at 11:26 PM
a mega church is what happens when a population is deprived of Broadway musicals
I've decided to load my B&W film into my Canon Sure Shot so that when my kodacolour (!!) film arrives I can shoot on my Minolta Hi-Matic right away but the Sure Shot has motorized advance and I've forgotten how LOUD it is
October 12, 2025 at 2:27 PM
I've decided to load my B&W film into my Canon Sure Shot so that when my kodacolour (!!) film arrives I can shoot on my Minolta Hi-Matic right away but the Sure Shot has motorized advance and I've forgotten how LOUD it is