"biz > user" is valid on paper because someone has to pay for the party; there are a finite number of software devs and capitalism is great at allocating scarce resources where they're most needed. Or at least the "spherical cows" version of free-market capitalism is great at that. In that version of capitalism, if your OS spends too much time putting spam in the Start Menu and not enough on fixing bugs, you can just…
Just because this doesn’t happen instantaneously doesn’t mean it’s a fantasy. Large changes in an ecosystem always take time. It may be years before the incumbents are truly displaced, but that doesn’t mean they won’t be. MySpace and RIM also seemed like they’d be there forever.
Code is run more than read
101–110 of 325 posts
Re: Code is run more than read
#102Earlier quoted context omitted.
Likewise, TIL. In your link however it states "Example 1: Numerical Context Let's consider two real numbers, a and b. If a is neither greater than nor less than b, but they aren't explicitly equal, the relationship is ≹" How can that be possible?
It is false - real numbers fulfill the trichotomy property, which is precisely the lack of such a relationship: every two real number is either less than, equal or greater than. But the numerical context can still be correct: (edit: ~~imaginary~~) complex numbers for example don’t have such a property.
Re: Code is run more than read
#103TIL of ≹, which "articulates a relationship where neither of the two compared entities is greater or lesser than the other, yet they aren't necessarily equal either. This nuanced distinction is essential in areas where there are different ways to compare entities that aren't strictly numerical." ( https://www.mathematics-monster.com/symbols/Neither-Greater-... )
Re: Code is run more than read
#104Earlier quoted context omitted.
Likewise, TIL. In your link however it states "Example 1: Numerical Context Let's consider two real numbers, a and b. If a is neither greater than nor less than b, but they aren't explicitly equal, the relationship is ≹" How can that be possible?
It is false - real numbers fulfill the trichotomy property, which is precisely the lack of such a relationship: every two real number is either less than, equal or greater than. But the numerical context can still be correct: (edit: ~~imaginary~~) complex numbers for example don’t have such a property.
Re: Code is run more than read
#105Earlier quoted context omitted.
That depends on the application and the use case, but good performance and good readability aren't mutually exclusive. Easy to read software might not always be the most performant, but it's far easier to improve performance in an easy to read codebase than it is to make a hard to read but performant codebase easier to read.
Yeah, that's right. I just feel that latency is sometimes missing from the discussions re. developer efficiency vs paying more for compute.
Re: Code is run more than read
#106Earlier quoted context omitted.
Likewise, TIL. In your link however it states "Example 1: Numerical Context Let's consider two real numbers, a and b. If a is neither greater than nor less than b, but they aren't explicitly equal, the relationship is ≹" How can that be possible?
I think they mean the case where a and b are variables for which you don't know the values.
(a+b)^2 != a^2 + b^2
To mean that in general the equality doesn't hold. Despite exceptions like a=b=0Strictly you should write something like
¬[∀ a,b (a+b)^2 != a^2 + b^2]
But shorthand and abuse of notation are hardly rareRe: Code is run more than read
#107Earlier quoted context omitted.
It is false - real numbers fulfill the trichotomy property, which is precisely the lack of such a relationship: every two real number is either less than, equal or greater than. But the numerical context can still be correct: (edit: ~~imaginary~~) complex numbers for example don’t have such a property.
i'm learning about this right here as I read, but do you mean complex numbers rather than imaginary?
Re: Code is run more than read
#108Earlier quoted context omitted.
How can the sum of a bunch of positive powers powers of 2 be a negative number? Isn't the sum of any infinite series of positive numbers infinity?
The infinite sum of powers of 2 indeed diverges in the real numbers. However, in the 2-adic numbers, it does actually equal -1. https://en.wikipedia.org/wiki/P-adic_number
Re: Code is run more than read
#109Re: Code is run more than read
#110Earlier quoted context omitted.
It is false - real numbers fulfill the trichotomy property, which is precisely the lack of such a relationship: every two real number is either less than, equal or greater than. But the numerical context can still be correct: (edit: ~~imaginary~~) complex numbers for example don’t have such a property.
i'm learning about this right here as I read, but do you mean complex numbers rather than imaginary?
Or more generally, vectors. They don't have a total order, because as we define "less than"/"greater than" in terms of magnitude (length), this means for any vector V (other than 0), there's an infinitely many vectors that are not equal to V, but whose length is equal to length of V.
Is this is what ≹ is talking about?