skysight-inc/HackerNews huggingface dataset:
I deduce that you've only worked with a limited type of programmer. I have, indeed, tested code written by people who did not do as you suggest. That being the case, I wrote code to produce all the test cases, including all the permutations of the elements. In this case I would produce three numbers in non-decreasing order, and then output all six permutations of them.

I write safety-critical software, and I test safety-critical software written by others. I fully expect all of these cases to be tested, including feeding the program with non-numeric values, negative values, junk, and floating point numbers that are equal under various levels of precision.

If you're not doing this, you're deliberately choosing to sacrifice the program's quality for your time and effort spent testing. That's a choice you can, or course, make, but you should be very clear to yourself, if not your users, that you're doing it.
What to Do If Someone Steals from You 7 Times a Day
I haven't stayed up to date on the nutrition science stuff much, but there are studies showing that low carb, high fat diets (paleo, essentially) are better than the opposite. Here's a researcher presenting the results of their study as well as discussing several others[1]. Their study had 311 subjects, but most of the other studies the researcher mentions have extremely small sample sizes (one of the common problems with many nutritional science studies).

Exercise science is really kind of a joke, though. The Starting Starting Strength community does an annual review of the year's important exercise science studies. Almost every single one is not capable of actually testing the stated hypothesis. Here's the review from 2012, if you're interested[2].

[1]: https://m.youtube.com/watch?v=eREuZEdMAVo
[2]: http://startingstrength.com/contentfiles/strength_science_20...
> "Planning to Execute Occupy Protesters With Sniper Teams"

One hit on Google to your usage here. Please provide a citation.
Maybe because they have fun doing all kind of things that keep them going. I remember a friend of mine whose roommate was 60. She told me that 60 in NYC is like 40 somewhere else.
yep. should've implemented rate limiting. and probably memcached. and not heroku free.
I'm on a different side. I notice a lot of great solutions to many problems, but while the ideas are solid, they are rather poorly executed. A lot of things are like that and would really benefit from properly executed solutions. But the industry is not there yet, we don't have nearly enough people with enough knowledge and experience to make things happen at a faster pace.
I'm getting a 500 from Heroku.

btw, care to share the tech stack this is using?
HTTP 503 Service Unavailable
"Request queue full."
Touch Sensitive EL Wire – Ends Today
When certain media outlets in the U.S. (Fox News, Ann Coulter, Clint Eastwood, etc.) represent people behind "heroic" feats in the past (space race, WWII battles, capture of Saddam Hussein, Yeshua the Christ, Egyptians in the Old Testament), 100% of the people doing the heroism are represented as white (as in Scandinavian white). This context and history explains why there is an effort to correct the imbalance of representation. It is indeed needed and necessary to correct the imbalance. IMHO.
Getting off topic but I was pleased how easy it was to tinker around with a recent-ish Ford Escape (2014). Mostly standardized size screws, rivets and body clips throughout the body. Easily accessible service guides/manuals. It's too bad about their head unit system (Sync) but I hear it got better after 2015.
Seems it's Python/Django/Daphne.
Rent control is probably a big part of it.
When it comes to plotting stuff with JS HighCharts is the ugly thing that gets the job done. I think at this point I tried at least 10 different libs and always ended up wasting lot of time because some basic feature was missing (eg. tooltips, zoom, some sort of chart, log scale, decent theme support, ...)
Those people will need to be careful then.
I Am Capital
Legendary Apple Engineer Gets Rejected for Genius Bar Job
In case anybody assumes these two accusations are too wild to be true, here are sources:

Sources:

[1] https://en.wikipedia.org/wiki/FBI%E2%80%93King_suicide_lette...

[2] https://en.wikipedia.org/wiki/Occupy_movement [Paragraph #2 Under Lawsuits]
IObit+Uninstaller+Pro+6.0.2.156+Final+Crack+Working
Professional criminals lives depend entirely on their ability to conceal their crimes, or more specially their connection to crimes. It's not surprising that the intel community who are the very best in the world at concealment and containment would use that same skillset to circumvent already ineffective control systems that limit their activity. Which is why they do whatever they want.

For example, Snowden didnt even have access to Tao or high level projects thanks to compartmentalization. Who knows how much deeper this stuff goes. I'd imagine we only got access to the low-hanging fruit of the NSA operations. The real dirty stuff would be in the CNE departments where they get total control of whomevers machines they want.
Well and we were using a LOT of abestos, not a few grams here and there but kilos of the stuff.
Great, so after the Retina MacBook, we have the next Apple device with only one port that is to be operated with a ridiculous daisy chain of connectors.
Every sport has its own idiosyncrasies. For example, in fencing leaving the field of play means accepting the result as announced by the jury, even if a protest is being discussed.

London 2012 saw an extreme example, where a fencer stayed on the piste for over an hour in protest (https://en.wikipedia.org/wiki/Shin_A-lam)
I've been working on this for a little while. Flockmetrics provides signup analytics, the idea being that if you can measure how people are signing up you can begin to understand why and focus your time and energy on areas that will result in more users.

Feedback welcome!
Tavis Ormandy has a vuln under embargo: https://twitter.com/taviso/status/769391927892598784

It is unclear, however, that there's anything obviously better.
On this scale, whether it makes financial sense shouldn't matter. Law enforcement is a public service, not a profit initiative.
I had a similar thought. With examples that still need so much code I'd rather just learn D3 and get much more re-usable knowledge
Sure, it was my mistake on two counts (not keeping a root session AND blindly changing the config). That does not necessarily mean I am alone in making that mistake so I thought I would try to warn others.
What Sort of problems did you come across with Brunch that Webpack solved for you?
http://blogs.wsj.com/law/2014/03/18/fbi-ordered-to-justify-s...

Or for the documents themselves:
https://drive.google.com/file/d/0B3axduuybL0jNUUtUWxUenFzMGM...
> I can see the value in certain things being connected and remote-manageable: ... pet feeders ... coffeemakers ...

For what possible use cases could these items benefit from connectivity? This sounds like all the IoT hype I have been hearing for the past couple years. Let's connect everything! Even if the marginal benefit is less than the costs!
A State.gov Email Account Is Not a Secure Account
Show HN: Braains.io – HTML5 Zombie MMO
Peak oil is not a myth
Most notable for me is when I go out to a restaurant in Manhattan I see many tables full of grown ups and seniors having lively discussions. In SF it's like that Star Trek episode where a virus kills off all the adults and leaves only children.
SpaceX has done quite a few missions to develop their rockets before getting contracts from NASA, etc. Some of those also included payloads.
First and foremost it is the composition. Or in other words a service that could segment professional photos from the amateur ones.
Actually, a more realistic problem is damage caused by running into the things. They're basically logs floating awash. The ones I've seen have a small mast with a flag on them, and you could certainly fit them with a radar reflector, but they're still really low in the water and very hard to see. And they're certainly not smart enough to spot an oncoming vessel and take evasive action.

Run into one in a fibreglass yacht and you could be having a very bad day.
Thanks, it does make more sense now.
Every college town has at least one theft ring that operates this way. If you see a beat up truck full of bikes on the highway, it's one of these guys moving bikes from where he stole them to where he is selling them.

Finding this activity is as easy as falling off a log. If you want to try this for yourself, you are literally minutes away from meeting a bike thief. He'll have 10-20 bikes on the cheapest locks on a campus bike rack, especially this time of year, or he'll set up a sketchy meeting as in this story.

WTF are cops doing if they are not busting patently obvious theft rings? Making this kind of bust should be utterly basic police work. It should be what the new guy does on his first day. Oh, right, they are raising revenue and fighting the long ago lost Drug War or looking for non-existent "terrorists." This is why policing has utterly disconnected from quality of life and middle class concerns.
Ian Wright Merasa Marcus Rashford Akan
> What you are describing is no different than modern Java

It is in fact quite different. String/String? is not an optional annotation requiring the use of a linter and integration within an entire ecosystem which mostly doesn't use or care for it, it's a core part of the language's type system.

> If you don't use this in Java it is just the same as having String? as your type everywhere.

Except using String? everywhere is less convenient than using String everywhere, whereas not using @Nullable and a linter is much easier than doing so.,
I am struggling with what will be the purpose of this. Any project that I work on with traffic analysis, PD&E, or roadway design includes a crash analysis.

The crash analysis includes an analysis of every accident within a five year period, identification of high crash locations and what caused the crash (high speed, inebriation, or a list of other options), and then what strategies can be adopted for the most impact in a benefit/cost analysis.

Just looking at heat maps of crashes without inclusion of traffic volumes (one crash per million miles is nothing compared to an area of one crash per thousand miles traveled) becomes meaningless.
> Scribbling the passwords in a notebook isn't a bad idea (although don't write "My Passwords" on the front cover). The security of physical things is well understood by most humans.

"Not Passwords" :D
An Open Source Implementation of NFL Win Probability
Or, I wonder, could their running out of money keep them working (in some small capacity, part-time, etc.)?

And if they keep working in some small way, does that allow them to avoid the rapid decline in life expectancy that normally follows retirement? http://www.webmd.com/healthy-aging/news/20051020/early-retir...
Are there people working on JS Engine ?

I would like to have more info on why JS create unnecessary new function objects if there are only called in the parent function scope.
Shizim launches medical cannabis incubator Cann10
Aren't heavy trucks considered overpropotional bad for the Roads and would use more Tires (respirable dust) and produce more noise. I don't think there is that much inscentiv if you can't cut down on expensive drivers or tech. And the tech will get very cheap some day.
some low quality left wing populism right here.

google does right to not chose between left and right, moral or imoral.
To whomever runs www.forth.org:
The nameserver bywater.songbird.com is non-responsive.
You have two nameservers on roundrobin.
At least put the dead one second and turn off the roundrobin.
We need too make a obelisk, engraved upon which stands:
"Stealing other systems gas-giants and feeding them to your own sun is okay. I spilled some resources at the start."
God
> but it's not like there is a shadowy organization that does w/e it wants without any oversight.

And how would you know when documents are classified and everything can be overrun by secret courts and intelligence puppeteers?
Any feedback will be appreciated!
Nice. I am a little confuse on the different types of education you haven taken. What is a professional degree?
In fairness, unless you only care about Chrome, there are many implementations already. Many of these types of optimizations do not necessarily have a net positive effect on performance across the board.
"You enumerated differences in degree"

Totally false. I iterated several ways in which the Chinese government intervenes that the US and other countries do not.

In case you had trouble reading:

1) The Chinese government creates many companies companies for strategic purposes. The US does not. Some Euro companies do, in limited situations - mostly around energy, military and aviation.

2) The Chinese government takes a direct financial interest in many industries and companies. The US does not, again, unless it's a reluctant, temporary bailout which is a totally different thing. Even when they do 'bail out' - they don't sit on the board, or give orders - it's just financial.

3) The Chinese government owns the banking system - and government officials require state banks to make investments in specific companies. The US does not do this.

4) The Chinese government has political control over their 'Central Bank' and has currency and capital controls. They use these measures for a lot of things - but one is to create financing for the state banks to make their industrial investments. The US does not do this.

5) The Chinese government requires foreign entities to give up Intellectual Property in order to sell into their market - even for consumer products etc. The US does not do this.

6) The Chinese government uses IP gained from this practice - and from industrial espionage to create state-owned competitors. The US does not do this. (There's little for the US to steal, admittedly, they will do this for military programs - but not commercial ventures).

You must had difficulty reading?

I totally contradicted your comment.

The means by which China intervenes is fundamentally different than the means by which the US and Western countries intervene.

Everybody knows this.

It's not contentious, it's not a secret, it's not a conspiracy theory.

You're arguing against everyone in business.

I'll gather that most Hackernews readers have basically no exposure to these things - that's ok - it's 'hackernews' not 'international business news'.
Pg_pathman 1.0.0: table partitioning for postgres
Paper is here: http://advances.sciencemag.org/content/2/9/e1601240

I don't know a whole lot about transistor characteristics, but their process is debatably scalable (specifically the 5mm/min draw rate for the CNT alignment).
There is no way that he doesn't know what the phrase means, nothing has ever not happened more than that story.

"Never let the truth get in the way of a good story."

-- Mark Twain
You already have a lifetime of training for taking care of small, folding pieces of paper in your wallet.
>It is purer than Erlang

Not sure what value of 'pure' you are using here. Erlang has (practically) no mutation to speak of. Thus I would consider that purer.

Ocaml on the other hand is as mutating as you want it to be.
I have not looked at the filings, but R&D expenses are usually amortized much like factory equipment. At least, activating R&D as an asset is often exercised in the IFRS world.

Nevertheless, ramping up R&D disproportionally to current sales like Tesla does also incurs disproportionate costs compared to rather static incumbents.

PS: The high SG&A figures are still confounding me. In other sources, Tesla's marketing budget was said to be negligible for the premium segment.
Also, consider this - nowadays fewer and fewer academicians achieve groundbreaking results in their young age. It's more common for people to study 30+ years before they really contribute something important to science. Often it is because one has to study huge amount of previous results to come up with something new and validated. This time-to-result is likely going to increase in the future. Either we manage to continuously prolong lifespan while keeping brain elastic or we would have to make serious changes to the underlying math to keep math still rigorous, correct but more accessible to the way human brain operates, otherwise there won't be anyone living long enough to come with new results.
Are you arguing that every drug abuser caught should be charged with murder?

You kill the Rhino, you are responsible for killing the Rhino.

You buy Rhino horn, you are responsible for buying illegal goods and creating demand. (which is not equal to actually killing a Rhino or a human being!)

You fail as a government to prevent import of illegal goods, you are responsible for not controlling imports with 100% accuracy.

You tell me if you know of any country in the world that is capable of preventing imports of highly sought after illegal goods to a degree that puts producers of these illegal goods out of business.

If that was possible there would not be any illegal drugs in the West.
I imagine it's public perception of the issues as well. If cops aren't stopping bike thieves nobody really cares, but if they fail to stop a statistically improbable terrorist attack in their area then it's far far worse for them. They'll get so much shit and flak for it, especially the higher ups. Jobs will change, so they priorities are shifted not toward what's useful but what the public deems consequential.
#startups is where you should go on freenode thats where many HN'ers hang out.
What makes you think that Facebook is censoring you rather than an employee of Facebook who is being paid by somebody else? This is a classic technique of subversion. You don't have to control an organization or get their leaders on your side. You simply get some of your own people into that organization in jobs that have the powers that you want to exercise.

These people are sleepers (like the Manchurian candidate) who wait for instructions. To keep them on your side you pay them extra above and beyond the Facebook salary. And when you activate them to do your bidding, you pay them a bonus.

From the outside, it looks like the organization(Facebook) is unfair but in reality it has been subverted.

So, is there any evidence that this is anything other than subversion by a 3rd party political organization?

Free speech is clearly not the issue since there is no free speech in America today. Anyone who looks objectively at the media and free speech over a time scale in decades, will have noticed the steady erosion of free speech since the beginning of the Cold War.

Speech has been "captured" by powerful elites. What you see as an assault on free speech is simply one of those elites exercising one of their levers of power. The freedom of speech was already lost when those elites got away with capturing speech.

What people today see as "free speech" is only a phantom that is allowed to exist because it covers the real capture of speech. But whenever that phantom of free speech threatens to have a "material" impact, then the owners of the USA, clamp down and beat it back to a dull humming noise.

As Marie Antoinette said, let them eat cake. Or Juvenal who said about 2000 years ago, let them have bread and circuses.
Thanks for helping people make better software.
Bootstrap 4 Alpha 4 Released
It uses SVG on D3. So I don't think so.

If you need 10000> points and interactivity you could try my own: http://generalsarsby.github.io/mjs_plot/
Unionize Tech
That's a good question and I don't think anyone has a definitive to that. I certainly don't. I think we should do empirical research and try to find out. What would be your guess and why?

I do have a some ideas, though. First, I think that the effort required for end-to-end proofs -- even for heavily simplified, relatively small programs -- does indicate that the problems are inherently hard because I don't think we're lacking some secret proof technique that would all of a sudden make things significantly easier. The difference between cases that are extremely hard (Goldbach's conjecture) and real world code doesn't seem big. Second, I think that empirical research might uncover something that can have a bigger impact. End-to-end proof is not a very important practical problem, because very few software projects ever need it or anything close to it. Improving correctness or reducing development costs (two sides of the same coin) for non high-assurance programs is much more important, and where the theory leaves much more wiggle room (because once you step away from actual watertight proof, basically anything is possible). I believe that empirical research can uncover certain common program patterns and bugs that can be analyzed/prevented, and that those may give a significant boost. But without empirical research, we won't even know which patterns/bugs to tackle.

I think that emphasis on deductive proofs is misplaced (in light of theory and practice) as it's hard to fine-tune[1], and indeed, the software verification community has been moving further and further away from that direction for a long while; since the seventies, I believe. It's the PL community that's decided this is interesting to them. Software verification is interested in many other approaches, like static analysis (that can verify some properties -- hopefully important -- some of the time), probabilistic methods, combination of formal methods and testing (like so called "concolic" testing) etc..

------

[1]: I'm referring to actual proofs with dependent types. Simpler type systems can be invaluable, if researchers only tried to figure out which properties are actually important. For example, Rust's borrow checker is extremely interesting, and tackles a class of bugs that's known to be both very harmful and easy to prevent mechanically. We should be looking for more of those. An example of what not to do if you want real-world impact, is the peculiar focus on effect systems. Other than shared state (which is a whole other matter), how did some PL researchers get it into their minds that effects are an important problem to tackle?
What is the coolest IoT product, concept, or news story you've seen recently?
Hello Reddit Fam! Every week I work to compile a list of the most interesting Internet of Things news I can find. As I finalize this week's list, wanted to know if any of you have recomendations of cool IoT related things you have seen recently?
From the Roosians, who else! They're always on to rob us of our precious bodily fluids.
http://www.deeplearningbook.org
It'd be cool if it showed the number of anonymous users creepily watching the conversation too.
Come over to #startups

We are an international bunch of tech entrepreneurs and the channel is usually pretty active.
How Apple – And the Rest of Silicon Valley–Avoids the Tax Man
400,000 GitHub repositories, 1B files, 14 tb of code: Spaces or Tabs?
I'm pretty sure they only black-bag the people typing "Snowden" into DuckDuckGo.

But the main message to me from the leaks is that despite America knowing everything, the government usually decides to act like it knows nothing.
* the most advanced math I had was Algebra 2*

How could you get a BS in CS without taking calculus courses? Which school did you go to?
Show HN: 3D-printed telepresence robot with WebRTC
Is that testable in some way? Say by putting a set of devices that would measure h and G on a spaceship or satellite?
This is very nice, another way is to do the partition in the query yourself by using different databases/tables based on eg. a hashed userid. This works well and cross-platform if you have very isolated data for inserts/deletes/indexes (KISS). But this solution seems neat, I'm pretty sure it will solve someones problem.
Should be back up! And, yup as milankragujevic said, python/django/daphne