860
race conditions (lemmy.zip)
submitted 1 month ago by 0x0@lemmy.zip to c/programmer_humor@programming.dev
87 comments fedilink hide all child comments
you are viewing a single comment's thread
view the rest of the comments
[-] JackbyDev@programming.dev 1 points 1 month ago

Fun fact, some languages are not turing complete and I believe people would still consider them programming languages. They're typically targeted at making mathematical proofs.

[-] nialv7@lemmy.world 2 points 1 month ago

I did say "general purpose". And many proof assistants are Turing Complete actually, such as Lean.

[-] JackbyDev@programming.dev 1 points 1 month ago

I did say "general purpose".

I did say "fun fact".

this post was submitted on 08 Jun 2025
860 points (97.3% liked)

Programmer Humor

25180 readers
1571 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 2 years ago
MODERATORS
Feyter@programming.dev
anzo@programming.dev
BurningTurtle@programming.dev
pylapp@programming.dev