810

submitted 1 week ago by [email protected] to c/[email protected]

85 comments fedilink hide all child comments

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

[-] [email protected] 2 points 1 week ago

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

[-] [email protected] 1 points 1 week ago

I did say "general purpose".

I did say "fun fact".

this post was submitted on 08 Jun 2025

810 points (97.2% liked)

Programmer Humor

24347 readers

936 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