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
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
angrily slapping a person who bumped into you on the street is harmful and rude. angrily slapping the top of a wardrobe you bumped into is fine. the reason why both of these can be true is because of an advanced logical principle called "different things are not the same"
an unfortunate irony about this post - and even if you are the staunchest anti-ai critic out there, i think you’d agree - is that some of the most bigoted things are being said to respond to this. copy/pasting phrasing and terminology used by bigots but replacing “dna” with “bits” doesn’t make it ok
i’m completely serious when i say that much of the dismissive ai discourse on here fires the bigotry neuron
October 4, 2025 at 11:30 PM
angrily slapping a person who bumped into you on the street is harmful and rude. angrily slapping the top of a wardrobe you bumped into is fine. the reason why both of these can be true is because of an advanced logical principle called "different things are not the same"