323

submitted 4 months ago by NickwithaC@lemmy.world to c/mildlyinteresting@lemmy.world

18 comments fedilink hide all child comments

you are viewing a single comment's thread
view the rest of the comments

[-] Fisk400@feddit.nu 13 points 4 months ago

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

this post was submitted on 03 Aug 2024

323 points (96.0% liked)

Mildly Interesting

17356 readers

2 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 2 years ago

MODERATORS