Programmer Humor

19480 readers

213 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

[email protected]

620

The easiest problem (discuss.tchncs.de)

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

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.