Kranar

57 ms·

691.
by Kranar 4y ago
I am confident my explanation addresses OPs original question, which is whether two different (and consistent) formal systems can disagree about whether a given TM halts or not (and hence differ about what the value of BB(N) for some N), an
692.
by Kranar 4y ago
But that's not what OP said and you're stating something that is very different. OP said the following: "I'm not sure whether ZFC+CH could have a different idea about BB(8000) than ZFC+notCH would." And the answer t
693.
by Kranar 4y ago
Child abuse is a much broader term than child porn, which is a subset of child abuse. Twitter had a more specific issue with child sexual exploitation as opposed to the many other forms of child abuse.
694.
by Kranar 4y ago
I disagree but am open to being corrected. It's possible that for a TM named X there is a proof that it halts in ZFC+CH and there is a proof that it does not halt in ZFC+notCH. This would mean that X does not actually halt but that ZFC
695.
by Kranar 4y ago
You never said "reputable media" you said "news organizations". Specifically you said that news organizations have some kind of real calculus about the public interest when deciding whether to publish a story and what OP
696.
by Kranar 4y ago
This ends up making the situation worse. Legalization substantially increases demand far beyond what can be produced legally and ironically the value actually goes up and results in even more of the illegal product being produced. Furthermo
697.
by Kranar 4y ago
Nope, it's "the Buddha".
698.
by Kranar 4y ago
This is just about the most shallow critique of the article you can make, and it's unfortunate it got so much attention.
699.
by Kranar 4y ago
You don't find interesting jobs you have to earn them. When a company is hiring, generally they are not hiring someone to do the interesting stuff, they are hiring people to fill an immediate need which is usually the more generic line
700.
by Kranar 4y ago
Don't know about Facebook specifically, but for Google and Microsoft, if you let the recruiter know you're actively interviewing and considering other offers, the process speeds up real fast.
701.
by Kranar 4y ago
Not all, the people giving talks are just people who happen to be interested and curious. This idea that only the best of the best are able to be curious and learn the nature of the tools they use at a very deep level is misguided and furth
702.
by Kranar 4y ago
It's interesting you mention junior engineers. My experience is the complete opposite, it's people who have been programming for many years who hate learning stuff like this and want to stick to their comfortable way of programmin
703.
by Kranar 4y ago
Your notion of paradox is more precisely known as an antinomy: https://en.wikipedia.org/wiki/Antinomy Yes, all antinomies are paradoxes but not all paradoxes are antinomies.
704.
by Kranar 4y ago
People in general notice and give attention far more to the extreme opinions then the more nuanced opinions. The vast majority of comments on distributed systems are nothing like what you mention, but they don't receive the same level
705.
by Kranar 4y ago
That's a different article altogether.
706.
by Kranar 4y ago
FTA: >The Threadripper Pro models aren't intended for gaming, but regardless, we couldn't resist the temptation to see how the chips fare when paired with a high-end GPU. The Threadripper chips don't impact competitive pos
707.
by Kranar 4y ago
> There is a parameter s, "sending q to some new position q(s)". This is a typo, author meant "sending s to some new position q(s)".
708.
by Kranar 4y ago
>But if all your friends are from all walks of life, you will naturally not be prejudiced. I'd be careful jumping to the conclusion you did based on this premise because there are a lot of subtleties here. More generally this is kno
709.
by Kranar 4y ago
I find the images to be incredible, but it's very unsettling when you focus on certain details like hands, feet, and eyes. The hands and feet that it draws are almost always mangled, and while it does a good job of drawing an individua
710.
by Kranar 4y ago
It's a matter of public record that MUSK ELON REEVE sold precisely $8,517,410,779 worth of Tesla stock between April 26th and April 28th [1]. https://finance.yahoo.com/quote/TSLA/insider-transactions?p=...
711.
by Kranar 4y ago
It's cheaper to to provide that government-enforced carbon compensation than it is to provide the massive amounts of subsidies and tax credits that oil companies get. In other words, the government actually saves money every time someo
712.
by Kranar 4y ago
No it's not and even Stepanov, the person who gave it its name, has admitted it was a mistake: Link to lecture by Stepanov: https://www.youtube.com/watch?v=etZgaSjzqlU Furthermore in his book "From Mathematics to
713.
by Kranar 4y ago
Many long living languages are those that are source compatible with a single language. C++, Objective-C, TypeScript come to mind.
714.
by Kranar 4y ago
You didn't justify anything logically, you're expressing a great deal of emotions, particularly anger and frustration because you can't accept that people might have a different opinion from yours. Disagreements are not a per
715.
by Kranar 4y ago
>As I've said twice now, it should take an unusually high threshold to downvote a content warning. Maybe it should, but whether this is true or not has nothing to do with whether people are outraged or hostile or lack empathy or any
716.
by Kranar 4y ago
>Disagreeing means being incredulous. It's the other way around; being incredulous means disagreeing, but disagreement by itself does not mean being incredulous. >If you’re downvoting a warning on the grounds no one could possibl
717.
by Kranar 4y ago
The numbers you've seen suggest you're making things up.
718.
by Kranar 4y ago
I see WASM used quite a lot. One of my favorite uses of it is on both chess.com and lichess to provide stockfish chess analysis.
719.
by Kranar 4y ago
The dispute OP has, which I also share, is with this statement: >I don't know why people seem to be so incredulous/outraged at my observation. No one is incredulous or outraged by anything you said. You pointed out that you saw
720.
by Kranar 4y ago
>The reason is simple, the truck driver didn't have any money, and the company did. The reason is simple, but has nothing to do with what you think it does. The legal principle is known as vicarious liability which means that employ

More ›