624
The easiest problem (discuss.tchncs.de)
submitted 7 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
[-] humbletightband@lemmy.dbzer0.com 7 points 7 months ago

This joke is funny only if placed in Arnold-Atyah manifold if Kolmogorov-Ramachandran-Yu metric is defined

[-] CanadaPlus@lemmy.sdf.org 4 points 7 months ago* (last edited 7 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.

this post was submitted on 07 May 2024
624 points (97.6% liked)

Programmer Humor

19821 readers
967 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

founded 2 years ago
MODERATORS
Feyter@programming.dev
anzo@programming.dev
BurningTurtle@programming.dev
pylapp@programming.dev