skysight-inc/HackerNews huggingface dataset:
The immediately preceding sentence is quite important: “Since I believe ~ 50% of the diversity in the tree comes from sequencing errors, the TMRCAs would likely be even more recent - possibly pushing the interval towards the end of December.“

The models to which they were replying put the date range of the most common recent ancestor potentially as far back as October.

Please don’t compound the error bars.
What the R&D dept aspires to maybe do in the future is hardly the same as what they do in the present.
Right, i don't think google displays the entire quora answer set, i see the google snippets of a quora answer set as an ad the click the quora link and read all the quora answers. I certainly don't trust that Google has actually extracted the complete set of valuable info from a quora page. Just like Stackoverflow i want to read many answers and many opinions. I would bet the when google presents a quora snippet, the quora page has MORE traffic.
The Fed is pumping money, the yield curve inverted, job openings are flat/declining, people have been predicting recession for 2 years... the precise date of an actual recession is not declared until long after the fact, but I certainly wouldn't bet on the recession not having started already. And there are strong political reasons to avoid any mention of recession, so we might see economic indicators getting distorted in the coming months.
How? If I understand the question - just like everything else. (Bends light, for example.)
> You seem to believe that it is because your parents were reading a lot to you that you were able to read by yourself at the age of 4.

IIRC, there's evidence that (like many things) independent reading is driven by parents modelling the behavior (independent reading), rather than by parents reading to children.
Lies That Tell the Truth
I can very much recommend an electric toothbrush against brushing too hard. Depending on the model it lets you know when you push too hard. It has helped me a lot.

Also, according to my dentist the receded gums don't grow back which is quite scary.
Cheap, fast, good...pick three!
I assume the Federal Reserve Board aka the central banking system of the US
The issue with ads is not their obtrusiveness....
Vine founder launches TikTok competitor
Hmm I wonder what hospital the patient is at. According to the email sent to the uchicago community from the provost, she's not at uchicago medical. I would guess northwestern or rush.
"This was the first time that Microsoft has credited the NSA for a reported security vulnerability."

I read somewhere, it wasn't the first time the NSA has told MS of a vulnerability, but previously they'd refuse to be named as the reporter. And this time it seems someone thought "Hey we can score some PR points here and be credited as the heroes!".

And they've even called it "Turning a new leaf".
I used to be on the side of “why do we need Quora” camp but over the last few years I see that they have some really good content that no one else has, particularly content about obscure questions that wiki is not meant for. So I end up visiting often. The problem is they don’t have a way to monetize the content. They can only survive on cash so long.
Wikipedia is amazing for anything that's not remotely political, or has the possibilities of being moderately politicized.

There are full-time communist tankies editing thousands upon thousands of articles in an attempt to propagandize and brainwash the public.

It's great for technology though.
It's at least a few weeks before it reverts for me.
Are these tools really used by disease labs?
There is only one of these level-4 labs in China and it is in Wuhan...
> First, where is he getting that car commuters outnumber rail commuters (just barely) in New York? Last I heard the split was 60/40 in favor of rail.

He's getting that number from American Community Survey data, and it's including the full MSA, which includes the entirety of Long Island and half of New Jersey, even if you don't work anywhere near NYC itself. The 60/40 split you're talking about is more representative of the mode share for people who live in NYC proper.

> Second, where did he get that it is unusual for management to not use a car? Rather famously Bloomberg himself used to commute to city Hall by subway.

He's talked with several staff at the NYC MTA, and it's fairly well-known that most of the upper management at the MTA don't use its own services. Bloomberg is an exception, not the rule.

> Fourth, he clearly used New York metro area, not the city proper in his calc. Can I get some footnotes on if the cross comparison did the same thing to other cities?

The author does spend a lot of time trying to compare like-to-like. Official city boundaries are notoriously bad indicators of urbanization--Staten Island is basically a suburb within NYC boundaries, to say nothing of places like Houston, while Boston and Washington, D.C. have core parts of their key business districts just outside official boundaries. The official metric that tends to be most comparable across countries is various approximations of the MSA.
> the problem is either in the theory of gravity or the theory of quantum mechanics, and we have to be getting one of them wrong.

Not true: we could also be getting them both wrong.
Leave your phone at home and go walk for 1-2 hours. You get a little exercise and as long as you're just cruising along level ground then you can space out for long stretches.
The actual process already exists in electrofuels. [0] . If one has enough hear/electricity, they could generate fuel directly usable in existing jet engines with captured CO2, making overall process CO2-neutral

[0] https://karmaimpact.com/jet-engine-makers-cast-an-eye-on-nuc...
Human reproduction is based on choices made by individual men and women. "Corporate setting" or not, no central authority is selecting us for mating based on some characteristic.

With domesticated animals, often a stud is selected and can have hundreds of offspring. For example, all border collies are related to a single dog (Old Hemp). There's no comparison to humans.
Haven't in a few years, but I might again just for nostalgia. It was such an amazing game and experience. I feel so blessed that I got to experience this growing up. We'll never get back to the time when you had picnics with the people you knew on the internet, but it was pure magic.
cursive is third party product i think
Is it actually theft, or do you actually mean it's something more mundane like copyright infringement or a TOS violation?
The extracted content on their search page is just the beginning. They are spending huge efforts to get better at it. Specifically, extracting information from multiple pages at the same time. Eventually it will mostly be a query interface that surfaces information for fact based queries.
Send Clint Eastwood and Tommy Lee Jones
I think you're essentially right, but the "toy language" is often a subset of some real language. in my compilers course it was a subset of pascal, which targeted a very friendly IR. there's no inherent reason why the same couldn't be done for a subset of C, Java, or Scheme. in particular, Scheme has a relatively simple syntax to parse. C is fairly difficult to parse, not sure to what degree the grammar can be simplified by removing features.
Gnome Shell is scriptable in JavaScript.
Browsh: Modern Text Based Browser
There's a delay from infection to death, it may take one to two weeks from showing symptoms to death. So it could be higher than 1 in 30. Still alarming either way.
> you should have no trouble naming at least one example.

Model checkers don't usually beat deductive proofs in both size and depth, but they often easily beat them on any one of these.

In terms of code size, model checkers have verified reachability on C programs of over 50KLOC in less than an hour for at least 15 years now (BLAST). Some bugs found in the past few years Linux kernel with a model checker are here: http://linuxtesting.org/results/ldv-cpachecker

In terms of depth -- there are too many to choose from. Both SCADE and Simulink are routinely used in industry to verify LTL. TLC, a model checker for TLA+ was used to develop and verify deep properties of the OpenComRTOS kernel https://en.wikipedia.org/wiki/OpenComRTOS

> You can't buy any model checker that verifies confidentiality for actual kernels. At all. There is no such model checker.

There is no real method like this of any kind. A heroic effort by teams of PhD candidate proof monkeys working for some years isn't a technique.

> not really. NICTA kept tabs on this, and got that producing seL4 costs about 50% more per line of code than other commercial L4 microkernels.

I don't know what the cost of producing commercial L4 microkernels, but that 10KLOC program took 12 person years, plus another 12 for tooling. 2 years per KLOC, and even half of that, is well beyond the reach of 99% of software, plus no one has ever managed to use deductive verification for programs that are significantly larger than that in any amount of time. That's about three (!) orders of magnitude behind ordinary business software. This gap has remained pretty much constant over the last forty years.

I think it is possible that deductive proofs may become viable in industry in some high-assurance, high-cost domains, provided that the programs are very small. But there is no sign that it could reasonably be a basis for increasing correctness of more ordinary software.
Word Meaning
Genuinely curious - why would anyone prefer this over just blocky normal graphics?
I think if companies actually said what they did, a portion of them would say things like "we use our massive collection of user data to help you _____".
“Non-shared environment” just means anything that differs between the two kids. This could include their different treatment by the same adults, their different choices of activities, differences in the subconscious mental processes, their different adopted roles inside the family, their different diseases or injuries, their asymmetrical relationship with each-other, etc. It doesn’t have to be outside the home.

Twin studies don’t reveal exactly what the causes were of different outcomes. All they can do is statistically split causes into broad classes based on the differences between twins raised together or apart and based on the differences between identical vs. fraternal twins.
$200 Brand New Asus Chromebox 3
You're right that they're natural processes, but they aren't natural to us. Our bodies naturally respond the day and night cycle, and even the seasons. By naturally, I mean at a chemical/genetic level. The breaking of a day into hours/minutes and such is an abstraction of these, and doesn't have a physiological basis as far as I'm aware.
Question is, how did people find out this specific set of mute keywords work? Was it a leak or did people really just figure them out through trial and error?

Either way it feels like Twitter has an incentive to close this "loophole" because they would believe it would decrease engagement, which would impact their bottom line.
You're assuming that x+[5] mutates the list instead of returning a new list.

If you're planning to have multiple threads append items to a list, the immutable way to do it is to have each thread return a list of items to append to the main list, then fold those items into the list.
In my experience, STM isn't used because it's very rare to have situations where you need STM but don't need durability. In most production situations, you need to record state changes in a DB or an event log. In that case, the source of truth is now the DB, and your in-memory values are immutable snapshots.

The other reason is that Clojure code is usually well-factored, and most clojurians have listened to Rich and simplified their programs. Not many problems require STM transactions across multiple refs. If you don't have multiple refs changing transactionally, you can use atoms instead for a performance benefit.
No, the infections rose from like 650 to 1200 in the last 24 hours (at least, the published numbers did anyways). So almost half of the infections are less than 24 hours. Pneumonia can last for 1-2 weeks, so there's going to be a delay in calculating death rates.
I was expecting much more content about the implications of these results on humans

are we domesticated our-self? how does society (morals, e.g.) acts as Belyayev selection?
...or this is San Francisco and people at Twitter talk?! A roommate sees an employee do it, who knows...
Human breathing produces about 2.5 billion tons of CO2 per year. Aviation is just under 1 billion tons per year.

Aviation is one of the great wonders of the modern world. The carbon it produces is essentially inconsequential.

Compared to the wealth, knowledge, peace, and prosperity that international travel directly supports, calls to curtail plane travel in order to reduce CO2 IMO are seriously misguided.
The arguments and rationales are all sound and pretty detailed. You get a sense of the goals and the steps taken and lessons learnt. A simple Google will tell you what CTR rates are did you want the author to explain these concepts? Good luck starting a ad words ccampaign not knowing these words
Silicon Valley CEO Disrupts Living by Outsourcing Entire Existence to Contractor
Many of us seem to be related to Genghis Khan: https://www.discovermagazine.com/the-sciences/1-in-200-men-d...

For me, the question of human domestication goes beyond breeding choices. We are often a product of our genetics. But once we have those genetics, what then? Can societal structures influence behavior in the same direction of animal domestication? And if not, what’s the crucial distinction, since animal domestication seems closely related to many human behaviors we see today?
Even if the numbers are skewed it is already really bad imo. From my quick search at this point the virus seems to have a 4% mortality rate. The number of infections are low at this point and the spread is slow. But if my city of 35,000 people had this blast through the city and it got out of hand and only 1000 people caught it that is still 40 people statistically could die. 40 people suddenly dying in my small town would be a huge tragedy. The grief and loss would be immeasurable. I really hope this can be stopped quickly because I too question if the numbers are being downplayed and that would make the numbers even scarier.
Thanks for the comment, I am looking for the places that has more nature, cold weather and opportunity for long drive. Being in Singapore, I don’t have the former. But because of the low tax I have decent saving and safe living. Now I have a opportunity to move to Glasgow with the saving cut of 40%.
It's definitely the type of company I like. They make useful products, charge reasonable money for them and make a profit.
A 2017 study showed that hypersocial dogs have structural changes in genes responsible for Williams-Beuren syndrome in humans. It speculates that this is what might have allowed domestication.

https://advances.sciencemag.org/content/3/7/e1700398

https://ghr.nlm.nih.gov/condition/williams-syndrome
Actually it's 2 clicks away.

As someone launches twitter 20 times a day I don't wanna click around every day for no reason.
I guess this is basically the same as OVH's "VAC" system? I sometimes get these emails:

>We have just detected an attack on IP address x.x.x.x. In order to protect your infrastructure, we vacuumed up your traffic onto our mitigation infrastructure. The entire attack will thus be filtered by our infrastructure, and only legitimate traffic will reach your servers.

and then:

>We are no longer able to detect any attack on IP address x.x.x.x. Your infrastructure has now been withdrawn from our mitigation system.

I never need to do anything, but I don't think these attacks are real anyway.
According to the article, the number of layoffs is unknown (though I assume we'll know shortly since they're required by law to report it in California). They have approximately 200 employees, it also mentioned.

According to a quick search, they were certified for 57 H1B visas. You read that right: 57 employees, in just 2019, of an approximate 200 person workforce, are foreigners that CEO D'Angelo claimed he was required to hire because he could not find US workers.

It looks like another 50 or so in the previous two years.

So half their employees are foreigners? How many US citizens are being laid off?

Some of these jobs, according the Department of Labor's data, are paying as low as $60K... in Mountain View.

Truly disgusting that this company is abusing the system like this. A fair punishment for these companies, along with all their visas being immediately revoked and a massive fine to discourage others, would be for the executive board to be forced to move their company to S. Asia, since apparently that's where their talent pool originates. If they aren't willing to hire US workers, they shouldn't be allowed to enjoy the infrastructure, laws, capital markets, etc. that are provided by US taxpayers.

* ReportH1BAbuse@uscis.dhs.gov

* https://www.myvisajobs.com/Visa-Sponsor/Quora/1096469.htm

* https://h1bsalary.online/extended_lca_data.php?LCADataID=781...
Yeah, do you want them to take that stratagem to their next company/product?
Fascinating! I learned about fail2ban this week as well as how to search for bad SSH actors -- I was amazed at the traffic requests my Linode was getting decked with.

Having this as a default seems good.
Sounds great. I’ve been a delighted Jetbrains user since I started using IntelliJ in 2002, when it was clearly head and shoulders above every other Java IDE, and I’ve been pleased to see the company’s continued growth and success over the past 18 years.

They have to be the only company shipping a significant desktop Java/Swing app today? I wonder how they feel about the future of that platform.
XRFiles.com 12-year-old perfect name for files.
You also don't need a level 4 lab to work on coronaviruses.
The idea of the 'great filter' isn't that a necessary item's absence prevents advancement -- the idea is that through technological advancement, something happens to destroy most civilizations along the way.

but stated it as you have, there's a huge number of filters and requirements, and they are all over the place, and that's definitely true.
That was the point of picking Atlanta - there's a very high concentration of infectious disease experts with close connections to the major public health agency.

Both Atlanta and Boston have BSL-4 labs.
If you’re buying a new house using locks that have contractor keys, you absolutely should rekey your locks, if for no reason other than to remove the contractor key aligned pins. After a quick analysis, my entire subdivision (100+ houses) could be opened with just 6 specifically crafted keys, and each of your neighbors has enough information in their locks to determine how to make those keys.
The ads are also very well-disguised, as if they were native content. I understand they’re trying to stay alive, but at some point you end up driving people away.
There have been many studies about this. Listening to books read aloud pretty convincingly causes accelerated language development, after controlling for other factors.

[For example randomized interventions aimed at convincing parents to read aloud to their kids more often have a positive impact on the kids.]
I'm pretty sure they are mainly developing in (and converted) a significant portion of the codebase to Kotlin (developed in-house to make it less painful).

It is still Java underneath, though
I doubt on the later part. You might wanna check this thread out: https://news.ycombinator.com/item?id=1025681
> Quora, EBay, 23 and Me and TripAdvisor

Ebay and TripAdvisor are public companies.
CO2 is plant food. All organic species are made out of substantial amounts of carbon. The mild warming has not killed anyone and no, droughts are not more common than they were 100 years ago. Only 11,000 people died from natural disasters and weather related phenomenon last year, down from over 1,000,000 per year, 100 years ago.
Epstein-connected fund manager retires after large investor threatens withdrawal
Where Will the Next Pandemic Come From? and How Can We Stop It? (2012)
I think that they are more likely to do the reverse: ban bots but add an exception for Google.
I'm pretty sure that doesn't work for the same reason that replacing monopoles with charged objects (which we can actually build!) doesn't produce a perpetual motion machine.
This advice ought to be printed on every tube of toothpaste.
It’s the “like candy” part. People are on antidepressants, anti-ADHD, hormonal birth control constantly for years and much longer than these meds were tested in clinical studies. Some severe side effects are downplayed or ignored if they only develop after this long-term use. Women in particular are often not taken seriously by practitioners, check out current lawsuits surrounding hormonal IUDs (mentioned side effects include heavy migraines that happen to end up in dangerous intracranial hypertension in many). Gynecologists don’t even check for a family history of thrombosis when handing out the pill.

Alternative solutions that don’t involve selling pills for years are underexplored to the point that research is actively prohibited (e.g. psychedelics against addictions or depression).
The difference I'm seeing in the comments seems to be between actual Quora users and people who just keep stumbling on Quora via search. My impression is that Quora does well at tailoring content for its users while being obnoxiously aggressive about getting non-users to sign up.
What a great guy and an amazing human being. RIP Professor :(.
Does AWS or any other large cloud provider offer this type of service?
I agree. Some questions in my digest are interesting and often get very insightful answers from people with first hand knowledge.
Spurious SSH traffic is not a DOS, and isn’t the sort of attack this is talking about, rather volumetric floods and things of that matter.
> A good example of this is Lean. It's implemented in a dependently typed programming language because it unifies types and terms which makes writing the compiler and programs more simple. I think this could also be extended to Haskell.

If in the next fifty years more than, say, 3% of programmers will be programming in a language like Lean, I will eat my hat. Take a Haskeller's favorite, simplest "function", id, and look at its Lean definition (as you know the universe polymorphism is required for consistency):

universe u
def id {α : Sort u} (a : α) : α := a

Now, try to explain to a programmer what kind of object id is (not why the definition must be this way, but what is it that it defines). And it's not as if there is some hidden universal mathematical truth about programming here; this is an unecessary complication due to Lean's chosen foundation, which was chosen not with the best interests of programmers in mind (which I know because I discussed this with Jeremy Avigad). In fact, few if any of Lean's author have any significant experience in software development in industry, or in software verification, and they made an error in their introductory paper that anyone with any experience with software correctness would immediately spot. Lean is fun in its special way, but I think it's a horrible, if entertaining, way to write programs.

> I find that in software engineering that research and application inform one another and have a tight feedback loop. I read papers and often I implement them to help solve problems.

That's not what I meant, though. Of course research and practice enrich one another. But their goals and concerns are drastically different. It is rarely the case that an interesting research question is a recommended practice for practitioners. In fact, the more interesting something is to a researcher, the less likely it is to be a good idea for a general recommendation for practitioners.
I am a big fan of JetBrains Resharper for .Net development. It saved me a ton of time refactoring and documenting a large project recently.