skysight-inc/HackerNews huggingface dataset:
Python only has one type. To quote from the article by professor Harper:

"And this is precisely what is wrong with dynamically typed languages: rather than affording the freedom to ignore types, they instead impose the bondage of restricting attention to a single type! Every single value has to be a value of that type, you have no choice! Even if in a particular situation we are absolutely certain that a particular value is, say, an integer, we have no choice but to regard it as a value of the “one true type” that is classified, not typed, as an integer."
The end often justifies the means if you can't think of cases where this is true you have limited imagination.
Agree, and given the standard "liquidity preference", the founders are likely to net $0, except for the Google bonuses for the engineering (Jack Barker-like Rosenthal is not likely to stick there).

It's sad, really. It's one of the really innovative companies, but it's not easy to sell tech ahead of its time. Yet another incident that will encourage to pick copycats over real innovation.

I guess Google is no longer as generous with the acquisitions.
> When you're having trouble justifying at compile time that a property holds, it's not always because you don't know why it holds, but frequently a problem with the type system you have to write the justification in.

Do you have any realistic concrete examples of this? I find this happens very rarely myself (maybe once every few thousand lines of code) and just involves adding a small amount of code along the lines of "throw 'Unexpected error' // this should never happen because ...".

> The advantage of dynamically typed languages is that you are not glued to one specific proof language and don't have to provide proofs for trivial properties, or one-off programs you only need to run once.

For me, type errors for where you've mixed up e.g. string, number or object variables or where you've forgotten to check if a variable is null/undefined before you use it are incredibly common compared to the rare times the type system gets in your way. You would have to (and most wouldn't) write many automated tests to catch all those potential errors if you weren't using a type system for similar robustness. Throwing all that away because of the rare case the type system obstructs you doesn't make any sense to me.

I still think if you're regularly writing code that is hard to justify to a mainstream type checker you're more than likely doing something very wrong and writing code that is hard for others to understand. I'd love to see a realistic counterexample.
Whatever point I thought I was trying to make came out the completely wrong way, so for anyone looking at my post history, I was drunk and disavow this comment.
Lyft hires ex-Googler as VP of talent and inclusion
Is Musk using this 1967 book as a guide?
There may be other reasons, but here's one. The solution with fractions supports ORDER BY syntax. With the self-referential foreign keys, you would have traverse through from the beginning with multiple queries for that behavior.

It's also a lot harder to query results in order while specifying an offset.
Peter Thiel on leaving San Francisco [video]
I'm sure there are too, I just can't think of any.
1. Can be implemented using N-of-M signing. GreenAddress does something similar.
Is it really any use trying to enumerate all variants under *.facebook.com and similar?

The counts:

307 facebook.com
295 fbcdn.net
250 tfbnw.net
12 whatsapp.com
9 instagram.com
3 fb.com
3 edgesuite.net
2 metrix.net
2 fbsbx.com
2 fbcdn.com
2 facebook.net
2 edgekey.net
2 cdninstagram.com
2 akamaihd.net
1 fb.me
1 appspot.com
It is corrupt and racist. How you could think otherwise in America blows my mind.
Perhaps we want to help people with greater needs, and not stick them with higher prices everywhere they go - in part because people with greater needs often have fewer resources.

Every business must pull its weight in contributing to society and make some sacrifices; otherwise society, the economy, your community wouldn't function. Your wife, I, and everyone reading this benefit from the sacrifices others have made over centuries. We are specks of dust on the shoulders of giants, so personally I'm happy and proud to be able to give a little.

> My wife is a doctor. She does not get an extra fee for treating non-English speaking patients

Maybe she should get a smaller fee for treating easier patients, and not only those who are easier to communicate with but those with easier conditions to treat, those who are more agreeable, those who can comprehend medical issues more readily, those who are on time, those who can afford medications, devices, tests, treatments, etc.

Every business has a variety of customers of differing levels of difficulty, and generally charges them all the same; it averages out. Go buy some clothes; if you take more of the salesperson's time, they don't charge you more.
Fuschia = Windows 10

Flutter = UWP

Android Apps = Legacy x86 Apps?

Who will win?
That's fucking sick game the publishers played. Thank goodness there are multiple ways better ways to fund a game studio right now instead of getting roped into one of these toxic relationships.
Usually claims like this fall into two buckets: (1) crazy, (2) existing idea spun as something new. (Like airless tires, which have been around for a hundred years.)

This is quite clearly (2).

> Effectively they can replace the anti-aliasing hardware with software that operates on the digital side after the sampling step

Sampling with filtering in the digital domain after sampling is absolutely old hat, found in everyday tech.

Let's look at audio. We can sample audio at 48 kHz, and use a very complicated analog "brick wall" filter at 20 kHz.

There is another way: use a less aggressive, simple filter, which lets through plenty of ultrasonic material past 20 kHz. Sample at a much higher frequency, say 384 kHz or whatever. Then reduce the resolution of the resulting data digitally to 48 kHz. There we go: digital side after sampling step.

This is cheaper and better than building an analog filter which requires multiple stages/poles that have to be carefully tuned, requiring precision components.
Bitcoin's blockchain contains child abuse images
The whole field of artificial intelligence is missold on analogy.

"Neurons" arent neurons. Replication isnt replication.

AI proponents speak of photographs of animals made of ink (electrical fields in silicon) as-if they were themselves animals. Inviting us to marvel at how life-like the piece of paper is.
Or, as is often said in the Valley: "Is it a product, or a feature?"
You’re implying that by moving international profits to a Caribbean country means Apple has avoided corporate tax? Like laundering money?

This is not the case - they park their international profits in the Caribbean because US tax code allows them to keep profits offshore and only pay tax when they bring the profits onshore.

If Ireland was facilitating corporate tax avoidance by an American country, why is the US supporting Ireland in the Apple case in the ECJ?

Does this not suggest that there is more complexity to this situations than the hyperbolic headlines?
Unless you suffer from a mental disease your memory isn't that bad. Small inconsistencies aren't really the issue.
Every tweet with a country's hashtag provides a tiny little gust of wind to their flag.
A rock is analogues to a car from the point of view of a child.

That's the problem with analogies: they are observer-dependent.

A quine shares no causal property with DNA.
The exact quote is "Consumer Gmail content will not be used or scanned for any ads personalization after this change." I know they still scan my emails, because airbnb reservations will magically pop up on my calendar.
Cambridge Analytica: Undercover Secrets of Data Firm
Lobby for what? The OP has made no claim that he knows what Facebook PR talked to the the NYT reporters about. The NYT reporters have denied that PR asked them to change anything about Sandberg. The NYT reporter explicitly says that FB "made no such request" [0]

And FB PR hasn't commented either. The OP does not say he has inside sources that tell him otherwise. So what is that that is being asserted here? Because this is the only thing in the story:

> Perlroth, however, confirmed that the change occurred after Facebook’s public relations team reached out to the New York Times–some time after the story was published.

[0] https://twitter.com/sheeraf/status/976238483122487296
One could easily come up with quite a few ethical arguments against Sci-Hub -- it's there to stick it to the "West". It has nothing to do with science, human progress, or anything as lofty. Basically, just another department of the Olgino Troll Factory.

That it lets you freely access some scientific materials regardless of whether the rights owner (or authors, for that matter) agree to it or not is just a minor side-effect.
While 34k is and probably was very low, Fort Wayne Indiana is one of the lowest CoL cities in US. I wish they would tech take more seriously there, but they're in for an uphill battle if they do with Detroit, Indianapolis and Chicago competing for talent in the close proximity.

I think there is a real opportunity for state side digital nomads who want to live cheap while starting a business. Places like fort Wayne Indiana give them access to a lively downtown, cheap housing and access to 1st tier cities in a few hours drive. Source - I grew up there.
This is irresponsible reporting by BBC. The study described here has not been published in a journal, only presented at a regional meeting. The lead author has been involved in a number of controversial situations in the past, from having claimed to cure (i.e., achieve insulin independence) type I diabetes using stem cells in 2007, to charging patients ~$150,000 to participate in one of his clinical trials. It may be that his current effort against MS is bearing fruit, but for the BBC to call it a game changer for millions at this stage is just irresponsible.

http://www.nbcnews.com/id/18040485/ns/health-diabetes/t/stem...

http://science.sciencemag.org/content/357/6350/441.full
Having access to the detailed user data of billions of users is definitely something new and it's being used for efficient propaganda worldwide. FB has again completely naively unleashed a beast they had no intention or intuition on how to control. Anyone who remembers Facebooks early days should not be the least bit surprised that they are playing fast and loose once again.
told everyone what data they were collecting

Among the data collected was details on the "volunteers"' Friends, and all data those Friends left open to their Friends... but they did not consent to that, nor were they even informed of it after the fact.
Death of the clickbait?
The idea is that if you don't get good service, you don't have to pay the tip. People whose incomes consist mainly of tips can make absolutely crazy amounts of money if they're good at their jobs and work hard. It's not for everyone but it works for some people. I wouldn't want to rely on being tipped out because I really don't have the personality for it.
Well I think this achieves minimal rewrites, but you do lose a bit on indexing. You can't retrieve by numeric position index for example. But reproducing the order is just a matter of starting from the head (where PrecededById is null) or from any point and then repeatedly selecting the entry whose PrecededById = the current ID.
How do you handle situations where two items (lets call them A and B) are both moved before a third item C?

Then wouldn't A and B both have a "SortVal" that's 1 less than C's SortVal? That would make your SortVals non-unique and order arbitrary.
Thanks for the links, although deleting data from Google doesn't sound like a relief/solution to me because they keep all the data.[1][2] From my experience, after you deleted your gmail account, you are not allowed to register with the same address anymore. They claim it's due to security reasons. Such claim sounds reasonable and I believe them. Anyway, they have the ability to keep the data you think you deleted for whatever reasons, which is enough for me to have doubts. I have no methods to prove that other kinds of data are kept or deleted, i.e. I don't know how to check if they deleted my location history completely, or just archived it for future use. Even the data has been anonymized, it still can be used for statistic purposes, which possibly could be used to influence elections.

I wonder if most of users would read through ToS and support articles before they started using those features. It's just much easier to click on "I agree." I won't call it a trap, but it's pretty close. As a result, users are signing contracts they don't even bother reading. And eventually, users are the ones who get blamed by the company for not paying attention.

And again, we are not sure about how they are actually using our data. Before this FB scandal, some people might still believe FB wouldn't do things like this.

[1]: https://www.siliconvalleywatcher.com/google-keeps-your-data-...

[2]: https://arstechnica.com/tech-policy/2010/03/google-keeps-you...
It's likely for VR, the 'reverse' of the Lytro allows projection to the eye at multiple focal points.
I’ve usually removed ticks from pets with a tick hook[1]: slide it under the tick then spin it and they come straight off. Makes sense when looking at the mouthparts here, but slightly odd that the article doesn’t mention it. Gripping the tick and pulling up risks squeezing infected blood back into the body.

[1] https://www.otom.com/en/
Got thrown off the prospective jury pool in Palo Alto when I said "it depends" when the prosecutor asked me who's word I would trust between a police officer and an ordinary citizen. There was no physical evidence and it was going to be a she said/he said case. She said I must have a chip on my shoulder.
Read the article again. He says Python is unityped. The word "type" in mathematics and computer science has a meaning which is not the same as your usage of the word.

Well-typed programs should not go wrong. Python programs can crash at runtime due to simple type errors (expected integer but got a string). A crash is a crash, from a theoretical point of view it matters not that the error is prettier than a segmentation fault. Python is not strongly typed, it just has good error messages.
Based on request traffic or maximum memory? For the JVM there is -Xmx512m to set the max heap size (512MB in this case). Or are you thinking of something more organic so individual containers could overcommit on memory, and the OOM killer would first send a "collect" signal to all the containers that could GC (and also give the memory back).
That's more than a bit on indexing. Following a linked list through repeated selections is not nearly as efficient as an index scan.
The just-released Java 10 has improvements in the container case: https://www.opsian.com/blog/java-on-docker/

edit: at the end of the article, it is acknowledged that there are improvements in Java 10 and the following link is provided: https://bugs.openjdk.java.net/browse/JDK-8146115
I spilled OJ at myself when I read his post. I mean its great he is so gullible to believe he can change something at such big corp, and he reminds me when I was 16 with big head of dreams how to change the world.

But seriously - do we know any single example of an intern coming to a big corp and "saving it" - by that I mean steering it off the dark and deceiving waters and actually bringing it into light for the good of society and people in general??
Related is modeling trees in SQL, which has been discussed on HN: https://news.ycombinator.com/item?id=13517490
FB users are 'unknowingly' revealing sensitive info that could be detrimental to their future
> but open access publishing has made great strides in just a few short years.

You mean SciHub. That's the thing, really; SciHub managed to do much more for the Open Access cause in one single move than the entire "legit" Open Access movement in more than a decade.

See: https://onlinelibrary.wiley.com/doi/pdf/10.1002/leap.1116

Tensions like Germany vs Elsevier are possible, because Open Access is now talking from position of strength - because everyone involved knows that the alternative is not "no access", but "SciHub" or "#ICanHasPDF".
I heard once that if there is something - whether of a monetary value or not - that allows you to "sidestep your morals", then you didn't have any morals in the first place.
Some of the commenters here think they can do a better job reconstructing the incident from newspaper cartoons than actual investigators who are working at the scene. You guys can just as well make up a story in which a murderous Uber robot chased a pedestrian off of the sidewalk and onto the road and then intentionally ran her over.
I can't really describe it, other than to say it makes me happy to know that the people I grew up with are thriving. That all that time we spent together in our youth was building a strong foundation for ... something.
The JDK10 build released today is a much better Docker friend by taking the docker settings into account while running inside one.
it makes it obvious who will actually pay the tax - the consumers of the products

I'm not sure you understand how taxation works. Tax is always paid by the consumer, one way or the other. If the Government would show up on your doorstep one day and demand, in a single payment, all the money they suck out of you over the course of a year - directly or indirectly - as a lump sum, there would be a swift, brutal and extremely violent revolution.

I am not sure of the exact percentage, but I suspect that about 60 to 70% of our money eventually ends up with the Government. On top of that, our pension funds are being raided and drained, social services are in rapid and consistent decline since the 70's - not just direct social security, but also healthcare, education, safety and security, etc. Where does the money go? I look around, and pretty much the only place I see real, serious money flow into instead of out is war, or distracting people from all the money that is going into war.

There is a direct correlation between the slow, inexorable rise in taxation, decline of social services, and increase in military spending. And it isn't like we didn't know: https://www.npr.org/2011/01/17/132942244/ikes-warning-of-mil...

This is what Robert Gates had to say:

"Does the number of warships we have, and are building, really put America at risk, when the U.S. battle fleet is larger than the next 13 navies combined — 11 of which are our partners and allies?

Is it a dire threat that by 2020, the United States will have only 20 times more advanced stealth fighters than China?"

We are all being played, and it is a game that has been played since the first caveman picked up a rock and brained the guy next to him for a better spot at the watering hole.
The thing is that now people see a real consequence of that data harvesting, like voting manipulation.
Scuttlebutt, a decentralized social network. ( http://scuttlebutt.nz/ )

> I do miss the mad west of the IRC/NNTP days

Plus, a lot of new people on there have described it like that. https://viewer.scuttlebot.io/%25WJZGMingRgdlOTrZJjOz7GHnS1D9...
I use MoinMoin for that (https://moinmo.in/) it's pretty awesome (and portable).

Right now I just run the whole thing out of a Mercurial repo (it's easy to use the MoinMoin codebase as a sub-repo [1]), but I'm planning to do a setup with a container so that the data can directly live in any (Dropbox) folder or repo.

[1] https://moinmo.in/HowTo/Run%20Moin%20from%20a%20Mercurial%20...
This is more of an aside, but given that Clinton lost by so little, _very many things_ caused her to lose. Because of such a small margin, for almost any X: "X had little effect" and "X caused Clinton to lose" can be simultaneously true.

If you lose by only one vote, then every vote caused you to lose.

(Of course if you're running a campaign, going after things that are bigger issues is more useful, but when we're talking about billion dollar operations, you can go after everything in theory)
> your dependencies better be deplorable in a JVM too

Sadly, many Java dependencies are quite deplorable.
This is one excellent article. Made my day. My most favorite part -

"Fourier would surely be delighted that his ideas have endured. Writing to a friend 229 years ago, he lamented his lack of achievement up to that point: “Yesterday was my 21st birthday; at that age Newton and Pascal had already acquired many claims to immortality.”"
Rich Gora The only assumption I am making here is that these timeouts are due to Garbage Collector Stop the World pauses and not other issues such as CPU or I/O saturation. In my case I was able to produce a handful of multi-second stop the world GCs during my load test throughout a day. Hence Cassandra .
That's a tuff line to find, but I'd say it probably relates mostly towards age. The older you become FI the less potential you have to effect a larger change using your FI. This isn't 100% though, because the age would pay dividends with wisdom and networking. I don't know what evidence I'd need to see to change my opinion here. My main idea is based on once you achieve FI you are only reporting to yourself, thus you can now set your goals first and foremost and don't have to do the song and dance of aligning your goals with your funder/employer and seems so freeing.
That won't help if the site fails due to a backend request to FB falling over.
Sadly, Pi-Hole is not integrated into Debian. I feel uneasy running software not from the Debian repository. I hope Pi-Hole will be packaged soon.
Yup. I don't believe web hosts should be entitled to that much control.

My browser is my User Agent. The way it renders or interprets the data is my business.
These options were also backported to Java 8 in update 131 - https://blogs.oracle.com/java-platform-group/java-se-support...
It would prove that there was insufficient cause to find the other party guilty. Proof that the party had lied could include. The officer admitting including to others in public or private that he had lied or that the facts were different in a substantive way from what he had previously testified.

Video that contradicts officers testimony.

Physical evidence that proves the testimony was a lie.

All of the above would have to be sufficiently different from reality that would suggest that its impossible to consider the possibility that the officer misremembered.

Example fake scenario:

I heard violent screaming coming from inside the home so I had to break down the door and search for the person in need of help and I just happened to find drugs.

Contradicted by video from the ring door bell which recorded the officer just walking up and kicking the door down so he could conduct an illegal search.

For real examples see the article. None of the listed scenarios suggest any reasonable party could think that the police officer misremembered.
I interact with at least 100 people on Facebook in a month. I suppose I could switch the time I spend on FB with phone calls, except that would require us to be available at the same time, and also, I use FB in very short bursts between my regular life. I'd be making a bunch of one and two minute phone calls.

The asynchronicity of the service is what enables me to keep in touch with so many friends.
欢迎使用西林街搜索：一款能搜网盘、视频、游戏、Mooc等资源的搜索引擎
http://www.xilinjie.com/

西林街搜索（X站） - 重新定义搜索引擎；垂直专注于网盘、视频、文库（文档、古籍、专业书籍、电子书[PDF、ePub、Mobi等格式]）、学术（各种期刊、论文、学报等）和Mooc（在线课程、学习、视频教程）等资源的搜索。