skysight-inc/HackerNews huggingface dataset:
This really sounds like something straight out of some Ludlum book, which, incidentally, I loved.

This is by no means advice for Snowden, but it's worth a shot.

When you're on the run, burn your passport. Get rid of your wallet except for cash. If you can, withdraw as much cash as possible and close your bank accounts. Toss your wallet in a fire, taking only cash. Get rid of any physical attributes that could be used to easily find you. If you wear the same type of shirt every day, wear a different one every day. Shave your facial hair, and get a new hairdo.

Be a nomad. Sleep in homeless shelters, and go from place to place, never staying in one location too long. Set false breadcrumbs, like Facebook logins, at strategic locations. Map out a route of where you plan to go, and map out the route where you'll leave linked IPs, logins, property along the way, maybe make a call or two with a prepaid phone and dispose of it.

When your money supply is running low, forge your own identity. Create a new name, with a new ethnicity. Get a job. Live there for a while, never getting too close to anyone. Disappear. Get off the grid permanently. If the United States approves a pardon, then show up only after 4 months, it could be a decoy.

Always stay on the run. And never. Trust. Anyone.

------

for added effect, listen to https://www.youtube.com/watch?v=dc7qiosq4m4
This is good to hear, but you have to really worry that there are people in the government who argued against it.

If the CIA wanted to do some useful domestic spying it would be far more beneficial to do their operations on these people. They are clearly a larger threat to democracy than any mere terrorist could ever be, and they are already INSIDE the system.
That's not the way it works. I'll quote whoever I want, whenever I find their articulation of ideas interesting. It's intellectually bankrupt to ignore a person's ideas just because you don't like them.
Yeah but now you need to work to prove intent. A company can make a good defense that the side channel was unintentional, especially if they never bothered to tell their customers what to look for (someone would eventually figure it out on their own, if the latency difference was noticeable). It could happen without the company's management or legal team even knowing; a developer could just hide a subtle scalability bug in the wiretapping system, so that a large number of wiretap requests triggers the side channel (take a look at the Underhanded C Contest if you doubt that such a bug can be easily hidden in even a small codebase).
That's why you have at least two people work on every part of the code, ideally together, but you could easily arrange a hand-off. Solo-developer projects are bad ideas for other reasons, notably that if you get hit by a truck the company is SOL.
In essence we the people need to be Big Brother keeping an eye on the government while they spy on their siblings.

Ultimately the US needs a sustainable system where the people elected to power aren't bound by financial need which in-turn forces them to pass and enforce laws that aren't good for the greater purpose of the people. But while we're at it, I'd like a pony.

I'm in Canada, and we are in the same cycle of 'interpretation'. As with any major country we need to get back to the foundations and simplicity of our core laws that both protect the innocent and judge fairly on the guilty or suspicious.

In respect to transparency, we need a set of global laws that protect the users of systems based in foreign countries. If Canada had strict privacy laws, I would hope that I would be protected by those laws even if I'm using a service based in the US.
Additionally it isn;t clear to me if cell site location data generated in order to be able to enable a call would fall under it. If it does, then the order turns our cell phones into Knotts-type tracking beepers.
I've been thinking about it for a long time. I still don't get it.
When I saw this was hosted at upenn.edu, I was certain it was a Kenneth Goldsmith project.
Study Shows Pill Prevents H.I.V. Among Drug Addicts
Great reading list! How about "The Semantic Web" by Tim Berners-Lee?
There are at least two questions to consider. (1) Is your argument reasonable? (2) Is your argument legally compelling? It is important not to conflate these two questions.
I would argue that most (if not all other) internal threats to a democracy are a subset of the vigilance and apathy problem.

If the surveillance state existed before the democracy and continued on without the consent of the governed, then it wasn't a democracy to begin with. If the citizens allowed a surveillance state to take root or their vigilance slipped, then continued vigilance would keep the surveillance state in check. However, I'm making the assumption here that for the surveillance state to take enough power to make it unstoppable (without violent revolution), it would have to grow to the point where its secrecy is no longer maintainable, and the aforementioned vigilance would take over and bring in the rains.

Now that I've written that, it all seems like semantics...
Here is a summary of the Guardian story and what has been changed: http://www.zdnet.com/the-real-story-in-the-nsa-scandal-is-th...

"Updated June 10 to include a quote from a follow-up article in the Post directly contradicting its initial claims and another observation after the release of the leaker's identity."
Effectively managing memory at Gmail scale
> It's far too large a topic to treat in a HN comment and its whole system encompassing so 'what it could be' is a large set.

This is a good start:

http://en.wikipedia.org/wiki/Transmission_line
Can someone explain to me why the author is implying CreateSpace is disreputable?

Apparently ISBN's are not acceptable from there an bookstores will not order through them. Why would this be?
I was wondering if anyone else noticed the chairwoman's grin when General Alexander talked about operating lawfully. Made me sick. The whole charade made me sick...
Maybe so, but the fact that nobody even seemed surprised that someone would be sent questions in advance of their appearance before Congress is what concerns me. This seems to be a normal, expected thing that happens when powerful people are questioned by Congress -- the whole thing is just for show. If you are going to email your questions to the person in advance, you might as well just have them email their responses.
Quite blatant indeed. They obviously didn't do any research on things like http://tagsfordroid.com/ which is a brilliant use of NFC that could not be duplicated on an iPhone.
Google mainly knows the things it tells it. Government should be the same. I tell the government about my taxes. They should know that because I gave them that information. I didn't give them my search information, so they should not have that without a court-approved search warrant. If they want my search history without one, they should ask me directly for it and I should have the right to deny them that information.
Apple puts artificial restrictions on what tools you can use to write iPhone apps, and Macs are that allowed tool, so OS X isn't closed?

That is literally the dumbest argument I've ever read on HN.
Google Offers Some Detail About How It Transfers Data to the Government
So, in summary, the difference between a patriot and a traitor is just PR. Pun intended.
Three stratum theory
NSA could have prevented 9/11 hijackings (2009)
My experience is that everyone everywhere these days loves their country and distrusts their government. The question, as always, is how individuals and groups of people navigate the government and vice versa. The specific limits vary from one place to another but the attitudes seem remarkably stable over time too.

For example in medieval Iceland, one of the major protections against unreasonable search and seizure was a combination of limiting the number of people who could be involved in searching for a stolen item for example, and also mandating all the places where the MUST search. So you could only have so many bondir searching for a stolen item and they couldn't selectively search farms. Instead they were required to search all farms between two suspects. this made very indiscriminent searching impractical.
To me, living in the woods as a survivalist is a fate worse than prison, and when you are eventually caught you have to serve the entire prison sentence on top of the time you spent eating squirrels and freezing in the woods. But there are definitely a few notable cases of wanted people who have lived in plain site for a long time before being captured. A convicted serial rapist named Gary Alan Irving was caught a couple months ago after 34 years on the run living near Portland, ME. He married and had children and grandchildren during this time.

I think you could totally do it in many cases. But I'm not sure that you could do it in this case. Snowden's face has been plastered all over newspapers, TV, the Internet, etc. Video of him, including his voice, has been all over TV and the internet. He has some distinguishing features that would make it fairly easy to confirm his identity. Also, hawkish conservatives (of which there are many in rural areas) are going to view this man as a traitor and delight in turning him in.

If he did stay here he probably would have many people willing to harbor him and give him food and shelter. But eventually they are going to slip up and he is going to be caught.
I don't know what I find more disturbing: the complete and utter disregard for the rule of law by our elected and appointed officials, or the fact that some people find no fault with that.
## The greatest of the great

C. A. R. Hoare. An axiomatic basis for computer programming.

http://sunnyday.mit.edu/16.355/Hoare-CACM-69.pdf

Peter J. Landin. The next 700 programming languages.

http://www.cs.cmu.edu/~crary/819-f09/Landin66.pdf

Robin Milner. A theory of type polymorphism in programming.

http://courses.engr.illinois.edu/cs421/sp2012/project/milner...

Gordon Plotkin. Call-by-name, call-by-value, and the λ-calculus.

http://homepages.inf.ed.ac.uk/gdp/publications/cbn_cbv_lambd...

John C. Reynolds. Towards a theory of type structure.

http://www.cs.cmu.edu/~crary/819-f09/Reynolds74.pdf
> Is the law itself actually secret? I thought someone linked to Section 702 straight off of the GPO website on one of the other stories.

In this context, "secret law" means that the executive branch refuses to share their interpretation of a law passed by Congress. So while it may seem certain what a law says and what its writer meant by it, the executive branch sometimes chooses to creatively interpret the law to do whatever it wants. If the executive branch fails to explain its rationale and interpretation of the law, and the interpretation is much broader than the law's intended purpose, it's effectively a secret law.
What really pisses me off is that Democrats seem to support Obama in anything he does; half of them think this kind of shit is perfectly fine, likely because their team is the one doing it. Really sorely disappointing.
Power is derived from the people, not rights. An early argument was over the very need for an explicit bill of rights. Even the text of the bill of rights suggests that the founders believed that certain rights are inherent:

Congress shall make no law...abridging the freedom of speech...

That wording seems to just assume that people have the right to speak freely, that no law is needed to give people that right, and that laws can only restrict that right (and such laws are explicitly forbidden). The phrase "God-given rights" is not meant to assert that God exists, it is meant to assert that certain rights transcend legal codes and exist regardless of what government happens to be in power (or even if there is a government in power).
Maybe that's the reason you guys and gals are still pretty true to the 2nd amendment, at least relatively.
Yeh, he is still young enough to change the world.
Leonard Adleman biography
True. Maybe we just need better interfaces for managing multiply-referenced files.
So while the White House and the NSA are saying the claims so far from Snowden are overblown and hyped up, Congress is saying there's far more going on than has even been reported yet.
Also says it's an "online survey." So it has a self-selection bias. In order to be useful, the survey would have to be from a random sampling of people. Calling folks on the phone is the best way to accomplish this.
So, maybe I'm just being overly provincial here--I rather suspect I am--but does anybody else wish people could explain, to a three year old, why anyone should give a fuck about monads?

They always seem to come up along with Haskell, and as far as I can tell they seem mainly to be CS hipsterism.

So, pretend I'm a three-year old...or even better, pretend I'm a grumpy old C programmer.

Can anyone here (please!) explain to me:

1. What are monads (using grade-school language)?

2. What does a monad in C look like (or C++, if you need template magic or OO stuff)?

3. When will I use one outside of my Haskell class or Google interview?

EDIT: I gather that monads are some kind of weird thingy related to doing proper function composition in type systems that would otherwise get in the way, but maybe I'm smoking crack?
What a crappy "article". enneff comment already points it out.
Oh gods of HN, grant me thine Downvote Dagger that I may smite this post.
There was some novel where I read NSA has their own resident tough guys. was that pure fiction?
Ugh, if you look at the bottom of the pretty great works you will see Guy Steele's master's thesis where he defined the Scheme programming language and its compiler.

I know when I was writing my thesis I was pretty disgusted that he ruined it for all of us mere mortals. ;)
As things continue to develop in Hong Kong I am more and more impressed by his choice of venue. I would not call him an idiot and I would not want to wager anything important on my chess skills against him.

Hong Kong is actually the perfect place because he is able to play three distinct groups off eachother. The immediately obvious parties are the US and China who both are likely to look at this in terms of what he knows, but then there is also the large-scale concern in Hong Kong over encroachment by the Chinese government so he is able to play Hong Kong off China as well. It is one thing to play two groups off eachother but three gives him a significant chance.

Moreover an extradition request would be a total game changer. Right now it is a game of chicken. Extradition procedings woudl turn it into a game of national security assets and intra-Chinese politics.

The fear of him already being turned by the Chinese is another thing he is able to play off of.
Wow. I see. Thanks a lot.
There was a lot more wrong with the P4 (not the least of which was the absolutely abysmal chipset Intel married it to) that rendered it such a disaster.
Oh, the one by the Web Developer?
I read "authorities" as "clearance" or "permissions", not that the system had green light the sifting of communication of a particular person. My reasoning here is that he mentioned the President as well. It seems that any personal account is fair game so long as you have the permissions to perform a search in the system and you have the personal email to use as a unique identifier.
I wonder if they checked his Facebook messages and Google maps searches.
What are you talking about? Do you have any evidence for this? Or was it just some democrat you talked to who supported mass surveillance? You think the 30% of Americans who believe Snowden is a patriot are all non-democrats?
can reproduce with all examples incl. stopwatching.us with mid 2012 rmbp and LG 23EN43 which is connected via thunderbolt to DVI adapter.

display shuts off immediately.

Was quite confused when opening stopwatching.us yesterday, thanks for pointing it our here :)
Your second proposition would be fascinating to watch play out in the courts. If I had to make a guess, I would bet that ultimately, the individual would win out in what would probably go to the supreme court (at least in the US). By that time though, the NSL's would probably have served their purpose, and something else will have taken it's place.
RemixDeck Mapper ~ Abtevrythng
What is "faith", if not considering something to be self evident? Something being self-evident just means that you don't care to provide any justification for it. I see no difference between it and faith. Gods are considered axiomatic by the religious just as the basic set of rights are considered axiomatic by American government literature.

Self evidence does not imply "correct". Far from it.

This has never before arose as a point of contention in conversation for me. You are being rather uniquely odd about it. And in case you missed it, I am not the person further up in the conversation.
Doesn't that mean though that it is our moral imperative to modernize all traditional peoples in the world? Under that argument, shouldn't indigenous peoples be discriminated against to encourage them to modernize?
Very relevant http://www.youtube.com/watch?v=-jxaune1z3k
I am not sure about your two non-coding examples.

There is a lot of effort expended to find non-surgical alternatives to many health conditions. Insurance companies in effect tell surgeons "you should avoid operating on people for this condition unless these other approaches have been tried first" in their reimbursement guidelines.

And the architect Mies van Der Rohe is famous for his precept that "less is more."
Greatest of the great:

C. A. R. Hoare. An axiomatic basis for computer programming: http://sigpl.or.kr/school/2005w/slides/2_17_1.pdf

Peter J. Landin. The next 700 programming languages: http://www.thecorememory.com/Next_700.pdf

Robin Milner. A theory of type polymorphism in programming: http://courses.engr.illinois.edu/cs421/sp2012/project/milner...

Gordon Plotkin. Call-by-name, call-by-value, and the λ-calculus : http://www.sciencedirect.com/science/article/pii/03043975759... (PDF link at upper right of page)

John C. Reynolds. Towards a theory of type structure: http://repository.cmu.edu/cgi/viewcontent.cgi?article=2289&c...

Pretty great works:

Luca Cardelli. A semantics of multiple inheritance: http://lucacardelli.name/Papers/Inheritance.pdf

Luis Damas and Robin Milner. Principal type schemes for functional programs: http://web.cs.wpi.edu/~cs4536/c12/milner-damas_principal_typ...

Edsger W. Dijkstra. Recursive programming: http://oai.cwi.nl/oai/asset/9253/9253A.pdf

Edsger W. Dijkstra. Go to statement considered harmful: http://www.massey.ac.nz/~kahawick/159331/Goto-Harmful-Dijkst...

William A. Howard. The formulas-as-types notion of construction: http://www.cs.cmu.edu/~crary/819-f09/Howard80.pdf

Robert Kowalski. Predicate logic as programming language: http://65.99.230.10:81/collect/computer/index/assoc/HASH0183...

Peter J. Landin. The mechanical evaluation of expressions: http://ropas.snu.ac.kr/lib/dock/La1964.pdf

John McCarthy. Recursive functions of symbolic expressions and their computation by machine: http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.111...

Eugenio Moggi. Computational lambda-calculus and monads: http://pdf.aminer.org/000/267/711/lazy_lambda_calculus_theor...

Greg Morrisett, David Walker, Karl Crary, and Neal Glew. From System-F to typed assembly language: http://staff.ustc.edu.cn/~xyfeng/reading/p527-morrisett.pdf

George C. Necula. Proof-carrying code: http://www.utdallas.edu/~kxh060100/Papers/necula96.pdf

Gordon D. Plotkin. LCF considered as a programming language: http://www.sciencedirect.com/science/article/pii/03043975779...

Gordon D. Plotkin. A structural approach to operational semantics: https://www.alice.virginia.edu/~weimer/2006-655/reading/plot...

Guy Lewis Steele Jr. RABBIT: A compiler for SCHEME ftp://publications.ai.mit.edu/ai-publications/pdf/AITR-474.pdf

OK, I think the first two sections are plenty. You can search for the rest yourself on Google Scholar (I found most of these as the first hit on Google Scholar, one or two took looking through a few hits or doing a Google search as well)
Yeah. For example, a recent reddit post for example highlighted how you can extract private SSL keys from the memory on any virtual machine if you have access to it.

[0] http://www.reddit.com/r/linux/comments/1fxg9k/do_more_people...
I think the point is that they are trying to claim "it's only metadata!" Well that's more than enough to identify you.
That is where plausible deniability comes in to play. He could lie under oath, and it's still plausible that he is telling the truth.

The only play on the government's part at that point, as far as I can tell, would be to acknowledge that the NSL did exist in order to prove that he was lying. They likely would not do this though, as it defeats the purpose of the gag order.
It'd be perfect. It would have been instigated by the fall of one character, name 'Snowden'.

http://en.wikipedia.org/wiki/Yossarian#Snowden
Yes, so? I have not disputed that.

The situation is constructed by the canary operator; the legal situation, the justification for commanding the canary operator to lie, is not constructed by the canary operator. As much as they would like to be, the canary operator is not in a position to dictate how the laws are written and interpreted.

If the canary operator were in a position to construct the legal situation, then there would be no cause for concern. However they are not, and cannot be.
Bank robbery suspect wants NSA phone records for his defense
Indeed, if you check facebook when you claim to be sick and you are not sick, you are billing your employer, so calling in sick is wire fraud and checking facebook (if their ToS bans use for unlawful purposes) is unauthroized access to a protected computer system in furtherance of another crime (and therefore a felony).

Two felonies there.
CreateSpace is a self-publishing service owned by Amazon. It has a direct effect of undermining publishers and bookstores. For obvious reason other bookstores do not work with CreateSpace.
Former CreateSpace publisher here. CreateSpace has purchased a large block of ISBNs, which it "recycles" among its books: if you publish a book, then stop publishing it, it will be reused for someone else. They also don't update the ISBN even if you radically revise the content of the book. Needless to say, this wreaks havoc with 3rd-party inventory systems that rely on the ISBN on being unique... although in my particular case, it saved our ass!

http://gyrovague.com/2012/12/18/wikitravel-press-seven-lesso...
He wrote that whole essay without using the r-word once, it is of course pretty obvious that digital files are made of bits, but it's reductionism to see them as only bits.

That's not unique to binary at all, humans are only fleshy machines made of cells, cells are only collections of atoms and atoms are only energy. Of course the universe doesn't care about any of those distinctions, those distinctions are "just" colorings imposed by our worldview.
My (very liberal) mother asked me today if I had read David Brooks' piece on Snowden.

I said I had and she told me that she agrees with the government surveillance and told me Snowden was a traitor to the American people.

I said, "You support PRISM?!"

She said, "What's PRISM?"

People have no idea. All they know is Snowden, Snowden, Snowden...
It will be very interesting to see if he is able to rally support in HK
He should be tried for lying under oath.
Indeed;

> I remember an interview where he talked about how much he enjoyed listening to the traffic outside his apartment.

I recall that video - here it is:

https://www.youtube.com/watch?v=pcHnL7aS64Y
Well, I just wanted to guess at what that 5Ghz announcement actually would mean in terms of performance.

I'm not convinced ~11 pixels per second is within the margin of error (the numbers were from the single threaded povray test) -- but 3.8% difference certainly mean very little in the real world. I'd guess it falls within the bracket that is measurable but ignorable ;-)

Also, the "5Ghz chip" will most certainly be AMDs top of the line model?