skysight-inc/HackerNews huggingface dataset:
Thanks for the post Moxie! I always enjoy reading your stuff (and have you subscribed in my RSS feed). I think it's sad that many believe they 'have nothing to hide'. I've already seen it expressed online in response to things others have posted.

I think one thing I really wonder about that you somewhat touch upon is the fact that nearly everyone is carrying upon their person a GPS tracking device. I believe it not impossible the day will come where simply being in the area where a crime occurred is enough to open you to suspicion. Perhaps this has already happened.
Microsofts driver development tool uses something called SLAM[1] to verify device drivers (which are the primary cause of system crashes), which uses Z3 as an SMT[2] solver.

SLAM basically models the NT kernel and the Win32 API and checks for loads of bugs.

[1] http://msdn.microsoft.com/en-us/library/windows/hardware/gg4...
[2] Satisfiability Modulo Theories
You keep repeating that you think it's relevant. You still haven't actually said how. What difference does it make? Does the public deserve less of an assurance that these systems aren't being abused because one source made a claim that wasn't evidential, nor presented as evidence?

I'll repeat myself now: What makes you think Snowden himself, or anyone on the pro-democratic-debate side of this, wants you to take his claims at face value?
Having done both (leading/managing) I can say that I often have days where I dream of just being the worker bee... if only I could get paid the same.
Thanks Dave!

Also updated the comparison tool here: http://tagliala.github.io/vectoriconsroundup/
Fortunately I haven't had to use the cattle prod yet, everyone here was a Mac user since before we started. We find tools that work for everyone, it just so happened to be some were Mac specific, over time I'm sure this list will morph quite a bit.
This works for me with my first gen 15" Retina. This also happened to me at https://optin.stopwatching.us/, and I assumed it was exploiting some kind of bug with fullscreen for an intentional effect. I am using an external 20" older generation Apple display.
Cube Slam, a real-time WebRTC video game
You can use something like Channel ID[1] to bind the D-H connection into the bearer token used for authentication (i.e., an OATH token). This won't protect against a MITM attack per se, but laptops and mobile devices tend to connect to a number of different networks, and if the MITM proxy is located close to the user, it's hard to make sure that all possible connection avenues from the laptop in question can be intercepted (including if the user hops on and off a VPN). If the user manages to connect to the server without going through the MITM, the channel ID will be different and so this can be noticed.

[1] http://tools.ietf.org/id/draft-balfanz-tls-channelid-00.txt

If the MITM proxy servers are located close to the server, this problem goes away, but now the problem is since the ID information is passed after the D-H encryptionis established, and laptops move around, the MITM proxy would have to attack everyone's SSL connection. This increases the likelihood that someone will notice, and more importantly would require a huge amount of computing equipment. This is not something that you could hide in a phone closet --- and given how carefully most data centers measure power utilization and air conditioning load, a massive MITM proxy farm would be easily noticed.
Category:OWASP Top Ten Project - OWASP
A bizarre play by Snowden, who seems to have gone to Hong Kong in order to be in the strange space that currently exists between the US and China right now, where despite the normal standard of extradition from HK to the US, there exists the possibility of a Chinese veto. Here, I think Snowden is primarily stalling for time, saying that if China helps his cause (i.e. not allowing him to be extradited) he might do something that helps China.

I don't really know how I feel about this either ethically or as a strategy, but it certainly could play out to Snowden's personal advantage after a bit of time on the international stage. I'd imagine some pretty senior level guys will get involved, and they will decide what to do with Snowden.

That said, regardless of his ultimate fate, this does seem like a legitimate and probably successful tactic for him to buy himself a bit more time in Hong Kong. The Chinese government will probably want to know what he knows, but they will presumably also have to wait for him to reveal what he is willing to over time.

Keep in mind Snowden has already hinted he knows some pretty "dirty secrets" and given his crypto background, etc. it is possible he has some sort of other treasure trove of documents that he hasn't handed over to the reporters yet -- this is sort of an ugly and dangerous game, but I'm sure he knew that from the moment he set things in motion.
As long as you aren't using a service with your actual data.
If I use Tor to connect to facebook and input my personal information, Tor is only protecting my data in transit. The NSA can still request the data from my account from facebook.
To be fair, most of the actual collaboration tools (Trello, Flowdock, Hackpad) appear to be webapps. iMessage/Facetime is the big exception.
> Until the government is adequately constrainted by its contstituency, we will always have overreaches.

If there's only one lesson I wish people would take away from all this NSA drama, it's this one.

The government is in the end what people make of it, nothing more or less.
It's a step in the right direction, all right - or at least a step ahead of the backslide.

But an os update and a new case for an old product is hardly the stuff a company's future is made of. Apple isn't famous because they gave us os updates. They're famous because they gave us the iPad, the iPhone, the iPod, iTunes, OSX, the Macintosh, and the Apple II.

Any one of those products would have made a company huge from scratch, would have made the designer famous, would have made the company forever remembered. Steve Jobs did it SEVEN times.

Do they have any more products that change the world? If they don't, the decay to mediocrity is inevitable.
Major oops, actually somehow I commented on the wrong thread! (hope I'm not the first in HN history to do that), how utterly bad it may look, too many HN tabs open I guess.

As stupid as it may sound, it was intended for this thread: https://news.ycombinator.com/item?id=5866837 anyone with mod permissions, please delete the my parent comment (and this one as well) oh, the shame :0
As another user of iOS 7, one of those kinks - the "new" keyboard is only available in Messages.
Just because the United States happens to be better at it at the moment, doesn't mean other governments aren't complicit or wouldn't jump at the chance for total information awareness themselves.
> Your wife tries to testify in your favor at the trial...

Why would she do that? The only way you've gotten this far is because she's pressing charges.
This must be exclusive to the Retina MacBook Pro, then, because my MacBook Air doesn't show the same symptoms.
That was over 200 years ago. I am talking about people today. cf. point 7.
I have a gut feeling that you work as an SDET. I have been through the same experience in my first 2 years. SDETs go through a very different experience as compared to a PM or SDE at Microsoft.
ultimately one needs paycheck.. Its not easy to switch to the ultimate company which is perfect according to his ideologies when you have wife/kids..
i agree! i mean, what's really wrong with typing in all lowercase?
It wasn't intentional. I'm not on the team working on stopwatching.us, but I had the issue and wanted to get to the bottom of this.

If you've got the bandwidth, could you please post your monitor model and/or snap a video?
I'm not smart enough to understand this comment. Seriously. I just don't see what you're getting at. Yes, if Snowden's claims don't matter, neither does his credibility; but since that's simply the inverse of what I just said, you must be trying to make a different point.
Because Google doesn't use it? Google isn't a charity.
So? Capital letters obviate one class of ambiguities. That there are classes of ambiguity they do not is not a reason to not use them.
New York, NY - MongoDB Database Kernel Engineer(C++) 10gen (MongoDB)
-

We have a great working environment, culture and surrounded by intelligent individuals...but everyone says that... so let's just cut to the chase...
- Let's keep this simple.
-10gen is currently seeking an EXPERT C++ Developer to work on MongoDB Database Kernel.
- Email me at jason.chen@10gen.com if there is any interest.
http://newyork.citybizlist.com/article/10gen-among-‘25-enter...
They can and they most probably have done that. Even Iran and China did it, stole root CA private keys, kind of sloppy because we know.

Coercion by legal means, moles or good old hacking or planting bugged hardware in the targets system and extracting private keys. Its within the realms of NSA, remember, they have the capability to make their own processors.
Ah fair enough, that made me suspicious in particular as that title seemed unrelated to the bug :-)

I wonder whether my HDMI -> DVI adapter is making a difference somehow?
Virtual distributed Ethernet.

It's about 95% of the way to being turn-key. I plan to move ahead and release, but recent events in my life have called into question whether I have time to truly take it all the way. So I've decided to explore other options just for the hell of it.
Thanks for the library. It rocks!
Semantic Search Travel Website
Don't know why this was voted down: it is indeed a corruption mode Bitcoin can actually prevent, because the money supply growth is declared (way) ahead of time and immune to alterations except by getting the entire network to change the protocol. (Though this doesn't stop technocrat commentators from casually suggesting you could "fix" the supposed deflationary problem by just "tweaking" the growth rate ...)

Now, some people will say that money velocity fluctuates freely so this doesn't do anything about price uncertainty, but that's a rather high bar to meet in the first place.
Hmm, it is one thing to leak secrets that may be relevant for the public at large. It is quite another to give secrets to your countries competitors.
scott, hope he is not creating controversy by publicizing his team n stuff..
Apple Cinema Display ‪23-inch DVI‬ (1920 x 1200) connected through a DVI/DP converter. It doesn't happen when I open the image in photoshop.
Yeah, I tend to put a `pprint` at various points in the pipeline. (One which returns the form unchanged.)

I use print statements with virtually any programming language, basically using binary search to locate where my assumptions are violated.
I take it you've never had Coq au Vin?
Python - Fastest Template Engine?
This reminds me when some version of Nautilus (around 2003?) adopted that ridiculous open each folder in new window thing without an option to disable it.

Instead of listening to outcry of very much every single user out there, the person in charge insisted that his vision was the "correct" way of using desktop metaphor, and suggested everyone to get over it.
That claim is complete bunk. Does't seem like the op has much experience living in Africa. Frankly, he sounds like one of those highly paid world bank 'arm chair' consultants. They see mPesa working then scratch their heads and wonder: now how can I make it fit my beautiful economic theory? :) By the way for more articles of this kind check out: http://AfriTech.com
Seriously one or two stories with _actual details_ so that we can find out what is going on is fine.

Hijacking the front page: not so much.
90% of the compared screens don't seem to be a like for like comparison. Seems to be a bit cherry picked.
This is it, really. There is, IMO, nothing wrong with borrowing inspiration from what your competitors do well. I think that iOS7, on the whole, is much prettier and more modern than prior versions. I think that the platform desperately needed the refresh, and if they get some of the weaker parts worked out, it's going to be a solid across-the-board upgrade for people.

The thing is, Apple fan(atic)s (the pundits and those who echo them, really) love the "Apple innovates, never copies, only bad companies without any talent copy" routine, and here we have an example where Apple has pretty blatantly ripped design elements from their competitors. For the people riding the "everything Apple produces is unique and amazing" train, iOS7 is a deep betrayal specifically because it is so familiar to things that others did first.
> Code reviews can be skipped, for the sake of agility

that word, "agility". I do not think that it means what you think it means.
From the article:

> What if you haven’t logged into Yahoo! for over a year, but want to keep your Yahoo! ID? It’s easy. All you have to do is log on to any Yahoo! product before July 15th.
Err. They also have placed imagery and video of it all over their (general, not developer) pages for iOS. They've provided high res imagery and video for the media. It's effectively introduced.

And I say that as someone now running iOS 7 and OSX 10.9. I see a lot of potential in both, but iOS needs a fair amount of polishing.
Bringing Kinder Surprise eggs into the US carries a fine of 2500 USD [1] per egg with it ...

How many eggs would one have to attempt to bring with you to the US before it becomes a jail-able offense? Never-mind that most import stores seem to have them in abundance and somehow get them past customs!

[1] http://www.komonews.com/news/offbeat/Seattle-men-busted-at-C...
So far, I've only been able to reproduce it on first-gen 15" Retina MacbookPro's
> Been eyeing Coq for a while
Not really a story. Ouya cheaps out, doesn't pay for an E3 booth. Acts surprised when their booth outside the event is reported.

It's fun to play up the David v. Goliath story, but this isn't it.
How Social Media Destroys an Entrepreneur’s Ability to Succeed
Ignore everything he says and focus on the documents released and let them speak for themselves.
> Do you also giggle at the name "Johnson?"

Yes. Problem?
This is pretty much a circle jerk…
> The thing is, we’ve grown up. We don’t require hand-holding to tell us what to click or tap... iOS 7 is an iOS for a more mature consumer... who doesn’t want anything getting in the way of their content.

Even though the author is defending this, this hits the nail on the head for why I dislike this style.

I do want hand-holding to know what to click or tap. So does my mother. I don't want to have to guess what the designer wanted. I don't want to have a phone that requires me to be a "mature" consumer. I don't want to have to think when using it. And I want things to get in the way of my content -- things that help organize it, delineate it, and let me interact with it in clear and unambiguous ways. I didn't buy my phone to admire pretty pictures of my contacts -- I bought it to tap and swipe my way to getting stuff done quicker.

The original quote above isn't really about flat design -- I personally think flat design, done right, is great. The quote is about a different philosophy -- that just happens to have gone hand-in-hand with the new flat design movement. But I don't know what to call it -- an anti-interface movement? A make-the-user-guess movement? Microsoft's been doing this for a few years now; only now has Apple jumped on the bandwagon.
Snowden is making claims that are unsupported by the evidence (the evidence being the leaked powerpoint slides).

Snowden's claims have also been contradicted by other parties (ie, Google).

However, some people are simply treating Snowden's claims as true. This is a problem. Since Snowden's claims lack supporting evidence, and have been contradicted by other parties, then Snowden's credibility is the only thing supporting his claims. Thus, his credibility is very relevant.
Here are some interesting projects that use Coq proofs, I'll leave it up to you to judge how real world they are.

Generate OCaml code from Coq:
https://github.com/msgpack/msgpack-ocaml/tree/master/proof

Proof algorithms written in OCaml using Coq:
http://www.chargueraud.org/softs/cfml/

Write program specification and use multiple provers (including Coq):
http://why3.lri.fr/

Write certified programs, and verify proofs using Coq:
http://focalize.inria.fr/

Language semantics / type system proofs of languages:
http://www.cl.cam.ac.uk/~so294/ocaml/ (for a subset of OCaml)

http://gallium.inria.fr/~protzenk/mezzo-lang/

Books on Coq:
http://adam.chlipala.net/cpdt/
http://www.cis.upenn.edu/~bcpierce/sf/
They don't specifically state they only host JS libraries they're using: https://developers.google.com/speed/libraries/
In fact I believe laws should be designed to require selective enforcement. It's the only way to make the laws as simple and concise as they need to be.

Snowden is a great example of this. He demonstrably has broken the law, the law itself has a valid purpose.

Without selective enforcement he is in for a heap of shit because how do you design a law ahead-of-time that accounts for every possible nuance of how the greater public good might outweigh the risk to national security of analysts routinely disclosing classified information? We here on HN can't even design websites and programs that are secure and the computers do exactly what we tell them do, the legal code has to deal both with human agents who screw up and smart individuals looking for loopholes.

But with selective enforcement we can keep the law simple: "Don't leak classified information", and then allow for public outcry (or common sense) to prosecutors or the POTUS to ensure that he's either not tried, or even has an eventual sentence reduced or commuted.

Even now we live in a country where the police routinely don't 100% enforce the law even without invasive oversight, so it's obvious that merely having the police know about lawbreaking alone doesn't inevitably lead to trouble; oftentimes they care even less than the public does as it results in more paperwork for them.
To me, this feels like OS X Public Beta all over again. Aqua was polarizing and many of the changes were met with elation, hostility, or utter despair. The stability and UNIX features were welcomed but everything else was shunned.

In about a year when the final release shipped, many things were fixed and polished, but people were still polarized, and many refused to budge from OS 9. About a year later, Jaguar was released, and OS X began coming into its own.

I predict the same thing will happen with iOS 7.
What Apple bloggers have you been reading? John Gruber, who is arguably the most famous Apple blogger of all, has always been a proponent of the Metro look, as well as an opponent of the kitschy skeuomorphic elements in iOS. I mean, he's been anticipating the "flattening" of iOS7 ever since Forestall went out the door!

And personally, I love the way iOS7 looks and feels from the videos, way more than my current iOS6. (Except for Game Center, don't know what's up with those bubbles.)
Snowden's claims are directly substantiated by the NSA document which specifies that the NSA has direct access to data from most email service providers.
It's important to remember that Microsoft is a HUGE company, and the experience varies greatly between divisions and organizations, and even between single products within those orgs.
The all-in-one controller+computer housing is neat, but in terms of the software setup, is there any advantage to following the instructions in the post rather than using the RetroPie SD card image?

http://blog.petrockblock.com/download/retropie-project-image...
The state presses criminal charges, not the "victim".
Same here. MacBookPro10,1 with two monitors connected (VGA + HDMI) and I can't reproduce.
Microsoft is the complete opposite of Facebook's "Move fast and break things". And that's a good thing, in a lot of ways. When entire companies (industries?) are dependent on you: slow & steady to get it right is much, much better than moving quickly to integrate the newest technology.
Tweeting with Chris Messina, the guy who invented the hashtag
Can't reproduce. mid-2012 MBP Retina + Cinema Display 24"
It is theoretically possible to double-spend a bitcoin transaction in the first 20 minutes after you spend it.

However, the cost of doing so (in processing power) is high enough that it's not worth doing for small amounts. So long as amounts over $100 wait for confirmation you should be fine.
Because nobody has ever built "firesheep"?

I think that its unrealistic to assume that nobody is watching you (because we know thats untrue now) and that nobody bad is looking to harm what you do. It is trivial to inject an exploit into an unprotected webapp.
IANAL, but in some states there are certain legal mechanisms that prevent domestic violence victims to back off and drop their charges (as a "safeguard" against intimidation leading to dropped charges).

I wouldn't be surprised if some states had laws that more or less forced the potential victim to go through the trial even if she intends on testifying in your favor. I dunno. Just sayin'.
When A Hackathon Becomes Cheap, Crowdsourced Labor
I have been doing a minute by minute podcast analysis of The Big Lebowski since last year and some of our episodes are almost two hours. http://gutterballs.tv
True, and I'm not bitter about it. I think I got it sorted out by eliminating the background updates for stocks and weather, and aggressively killing any apps I'm not using.
You can subset Font Awesome. Check out icnfnt, for example:

http://www.icnfnt.com/

It's currently at version 3.0.2, but I'm sure they'll update it to 3.2 soon.
The NSA is Not Asking for Samples of Your Feces
Thanks for writing this, I'd be interested to read how you decided who to publish it with (and why you made it freely available too), and how sales went :-)
I am surprised by the polarization, really - I have been using Gnome 3 on two machines for the last few months, and it works fine, though that doesn't mean I don't have a few complaints. But I don't expect it to be magically perfect - no other OS / wm I use regularly is either. I don't find Unity unusable, or Cinnamon or Mate, I just haven't liked any of them so much I'd switch (partly there's inertia at work here, I am sure I if I had to use any of them exclusively I'd have a better grasp of their strengths and weaknesses).
So is this his "I quit" post? Because it doesn't seem like his superiors are going to be very pleased with this post..
That makes sense, but can't a CDN also help identify the DDoS and block communications from certain servers. I remember seeing a captcha on Adria Richards website after she got those two devs kicked/fired. Maybe GitHub just needs better tools to identify and block the DDoSes quicker.
This isn't true at all. Read model jury instructions sometime; you'll see that virtually all of them instruct the jury not to convict without first determining that there was some knowing action. The "Undersized Lobster" statute is explicit about this, but doesn't have to be; the "strict liability" crimes (like statutory rape) are the exception, not the rule.
On the other hand, I had different experiences both times when interning at Microsoft.

Anyone that works or has worked at Microsoft should all end any "my experience" post with one sentence: your mileage may vary.

Microsoft is a gigantic company where team culture varies widely. Some may consider this a good thing, others a bad thing. I don't really care. I just call it a fact and as such "my experience at MS" posts are usually pretty meh unless the author him/herself realizes that their team's culture is probably extremely different (for better or for worse) from other teams' culture.

I think it's a pretty important footnote to include, that's all.