Kogasa

I’m with you until the lockin. How does that happen?

Yeah, specifically for something like coreutils I can’t see the malicious endgame that is suggested by others here. Is the fear that a proprietary version of cat or pwd or printf takes over the ecosystem and then traps users into a nonfree agreement? Or a proprietary coreutils superset that offers some new tool and does the same thing? Or a proprietary coreutils that generates profit for businesses without attribution to the developers? What would stop anyone from just writing their own proprietary set of tools to do the same thing now, even if uutils didn’t exist? Clearly not much, since uutils did exactly that (minus the proprietary bit).

I personally don’t see a compelling reason to change to MIT, but I also don’t see the problem.

Code is easy in a vacuum. 50 moving parts all with their own quirks and insufficient testing is how you get stuff like this to happen.

No, that’s what induction is. You prove the base case (e.g. n=1) and then prove that the (n+1) case follows from the (n) case. You may then conclude the result holds for all n, since we proved it holds for 1, which means it holds for 2, which means it holds for 3, and so on.

It’s not actually claiming that all horses are the same color, it’s an example of a flawed induction argument

No, they’re not sure. You’re correct.

Definitely not.

All people. 320kbps mp3 is completely audibly transparent under all normal listening conditions. It’s a low-tier audiophile meme to claim otherwise but they will never pass a double-blind test.

It means they admit they were wrong and you were correct. As in, “I have been corrected.”

I don’t think you need permission to send someone an email directly addressed to and written for them. I don’t have context for the claims about Kagi being disputed, but I’d be frustrated if someone posted a misinformed rant about my work and then refused to talk to me about it. I might even write an email. Doesn’t sound crazy. If there’s more to the “harassment” that I don’t know about, obviously I’m not in favor.

You can also get a bluetooth amp/dac and plug your wired headphones into there. I use a Qudelix 5k for my IEMs at home and I can just put it in my pocket if I want to take them out.

Your first sentence asserts the claim to be proved. Actually it asserts something much stronger which is also false, as e.g. 0.101001000100001… is a non-repeating decimal which doesn’t include “2”. While pi is known to be irrational and transcendental, there is no known proof that it is normal or even disjunctive, and generally such proofs are hard to come by except for pathological numbers constructed specifically to be normal/disjunctive or not.

Web of trust

It’s (co)homology, not Cartesian algebra. There’s also a typo in the meme. I have a fixed version and solution somewhere.

Yes, the egg needs to be barely cooked before battering and frying, which makes it really annoying to shell + batter + fry them

foo terminal

foot

R^(3) specifically

Did they teach you how to formulate thought experiments in the shop?

Yeah, basic graduate level math is a lot more useful than whatever you do with your life to warrant such an attitude.

Specifically, the thing that exists is a regular homotopy of immersions from the standard embedding to its opposite. The “rules” aren’t supposed to be self evident, they’re part of a broader context in topology