Dev

ionchy @ionchy.ca • 2d I really hope Australia wins Eurovision this year ionchy @ionchy.ca • 2d "that's half the size of a football field, or a quarter of two" • ionchy @ionchy.ca • 21m rip Australia

A story in 3 acts

376 / 1000 Highly Engaging Explorer Reply Guy 681 days old Dev @sincerely.dev Bluesky Score: 292 AT Proto Score: 85 Bluesky Status: Barely Active AT Proto Status: Inactive

I’m owned

🥰

Wonder how many nuts they’ve hatched so far

Consistency of a Dependent Calculus of Indistinguishability | Proceedings of the ACM on Programming Languages The Dependent Calculus of Indistinguishability (DCOI) uses dependency tracking to identify irrelevant arguments and uses indistinguishability during type conversion to enable proof irrelevance, suppor...

Our POPL 2025 paper, Consistency of a Dependent Calculus of Indistinguishability, is officially out!
doi.org/10.1145/3704...
This is work by Yiyun Liu @ohqo.bsky.social, me, and Stephanie Weirich, proving consistency, normalization, and decidability of type checking for DCOIω. 1/3

"fell for it again award" meme for the Wheel of Fortune card in Balatro

A digital illustration of an opossum mixed with a dandelion. Its face and neck are made from yellow petals and its body has green leaves sprouting from it. Its tail has a poofy seed head on it.

I was reminded that I haven’t shared this cutie in a while.
Dandelion Opossum - 2019

[ #art #illustration #botanimals ]

@sidvee.bsky.social I’ve really enjoyed the Indian team selection discussion this series on 81 all out, would love it for the next one if you discussed it wrt Australia. They’ve gone in with 3 pacers and a spinner all series, and suffered, drawing games they could have won.

YOU CAN'T REJECT MY PAPER ON CHRISTMAS EVE! YULE REGRET THIS! transit advisor from simcity 2000

My message to Eurosys

Have you seen www.ibm.com/design/langu...

That’s what I now use for my graphs and diagrams

#dc267f #fe6100 #ffb000 #648fff #785ef0

IBM colourblind-safe palette pride flag
lospec.com/palette-list...

Sorry D:

I wish these things surprised me 😞

Scattered sadly, we have a bunch on discuss.systems, some here, some still on Twitter

After waiting 7 months and finally emailing them to enquire the status, today I learned that UCSC simply forgot to issue my PhD.

This is not a serious school.

Let me just remind you about the rents in Santa Cruz (ucop.edu/enrollment-services/d…) where most grads pay 40–50% of their stipend on rents to live in a shared house.

I’ve never seen a system run by a bigger bunch of clowns.

I recommend against going to UCSC (or any other UC) for grad school until they fix their ways.

The incompetent admin is demanding repayment from students (funds which came from grants, not the UC) for “overpayment” because of strikes.

recurse.social/@redmp/11349...

Heard there are more people here now. Howdy! I’m still primarily on discuss.systems, but will poke my head in here once in a while

me when uhmmm Ummm LIES LIES FALSEHOODS i like LYING i'm a MISinFoRMATION SPREADER i like PROPAGATING UNVERIFIABLE FACTS OVER THE INTERNET

Provide accurate information? Never!

omg

cat loaf

You: cornered cat is DNS

I’m no longer ⚠️ invalid handle!

Wait, Twitter has DMs??

first banana spider of the year

close up of Jonesy, a black tuxedo fluffy cat, staring at a chipmunk on the porch through the sliding door windows

grey morning

orange red eft on a rock looking majestic

met a guy while out hiking in Vermont

🦀

🦀

a black cat with white paws loafing on some crinkly packing paper.

a tabby cat snuggled on a bag on a bed

these are my cats, Reilly and Jonesy. they are four years old, Maine coon mixes. we got them when they were four months old and a bonded pair.