this post was submitted on 03 Aug 2024
323 points (96.0% liked)

Mildly Interesting

17388 readers
263 users here now

This is for strictly mildly interesting material. If it's too interesting, it doesn't belong. If it's not interesting, it doesn't belong.

This is obviously an objective criteria, so the mods are always right. Or maybe mildly right? Ahh.. what do we know?

Just post some stuff and don't spam.

founded 1 year ago
MODERATORS
 
you are viewing a single comment's thread
view the rest of the comments
[–] Fisk400@feddit.nu 13 points 3 months ago

Formally proving trivial things help when proving non trivial things and sometimes the trivial thing turns out to be wrong.