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
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
Reposted by ionchy
everything reminds me of her
A Split Complimentary palette with
001332 Fuchsia Trans,
000420 Cream Opal,
and 001867 Olive Smoke Tint
001332 Fuchsia Trans,
000420 Cream Opal,
and 001867 Olive Smoke Tint
October 11, 2025 at 5:58 PM
everything reminds me of her
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
whew, OOPSLA paper in, time to sleep
October 10, 2025 at 7:32 PM
whew, OOPSLA paper in, time to sleep
Reposted by ionchy
Reposted by ionchy
i regret to inform you that the next 700 programming languages are going to be "types with baggage"
October 4, 2025 at 6:49 PM
i regret to inform you that the next 700 programming languages are going to be "types with baggage"
Reposted by ionchy
I had to expunge my thoughts on Bluesky's current, uh, choppy waters into a proper blog post (which jay can't take down for being too mean or saying 'lol' in a threatening way)
azhdarchid.com/delusions-of...
azhdarchid.com/delusions-of...
Delusions of a Protocol
On vaporware as an ideological product.
azhdarchid.com
October 2, 2025 at 3:36 AM
I had to expunge my thoughts on Bluesky's current, uh, choppy waters into a proper blog post (which jay can't take down for being too mean or saying 'lol' in a threatening way)
azhdarchid.com/delusions-of...
azhdarchid.com/delusions-of...