skysight-inc/HackerNews huggingface dataset:
Sometimes I feel like the vast majority of annoyances I face at work should have a #firstworldproblems hashtag on them.

I remember, I joined in Jan 2009 at the bottom of the recession, which was basically around the same time that all these perks were being cut. And people at work would gripe all about how the microkitchens weren't as good and they discontinued tea time and the cafes were closed on weekends. And then I'd go home to my two roommates, one of whom worked at EMC, and she would be like "We laid off 15% of the company today. I still have a job. I have to do the work of two additional people, but I still have a job."
No, it's called "We used to think this was preposterous but the Supreme Court told us it's not."
Manchester United vs Arsenal today 22/1/2012 Premier League
The Completeness Theorem (in one of its equivalent forms) says that every consistent first-order theory has a model, linking syntax and semantics. It doesn't tell you any thing about how you would go about justifying that a theory is consistent.

People hoped that some logical system capable of formalizing real mathematics would be able to justify its own consistency. Godel's Incompleteness Theorem (and stronger, related results) imply that any system capable of formalizing real mathematics (or even a very weak subset of it) can not justify its own consistency, requiring an appeal to a stronger system. Obviously, that raises the obvious question of why that stronger system is consistent. There are constructive proofs (due to Godel himself, Gentzen, and others) of the consistency of Peano Arithmetic, but by the Incompleteness Theorem they must all be non-finitary in some fashion, no matter how slight.

However, there are some limits to this understanding of Godel's Incompleteness Theorem. There are theories that are strong enough to prove (and perhaps more importantly, state) their own consistency but not strong enough to formalize diagonalization. If PA is consistent, then there is a theory that can state and prove its own consistency as well as the consistency of PA. The trick is that provability can be formalized on the basis that subtraction and division are total functions, whereas diagonalization requires addition and multiplication to be total functions. These theories can prove that subtraction and division are total functions, but not addition and multiplication.
I really hope that we do wake up. A cynical view might be that we'll instead force everybody else to adopt our draconian ip laws (we're trying really hard at least), in which case this exact scenario will depressingly become a non-issue.

Speaking of waking up, having three emergency vehicles truck by your window at 2 am with sirens blazing is a really unpleasant way to wake up. At least I got to see this interesting topic :)
Here's the old SO thread on the same topic, though I think this list might amount to a more well rounded person.

http://stackoverflow.com/questions/1711/what-is-the-single-m...
>throw unlimited funds at it with no promise of a solution or 'patch it yourself'

Riighht... because support, contractors/integrators don't exist in the open source world.

The fact that the source is available is just another fallback on top of others. As someone who actually deployed closed source systems in production I can't even begin to describe how superior the opensource alternative is. Basically putting your project at the mercy of some corporate third world tech support department and three layers of bullshit between you and the guy writing code, priced as gold. When you trace down race conditions in binaries/using DTrace and send a detailed description of the problem only to get to some Indian dude who doesn't even understand what you're trying to communicate - "dropping down to source and patch it yourself" is a utopia and being able to hire the guy who wrote it or sent patches is a dream.
In some cases, could nationalization be cheaper?
I was wondering why more websites weren't already doing this when SOPA/PIPA were on the horizon.

The US has a problem with politics and when that problem endangers the internet, to me at least, the simplest solution is to block US users.

It has got to be tempting now for site owners, especially considering how US courts do not seem to have much trouble seizing websites. If the site isn't US facing surely that would put a big dent in any legal action made stateside.
Can the US Custom force someone to unlock an encrypted drive or deny entry if you dont comply ?

Im fine with the search but they have no right to scan my notebook etc.
Bookmark this article and remember this date, as YCombinator has altered its focus and embarked on this political venture. Once it had worked hard to stay clear of political entanglements, now it dives wholeheartedly into the grift of politics. No one play politics and plays clean, not even angel investors.
Congratulations for the successful fundraising!

But you do know you could have potentionally cause serious damage to your body when running injured? I'm no doctor and your motivational essay was far from a diagnosis, but still.
I haven't read the whole thing yet, but a quick glance through shows Article 11:

ARTICLE 11: INFORMATION RELATED TO INFRINGEMENT

Without prejudice to its law governing privilege, the protection of
confidentiality of information sources, or the processing of personal data, each Party
shall provide that, in civil judicial proceedings concerning the enforcement of
intellectual property rights, its judicial authorities have the authority, upon a justified
request of the right holder, to order the infringer or, in the alternative, the alleged
infringer, to provide to the right holder or to the judicial authorities, at least for the
purpose of collecting evidence, relevant information as provided for in its applicable
laws and regulations that the infringer or alleged infringer possesses or controls. Such
information may include information regarding any person involved in any aspect of the
infringement or alleged infringement and regarding the means of production or the
channels of distribution of the infringing or allegedly infringing goods or services,
including the identification of third persons alleged to be involved in the production and
distribution of such goods or services and of their channels of distribution.

It seems like this might cover a court ordering you to provide the password to determine infringement. However the first sentence might get you off the hook if you're a doctor or lawyer or other similarly privileged professional who has information about your clients on your laptop. I'll update this when I finish reading it tomorrow if I find anything more specific.
Link? I am interested in salary negotiation techniques.

Thank you.
I think this post sums it up: http://rachelbythebay.com/w/2012/01/15/bofh/
Property Management, Boston 
The apartment building division offers property owners and investors the ability to own income-producing property without the aggravation and with the benefit of having a professional management company handle their properties with the same standard of care as it as they were their own.
How about an IT worker? You'd hope a sysadmin has some kind of privilege. I expect not, though.
Here is my experience. I'm 32 now, in 2006 the company I worked for, Neven Vision got acquired by Google. Given the choice to go to work on a startup at the time. I chose to work on the startup. And then spent the later 4 years building it with a team of friends. We eventually grew Ucubd to six people, and got some great press getting featured on Jason's Shark Tank with Groupon. That was kind of a highlight. The rest of it was pure hell. If I wasn't in my late 20's, I would have had a thousand grey hairs. Your first startup will either be a knockout success in short order, but most likely it will kick your ass. I wish I could tell my younger self to just go work at Google. What am I doing now? Working on a startup of course :). 2FB.me .
OK. Let's just say that as a potential user of your product, I have a relatively good idea of what's wrong with academic publishing in my field and of how I'd like the world to look once these problems are solved.

Given my specific issues, he citation indices are a bigger concern to me than the publishing portion. If you can address my concerns I'll probably end up using your product. It looks interesting enough that I'll probably give it a test drive anyway.

I'll try contacting you off-HN if you're easy to find.
This.

I have never been arrested, never investigated. But recent events, have instigated in me a fear of those in power. The Megavideo seizure was a wake up call.

I wont even post comments like this under my normal HN account.
I don't think they do unless their work covers one of the traditionally privileged cases.
Cogent shares fall 19% ($160M) the day after Megaupload shutdown
I get free breakfast and lunch which combined with living alone means I don't have to cook -- so I note that down as a saving of about an hour a day.
Because corruption comes in degrees and utility curves shrink. The difference between 1 million and tens of millions is not enough to sway your person of average morality to the Dark Side. But the difference between tens of millions and 170k or however much is a more tempting offer, especially when you live in the unbelievably expensive DC area and also half your peers are filthy rich.
Or use an online storage service (e.g. DropBox), and uninstall the client before going through customs. Kind of a hassle, but avoids the issues of have encrypted content on your system.
no its "Die Partei".
Please, tell us the point then.
A new remote data integrity checking scheme for cloud storage
That's probably the idea :)
You're an ignorant uneducated anti-intellectual with strong opinions on stuff you have no experience with and have spent no time investigating.

You repeat the slave morality taught to Evangelical Christians by the Goldman Sachs psychopaths to whom you bow down.

The economic system is entering a period of peak instability to be followed by transformation. You'll hear about after it has completed, at the same time American Idol fans become aware. Such is the fate of the anti-intellectual who shuns knowledge and education. So be it.
I previously worked at two startups and founded one and currently work at Google.

I'm going to be weird and say do the startup. This has everything to do with your particular situation; you've already worked at a big company, you'd be joining Google in a sales capacity instead of an engineering capacity, and you like and trust the founders of the startup.

In general you want to optimize for learning experiences. You can get certain learning experiences at Google that you can't anywhere else - but the difference is much less in sales (where things may run a bit more smoothly, you may be introduced to some interesting systems) than in engineering (where there's certain knowledge that you just can't get anywhere other than Google). You've already done the big company thing; Google will have better perks than Shell, it may pay better, but it's not going to be fundamentally different.

BizDev in a startup, however, will expose you to all sorts of challenges that you don't face in a big company. In a startup, everything is an uphill climb; people have never heard of you, and so you need to make them hear of you. And you'll learn a ton in the process.
It won't be published until Monday (US time). Your options for finding it then include emailing me, getting the RSS feed at kalzumeus.com, following me on Twitter (@patio11), or (not a given but also not the riskiest prediction I'll make this year) checking the HN front page.
Scala, isn't that the jvm language for type hipsters?
They can't really deny you entry if you have a US passport.

Yes they can charge you/confiscate if you don't cooperate/unlock your data. You might be better off hiding it in plain view, it's not like they're going to do much more than a cursory glance.
This is hacker news not Nature.

You provide no evidence either you hypocrit.
Regardless of ACTA, I have already established a personal policy to:

1) encrypt my partitions (other than root, to make upgrades and reinstalls easier; I use LUKS)

2) copy the essential first megabytes of each LUKS partition to my server or shell account somewhere, encrypted with GPG

3) fill that space with random data

4) travel and go through customs

5) access the GPG encrypted LUKS blocks over internet, decrypt and copy them over

6) boot back into my system

If at 4) "they" require me to decrypt the partitions, I can honestly say I can't: for security reasons I don't have the decryption keys with me. If my equipment gets confiscated when they hear I won't and can't decrypt the partitions, I will have to clean the physical laptop to remove any keyloggers, or just replace it before proceeding to restore my encrypted setup. If "they" find out about my encrypted LUKS blocks, I can also ask my friend to provide half of the GPG passphrase, so that I can honestly claim I don't have the passphrase to unlock the blocks.
Get rid of the indirection. Hiring lobbyist isn't necessary.

Instead, a two step system would be nice:

1. People add money to pool. The pool's contents are publicized.

2. After congressional votes, the pool is distributed to all politicians who voted "correctly".

Note that this incentivizes politicians to oppose the status quo, as the less politicians supporting a piece of legislation, the higher the payout.
LG has launched its first LTE tablet
Not a lawyer here, but I've heard some BS laws about encryption. In some cases if you refuse to decrypt or are unable, you can be at fault and still be detained. Needs citation though.
EOS Developes Cheap Zinc Air Long Life Electrically Rechargeable Battery
If you're that worried about your data, tar, gpg and then dd it to an unused portion of your hd.
Sharon Stone on AARP The Magazine cover and talks about her life
Reverse engineering would be a lot less of a pain without the clean room requirement, so I'm not worried about that.

Anyway it's a pony suggestion, not a serious proposal for a law. What I'd actually like to see is reduction of copyright/patent terms, abolition of certain patent types, expansion of fair use boundaries, and explicit rules for determining fair use without going to court.
"Drupal Video Tutorial | Drupal Video Tutorials"
Finally, Here's a Simple and Effective Training Tool That Shows You The Shortcuts On How To Master Drupal In Under Six Hours...
There's also that clause "upon a justified request of the right holder", which implies the rights holder has to provide some evidence to indicate there are infringing files.
A shadow partition would be more effective at bypassing customs. For real boots, you use a copy of grub on a usb dongle. When grub is missing, you boot into a honeypot Windows XP partition that was installed only for that purpose.
In France we have a lobby fighting for internet freedom, La Quadrature du Net: http://www.laquadrature.net/

The lobby is only three people, and was started by one guy on his own. He pays himself with donations.

And yet he's been very efficient: almost all newspaper stories on the subject quote him. Also, more and more French politicians understand the electoral weight of the issues, and less and less support restrictive laws such as Hadopi.

I don't see why you couldn't have the same in the states.
Would that be legal? It sounds like outright corruption...
Are you talking about In re Boucher?

http://en.wikipedia.org/wiki/In_re_Boucher

In that case the government could only compel the defendant to produce his keys because they already knew what was on the drive in question.
Why is the word "Work" capitalized, as it is found in "If you charge a fee for any book or other work you generate using this software (a “Work”)"? Is that normal in legal documents?
If the 12yo in question knows a bit of programming, a much simpler thing to explain would be the Halting problem, both the statement and the proof.

The bulk of Godel's proof is introducing recursive functions and the "godelization", which means mapping formulas to natural numbers and functions to arithmetic/first order expressions. This all comes for free if you know any programming language; if you don't like natural numbers, you can use strings (the source code itself and its manipulations).

From there, the diagonalization used in the Halting problem proof is the same used in Godel's theorem. In fact, the two theorems are intimately connected, essentially by the statements "you can write a first-order proof verifier in a programming language", and "you can write a computable function as a first-order arithmetic formula".
Well, I don't mean evidence in the sense of a scientific cite. But this is just an assertion - at least you can back it up with some argument as to why you think it might be true.
If you are in the EU, and you want these things Joel talks about, vote for your local Pirate Party. Vote for them in your national elections, and vote for them in the elections to the European Parliament. We don't need external lobbying to get what we want; we can just elect the representatives we want. So do it.
Tangent: Ever notice how some of the most interesting threads on SO are [closed]? Especially the ones linked to from HN.

Edit: BTW, I didn't mean to imply that this was necessarily a bad thing. It's in keeping with the facts, not opinion, guidelines of SO, but an [opinion] tag might be a nice addition to SO. In this case, the question wasn't bad, and although some of the answers are mere speculation, comments like the one made by Larry Osterman help put to rest some of the BS that gets spread around in this industry.
Is there something like this for Android? I have to travel to the US a few times for work assignments, and I guess I'd be screwed when someone finds 8GB of pirated music.

Allegedly pirated music. Which makes me wonder, how would they figure out whether something is pirated or not?
>You repeat the slave morality taught to Evangelical Christians by the Goldman Sachs psychopaths to whom you bow down.

Hahahahaha. That's the dumbest thing I've read today.
The simplest way is to use netstat and check amount of connections from each host. If you see plenty hosts with many connections established, that's DDoS. If there is plenty hosts, but each one has few connections, thats DoS (aka slash dot effect), mentioned by Tomek_.

PS: DDoS - distributed denial-of-service attack. Deliberate attack which involves dedicated software; DoS - denial-of-service. Server can't handle all requests, because suddenly there is more of them (because of link on frontpage etc)
If true, this has to be one of the more bizarre ways to counteract piracy I have ever seen. I don't know what percentage of piracy is enabled by people carrying hard drives full of pirated movies across borders, but I'm sure it is vanishingly small - that is, after all, what pirates use the _internet_ for.
The highest voted answer is clearly the sensible interpretation, but people do like to indulge in gossip and the 'politics' answer pushes those buttons.
Yes. They can also take your property away to search it, returning it months later.

The final decision of entry to a country(at that point) lies with the immigration officer. I imagine you can ask nicely for a review after you've been flown back to your point of origin.

I'll dig up some links, but seizure of non-citizen's computers at US borders is possible and scary. I treat the US border like a hackers conference - take a freshly imaged device, and refresh it on your return.
Thanks for the tips. It's reassuring to read that most of them are already on the cards/in hand, but I think I'll try to swap some running for longer walks with the baby. There's great walking where we live, so it'll fit perfectly. Cheers!
Visualizing Perl 5 release cycles
This is no news, I heard about this years ago from friends going to the US as exchange students. There were random laptop harddisk searches, luckily they were spared.
Hi - thanks for the sound advice, too. Am really looking forward to everything that'll be kicking off in the next few weeks :o)
Business poetry - Seth Godin or Joel Spolsky?
Haven't read that one, but I try to re-read Nagel and Newman's at least once a year: http://www.amazon.com/Gödels-Proof-Ernest-Nagel/dp/081475837...

One thing I love about N&N is that it's short (160 pages) and the paperback is cheap ($7.65) so that I have no compunctions in lending it out.
A tale of Apple, the iPhone, and overseas manufacturing
GHOST BOX OFFICE COLLECTIONS – REPORTS AND EARNINGS 
Earnings of Ghost as of 14th January is 50 lakhs.
If you had actually read the article, perhaps you would have added the immigration of all of Foxconn's employees into the U.S. Apple's complaints weren't about wages or regulations in the U.S. at all. The primary complaint was that there simply weren't enough people with the sufficient training to do these jobs in the U.S. the workers do not exist.
My only comment after reading this story. Is he seriously complaining about having to walk around and hunt for food, (donuts) rather then finding it in a kitchen next to his desk? If that's the case I would be complaining about the lack of a good gym at Google instead.
Tshirt for hackers(WIP). Would you buy it?
It is not to stop piracy. It is to detect and punish people who have pirated content in their possession.

You can't invade people's homes but you can search them thoroughly while crossing the border. People are used to having their privacy invaded while crossing the border.
This Service Sends You Startup Merch Each Month
Hacked Record Player Turns Tree Rings Into Music
I wear compression shirts when training jiu jitsu/muay thai. They are amazing for wicking away sweat and keeping you cool. You simply can't go back to cotton t-shirts which soak up sweat and get heavy.

However, how do these garments help keep you warm? I was under the impression that their breathability exposes you to outside temperature more efficiently (which is usually cooler than your body temp).
I'm a bit unsure this is actually a good idea.

I think the people behind SOPA are happy that uploaded.to decides to block US citizens. Cause that's exactly what they wanted in the first place.

What i would rather see is that companies move off US soil as a response to US Law. And stay off TLD's controlled by the US.

Also proxying should be promoted to circumvent the censorship that the government puts down over it's own citizens.

The movie industry has to adapt to a new market. The government should not adapt to an industry that has lost it's ability to innovate.
So this Sunday I thought it would be nice to do some design instead of coding. I ended up designing a t-shirt for our 'hacker' community.

Here is the first version of the design, a work in progress, submitted on threadless for critique. I would love to know what you guys think about this design. Is it good or needs work? Give your suggestions to improve the design if any.
I'm gonna revive the TwitchTV thread with a true story. I've killed the cable and gone with higher-speed broadband, ordered but not yet installed. I was tired here on Saturday night and went looking for some NBA, and not reading the links closely wound up watching NBA 2k12 on twitch for a few minutes until I snapped it wasn't actually live NBA. That tells me the animation is close to passing for photorealistic, and even that might not be important if the players (the humans [or AIs] playing, I mean) are so good that it is as interesting to watch as it when watching live giant humans really play basketball.

Second true story was chaperoning a 15-year-old overnight birthday party right after Skyrim came out. Watching seemed to be quite acceptable entertainment, although there were occasional switches to the Fallout channel. This despite enough controllers for actually multi-play.

As has been noted, this is still somewhat Hollywood-y in the movie-sized investment in those games, but the revenue is definitely not going to traditional motion picture studios.