skysight-inc/HackerNews huggingface dataset:
https://en.wikipedia.org/wiki/Ballpoint_pen -- Wikipedia suggests that the ball point pen was first invented in the late 19th century, but that they didn't catch on until after WWII because they need "modern chemistry and precision manufacturing capabilities", which sounds consistent with the claims in this article.
Many if not most of the TV shows or movies where you see heavy army gear and equipment that wouldn't be there without the government's cooperation, will be heavily influenced by the government and in what light it shows the US government.

It's why I stopped watching shows like 24, Homeland, Person of Interest, and so on, after the first season or two. I couldn't stomach the propaganda anymore.
IRIS: mammogram on an iPhone
Personal I think almost by definition if two groups independently invent the same thing seems that the novel part of patentability fails.
this article is nonsense. it is like saying the transportation revolution will happen only when people are able to build/modify their own cars, instead of looking at widespread use as the revolution's measure because the technology is easy for even a layperson to use.
Ask HN: Outside of coding, what skills are most in-demand today?
Looks great from screenshots, but even my lollipop device is said to be incompatible. Will try it when you get the update out.
Netflix and thrill: TV industry braced for rollercoaster ride
CI as Code: Stateless Jenkins Deployments with Docker Compose
> Never thought so many people are still running older android versions (My device is a nexus).

This may sound ageist, but it may be because you're just 18 and haven't lived enough yet. Most people don't upgrade android. Most people can't upgrade Android.

Per http://developer.android.com/about/dashboards/index.html
about 33% of devices are Android 5.0 or higher. More than 50% of android users are using 4.1-4.3, and that probably won't shift massively in the near future.

I too have a nexus, but AFAICT, I'll never get anything beyond 4.4 (unsure right now, haven't even turned it on in a while).
Can California Make It Rain with Drones? (2014)
Alibaba is full of chinese manufacturers offering tungsten carbide balls for pens, pen tips and all sorts of precision pen parts.
Show HN: Dharmer – open beta testing service
Then it's a good thing that's not what I said, isn't it?

Not everything that's legal is right. A company that fires someone because they got in a Twitter argument on their own time is behaving legally, and an attempt to make such an action illegal would probably cause more problems than it solves. But a company that does such a thing would not be right.
China's answer to Silicon Valley fosters hundreds of startups
How to Tie a Tie Android Apps Apk Download
I'm not a photographer, so I'm not looking for a how to explanation. But how does he do this? It looks to me like a lot of the photos feature a central lit area surrounded by less lit areas, giving it a tunnel effect.
And 24. Someone is clearly running an orchestrated campaign to convince the public torture works...
I am not sure how it "works" either. But, if the Catholic church could gradually change its position on slavery [1], surely it should be possible to do so on other matters as well.

[1]: https://en.wikipedia.org/wiki/Catholic_Church_and_slavery#Th...
How much $ was printed last year?
What's wrong with prolog syntax?
The article claims that they could produce such a ball, but choose not to because of the high initial investment combined with the weak IP law in China.

No sense in footing the bill for the needed R&D, when your investment will be quickly stolen by the local competition.
window.addEventListener("beforeunload", function () {
alert("You just won our user lottery! Sign-up for a FREE iPad!");
return false;
}
Researchers study motivations of parents who refuse to vaccinate children
FTA: "In another study published in October, Scher found that patients with psoriatic arthritis, another kind of autoimmune joint disease, had significantly lower levels of other types of intestinal bacteria."

But what if the bacteria were destroyed by the body first, after being targeted by the body's own immune defenses?
To which I would ask "Under what circumstances would the government pay a federal agent to watch me have sex for the next 10 years?" This and the similar comparisons that I often see raised in response to the "I have nothing to hide" argument are ridiculous hypotheticals that are raised without taking into account who is violating the subject's privacy and why. When someone says "I have nothing to hide" it's generally short for "I have committed no crimes and I trust law enforcement officials to a) only invade someone's privacy when they have reasonable grounds (implying that they got a warrant); and b) use any data collected only in pursuit of actual criminal investigations (e.g. they're not going to steal my credit cards and broadcast naked pictures all over the internet).

If you're going to change people's minds with that argument, you need to be able to demonstrate that people's data is being routinely searched without just cause and/or police are routinely abusing the fruits of those searches.
William K. Black on recent history of investigating finance industry fraud(2013)
Seems like a good population control. Too many people would lead to all the rainforests being cut down.
Forget Faraday Future’s Crazy Concept Car. It Has Bigger Plans
Honestly until I met my wife, I spent the majority of my time at home building open source projects I knew would save me time later at work, and probably more time overall because the code will be less specialized to the project. This was almost every single night after work.

My wife came along and showed me though that there is more to life than programming and I have to thank her for that. She's a wonderful gruf woman who changed my life. I still code at night on occasion, but not very often. I've got better things to do. I really believe I am happier for it.

All that said, are you entirely sure programming is what you want to do the rest of your life? After a long day of coding I need to be ripped away from its siren song or I'd simply never stop, and I know a lot of developers that feel the same. The job takes a lot from you, imho, and it sounds like you may not enjoy it enough for it to be worth its cost.
Here is another great learning resource on human group and individual behavior. Sorry, I know it is a long documentary. This covers in great depth how fears and wants affect people.

[1] https://www.youtube.com/watch?v=eJ3RzGoQC4s
What a biased article. I'm interested in learning about the strengths and weaknesses of many cultures and countries (including China) but reducing it to "China can't build working pens therefore they suck" is not just cheap but also an insult to our intelligence.
It has to be good, it's the standard by which other medicines are judged!
Court ordered boner kill.
Blogger:+ENTERTAINMENT+CELEBRITY+GOSSIP+-+All+posts
It looks like they have an unverified compiler, which assuming correctness of the compiler code, will produce a proof of correctness for each program it compiles. This is significantly less cool and useful than proving that the compiler itself is correct.
El Salvador has the Marco Rubio/Ted Cruz abortion policy. It's illegal even if the fetus is unviably sick, even as a result of rape, and even if the mother will die from the pregnancy.
To be honest that sounds like a pretty bad set up if you need to manually delete files when you know there's a chance that the system is not only operating on them, but also not stable enough to handle exceptions arising from accessing them.

But arguments about your system aside, you could mitigate user error by installing lsof[1]. eg

$ lsof /bin/bash
COMMAND PID USER FD TYPE DEVICE SIZE/OFF NODE NAME
startkde 1496 lau txt REG 0,18 791304 6626 /usr/bin/bash
bash 1769 lau txt REG 0,18 791304 6626 /usr/bin/bash

[1] https://www.freebsd.org/cgi/man.cgi?query=lsof&sektion=8&man...

You might even be able to script it so you'll only delete a file if it's not in use. eg

saferm() {
lsof $1 || rm -v $1
}

If you do come to rely on that then you'll probably want to do some testing against edge cases; just to be safe.
> The recommendation not to get pregnant in countries where the virus is active suddenly makes sense

How is one going to implement such a policy ? one can't make people stop having sex and AFAIK El Salvador is very religious (no abortions...) and poor (no contraceptives ...). This epidemic concerns the whole world IMHO and we should put a maximum of resources into finding a cure or a vaccine (if none exist yet) ASAP. Now i'm even hearing that this virus might be a STD ... scary.
In USA Ballpoint pen was introduced on 29 Oct 1945, but the reliable ones (made by BIC) was launched in 1959.
http://www.wsj.com/articles/the-enduring-genius-of-the-ballp...

Anything produced in 50s, I'm sure can be easily produced by any nation today, leave alone China.
This looks cool. I didn't try the examples but that receipt example is what I really need.

I keep track of how much money do I spend on what things by going through receipts collected over a month. While the information is useful it's too much manual work. I wish I could just scan or take a picture of my receipts and extract text for further processing.
I have little respect for any director or producer who produces propaganda and absolutely no respect for any director or producer who does so at the behest of the government. Also, the movie itself was terrible, even seen as the far fetched fiction it is.
Downvoted? I gave a perfect real world example that happens in product development and marketing research.
Zerocoin/Zerocash now Zcash will likely make laundering money in far easier than Bitcoin makes it:

http://www.wired.com/2016/01/zcash-an-untraceable-bitcoin-al...
But they call it "permanent press" so those of us who didn't study domestic science don't know what it does ;)

Thanks for explaining something I was always curious about in the laundry room but forgot about by the time I reached a computer.
You missed some key details in the article - China does make 38 billion ball-point pens per year, but doesn't make any of the balls in those pens. This is a commentary on their ability to make the single precision element within the pen.
A Story of a Fuck Off Fund
That does something completely different.
Why bingeing on health foods won't boost your immune system
Eh, from another angle mosquito-killing gene editing (MKGE) is one of the least destructive ways humans can try to kill all mosquitoes.

Killing all mosquitoes isn't a new idea or one that we haven't tried putting into practice. For instance, take a look at satellite photos of Long Island sometime[0]. You see all those straight lines dug along the coasts? That's where we destroyed thousands of acres of marshes for the purpose of killing mosquitoes around New York.

We also led a pretty destructive campaign against them in the American south, as part of essentially eliminating malaria in the United States. Again, countless wetlands destroyed along with spraying some absurd amount of highly effective pesticides like DDT everywhere.

MKGE is like the most environmentally friendly way we've ever tried to kill all mosquitoes.

[0] https://www.google.com/maps/@40.6098489,-73.448941,1067m/dat...
I would totally be keen on reading a blog post about that :)
Agreed. Either you define strategy either narrowly to be only very high level concepts, such that there are many counterexamples (10gen/MongoDB IMO), or strategy is defined broadly to be any decision of significance, such that this is trivially true.

The only way I could imagine anyone disagreeing on this subject is if they have different definitions of "strategy".
So HSBC were fined $1.9 billion by US regulators and 40 million Swiss francs by Swiss regulators. Who do we fine for money laundering on the blockchain?
But the article claims you need "state-of-the-art machinery and cutting-edge computerized measurement equipment with pinpoint precision to produce, not to mention the ability to produce the high-quality steel material of which it is made."

None of this was available post-WW II, like the advanced steel alloys the article talks about. China's industrial capacity is more advanced than the US's was in the 1950's and if China does not produce those little metal spheres there must be something else at play.

My guess would be that thanks to modern production processes, a competitor with older machinery would not stand a chance in the marktplace and investing in the production of those balls is economically not very attractive because margins are already razor-thing. But I'd like to read from someone who actually knows.
'How do you expect less people to hold down "traditional jobs", yet expect traditional measures of production and output to not decrease?'

This is interesting. I can't speak for the parent; I would weakly guess that their response would be that they never specified that they were talking about "traditional measures of production" but were specifically objecting to traditional measures. If that's the case, they should have done so more clearly at the outset.

That said, I can see a couple ways that could happen that workers might opt out of traditional jobs without a decrease in "traditional measures of production and output". I make no particular claim that any of these is likely.

One potential outcome is that increased options for workers leads to increased upwards pressure on wages, leading to increased pressure for automation. Improvements to automation could mean increases in production in the medium term, at the cost of some production in the short term.

Another possibility appears if we consider the following model, which may or may not be related to reality:

1 Some workers are disgruntled.

2 Disgruntled workers, on average, have a negative marginal productivity.

3 Because of economic incentives, disgruntled workers must make themselves indistinguishable from regular workers along axes actually used when making hiring/termination decisions.

4 Given other opportunities, those most dissatisfied with their current situation will be most likely to leave.

In this case it would seem that on providing a basic income, we would see those negative marginal productivity workers leave first, which could mean an immediate gain in productivity.
Let's all remember that abortion is illegal in El Salvador, even in cases of rape. A woman who is raped and who also gets the Zika virus has no recourse. This is a very Catholic country. Access to birth control is extremely difficult. This new government recommendation is in conflict with dozens of other laws that the El Salvador government has passed, all of which are designed to maximize pregnancy.
Please, get some references saying that this one, domestic and foreign, species is important for any niche on the Americas.

Because, well, I don't think you have any idea what you are talking about.
No, the proof that the compiled code is "correct" does not depend on the compiler being correct - it can be checked independently.

Of course, if the compiler is incorrect it might generate incorrect code, but then the "proof" that the code is correct would not check.

Mind you, it's very ambiguous to describe what their compiler is doing as producing a proof of "correctness". Any time someone says "correct", you should ask, "correct with respect to what?" In this case, AIUI, their compiler produces:
(a) a formal description of what the program does (what they call "a high-level shallow embedding of the program's semantics")
(b) a proof that this is in fact what the program does (its "correctness")

The idea being that if you want to show that your program is actually correct with respect to the specification you really care about, you do the proof on the formal description (a), and then (b) automatically guarantees your proof carries over to the actual program.
// 1. lookup and build output word at the same time
const uint32_t dword = lookup32[0][input[i + 0]]
| lookup32[0][input[i + 1]]
| lookup32[0][input[i + 2]]
| lookup32[0][input[i + 3]];

// 2. save 32 bits
reinterpret_cast<uint32_t*>(out) = dword;
out += 3;

Do you mean lookup32[0]... | lookup32[1] ... | ..[2] | [3], instead?
Right, that's why this research is so exciting. I just found it interesting because MDMA is a stimulant which probably has the opposite effects of beta blockers. But I guess that is overridden by the serotonergic effects with respect to anxiety.
I've been saying this for years.
Why would the socket require less precision than the ball that goes into that socket?
Gaussian Processes with Clojure
95% of Catholicism is re-interpretation by the Church of their holy documents. Changing the mind of the church is definitely a thing - see heliocentrism.
Only if you release it from GSO, but that's not ideal. Release it from a higher altitude than LEO, but far less than GSO and it takes vastly less fuel.
Dynamic GitHub-Follow (Unofficial)
I thought that was the whole point of trade, that you specialize. What nonsense.
Evernote can do that if you don't mind trusting them with your reciepts (I don't personally use this since I don't really trust Evernote that much).
Yes, that's exactly what I meant. But compare this to CompCert. CompCert itself is verified, which means it doesn't have to output a proof for each program it compiles.

Even if you don't care about the theoretical concerns of for all vs for each, there are two practical concerns with this kind of system. 1) the compiler could just fail to output a valid proof for some program and you're out of luck until the compiler bug is fixed. 2) Proof checking can get pretty time intensive and it'd be better to do it once for the compiler, than every time you run the compiler.
A dynamic github follow button implementation in Javascript.

Tired of static button. Use this implementation to make your front end pages more awesome.
Clearly it is otherwise they wouldn't import them.
IBM Research: A New Model for Neural Information Flow
In the early days a joke circulated around Beijing in "China hand" circles as follows:

What's the difference between a Hong Kong Chinese and a mainland Chinese?

The Hong Kong Chinese knows the difference between 1/100th and 1/1000th of an inch.

By the way, Li Keqiang (#2 in China leadership) is a fantastic scientist, wonderfully inquisitive/open-minded about knowledge, and is encyclopedic. Great guy.
Thanks for typing that out. I thought that to be a very poignant remark.
this is sweet. good werk
Harvard will take a close look at the brain to build better AIs
"We must not fall into anthropomorphic ways of thinking about machines; they do only what their programs say; they can't be original or creative." In debunking this fallacy, I would have thought that the "Computers Are More Flexible Than You Think" argument wold only need to go halfway, and "Brains Are Less Flexible Than We Think" could take us the rest of the way there. Of course, in 1967 I imagine the support for the second argument was much thinner than it is now.
Mobile Devices for Banknote Authentication – is it possible?
Any nation could produce supersonic aircraft, nuclear reactors, and satellites and the launchers to send them to space?
What do you mean by unsolved problem? Controlling AI is not even an actual problem at all yet. It's merely a hypothetical problem.
Let's start with something lighter: how do you categorize subjective states of mind? But we do through words like "happy", "sad", "good-will". Additionally we can make statements as to the degree of sadness, or degree of happiness. Psychologists do this professionally with their survey instruments, but even the layman is capable of saying "I was most happy at my wedding and least happy at my great-grandfather's funeral", which sets bounds with two points of reference.

Oops! Anything with degrees of effect and bounds is basically a finite ordering. And a finite ordering can be given a rank, with numbers. So now we have given numbers to subjective states.

This is obviously quite handwavy, but the core ideas are here. I might be missing something. The big differences are that probability assigns a continuous measure to what we believe is Belief. How do you get an infinite, uncountable number of experiences?

One way is to have the acceptable accuracy be less than an infinite number of digits. That's always going to happen in practice but it's not quite what we're looking for. One other way to do it is to use preferences and expected value. Do you think your knowledge is complete enough such that you'd be indifferent to betting an X amount of money on a roullette wheel with given probability of winning P? Then P is your degree of belief.

In the end there are very good reasons to doubt subjective probability estimates. But as long as one works with bounds and acceptable degrees of error, then you at least get a sense of how it is you're going wrong.
Canon's 5Ds has been viewed as a game changer especially among aerial photographers. these guys used to convert six-seater planes and equip them with a catapult that pushes the camera back to get rid of motion blur during exposure time. In that industry, purchase price of these cameras wasn't really significant.

Now that canon is pushing 50-160 MP on 36x24, digital medium format starts crumbling, and the idea of a "surveying plane" dies along with it. Drones lack the coverage, but the combination of unmanned flight and camera prices that dropped an order of magnitude creates a textbook disruption.
Without getting into whether or not China does or doesn't have this level of manufacturing capability, I would suggest that it's not a case that the socket requires less precision; it's that making a socket to the tolerance required is significantly easier than making the sphere of metal to the tolerance required.

They both have to be precise; the ball is harder to make to that precision.
Indeed, but proving a whole compiler correct is really hard. :P
I also don't buy the story on just how much precision is required, considering the ballpoint pen is a 128-year-old invention.

> it requires state-of-the-art machinery and cutting-edge computerized measurement equipment with pinpoint precision to produce, not to mention the ability to produce the high-quality steel material of which it is made.

Nobody had this in 1950, say nothing about 1888.
It's not a policy, it's a recommendation. Women can do with it what they will.
About this:

"Again our goal was to solve the problem, not design a language with a predefined set of primitives."

I have the sense that Scala has followed exactly the opposite approach.
I don't know but I'm guessing you just crimp it on. The ball has to be perfectly spherical though or else it will jam.
If they can come in at any time and say "we only want this one guy" then the rest of the users privacy is already in trouble.
Like never
It is defined in this paper itself; see section 3 titled "Language," beginning "In this section we formally define Cogent, including its linear type system, its two dynamic semantics — update and value — mentioned earlier in §2, and the refinement theorem between them." Also see figure 5, which is its formal syntax after desugaring.
Investor Chill Hits Technology Sector
> time spent in long compilations

Type checking Haskell, for example, is actually incredibly fast and adds basically nothing to compilation time. This isn't one of the drawbacks of a type system.
I found that I can skim HN without getting sucked in hours. Reddit however I have had to block in /etc/hosts .