this post was submitted on 08 Jun 2025
780 points (97.4% liked)

Programmer Humor

23995 readers
1674 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
 
you are viewing a single comment's thread
view the rest of the comments
[โ€“] nialv7@lemmy.world 1 points 7 hours ago (1 children)

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

[โ€“] JackbyDev@programming.dev 1 points 6 hours ago

I did say "general purpose".

I did say "fun fact".