ionchy

ionchy

@ionchy.ca

it's pronounced "yawn-chee" and the `i` is lowercase MSc @ SPL ∈ UBC ⊦ PhD @ PLClub ∈ UPenn asian-canadian πŸ‡¨πŸ‡¦πŸ‡ΉπŸ‡ΌπŸ‡­πŸ‡°πŸ³οΈβ€πŸŒˆ I inherited https://types.pl ⍼ https://ionathan.ch

821 followers321 following1.7K posts

It turns out TeXLive comes with both Noto Colour Emoji and Twemoji Mozilla so we've got some options

ionchy reposted

When tom7 tried to use 31337 as an rsa private key it got factored almost immediately. But when this certificate authority used 4 as their elliptic curve private key, nobody thought to check for like, a year. This proves that 4 is a more secure number than 31337

Fai Laci was playing in Philly tonight! opening for DICE at Johnny Brenda's

ionchy@ionchy.ca

I was at Nice, a Fest last night and saw this band called Fai Laci my favourite song of theirs was Elephant but the clip I have of that one was very purple lol

DICE was good too! I don't know them but this was my favourite song but idk what song it is lol

Kevin Walkman opened for Sorry Ghost tonight!! it was a super tiny venue packed with ppl and it was super sweaty lol. also bc my phone camera sucks I don't have good clips that don't overexpose him as a bright white blob lol this is the best I have

ionchy@ionchy.ca

saw Kevin Walkman perform tonight again!! funnily enough the one I picked to record was Burnt Out *again* lmao

ionchy reposted

I like seeing the dev of the SNES core on the Pocket actually telling one of these dudes off. Holy shit.

OOPSLA conf program is out! I'll be giving the talk on Commuting Conversions & Join Points in CBPV at OOPSLA on Tuesday, 6 October at 10:30 am in the Semantics & Calculi track 2026.splashcon.org/details/oops...

2026.splashcon.orgCommuting Conversions and Join Points for Call-By-Push-Value (SPLASH 2026 - OOPSLA) - SPLASH 2026Welcome to the website of the SPLASH 2026 conference. We are working hard to fill the website with all related information. Please check back soon! Note that registration is now live! Please navigate ...
ionchy@ionchy.ca

Title reveal: I'm delighted to announce that our work on Commuting Conversions and Join Points in Call By Push Value has been accepted to OOPSLA 2026! This is work with Madi Gudin, Annabel Levy, and @fancytypes.bsky.social

This talk is happening in four days AND exciting news: this work has been selected for a Distinguished Paper award!!

ionchy reposted

a guy in a tesla honked at me because i was a tiny bit in the street taking this picture. i moved aside and he rolled down his window to ask, with furrowed brow, "why take pictures of nothing?". he drove off before i could answer maybe the stupidest question i've ever been asked #coolpicturesbynicky

this means my blog is no longer Javascript-free but the map is entirely optional and the page loads perfectly fine without JS enabled so I'm still keeping the zero-JS 88Γ—31 button on my front page

Despite having spent most of my childhood with incandescents and watching my parents do this I somehow forgot this and was literally :shocked_pikachu: when last year I put in an incandescent bulb I had around in my big lamp and then it burnt out a few months latet

"Online Rent-a-Sage" Bret Devereaux@bretdevereaux.bsky.social

This is something, as an aside, I am prepared to be amused explaining to the younger generation that you used to need to change a normal lightbulb about three times a year if it was on most of the day. Whereas at worst you need to change a modern LED, like, once every three years. Often longer!

it's always disappointing to me when I see a silly online vote that is not some form of ranked choice voting because if it is not in the psyches of even the nerdiest online how are we ever going to get electoral reform anywhere IRL

Who are the 38 most influential Bluesky posters of 2026? You get 10 votes, anyone with a Bluesky account can be voted for. The 38 with the most votes make the list. πŸ—³οΈ Voting ends the 21st night of September. 🌎 🌬️πŸ”₯ Cast your ballot: bsky38.com

ionchy reposted

Was walking past this building and through the window saw this backrooms-ass room, so I accidentally took the coolest picture ever due to the window's reflection

ionchy reposted

man i wish i still had my bronica kits. had to sell em when we entered a period of Bad Debt last year. but looking back i think i shot a lotta cool pics. someday i will get a nice camera again

the Bee Movie (2007) but it fits within bsky's new video constraints (max 10 mins, 300 MB)

hmm. who are the upload limits set by? I would guess it's not the PDS since it wouldn't have any reason to understand the length of a video. does that mean if bluesky the app (the appview?) decides on a new higher limit, every PDS is forced to honour it?

ionchy reposted