Programmer Humor

19623 readers

2 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

Feyter@programming.dev

anzo@programming.dev

BurningTurtle@programming.dev

pylapp@programming.dev

624

The easiest problem (discuss.tchncs.de)

submitted 6 months ago by PotatoesFall@discuss.tchncs.de to c/programmer_humor@programming.dev

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

[–] CanadaPlus@lemmy.sdf.org 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.