this post was submitted on 12 Mar 2026

1095 points (98.7% liked)

Programmer Humor

30336 readers

1714 users here now

Welcome to Programmer Humor!

This is a place where you can post jokes, memes, humor, etc. related to programming!

For sharing awful code theres also Programming Horror.

Rules

Keep content in english
No advertisements
Posts must be related to programming or programmer topics

founded 2 years ago

MODERATORS

Feyter@programming.dev

anzo@programming.dev

BurningTurtle@programming.dev

pylapp@programming.dev

1095

might be a form of Jevons Paradox (lemmy.blahaj.zone)

submitted 1 day ago by not_IO@lemmy.blahaj.zone to c/programmer_humor@programming.dev

240 comments fedilink hide all child comments

https://raru.re/@ocean/116214437024389203

you are viewing a single comment's thread
view the rest of the comments

[–] Undearius@lemmy.ca 7 points 17 hours ago (1 children)

It took me a long time to figure out that "GRTT" is "Graded Modal Type Theory". Letting others know, if they want to look into it further.

[–] bss03@infosec.pub 2 points 16 hours ago

Sorry. I didn't pick the acronym, it comes from the paper: https://arxiv.org/pdf/2010.13163.pdf I'm not sure why there's no "M" in the acronym, but I should probably spell things out when I actually want collaborators.

While I'm dropping links, I will also drop https://github.com/granule-project/ where Gerty and Granule live and where real research is done.