Screenshot of website emulating a green screen terminal connected to a Unix v4 system

Unix v4 circa 1973 available from your browser at unixv4.dev from discuss.systems/@danielcowen...

Hey atproto folks, I want feedback on some data gathering. I'm trying to get accurate monthly active user counts for each PDS.

A jack-o-lantern on someone’s porch steps. The pumpkin is old and starting to rot in such a way that it looks like an old man with no teeth, making a grumpy expression, with the top also falling in. This pumpkin has seen some stuff.

Anyway please enjoy this pumpkin I saw yesterday

Illustration of a scuba diver in an underwater cave being alarmed at the precipice of a steep drop. The diver is you. The drop is Cutting sour gummy worms from your life. The lowest point after the drop is Misery from sour gummy worm cravings. The upward section of cave leading to the surface after that is Building better habits, taking swigs of lemon juice here and there. The surface is Happy life, free from the influence of sour gummy worms. (other sour gummy creatures still ok)

🪱

Woodcarved sculpture of a really round capybara on a workbench, next to a carving knife. Seen from its left side

The sculpture seen from behind, it is almost pear shaped

Seen by the front, 3/4

Seen from its right side

New capybara just dropped
(Commissioned)

is it … in pain?

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!