ionchy reposted
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
ionchy reposted
Here's a package git.ionchy.ca/ionchy/LunaL... You can see the examples here git.ionchy.ca/ionchy/LunaL...
ionchy reposted
ionchy reposted
So I wrote another thing in my @pckt.blog - I'm not really sure how to describe it, except: What a terrible day to have a computer
ionchy reposted
ionchy reposted
ionchy reposted
I regret to announce that Pillowfort will be closing on Dec. 4th. You can read more on Pillowfort: www.pillowfort.social/posts/8413273
I've started migrating film albums to my website: ionathan.ch/fotos/2397-s... mainly bc I'm running out of Flickr storage but there's still ~4 rolls' worth so not soon. but bsky has native Flickr embeds while links to my site will show nothing so I'm still uploading there anyway flic.kr/s/aHBqjD7Dvo
ionchy reposted
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
saw Kevin Walkman perform tonight again!! funnily enough the one I picked to record was Burnt Out *again* lmao
ionchy reposted
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...
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
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
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
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!
ionchy reposted
CANADIANS, this petition to regulate data centers in Canada is open until September 24, please sign! www.ourcommons.ca/petitions/en...
ionchy reposted
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
I used to be part of a movie night group who used civs1.civs.us just to vote on movies so I know it's not, like, conceptually difficult to understand
ionchy reposted
ionchy reposted
ionchy reposted
ionchy reposted
Replying to @ionchy.ca
I think the duration is baked into the app: github.com/bluesky-soci... maxsize for video blobs is in the lexicon: pdsls.dev/at://did:plc... There is also a separate blob size limit many PDSs set, which was typically 100mb a while back and wasn't made visible anywhere.
github.com/bluesky-soci... the file size limit is part of the bsky lexicon, so I think if PDSes want to correctly host bsky records they need to honour the limits as set by bluesky in the lexicon
ionchy reposted
I learned some things about atproto and Bluesky that I didn't know before. Maybe you did know them. I write them down, just in case you didn't.