Ad4mWayn3

u/Ad4mWayn3@sh.itjust.works
6 posts · 25 comments

Recent posts

Recent comments

on PC Master Race · c/lemmyshitpost · 0 pts · 176d

No, thanks! I'd instead like a handful of punctuation and proper formatting, for instance:

500 non-gaming PC because your ps5 isn’t a useful alternative 500 ps5 650 ps5 pro 4 years in 720 for PlayStation online basic at 10 per month

With no commas, periods, or maybe a dollar sign before the numbers, if I didn't know you were making a price comparison, it would just seem you're just throwing a bunch of numbers around without making any sense.

on imagine · c/lemmyshitpost · 1 pts · 259d

I just imagined the set of countable ordinals, and there's a universe where I'm right

I mean, just because you implemented something in a low level lang, it doesn't mean you're gonna have the fastest implementation. Even in high level langs, there's usually heavy optimization involved in things that are done all the time (e.g. web servers)

on Say it ain't so · c/programmer_humor · 25 pts · 1y

A vibe programmer that built a palm-sized fusion reactor in a cave over the course of 3 months with a single companion? Perfectly respectable to me. And he probably made his own AI too :)

I've always imagined peak programming as building up from low level languages, putting on some layers of abstraction and automatization written by yourself, and end up writing some trivial commands to produce very interesting outputs... Who knows? Maybe throwing around some holograms and voice-commands asking for nonsense. It doesn't get much more vibey than that.

Programming in vim and emacs does look like that lol.

0! = 1 isn't an exception.

Factorial is one of the solutions of the recurrence relationship f(x+1) = x * f(x). If one states that f(1) = 1, then it only follows from the recurrence that f(0) = 1 too, and in fact f(x) is undefined for negative integers, as it is with any function that has the property.

It would be more of an exception to say f(0) != 1, since it explicitly denies the rule, and instead would need some special case so that its defined in 0.

Multiplication order in current mathematics standards should happen the other way around when it’s in a non-commutative algebra.

The good thing about multiplication being commutative and associative is that you can think about it either way (e.g. 3x2 can be thought of as "add two three times). The "benefit" of carrying this idea to higher-order operations is that they become left-associative (meaning they can be evaluated from left to right), which is slightly more intuitive. For instance in lambda calculus, a sequence of church numerals n1 n2 ... nK mean nK ^ nK-1 ^ ... ^ n1 in traditional notation.

For example, we can’t write 2ω for the next transfinite ordinal because 2ω is just ω again on account of transfinite and backwards multiplication weirdness, and we have to write ω·2 or ω×2 instead like we’re back at primary school.

I'd say the deeper issue with ordinal arithmetic is that Knuth's up-arrow notation with its recursive definition becomes useless to define ordinals bigger than ε0, because something like ω^(ω^^ω) = ω^ε0^ = ε0. I don't understand the exact notion deeply yet, but I suspect there's some guilt in the fact that hyperoperations are fundamentally right-associative.