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.
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 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(?)