namark @namark@qoto.org

@nerdman Just an observation, not kink shaming.
@p

@nerdman Do they? Or you mean they should? I can't tell.
Perhaps you meant "People whose job I value more get paid more money". That's... meaningful... I'll add this to the list of my association with the word.
@p

@nerdman @p even god-king wants to be dommed by proprietary software

@p me personally? @nerdman

@nerdman hmmm... sounds like a tautology... also what's cracy in that... as a programmer I disapprove of that definition

@p

@p @nerdman I must become the ultimate quantum physicist neurobiologist hunter gatherer hacker and then I would be god-king of universe like my idol elon gates?

@nerdman what's meritocracy? The search result says it's a joke.

@p

@freemo I'm sure everyone here noticed how slightly it was... like 5 times.

false dichotomy - rejected half the time

false equivalence relation - rejected once per the number of equivalence classes

false total order - accepted most of the time

@Terry @colonelj you have to understand who you are dealing with here... private investigator Terry revolutionized the field off forensics by his unprecedented and extremely effective technique of licking pixels. His tongue has been recorded to permeate multiple layers of video compression artefacts.

"mlem, mlem, mlem... tis taste lik a gon ta mi" - Terry

@design_RG lemmy? dev.lemmy.ml

I have discovered an obvious serious flaw in my plan, that threatens to render std::rotate inapplicable D:

#cpp

@ssokolow moar moaaar
Once Upon a Troubadour
Kuolema Tekee Taiteilijan
Angels Fall First
Walking in the Air
Sleeping Sun
While Your Lips Are Still Red
Slow, Love, Slow

planning to use std::rotate

#cpp

@rozenglass

Our good robot servants we understand, the one we don't/can't understand will make us its servants, or worse deprecate us. That's what I meant. If it's not that machine, and is just coincidentally unexplained, than someone will come up with an explanation eventually. And until that point we'll be wondering "is this math or is this our new overlords?" with some thick plot, much better than terminator or matrix.

@sir

@rozenglass

Tent is an analogy of any discovery or invention or knowledge. The rigorous explanation is math, even if it's an explanation of something well known. It's useless you would say, and sure it is, until you are sufficiently advanced to build a machine (in the broadest sense) that can make tents, then it becomes your holy grail.

Something that exists in just one person's head will not exist for long. Unless of course they make it into a machine which no one else understands. I for one welcome our rob... no I don't!

Math is the teachings of our kind. I can't imagine any other definition that wouldn't be religious.

@sir

@rozenglass

I'm just saying none of that is math. Math is not the science of some fundamental truth (in a way it proved that such truth is impossible to define https://en.wikipedia.org/wiki/Tarski's_undefinability_theorem). I'm also not saying that invention, discovery or common sense do not exist. They do. They come from various places, be that the physical world, or your imaginary unicorn land. Still not math.

I'm playing around with some sticks and woah a tent appears! (not math)
Can I do this again? Woah I did it again! (still not math)
This is kinda tedious, maybe I could get Bobalice (ancient Babylonian name) to do this for me. How do I explain it though? (this is where it starts)

Bobalice after explanation: I knew this before you were born you dumbo (math still happened)

@sir

@rozenglass @sir math is neither invented nor discovered, it is only taught. If you are sitting in the corner brainstorming that's not math. Math starts when you start explaining it to another person. You don't need arithmetic or even a concept measurement to build a tent, you need them to tell me how to build a similar tent on a small clay tablet, cause they heavy af.

@hyphen *looks up GHC*
"it can make c code and send it to gcc
or compile to binary itself
or use an llvm backend"

reaction:
hehe, of cource it uses gcc
or whaaa? cool
or blasphemy!

@tuxcrafting @r @fluffy