skysight-inc/HackerNews huggingface dataset:
Christ, this kind of reactionary armchair criticism really is a cancer of HN these days.

Adam has been pushing the state of the art in cryptography in the practical realm for years, and your criticism is "They should have just solved this problem better! They should just pull their finger out and get working on it."

Making a real difference in the chaotic realm of standards bodies and browser vendors is a lot harder than it looks. Adam has an impressive track record for actually improving internet security for users.

Where's your suggestion for how revocation could be solved better and implemented in a practical way? I don't see you rolling up your sleeves to get the actual work done.
I was in deep at that point. Interbase 6.5 was becoming FireBirdSQL. No one really knew WHAT was going to happen in the open source landscape. I was at a convention and it really did appear that Kylix had a valid foot forward. In retrospect, I would have totally gone in a different direction. The web wasn't "there" yet. We were still doing Perl and rudimentary PHP 3/MySQL 3 stuff. It was a gamble on their part, but I can't say I'd have gone the other way.
Study: Physical store can be major asset in omni-channel world
The other part that makes it stronger than simple line-fitting is the idea that it tracks similarily, but from different starting points, in jurisdictions where the use of lead started declining at different points. Especially when the jurisdictions pursued similar crime policy at around the same time (ie. the UK and the US).
>But then, in an industrial job, you'd be scolded for the implementation...

I wish this were true.

I work on a Goss/Rockwell that has 40 years of this kind of "cleverness" sprinkled all over it like fairy dust.

All I can say is : Please. Don't.
Looks like a good lineup of apps you've developed. Good luck. Sadly, I'm not one of your target market since I'm a linux geek.

Curious, who or what software stack are you using for the order processing for BTC, LTC, and Doge? I like how integrated it is with your site.
Right, because Amazon/etc === the sole use of virtualization?

There couldn't possibly be any companies in the world running multiple VMs on hardware they solely use (either owned or rented).
> It's also interesting to be reminded that Stalin was indeed a guy who could talk about ideas.

He was an very intelligent man who genuinely believed in what he preached. Which is precisely why millions paid for his idealism with their lives.
Correlation does not imply causation, however correlation can be used to support a theory of causation. The article does address this point:

"There is a substantial causal relationship," she says.
"I can see it in the state-to-state variations. States
that experienced particularly early or particularly sharp
declines in lead experienced particularly early or
particularly sharp declines in violent crime 20 years later."

Without reading the paper, I will not venture any opinion on the hypothesis/research/etc itself. I do however thing it may take more than 5 words to completely dismiss the theory.
For a liter, a cup of water takes less.
Might be able to confirm this by testing kids for lead poisoning in countries where leaded gas is still legal.

There are children that lived in the country and later move to the city. How early their exposure began would be the variable being tested.

You could treat all cases of lead poisoning you find and still be able to measure the impact of leaded gas on development.

Of course, I think the jury has been in on lead gas and paint for decades. But I guess for a poor country, an economic case must be made.
Yeah, it reminded me of that too.
For certain values of right. I'll take the marginal risk of security vulnerabilities over the envrionmental damage of fabbing and powering datacentres full of 99% idle servers.
The Virtual Reality Renaissance Is Here, But Are We Ready?
Bingo, unfortunately. I've been able to learn functional programming in Haskell and OCaml without any formal academic background, but looking at Coq, Agda, Idris, and F*, I despair of learning them without more accessible tutorials or a PhD in computer science concentrating on type theory.

My first intro to Haskell was through "Learn you a Haskell". I think without that type of introduction, I never would have progressed past basic pattern matching and folds/maps/filters. I need something similar for dependent typing.
i have a similar story, my first real company after college was a great place when i started, and then it seriously stagnated... i stayed 5 years in all, but in the last year i had no active project, just minor maintenance tasks... people were also getting laid off left and right as well..
It's a little scary, but this particular attack is only viable against AES-128, and to a lesser extent AES-192. Using the full number of rounds in AES-256 makes cache timing attacks much less likely to succeed.
Cool, thank you. I was wondering if it helped or hurt. Great!
I've been looking forward to a discussion on Thomas Piketty by the HN crowd for a long time, I was afraid it would never get here because it would have been be too 'political' - but I'm happy this has finally made the frontpage.

For those who are still unfamiliar with the name Piketty: He's a French economist (who briefly enjoyed a stint at MIT as professor before becoming disenchanted with the state of things here and returning to his home-country of France).

In his recent book "Capital in the 21st Century", he's done something very big. He's pointed out that capitalism is flawed -- that inequality is not an unintended result, but rather an inherent feature of it. He's done this with an enormous amount of data.

His prescription for the cure is a little controversial though: progressive taxes (up to 80%) for the rich, and a "global wealth tax" that he wants America to orchestrate. For a good summary (that talks about this main discovery that "r > g" -- that return on capital is greater than the overall economic growth), watch this talk on Bill Moyers show with Krugman: https://www.youtube.com/watch?v=QzQYA9Qjsi0 - though this submission article seems to have a nice synopsis too.

As an article on NYT earlier this week said it, the book heralds a song of American socialism in the future. His findings are just too compelling to ignore, they're going to fundamentally change the tone and substance of debate we have about economic policies.
I'd say Java 1.2 is the new COBOL. Just like COBOL devs were in serious demand during the "millennium crisis", Java 1.2 devs will be in demand the next time we have some sort of fundamental upheaval. This is due to so many banks/utilities/etc betting the farm on older Java. Judging just by current job postings, Rails 3ish might be entrenched for a short while too.
Another pretty awesome device modified for WiFi hacking is Denis' motorcycle.

Article:
http://www.itnews.com.au/News/323897,pen-tester-builds-wifi-...

Kiwicon presentation:
https://www.youtube.com/watch?v=Pr7YAhf4IG0
The author misses Gladwells premise from go. He said deliberate, not obsessive. His discussion was specifically focused on variance of experience and learning over that time.
This is only an issue if you're hosted together with the attacker, which is indeed an issue on public cloud services. But if all the VMs on the host belong to you, as is common in corporate setups, at best this is a way to escalate a breach.

Public services could make it easier to make sure you have a whole host for yourself. I can imagine even small sites wanting to make sure that the machines doing SSL termination aren't co-hosted with anyone else.
Yeah it is a total hassle to research that and don't get screwed. One can basically spend days researching on that topic and in the end you'll still feel like you made the wrong decision.

The problem with this is that you (as a customer) mostly are locked down by...
a) a long-term commitment (2 year contract)
b) the process of changing is made so complicated (30 day grace period, waiting for technicians)

All that makes it hard for the customer to adapt to the ever so fast changing market.

The only way I see is to virtualize this. So that you would no longer be a customer of cellular provider X and internet service provider Y, but you'd be a fixed-fee customer of Z-ALL.
The company Z-All then acts as a customer for provider X and Y.

It would be interesting nevertheless!
Show HN: Geodude – A tiny command-line tool for geocoding addresses
I had no idea sqlite put so much effort into testing. 84,300 lines of production code with 91,452,500 lines of testing code is pretty damn crazy.

I assume a lot of that code may be auto-generated, but it's still impressive regardless.
This has come up before with the Mother Jones article http://www.motherjones.com/environment/2013/01/lead-crime-li... This article is better in my opinion. Good discussion on HN then too.
https://news.ycombinator.com/item?id=5006368
Sesame Street debuted in 1969.

Whenever I see stories like this, I wonder what sort of impact it has had.
The first computer used in the shooting of a major motion picture (2007)
I'm working on this right now. If you're interested shoot me a message.
Antipositivism is a thing, like it or not. I've aways loved the quote from Heisenberg:

> The positivists have a simple solution: the world must be divided into that
> which we can say clearly and the rest, which we had better pass over in
> silence. But can any one conceive of a more pointless philosophy, seeing
> that what we can say clearly amounts to next to nothing? If we
> omitted all that is unclear we would probably be left with completely
> uninteresting and trivial tautologies.

Rejecting the entirety of a science because it deals in confidence values rather than "facts" is foolish; it might be better to judge works based on their quality, rather than some ranking that deems X to be a science and Y to be something other. I particularly love that you used the word "ascend"; I shan't be the first to compare positivism to scientism
I signed up for your newsletter.

I might not be the typical user, but since you're trying to embrace an international market, you might want to add support for Bitcoin as a currency.

I see that this is a service that helps you create advertisements, but I don't see anything about where the advertisements go.

I'm a newb when it comes to the online advertising space. All the acronyms (PPC, CPC, etc) and economics that power the whole thing make me avoid placing any ads because I can never get an intuitive feel if my money is being wasted or not.

Edit: Some more thoughts... If you do add a section for site owners who are wanting to place advertisements on their page, make sure to focus on things like the ability to control the CSS of the ad so the fonts look good.

Does anyone know if Google might accidentally see ads like these as being linkspam?
I have a different approach to the same problem, although I'm actively building out a solution involving creating geographically local communities around MOOCs and finding study partners (Coursera/meetup have attempted this but it isn't very good IMO).

If anyone in SF is interested in helping out, I could totally use a collaborator or two if skillsets/personalities mesh well. (I'm doing all the coding right now but the project could greatly benefit from a second developer with good design sense and some web dev experience)
no a single word about the "data bus" they use. This would be better entitled something like "Scala crash course by a twitter system engineer"
Well, it's talking about chronic lead poisoning, not acute lead poisoning. Different things. It's interesting to consider that chronic lead poisoning could have escaped notice for a long time because the symptoms seemed like random variance to you or me when they were actually a trend.
As a Lisp enthusiast who earns a living coding in C++ I can only say one thing: there's still a long way to go for C++. Very long, indeed.
Face Recognition in Salesforce using HTML5 Webcam and Mashape
You do have a point; I amended it on indiegogo, not sure how to amend it here, though....

edit: Derp, it says "edit" right there.
Interesting... I have, independently developed a similar method (I didn't realize there was such a large AeroPress hacking community out there).

I add water and ground as normal, stir for a little while, then top off the water and put the plunger in place. Depending on the coffee, I then wait 0-90 seconds before depressing the plunger. The plunger seal holds the water in place with no problem.

I tend to wait the longest with South/Central Americans, and don't wait at all for Africans. Most Indonesians are somewhere around 30 seconds.
The cost isn't the problem (well, it's a problem, obviously, but it's not the main problem). Take a look at this chapter: http://www.withouthotair.com/c27/page_203.shtml. The issue is the sheer size of the installations required to provide energy for a modern country. As he says in the book - to provide renewable energy for a country, you need country-sized installations to do so. In his examples, to provide energy for the UK you'd need installations approximately the size of Wales, if I remember correctly.

If you haven't read the book you really should do - it's truly excellent. He's not anti-solar or anti-renewable, in case you got that idea, but he forces the reader to be realistic about what switching to clean sources actually entails.
I see you didn't click through and read the article.
Correlation does not imply causation. While lead exposure may have something to do with it, an issue like the crime rate is driven by a number of complex factors.

Perfect example of why this type of analysis is ridiculous:

http://en.wikipedia.org/wiki/Super_Bowl_indicator
The article doesn't mention Gladwell, and is actually quite good. (Edit: The title does, of course, and is quite bad. That's why we changed it. Misleading and/or linkbaity titles get changed.)
This is the same additive discussed in the OP
Paul Krugman also reviewed the book in the most recent New York Review of Books [1]. Good read for those interested.

[1] http://www.nybooks.com/articles/archives/2014/may/08/thomas-...
Perhaps Test Driven Design is more about producing a certain kind of design, rather than about guarantees about correctness.
Interesting write up, and actually a problem I've been dealing with lately, but I have a few issues with how the OP went about the design.

1) straight from design to cad to getting samples built? Might have been better to hack together something at home. The prototypes could have been made from old orange juice containers and other random bits of plastic, cardboard, etc. etc.
2) Unfortunately, this doesn't solve the issue in my flat. The problem is not enough airflow to dry the towel, so I hang my towels out by the window, not in the bathroom.
The incredible thing is that they still allow private aviators to use leaded gas, primarily because it would cost the owners of obsolete aircraft a few thousands dollars to either refit their engines, or get supplemental type certificates for unleaded gas. These joyriding dipshits fly all over the place spraying lead over everybody.
I find it strange to think that TDD and formal verification are at odds with each other. For it to be backwards to write dynamic tests, you seem to be suggesting that it is actually worse than doing neither. I also don't see how it can be documentation, glorified or otherwise, and not tell you anything about the properties of the software.

Really there are perhaps three practical levels of knowledge about what a piece of code does:
- It does something.
- If I give it X it gives me Y (for some finite set of X).
- It will never do Z (for some finite set of Z).

The first is the state most software is in most of the time. The second is achievable with tests and some kinds of static analysis. The last is probably only achievable with formal analysis and code that fits the constraints of that formal analysis.

But both levels are at least an improvement on nothing at all. Having functional and documenting tests does bring meaningful knowledge about some subset of what the code does, even if it isn't the be-all and end-all of code analysis.

So I don't see how you can dismiss it so easily, when to me it's just a step on that striving you mention in your final sentence. For the moment it is perhaps true that the good is the enemy of the great on this, but that will become less true as the tools get better.

After all, even this article talks about only formally verifying part of the code of a web browser. Until and unless formally verifying the entire thing becomes possible, you still probably need the Acid tests to demonstrate its capabilities and help prevent regression.
This is not a meaningful contribution to the conversation. If you'd read the comments and replies made before you posted perhaps you'd have been able to contribute something other than the trite "correlation does not imply causation" which may just be the most obnoxious phrase on the internet today.
> Culture is not a good or bad thing. It’s a shared thing. I sometimes hear people say “they aren’t a culture fit” as if it’s a bad thing, or others feel bad pointing this out as if it’s an indictment on someone’s character. It’s not. I am not a culture fit at probably any other company, which is why I had to help start one!

This (which is one of Brian's notes in the article) is one of the best ways to think about culture that I've encountered. A company can't have "good" culture or "bad" culture. It just has a certain shared way of doing things that may or may not vibe with you.

On a related note, Tony Hsieh of Zappos believes what your culture is doesn't matter as much as having a strong identity. Just figure out who you, as a company, are and the rest will follow:

"...one of the really interesting things I found from the research is that it actually doesn’t matter what your values are, what matters is that you have them and that you align the organization around them. And the power actually comes from the alignment not from the actual values"[1]

[1] https://blog.kissmetrics.com/zappos-art-of-culture/
"science", to some, implies a discipline subject to the scientific method - none of this discussion is. Replace "science" with "discipline" in your post and it will make sense.
Dissecting Delight – Stripe Checkout
There's a Chrome add-on which uses the Algolia API to do this. It adds a pop-out side bar showing the HN comments for the page/article you're currently reading. You must be on the page submitted, rather than on a comments page, though.
Here Comes Facebook’s Ad Network: Mobile Ads Launching This Month
Tony Hsieh, Zappos, and the Art of Great Company Culture (2013)
I'm not sure if OP was making a racist statement of meant "the human race", but completely independent of that and in response to your statement:

Any technological venture is helping to solve poverty in the long run. Even if the venture does nothing to help inequality, the new technology is almost guaranteed to raise society's collective standard of living.
I'm curious about this "20% annual maintenance fee" you mentioned. Care to elaborate a little more on it? Or is in the podcast you linked?
This is the most valuable contribution to the discussion I've read thus far. Your points are concise and very insightful.
A very long time ago and much has changed for both.
Hi, I'm one of the co-founders of ecovent. The LBNL study did not address systems that can monitor their impact on an HVAC system. Some homes have leaky ducts and some have very tight ducts. The only way to tell is to measure them. Our system does measure it's impact, and maximizes the comfort and savings available for a given system. We can also provide suggestions for improving your home, such as rooms that need insulation or ducts that are very leaky. The same principle applies to reducing the airflow too much with respect to high limit switches and coil freezing. We monitor and adapt to the situation. Please let us know if you have more questions.
Since it sounds like they are going to put this game in their real game as a mini-game, I can understand the strictness here. It would be lame if this was a free form hackathon, but really it is just a porting contest for producing an easter egg to put in their real game. It would be pretty strange legally to have someone else owning a game in their game.
What makes you say that this kind of study can never ascend to the level of science? This kind of study is science. It's imperfect, but all of science is; science is just a collection of tools to improve our knowledge of the world, coupled with the body of knowledge so gained. Some of those tools are stronger than others, or can provide more certainty.

Controlled studies in which you vary only one input to a system at a time, and observe the effect, are obviously a stronger tool than mere observational studies. But that doesn't make observational studies not science.

It's perfectly possible to determine which of these effects are more or less likely to be responsible; the different hypotheses that you make would make easily testable predictions, which can be tested independently because different jurisdictions have made these changes at different times. Lead was banned in different countries at vastly different times (https://en.wikipedia.org/wiki/Tetraethyllead). Likewise, three-strikes laws have been introduced at different times in different places, and many places have never introduced such laws (https://en.wikipedia.org/wiki/Three-strikes_law). Easy availability of birth control and abortion may be a little harder to quantify precisely, but that can be done too.

Since some countries have only banned leaded fuel in the past 10 years, within another 10 or 15 we should be able to say with considerably more certainty whether this has a causal relationship. If the crime data for countries which banned it later follow the same pattern, that's a very strong indication that the theory is correct.

I would find it hard to believe that the three strikes laws would have the same effect, as the reduction in crime has been happening fairly consistently nation-wide, while three strikes laws have been implemented at vastly different times in different states, or not at all. Lead levels are much more consistent nationwide, as those have mostly been national laws (with the exception of California banning leaded gasoline a few years earlier).

Anyhow, I strongly disagree that you can say that this isn't science. It's imperfect science; anything as complex as the social phenomenon of global crime levels is going to have a lot of complex, interacting factors and no one of them is going to be completely explanatory, and you are never going to be able to do significant studies with controlled inputs. But there are scientific tools for dealing with these somewhat more ambiguous situations, and we can and should apply them as the policy implications are quite substantial.
NASA sending Google's Project Tango smartphone to space to improve flying robots
Show HN: SkyRunner, my submission to the 'Kii to Unity' game contest.
Put a teaspoon in the water - it will boil not superheat. Thought everyone know this :)
The latest revision to the C++ standard, including polymorphic lambdas, makes the xplusone definition much terser:

auto xplusone = [](auto x){ return x + 1; };

While at it, here's how Paul Graham's accumulator generator looks in C++14:

auto foo = [](auto n){ return [=](auto i) mutable { return n += i; }; };

This does not affect the point of the article in any major way; just a curiosity.
Home entertainment implementations are pretty appalling
I strongly disagree with the article for one reason: Correlation does not imply causation. That is what I said. I realize that my comment flies in the face of the opinion of radical environmentalists. Does that make my opinion invalid?
Would like to read the book but have not got a copy yet. All the physical shops I tried had sold out, seems to be selling well for an academic book.