bryan0

57 ms·

751.
One of the Deadliest US Accidental Structural Collapses Was 40 Years Ago Today(npr.org)
2 points by bryan0 5y ago|0 comments
752.
by bryan0 5y ago
This was covered pretty extensively last year as a brushing scam, so it’s odd the article still paints this as an unsolved mystery. https://www.newsweek.com/mystery-seeds-china-brushing-scam-1... https://www.usat
753.
Amazon asked Apple to remove an app that spots fake reviews, and Apple agreed(cnbc.com)
53 points by bryan0 5y ago|3 comments
754.
by bryan0 5y ago
Yes I was referring to calculating BB(n) for arbitrary n. But certainly these numbers exist even if they’re independent of ZFC (?)
755.
by bryan0 5y ago
Yes they are independent of ZFC but they still exist. From the original article talking about CH which is also independent: > This independence is sometimes interpreted to mean that these questions have no answer, but most set theorists
756.
by bryan0 5y ago
But isn’t this what the busy beaver numbers are? Numbers that we cannot write for arbitrary n but they do exist?
757.
First African American to Win National Spelling Bee Also Holds 3 Basketball WRs(npr.org)
3 points by bryan0 5y ago|0 comments
758.
Cop investigated for blasting copyrighted music while being videoed by protester(sfgate.com)
49 points by bryan0 5y ago|15 comments
759.
by bryan0 5y ago
This article from May talks a bit more about the causes: https://www.nytimes.com/2021/05/21/us/san-francisco-shoplift... Many people point to Prop 47 which “reclassified nonviolent thefts as misdemeanors
760.
Target finally explains why nearly all its SF stores have reduced hours(sfgate.com)
55 points by bryan0 5y ago|77 comments
761.
A Physics Prof Bet Me $10k I'm Wrong(m.youtube.com)
4 points by bryan0 5y ago|0 comments
762.
Fed’s Reverse Repos Spike to $1T. Cash Drain Undoes 8 Months of QE(wolfstreet.com)
4 points by bryan0 5y ago|0 comments
763.
by bryan0 5y ago
CDC said it was "ok" to do so back in January. In Europe they studied mixing mRNA with non-mRNA doses (astra zeneca and pfizer) and that also appeared to work very well: https://www.pbs.org/newshour/health&#x2
764.
by bryan0 5y ago
pfizer trial showed first dose by itself was extremely effective. check out the chart here: https://www.businessinsider.com/how-well-pfizer-shot-works-a... Much of the data comparing efficacy of 1 vs 2 doses doesn't wa
765.
by bryan0 5y ago
Does the ad revenue go to some sort of an escrow until the claim is settled? Otherwise this doesn't seem to make any sense (??)
766.
SARS-CoV-2 mRNA vaccines induce persistent human germinal centre responses(nature.com)
4 points by bryan0 5y ago|0 comments
767.
by bryan0 5y ago
Oh you didn’t find the image captioned “An artist’s impression of a quantum microscope” of what appears to be an alien tractor beam sucking up small creatures helpful??
768.
by bryan0 5y ago
> By the early nineties scientists found the building was sinking at what they called an 'alarming' rate. I think “alarming” was the term used by USA Today which first reported the study. The scientist himself did not seem alar
769.
by bryan0 5y ago
My definition of flatten would be: m m a -> m a Definitely not arbitrary but maybe not useful for many monads (??)
770.
by bryan0 5y ago
And I thought with Juicero we had reached peak stupid…
771.
by bryan0 5y ago
That's disappointing. Haven't listened yet, but can you sum up what their (I assume Jason Fried's) worldview is?
772.
by bryan0 5y ago
I tried briefly to replicate some of Hey's features with gmail but with limited success. I think the key workflows are: 1. Unknown senders go to a bucket for categorization 2. Easily categorize which senders are "important"&#
773.
by bryan0 5y ago
I'm not sure why I'm bothering, but here are the relevant data points from the article to determine order-of-magnitude hospitalization rates for the 2 groups: > fully vaccinated people accounted for fewer than 1,200 of more th
774.
by bryan0 5y ago
> More information can never be harmful. This is an extremely naive viewpoint and in some situations quite dangerous.
775.
by bryan0 5y ago
Except that your main point is wrong. The data shows that if you are infected with covid, then you are much better off being vaccinated. You stated the opposite. It's not a subtle point, it's one of the main purposes of the vaccin
776.
by bryan0 5y ago
And yet many people replying here on HN are questioning the results. Imagine how people interpret this in the general population.
777.
by bryan0 5y ago
> 150 died out of 1200 who got COVID after vaccination You’re misinterpreting a key stat from the article: those 1200 were hospitalized for Covid, not simply infected. > This would suggest that the main benefit of a vaccine is in not
778.
Nearly all Covid deaths in US are now among unvaccinated(apnews.com)
21 points by bryan0 5y ago|31 comments
779.
U.S. Fed reverse repo volume hits record $813.57 bln(reuters.com)
2 points by bryan0 5y ago|0 comments
780.
by bryan0 5y ago
Thanks for the explanation. Is the defeq undecidability a bug of Lean that should be fixed in the future? Or is it an intentional design decision for it to function properly for other types of proofs?

More ›