[-] kogasa@programming.dev 3 points 4 months ago

The axiom of choice doesn't say one way or another whether the spectrum in "the standard order" (is there a standard definition of more/less gay?) is a well ordering, only that there is some well ordering.

[-] kogasa@programming.dev 3 points 5 months ago

The question doesn't make sense, there are many things which have an infinite quality (like infinite cardinality) or are called infinite/infinity (like infinite cardinals and ordinals). They're not contradictory. They coexist the same as all finite things do.

[-] kogasa@programming.dev 3 points 5 months ago

Holomorphicity is equivalent to (or defined as) being differentiable in a nonempty, connected, open set, so it's not asking much. Even then, functions which fail to be holomorphic can often be classified in a similarly rigid way.

[-] kogasa@programming.dev 3 points 9 months ago

It cannot in fact be oriented, regardless of the embedding and the dimension of the ambient space.

[-] kogasa@programming.dev 3 points 10 months ago

Because "relativity" isn't even close to your biggest problem with time. The way we communicate time changes historically, unpredictably, without obvious record. The only way to know what time you're talking about is to know exactly how you got your information. What location, measured at what time relative to recorded changes in the local time zone, with how much drift relative to the last time you synchronized to which ntp server, and so on. These things easily account for hours or days of error, not just nanoseconds.

[-] kogasa@programming.dev 3 points 1 year ago

Well, there's a bit of work to do. See Ungoogled Chromium for an example of a stripped-down Chromium.

[-] kogasa@programming.dev 3 points 1 year ago

"have to follow the standard for HTML"

Websites have historically been so godawful about complying with web standards that browsers had no choice but to support grossly non-standard code. Which then became standard. Now the vast majority of the web only works because of browser implementation details. So it's Chromium and Gecko and nothing else ever again.

[-] kogasa@programming.dev 3 points 1 year ago

And that has to be just about one of the pettiest to distinctions known to man.

If it's a petty distinction, why not acknowledge what I'm saying and move on? What is the point of this conversation for you?

It’s still built to write code. Yes text is code, but vim is not a text editor in general,

It's built to edit text, not just code. Yes, text is code, but Vim is a text editor in general.

The features are in the editor.

Once you put them there, yeah.

They are integrated with the editor.

Once you put them there, yeah.

Yes, it’s through plugins,

.

but they’re still part of the editor

..

[-] kogasa@programming.dev 3 points 1 year ago

Like I said, Vim can be made into an IDE by adding and configuring plugins. Basic barebones vim is designed to be a powerful, extensible text editor, not an IDE.

[-] kogasa@programming.dev 3 points 1 year ago* (last edited 1 year ago)

No, he's right. "For any odd prime" is a not-unheard-of expression. It is usually to rule out 2 as a trivial case which may need to be handled separately.

https://en.wikipedia.org/wiki/Fermat%27s_theorem_on_sums_of_two_squares

https://www.jstor.org/stable/2047029

https://www.jstor.org/stable/2374361

[-] kogasa@programming.dev 3 points 1 year ago

They're using Tildes and Lemmy. Maybe they like Tildes more or think it has more of a need for another app than Lemmy does. Not a competition, really.

[-] kogasa@programming.dev 3 points 1 year ago

This can happen if you accidentally pilot your player character into a singular linear transformation.

view more: ‹ prev next ›

kogasa

joined 1 year ago