trobertson

The base notation is from formal logic. A (dense) overview of first-order logic can be found on this wikipedia page: https://en.wikipedia.org/wiki/First-order_logic

It's much nicer to get slowly walked through it with a textbook, but I'm blanking on the name of the book I used.

And here is the Github of their models: https://github.com/Azure/azure-cosmos-tla

It's a response to the use of "he" as the default pronoun. "he" is gendered and basically everywhere, which means that many people consider its use sexist. Their response is to use "she" in an effort to swing the gendered-pronoun usage towards 50/50. Other people choose to use the gender-neutral "they", which gives grammar-focused people an mild aneurysm.

Directly discussed here:

http://archagon.net/blog/2018/03/24/data-laced-with-history/...

> That all sounds nice, but what is suspicious that we have not seen a working implementation yet.

You mean to say that Western and Central Europe don't exist? They have single-payer healthcare and it works way better than American healthcare. They have cheap tuition and it works way better than American tuition.

We see that America could be better if we stopped being dogmatic about capitalism, and stopped putting it where it doesn't belong. Capitalism is about money. It is not about well-being. It is very poorly suited for well-being.

His company is China's inroad to the Western games distribution industry. China is totally cool with Epic allowing anti-China statements as long as it brings the users into China arms.

> A 2018 Gallup poll found that only 25% of Americans thought there was too little government regulation. Another 33% thought we had the right amount, and 39% thought there was too much.

The question of "Is there enough regulation" is the wrong question. The right question is "Is there enough _enforcement_ of regulation?". I suspect that answer is very different.

And you can redirect any website (say, a news site to an archive.org copy) with the Redirector addon:

https://addons.mozilla.org/en-US/firefox/addon/redirector/

Firefox as well: https://addons.mozilla.org/en-US/firefox/addon/recipe-filter...

On the subject of painting restoration, there is a channel on Youtube called Baumgartner Restoration that makes documentary-style videos about restoring old paitings. Here is one of the more recent videos, where the restorer describes what he is doing and why it works: https://www.youtube.com/watch?v=h8quhZLHVg4

And on https://news.ycombinator.com/active

Google products and services tend to provide immediate and obvious value. Unlike the "connections" businesses where "value" is poorly defined and prone to change.

A redditor in the /r/technology thread on this recalled that Facebook has performed emotion manipulation experiments in the past. It may be that Facebook was using those capabilities to make kids and teens more vulnerable to ads.

https://www.reddit.com/r/technology/comments/ahbj8b/federal_...

Instacrap?

If you don't like the automatic cast, you can always manually cast inline by doing (3 :: Int). I've used this a number of times when doing numeric stuff in Haskell.

You could get a bunch of plants. They probably won't solve the problem outright, but they are a good first step.

Make that part of the YC process. Mock renting of space, filling it, etc. Have reviews of how they did, things they considered, etc.

I imagine most people aren't going to read that whole comment, but I did. Thanks for the write up, and for showing that my knee-jerk interpretation was incorrect.

You might consider other metrics, like the school grade level that most journalistic entities write for. In the USA, it used to be that most journalists wrote towards a 5th grade reading ability. Assuming that the article is correct, then many journalists who sell to air-pollutant-exposed people (which is most people) should be targeting a 4th grade reading ability, perhaps even lower.

On a wild tangent, there has been a huge increase in clickbait over the past several years.

> (In reality, most people will get out more than they put in.)

Up until it runs out, at which point nobody gets anything. And for whichever generation gets shafted (guess), they will be looking at a big negative when they see they get nothing for all the taxes they put in.

OP did not assert that “the wage gap is caused by women”. OP said that _IF_ the wage gap was caused by the informed decisions of women, then OP is fine with it. And that is a reasonable view.

> The second law of institutions is that every process must require more people to execute than can conspire without being detected[1]

> [1] No, I just made that up.

You didn't, actually. This is the Byzantine Generals problems as described by Leslie Lamport back in 1982. It is huge in fault tolerance for distributed systems.

https://en.wikipedia.org/wiki/Byzantine_fault_tolerance#Byza...

No, it is literally operations people who are around to prevent that from happening. (facetious:) C-levels are around to look pretty and offer pleasant platitudes during board meetings.

The article is about countryside homelessness, not big-city homelessness. The problem with that average is that it overestimates the cost of countryside living, which means that people who are homeless in the countryside are seriously screwed, not "living in the wrong place".

The current trend is that more and more people can't afford below-average priced housing. This is a serious problem.

Harvard Business School and its wannabes.

> marketing fundamentally exists outside morality. > It's not a moral indictment, it's just a bald statement of fact

Marketing exists to sell stuff. Facts are only relevant to marketing in-so-far as the facts sells the product. More often than not, marketing is bullshit and completely devoid of facts because facts are boring and products need to be exciting.

"Millenials are killing X" is exactly the sort of marketing statement that is completely devoid of facts.

At this point, I'm almost certain that there's vote manipulation going on. I hope dang et al. can take a look into it.

For anyone else curious, versor is on github: https://github.com/wolftype/versor

Agreed to it under compulsion. It isn't feasible to go without a banking account / credit union account. Modern society relies on these accounts. And all of these accounts have these reporting measures in their legalese. There is no option to not agree to it.

That doesn't pass the smell test. They've been paying huge sums of money for some people (deep learning, and Levandowski's $100 million). Their process is far more arbitrary and open to negotiation than that summary claims.

Maybe for little people they have a standard process. But certainly not for everyone.