And even him doesn’t know what’s working and what’s making things worse. He claims to have really good biomarkers but that’s when cherry-picking numbers from studies made in a range of more than two years (!!).
You’ll never see a published set of tests from him. What you’ll see is ads to buy his supplements.
Everyone talks about stopping drugs entering the border but no one talks about dismantling the extremely efficient logistic network that makes those drugs available in every corner of each major city.
I guess it’s easier to blow up random boats in the pacific than prosecuting corrupt officials but is it effective?
I would say it's as American as it gets, and in this case justified as well. Do you not know America's history..? Even recent one? Obama ordered drone strikes in foreign countries as well.
I’d say is not different to having a hobby. If you spend so much time on any hobby such that you neglect your work or your family then yeah it’ll lead to trouble.
Roughly the same is true for sexual interactions. Was posted on HN a while ago. And I think it makes perfect sense, if you look at Japan they have all that development and are like 10+ years ahead.
The record's been lowered since then, I should note. At least down into the 600s, I've seen claims of down in the 400s. But I haven't really kept up with this.
No, that's a misconception. If you add BB(748)==‹any N but the correct number›, you get an inconsistent system that will either claim that a machine doesn't halt even though it does (e.g. the real BB champion), or that some machine does halt at N steps, which you can then disprove by enumerating all the turing machines of the relevant number of states for N steps, and showing that no machine halts at that step.
Either way, the only BB axiom you can add without blowing up ZFC is the correct one.
Nope, that’s the crazy thing. busy beaver numbers are simple arithmetical constructions. There is a fact of the matter about each value of BB(n)! We just can’t ever know more than a small handful of them.
