this post was submitted on 23 Jun 2026

215 points (96.9% liked)

Programmer Humor

32303 readers

1902 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 3 years ago

MODERATORS

Feyter@programming.dev

anzo@programming.dev

BurningTurtle@programming.dev

pylapp@programming.dev

215

Meet Potential Language (lemmy.world)

submitted 3 weeks ago by ZILtoid1991@lemmy.world to c/programmer_humor@programming.dev

37 comments fedilink hide all child comments

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

[–] bss03@infosec.pub 1 points 2 weeks ago

Yeah, GRTT wasn't really invented until 2021. Of course it borrows from many other theories, but it is not easy to fit under existing calculi (tho it can be "lowered" to MLTT).