this post was submitted on 10 Dec 2021
1 points (100.0% liked)

Programmer Humor

32380 readers
1392 users here now

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

Rules:

founded 5 years ago
MODERATORS
 
you are viewing a single comment's thread
view the rest of the comments
[–] weex@lemmy.ml 1 points 2 years ago

NB: Lambert's proof is a metaproof composed of 14 other proofs, 5 of which no longer get security updates.