Programmer Humor

37249 readers

10 users here now

Post funny things about programming here! (Or just rant about your favourite programming language.)

Rules:

Posts must be relevant to programming, programmers, or computer science.
No NSFW content.
Jokes must be in good taste. No hate speech, bigotry, etc.

founded 6 years ago

MODERATORS

AgreeableLandscape@lemmy.ml

cat_programmer@lemmy.ml

459

Infallible Code (lemmy.ml)

submitted 3 days ago by sirico@feddit.uk to c/programmerhumor@lemmy.ml

160 comments fedilink hide all child comments

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

[–] balsoft@lemmy.ml 3 points 2 days ago

I'm glad to tell more people about it. It's really quite amazing (I could write a somewhat complex algorithm and prove some properties about it in a couple afternoons, despite limited formal verification experience) and I'm sure that in 20 odd years the ideas behind it will make it into mainstream languages, just as with ML/Haskell.