this post was submitted on 07 May 2024

625 points (97.6% liked)

Programmer Humor

19699 readers

132 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

Keep content in english
No advertisements
Posts must be related to programming or programmer topics

founded 1 year ago

MODERATORS

625

The easiest problem (discuss.tchncs.de)

submitted 6 months ago by [email protected] to c/programmer_humor

103 comments fedilink hide all child comments

https://mastodon.social/@lovegame/112402050452885908

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

[–] [email protected] 4 points 6 months ago* (last edited 6 months ago)

So don't use it in non-KRY-definite AA situations, or you could get erroneous results. QQX is fine though, as long as you have non-vanishing ABCD. /s

I wonder if Lean proofs become the new peer review like I've heard suggested, if mathematics might break from this, and look more compsci-ish in the future. That way non-specialists could get up to speed quickly.