ionchy
banner
ionchy.ca
ionchy
@ionchy.ca
it's pronounced "yawn-chee" and the `i` is lowercase
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
November 12, 2025 at 4:25 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
Modelling laziness with a little bit of strictness
ionathan.ch
November 8, 2025 at 12:55 AM
Reposted by ionchy
Postcard From the End of the World (digital)
October 30, 2025 at 4:52 PM
I'm running in your browser
October 30, 2025 at 4:06 PM
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
October 28, 2025 at 3:47 AM
Reposted by ionchy
October 6, 2025 at 7:55 PM
Reposted by ionchy
Something’s wrong with my dog I think it’s gay #art
October 18, 2025 at 8:30 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
October 16, 2025 at 11:58 PM
it's actually tame impala's monster
October 16, 2025 at 11:50 PM
zfs stands for ze file système
October 16, 2025 at 11:49 PM
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
I'm part of the LGTM community
October 16, 2025 at 11:45 PM
Sane Max where they all drive trucks on paved roads at the speed limit
October 16, 2025 at 11:42 PM
did I ever post my Lean tactic pokémon
October 16, 2025 at 11:40 PM
I visited the national peanut gallery today and I saw you there
October 16, 2025 at 11:38 PM
the `Ord` typeclass in Haskell represents types that have been ordained
October 16, 2025 at 11:36 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
October 16, 2025 at 11:30 PM
a mega church is what happens when a population is deprived of Broadway musicals
October 16, 2025 at 11:26 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
October 12, 2025 at 2:27 PM
Reposted by ionchy
everything reminds me of her
A Split Complimentary palette with
001332 Fuchsia Trans,
000420 Cream Opal,
and 001867 Olive Smoke Tint
October 11, 2025 at 5:58 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
October 11, 2025 at 5:35 PM
whew, OOPSLA paper in, time to sleep
October 10, 2025 at 7:32 PM
Reposted by ionchy
October 9, 2025 at 9:46 AM
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