in the linux community it's really common to have applications like MPD, music player daemon, or MPC, music player client, and ncmpc, ncurses music player client, and ncmpcpp the aforementioned one with ++ tacked onto the end.

Cmus, which from what i can recall is literally "c music player"

etc....

[–] PoolloverNathan@programming.dev 1 points 6 months ago (1 children)

fia? fir? fib (part of fia)?

[–] KillingTimeItself@lemmy.dbzer0.com 2 points 6 months ago

exercise left up to the developer!

[–] humbletightband@lemmy.dbzer0.com 6 points 6 months ago (1 children)

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

[–] 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.