In this context it's proofs of properties about the program you're writing. A cl...

		IshKebab 1 day ago \| parent \| context \| favorite \| on: If you're going to vibe code, why not do it in C? In this context it's proofs of properties about the program you're writing. A classic one is that any lossless compression algorithm should satisfy decompress(compress(x)) == x for any x.