JadeNB

> I'm currently reading a book on a local mafia boss, and the best the church could do, when he was finally popped, was refuse to host his funeral.

Not to defend the church, but what else should they have done?

> > A black box oracle that just tells you whether statements are true or false is not the goal of mathematics and would not be particularly interesting to the field

> This is a crude distortion. The recent breakthroughs have come with proofs, reasoning and verification, and there is no proposal that I'm aware of that would do away with these foundations.

I believe that we are still at the point where these proofs serve as verifiable certificates of correctness, so that it's not a "trust me bro" situation, but where humans mostly still don't find them understandable, so that they are still just a highly reliable black box.

> We would probably no longer care about code, engineering or even physics and mathematics among other things. We would probably mainly care about

… about what?

> - Verily I say unto thee today, shalt thou be with Me in Paradise.

Shouldn't this one be "Verily I say unto thee today, thou shalt be with Me in Paradise?"

> It was a different time. Everything from movies to stories at the bus stop were longer, more relaxed, less rushed. www probably didn't seem like a big deal at the time.

Hmm, and yet, though of a different era, we got `cp`, `ls, `mv`, `rm` ....

I agree, it is used in place of meat, but I think that it is not usually intended to mimic meat. For example, I think that few people would claim you could use tofu as a drop-in recipe replacement without affecting flavor, whereas meat replacers like Impossible are intended to be able to do exactly that.

> * Ultra-processed plant-based meat replacement

There, fixed that for you.

I think that it's also literally all plant-based meat replacers (meaning products intended to mimic meat, rather than just replacing meat with plants).

In case you missed the intentional misspelling, rather than are just going along with the joke: the word used was 'udder' (a cow's teats) rather than 'utter'.

> Every time I've tried to use it (as recently as half a year ago) it's still a shitshow and never displays or updates apps correctly. Half the time an app showed up on the website that didn't show up on the phone app.

Sounds like an accurate recreation of the Play Store experience to me.

I believe that, (possibly only) in the early days, it offered to add any imported music to your library, which I think it indeed did by converting to AAC and putting in a directory structure of its choosing.

Presumably there's not much logical obstruction to all human-understandable math eventually being formalized, although the willingness and ability to commit the requisite enormous amount of time will probably be insurmountable. But definitely that hasn't happened already!

What does "fully riced with cats" mean?

Boy, I really hope somebody got fired for that blunder.

I'd call P = NP computer science rather than math, but perhaps it's reasonable to call it sufficiently on the theoretical side of CS that it really is math.

For what it's worth, it's not a problem with multiple kinds of multiplication (multiplication by a scalar can be viewed as multiplication by a specific kind of matrix), but with the idea that one can cancel in a multiplication. Since you can't cancel in matrix multiplication, you run into unexpected trouble when you try to do so, even if that's the only multiplication in sight. (In fact, you can't cancel in scalar multiplication either unless you've checked that you aren't multiplying by 0 …. Also, I'll note that surely no young mathematician has encountered the P = NP problem without thinking for a sophomoric moment that the solution is N = 1.)