215
Meet Potential Language (lemmy.nz)
submitted 2 months 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 months 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).

this post was submitted on 23 Jun 2026
215 points (96.9% liked)

Programmer Humor

33033 readers
1504 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

founded 3 years ago
MODERATORS
Feyter@programming.dev
anzo@programming.dev
BurningTurtle@programming.dev
pylapp@programming.dev