this post was submitted on 25 Feb 2026
262 points (97.8% liked)

Programmer Humor

30090 readers
1377 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
262
New rule for filesystem developers (feditown.com)
submitted 3 days ago by exu@feditown.com to c/programmer_humor@programming.dev
49 comments fedilink hide all child comments
 

Linux filesystem developers MUST have a pair programming session at least once a week to stave off psychosis.

Frequency of sessions MUST be increased as symptoms show or worsen.

you are viewing a single comment's thread
view the rest of the comments
[–] rain_worl@lemmy.world 0 points 15 hours ago

you could make a program that verifies that the code matches the proof and that the proof is sound, but then you have to verify the program, and verify the verification, and verify your system of logic is consistent, which by gödel's incompleteness theorem is impossible(?)