skysight-inc/HackerNews huggingface dataset:
SSL stapling can reduce the overhead as well, simple nginx config:

http {
ssl_stapling on;
ssl_stapling_verify on;
ssl_trusted_certificate /etc/nginx/ssl/stapling.trusted.crt;
resolver 8.8.4.4 8.8.8.8 valid=300s;
resolver_timeout 15s;
}

We https://commando.io use GoDaddy SSL (sigh, face-palm), so the contents of stapling.trusted.crt is:

http://pastebin.com/0H0i09Pn
>But this doesn't strike me as fair. I'm a HOL Light user, and the de facto proof style is procedural. In that style, which I understand is preferred also in Coq, the user tells the machine how to compose an assortment of automated tools to break down and solve the problem, often performing computations to massage the goal into a suitable form. The scripts are usually completely unreadable, but that's by design. Those who want a more readable style of formalised proof are encouraged to use "declarative styles".

It's possible to create readable coq scripts. However, like with any kind of programming it takes effort. If you take a look at the proof of four colors theorem of fiet thompson they are quite readable and don't look like complete mess. They, however, use modified coq instead which is called ssreflect.
Ok, what's a better word? I mention violence because it is most common dividing line, but I think what I mean could be called "resistance". Whether we call it violence or resistance doesn't change my previous comment; as I clearly described, civil disobedience is typically considered to be passively accepting the consequences as part of a public display.
Some people believe that there is a "human social contract" or "natural rights" or some variation thereof, but it's incorrect to say that the Constitution enshrines that concept. What the Constitution says is that the rights the colonists already possessed, by virtue of long-standing practice and their status as Englishmen, were not prejudiced by the new Constitution.

It's blatant historical revisionism to assert that a group of people who didn't believe that black people in America had any rights somehow believed in a concept of universal natural rights that we should apply to people in Yemen or Afghanistan.

The Constitution is fundamentally a product of "social contract" thinking. The preamble says:

"We the people of the United States, in order to form a more perfect union, establish justice, insure domestic tranquility, provide for the common defense, promote the general welfare, and secure the blessings of liberty to ourselves and our posterity, do ordain and establish this Constitution for the United States of America."

When you see uses of "the people" in say the First Amendment, it's a clear reference to "the people of the United States" not "people everywhere." It's not necessarily limited to U.S. Citizens, but it is limited to people who have some nexus to the U.S., either through citizenship or presence on American soil.
+1 as you are correct!

Just everyone hold on before popping Champagne as this is all scripted.

Noone will bulldoze the Utah facility just yet; while Rick said its unconstitutional he really based it on the fact that Gov did not prove it was necessary. This plus opening the door to appeal is actually just helping the Gov and leading them by hand on what they have to do to win it all the way in.

You don't need to have a crystal ball to see it couple months from now.
Yes and no.

The NSA clearly at least makes some attempt to rationalize its actions according to the law and precedent (hence the focus on "metadata", exceptions the administrations has made for "national security", etc). This is true even if we on the outside believe those rationalizations to be rather flimsy or themselves unconstitutional.

Having an official ruling that explicitly states that certain activities are unconstitutional means, at the very least, that they must come up with new rationalizations (or stop rationalizing altogether, though at that point it'll be harder for your Average Joe NSA Engineer to continue to believe they're the good guy).
>> "What managers end up doing is being responsible for all of the shit work so their team can go do what they do best"

This is, in essence, a manager's most important job. It gets under valued, because when it's working it doesn't look like a manager is doing anything, it just looks like a bunch of great people working away. You notice managers when they're bad, not when they're good.
That fix wouldn't require C++ knowledge at all. It involves changing some CSS. The issue is the effect it would have on sites that expect it to be styled the way that it is.
By that logic, not only Amazon, but everybody who refuses to hire those workers or pay them more than their work is worth is exerting force. It's absurd.
And much of what the NSA and the CIA is benign and could be done in public. Like reading, understanding and communicating political events in other countries. Understanding world economies. Close it down and redistribute the funds to the Peace Corps, I know lots of out hipster kids I would like to send to Sudan.
"but you have to give them the benefit of the doubt that they are not doing this for shits and giggles."

Maybe you shouldn't give them the benefit of the doubt on those horrible things they are doing in your name.

Those numerous killing of civilians should require at least some questioning.
Sounds about right. While we are on the same page: Google reads your email and Microsoft is a small company that makes excellent computers mouses.
I'd love to help (I opened KAFKA-1050 on the issue), and I even started coding, but I got stuck on how to deal with the rollback problem when a write isn't acknowledged by a quorum. I think it requires a "real" distributed consensus protocol (unlike the current design), which is a fairly big change! It may be that the answer is to use Kafka's efficient storage design with Raft, which is something I explored a little on day 1 of my project: http://blog.justinsb.com/blog/2013/12/07/cloudata-day-1/
Yes. they should. now think real hard about why that might not be happening here.
Ag: The_silver_searcher
Related: definitely check out https://github.com/sockjs
Yup. Some are pretty good and also have a presence in the Bay Area.

Teambox - http://www.teambox.com/company/jobs/
3scale - http://3scale.net/jobs/
Tyba - http://tyba.com/jobs/

More random jobs: http://www.jobfluent.com/
Sock.JS: websocket emulation
You're both right. Yes, we should check very carefully, but as you point out we have more than one body to play with. We should have a clearly defined cutoff point at which we stop looking for something that may not be there in the first place and do other things instead. Otherwise we're never going to get off the planet.

As these things go, Mars is far less interesting to me than Europa. That moon of Jupiter seems to have massive amounts of liquid water, geysers, ice quakes and plate tectonics, (presumably due to) tidal forces from Jupiter, and a thin oxygen atmosphere. Along with Saturn's moon Enceladus, it's the most promising place to look for other forms of life.

http://en.wikipedia.org/wiki/Europa_(moon)
http://en.wikipedia.org/wiki/Enceladus_(moon)
Why the Boston Globe Reported the Harvard Bomb Threat Badly
Cool. Now just let us know when the criminal trials begin.
Show HN: Connected sensor changes centuries-old sport (ice fishing)
Tar mnemonic
Nit: the GBA uses an ARM7TDMI that IIRC implements ARMv4T, which isn't a strict superset of ARMv3 (I think that's the first ARM that dropped the old crazy addressing). Still very fun to mess with.
I think you're being naive about what police in the US can do with very little resistance or punishment (especially internal). Remember things like:

http://en.wikipedia.org/wiki/Kent_State_shootings
http://en.wikipedia.org/wiki/Jackson_State_killings
http://en.wikipedia.org/wiki/Waco_siege
Maybe is an "IP conflict / IP duplication", and the VoIP packets go to both IP addresses.

IP duplication can be caused by some type of "monitoring/spy" at their (or your) computer, and a dynamic IP address.

it's not usual.
Fix the SJR vulnerability on your project [Rails]
OK, this explains part of their plan:

http://venturebeat.com/2013/12/16/rethinkdb-grabs-8m-to-show...
I agree with your core thesis about the role of alt-coins in a deflationary spiral. There's one thing I haven't drunk the kool-aid on, though, and I'd like you to tell me if you see a hole in my logic: I don't see how a deflationary spiral is a problem at all.

It's true that if a currency appreciates in value, buyers are disincentivized to spend. However, sellers also have the same knowledge, that the currency will gain value over time. Wouldn't that incentivize them to lower their prices in order to acquire the currency-as-investment, until the two meet in the middle? (Many of the merchants who accept BitCoin offer a BTC discount for this very reason.)

One practical way that we see this happen is in technology, where goods rapidly decrease in value. While a dollar might lose 5% of its value over the course of a year, that's nothing compared to buying a new computer. And so the onus is on computer makers to offer a compelling enough value and price to convince the user to upgrade, as opposed to living with an old machine, or waiting for a better one. At any given point in time, to buy a computer is micro-economically foolish, and yet transactions still manage to take place, because buyers and sellers eventually meet in the middle.

The trick to this, of course, is that this model only works if the currency deflates at a stable rate. BitCoin still has yet to establish itself in this regard; time will tell.
> This is good but the second sentence is worrying. Either we have the constitutional right or the government can suspend it when convenient.

You read a lot into a single sentence from a news report of a 68 page court opinion.

There's the later sentence "The judge went on to conclude that the searches involved in the NSA metadata program were likely not permissible under the Fourth Amendment in part because there was little evidence the program has actually prevented terrorism."

This implies that the opinion may state other reasons for why it's unconstitutional.

I have been unable to download that judgement. The URL provided by the news article times out.
Aye. Would one think that the computer security guys at the NSA are unaware of the vast body of literature on social engineering? ;) (I don't think that you do, it's a rhetorical question.)

I suspect that it's very likely that the NSA fucked up, big-time when they designed their internal security and auditing system. With the system in the state that it must have been, would they even know if an agent from $ENEMY_COUNTRY_OF_THE_MONTH had siphoned off sensitive data, shipped it back home, and vanished into the night?

I mean, the only way we became aware of this leak was the Guardian's announcement of it. It kinda feels like the NSA became aware of the situation at about the same time that we did.
I can seriously picture some sort of phased process where they stop doing one thing, and then another, over the course of several years. It would be as a result of this ruling or one like it, which explicitly calls out the behavior as invasive and harmful, but they would tread on as long as they could thanks to sunk costs.

It'd be akin to a bully with a tazer saying "Well I've already spent the past several years tazing you several times a day and I spent sooo much on this fancy tazer, so how about we bring that down to just twice a day for the first year, then daily for the year after that, then every other day, and so on?"
I wonder then, what is your explanation of why the US military behaves the way it does?
If you remove the loaded language in "private residential property" and rephrase as simply "residence", i.e. your residence where you are living, then we aren't talking about property as a means of production, which is where the sticking point is. Your residence is your possession, and you have every right to privacy.
Nice work ... what about privacy tough?
If I am not mistaken, the album id is 6 chars long with the combination of lower and uppercase a-z and digits, can be brute forced...
Ah great, I don't know why but when I follow the donate link from the main Mozilla page it goes to this url https://sendto.mozilla.org/page/contribute/EOYFR2013-tabzill... and there's no tee-shirts on this one.

Anyway thanks for the link that's what I was looking for.
If it's a fad then it has a time period where it is popular, which is entirely reasonable to call an "era".
Aren't you paid by Google to work on Dart? Apologies if I have the entirely wrong person.

How is that different?
This strike is so ridiculous.
I agree that warehouse work isn't the easiest work(physically), but that's part of not being skilled.
If you take a look at the wages Amazon pays (10€ for the first year, 11,77€ in the third year) and take a look at other jobs for the unskilled (McDonalds, DPD, Hermes), you can clearly see that this is actually a decent wage. Especially in the Area of eastern Germany, wich is still economically much weaker than western Germany.
I worked part-time in a large themepark for 4 years and none of their regular workers got paid that much. Also they we're mostly unemployed in offseason.

Also consider that there are only about 15% of their workers striking.
The Store is drawn much bigger than it actually is.

Also the Union VerDi is just a big Joke. They're not about fair treatment of workers but their own advantage. They're just giving these workers a runaround.
Many people probably want to learn coq after reading the article and watching the video.

Vladimir mentions that he had a course at Princeton where he learned Coq. Most probably this is the course: http://www.cs.princeton.edu/courses/archive/fall10/cos441/in...

And its based on on-line book Software Foundations http://www.cis.upenn.edu/~bcpierce/sf/toc.html which is really accessible for about anyone with small programming experience.
One does not need to be at war in order to be a MIC.
I'm curious what your definition of "nutjob" is, given that you would apparently apply it even to people who are correct about all of their theories.
Rails doesn't do it by default, you need extra libraries [0]. I'd also guess most people won't put source maps on production.

[0] http://blog.vhyza.eu/blog/2013/09/22/debugging-rails-4-coffe...
I doubt they even have the means to do that.
Concerted: WIP Light weight In memory storage library for analytics
> 2. And what problems with IGE are you aware of? Any known attack? As far as we know, it is the ubiquitous CBC that has had issues. And by the way, Kerberos had to abandon PCBC - not IGE.

IGE was the first attempt at an "authenticating encryption mode," originally for Kerberos. It was a failed attempt (it does not provide integrity protection), and had to be removed. That was the beginning of a 20 year quest for an authenticating encryption mode that works, which recently culminated in modes like OCB and GCM. I don't see any integrity protection documented anywhere in your protocol spec, so if you're relying on IGE, it's broken.

What's more, any "problems" with CBC (I assume you're referring to padding oracle attacks) are not specific to CBC, and are endemic to IGE as well.

> The team behind Telegram, led by Nikolai Durov, consists of six ACM champions, half of them Ph.Ds in math. It took them about two years to roll out the current version of MTProto. Names and degrees may indeed not mean as much in some fields as they do in others, but this protocol is the result of thougtful and prolonged work of professionals.

I don't think their academic credentials or the amount of time they spent on this are the important metrics. If you're trying to suggest that they're thoughtful, the best metric for demonstrating that would be something like a proof for the (honestly naive-looking) KDF they made up.

In essence, the protocol seems to reflect many choices that anyone familiar with the field can immediately identify as suggesting a lack of understanding. It could be that these are simply brilliant moves that we non-ACM champions are too primitive to understand, but if that's true, you need to justify them with proofs in order to support them. Otherwise we're going to interpret them for how they appear.

> Thank you for the offer to join in the project you represent. However, we feel that what we are doing is going in a somewhat different direction and has its own potential.

Could you describe how your projects objectives are inconsistent with a protocol ratchet like Axolotol or the full TextSecure protocol?
Apparently not http://science1.nasa.gov/science-news/science-at-nasa/1998/a...
Warheads only have to survive re-entry, and they care very little about a prepared landing site.
I'm pretty sure that the US was a capitalist country when slavery was legal, it's only government regulation that stopped it.
Yes this is a good step in the right direction I feel. Personally though some updates would have been nice, I think there was at least 4 months between funding and hearing that surgery was complete for the patient I helped with. An earlier update would have been nice, was wondering what was going on for a while. Also they used the original picture of the patient rather than an updated one. Maybe I'm just being picky but I think those things could help improve the response that a donor feels from helping out.
I don't really care if it's unethical or illegal. I personally just don't want to be taxed to pay for it.
We don't even know they are there to begin with. I am all for proceeding carefully, but you're arguing for a paralysis of ignorance.
It's really interesting reading about the main plaintiff, Larry Klayman https://en.wikipedia.org/wiki/Larry_Klayman

I'm curious if he's more motivated by NSA-as-a-tool-to-attack-Obama or the merits of the case itself. Beggars can't be choosers, but still pretty strange to be in a position to back someone tactically on one issue while probably opposing most of the rest of his agenda.
15 years and counting! https://bugzilla.mozilla.org/show_bug.cgi?id=540
Fantastic app. Thank you for making this.
Hey, HN. I wanted to show off the hardware startup I've been working on. It's a sensor for ice fishing that alerts you when you've got a strike. This way you can sit in your shack and drink beer without having to constantly check your holes outside.

It uses Bluetooth Low Energy, and we've got apps for iOS and Android.

We started in April and managed to have our product developed and in stores in at least 6 states by October. We're currently manufacturing it ourselves here in Wisconsin.
If you operate under the same principles as your enemy, then you're no better than them.

And also: what do you think the chance is that the enemy might decide to operate under this presumption of innocence is the US doesn't?

Do you want this spiral to go up or down?
My understanding is Mars can never host earth-like life because it doesn't have a magnetic field. There's too much radiation.
I am very sad that we did not actually land on the Moon after all. :(
> humanity as a whole needs to get off this rock to have any hope of long term survival

Or, people could have <= 2 kids on average. Seems more achievable to me than terraforming another planet.
It is in their best interest. It also sucks.

You have a nice life. Someone comes up to you and holds a gun to your head. You are now about to die. They say "I won't shoot you if you give me all your money".

Suddenly, giving away all your money is in your best interest. Therefore it's voluntary, and by your argument, fair and reasonable and nobody is being taken advantage of because it's all by choice and in best interests. Right?
Management practices, on average (there are always exceptions) tend to be much better in the developed world. Here's some research from Harvard Business School that looks at it more quantitatively: http://www.hbs.edu/faculty/Publication%20Files/12-052.pdf Here's another one, although it's less academic and more consultanty: http://www.stanford.edu/~nbloom/ManagementReport.pdf

Improved management is actually one of the reasons that developing countries are able to achieve such remarkable productivity gains. Here's a study that actually used Randomized Controlled Trials to show the effects of improved management practices in India: http://www.stanford.edu/~nbloom/DMM.pdf

The TL/DR on that last one is that a small amount of management consulting led to pretty big productivity improvements.
I see the evolution of social networking evolving from connecting with everyone in the world, aka public networking to only connect with the ones you actually care about, aka private networking. When Facebook was cool, it was cool to know that you can post a status update and have the "whole world" see it. With the rise of messaging services (snapchat, whatsapp, line and so on), we are moving to the stage where you only share with a very small group of closely connected individuals. A more intimate network.
"Isn't it much more important to learn a bit about the world before we start shaping it in our image?"

Gonna have to go with, no.

There are over 6 billion monkeys on this planet, and the clock is ticking on what's left of our resources. Either we move some of the monkeys, or we remove some of the monkeys.
A big counter point to the Facebook is a fad is Pepsi. Pepsi was considered a fad in the 60's when it was already 40 years old. It's still around. It buys coolness with a massive marketing budget. Pepsi is water + corn syrup + some flavor. And it's been around for many, many decades. Pepsi, and Cola, show that being old does not mean you can't still be cool.
The fact that a foreign government is okay with killing random civilians, still doesn't mean it's okay for the US to come over and actually do it.
To be a valid TCP packet, it needs to contain at a minimum a 20-byte IP header and a 20-byte TCP header, plus the one byte of payload. In practice your server is probably receiving the packet over Ethernet, so it probably has an Ethernet header and things like that, too, but that's a minimum. You could approach it over, say, SLIP.
Super excited for the rethinkdb team. I absolutely love their database and am currently trying to stop using it for everything.

Super helpful on IRC (I've been in there multiple times for help with small problems), seems like an overall awesome team
I flubbed and added two numbers that ought to have been in opposite columns.

$700 is the cash value of the 0.6BTC sold.
$870 is the cash value of the 0.8BTC order for more hardware at the time the order was placed.

So you've got 4.4BTC in assets as unrealized gains, $1570 (700+870) in realized gains, and $1470 in mining expenses.

Does that mean you owe taxes on $100 in recognized gains, and the rest are unrealized assets that are not taxed until they are sold?

I think I understand. That sounds a lot more favorable to the miner than the speculative buyer, but it seems to be correct.
If society decides that even low-paid workers should be treated with a modicum of respect (e.g. actually getting paid for the time they work, not being treated like automatons), it's the employer's problem to figure out how to pay for work conditions that meet the standard.
I can say I use Facebook Connect to log into web sites everyday, and sometimes I post to Facebook using other sites (if I pin something on Pinterest) but I actually check my facebook page one a month or so.
Slava @ rethink here. I'd be curious to see a use case where doing the join on the client is more efficient than doing it on the server. I can't think of a single one off the top of my head.