skysight-inc/HackerNews huggingface dataset:
Galois Video: PReach – distributed explicit state model checking in Erlang
Thank you so much for posting this comment. I love watching ideologically-picked solutions smash into the unyielding fabric of reality.
There has been lots of progress. We know a lot of things that (for sure!) that can't settle the question.

To quote (http://news.ycombinator.com/item?id=1586749): >> It's known that a proof resolving P vs NP can't relativize, can't be "natural", and can't "algebrize". <<
As you can see from my initial comment I was just pointing out similar functionality in NOLOH that can be done right now. Others replied with questions to which I answered. There's nothing wrong with that, it's a natural part of Hacker News. As you can see from some of the other posts, other technologies were mentioned too.

Since you just created your HN account you should know that HN is more about discussion than anything else.
The real question is whether it actually feels as smooth as a pen. The erasable pens were not pleasing to write with.
It's like Time Cube if it were a social network
well, then as a user of this site as well as presumably affiliate forums, you know that this site isn't too keen on the methods you listed compared to other sites where it's considered essential TO DO those things in order to succeed, no questions asked.

It really all depends on how far you're willing to push the boundaries
A typo on http://seekier.com/account/signup: "County" should be "Country."
Sure, ToS are crap - they're not contracts and any 'extra rights' the site gets are indeed not worth the electrons they're printed on. But copywritten content is protected by good-old actual law.
Ask HN:  Anyone else get a $5 credit from WakeMate?
I presume that the fact that it came on my birthday is merely happenstance. Has anyone else gotten their $5 credited back, and does that mean we're not getting the device?
Of course, there's a big distinction between losing weight and losing fat. You can simply lower your calories and lose weight, but your body fat % might stay the same simply because you're also losing muscle mass too. That's why exercise is really the key, unless you want to get very militant about your food intake. You can lose fat without exercise, but it's not fun or easy.
No. Green ideology is rooted in the idea of absolute limits to resource depletion and a related idea that attempts to exceed these limits threaten all life on Earth.

Western notions of "human progress" during the last few centuries or so happen to correlate well with resource depletion. Green ideology presents a challenge to these notions of progress, and tantalizes us with the possibility of alternative notions of progress (e.g., sustainable development, permaculture, green technology, etc.)
There must be other phone brands that would allow you to do just that.
>Google says they want to push network neutrality but they just created a loophole big enough to drive a truck through.

Keep in mind, they did get Verizon to agree to it. That's strictly more restrictions than they've agreed to in the past.
We could do some fund raising for you. :o)
Oh man that front page is a big JPG (and JPG is used throughout) A different encoding (e.g PNG) even if it means a larger file size would increase the aesthetics of the site greatly!
Edit: Wow reading some of these pages, this products looks too profound to be usable.
Ummm, yes, that's a possible viewpoint. We'll need to change the avatars. Thanks for the feedback.
There is a write-up on the history of US health insurance here: http://eh.net/encyclopedia/article/thomasson.insurance.healt...

As I understand it, employer-sponsored health insurance is not required, but it is expected in many jobs.

According to the history above, health insurance tax breaks originated with Blue Cross and Blue Shield programs in the 1930s (thought to be progressive because it helped lower-income people). Employer-sponsored health insurance became popular during WWII, when companies weren't allowed to compete on wages, but were allowed to compete on benefits. And then, for some reason (parity with BCBS?), laws were passed in the 1950s that made employer-sponsored health insurance enormously tax-advantaged.
the point is to show that most companies have done shady shit in the early days and that's one of the main reasons why they managed to survive long enough to turn legit
It forces people to be more aggressive with their investments if they want to maintain wealth. If your making 15% ROI each year 2% inflation is nothing, if you make 2.5% ROI each year inflation is going to crush you. Now which one of those people has demonstrated a better utilization of capital?

Consider property taxes: if your ranch makes 100k / year many people will haply keep doing that for sentimental reasons, if however the land is worth 50 million and you need to pay 100k in taxes each year you will sell it to someone who will use the resource more productively.

It also eats away at debt. So if say the housing market is under water inflation is going to help people get out from their debt load.

PS: Or consider what happens with 20% deflation, what would you invest in?
Why isn't duckduckgo in the list!?
GitHub classifies LOTS of projects as JavaScript when they are actually more correctly categorized as C#, Ruby, or another language. My guess is that this occurs because smaller web projects that include a number of JavaScript libraries end up having more JS than their other language. (even though the librares are just being used and not the focus of the project)
with affiliate marketing I stuck to white hat methods, which is why I wasn't making a lot.
Which is strange since I've got at least 3 Common Lisp repositories on GitHub.

But it's late and I'm sleepy so maybe I didn't understand the table.
Is it just me, or does anyone else want to be able to answer "no" to this question without having to even think about it?
Depoends on what's on the laptop screen. Usually it's someone's 3Q projection analysis spreadsheet or an academic paper about third-wave-feminist semiotics in Madonna music videos (I live near Harvard). If it's Emacs (and it sometimes is; I also live near MIT), I'd be more inclined to say "Hey, whatcha workin' on?"
Liked the front page, then clicked around and realized you were way more serious than I thought. This site (which isn't available yet) comes with a lot of philosophical baggage. Show, don't tell.
Why would they? The App Store has allowed these developers to create and operate a viable software business, and it's probably made them rich. That wouldn't have been possible if the App Store was not managed correctly.
It's currently listed if you selected your country at United States. We'll need to add it to more countries though. Where are you from?
German government bans use of iPhones and BlackBerries
Yep, thanks for catching that. We'll change that asap.
Menial things may not require mental energy or effort, but they certainly do cost.
P.S. If you paid via PayPal you will be receiving a refund in the next few days (the request for mass refund was placed today). Do not worry; we still have your order and your place in the queue. Once these payments are refunded no one who pre-ordered (Google or PayPal) will have been charged any money and as a result will be charged $50 upon shipment.

http://blog.wakemate.com/2010/07/30/shipping-and-mass-manufa...
Thanks for the feedback. I'm slimming down the home page jpg for a faster load time. Designing for the future is why we humans made it even this far...
Depends on the country - but yes for the US you're OK.
The Bitter Truth: The can opener was invented 45 years after the can.
Thank you for the feedback. TechCrunch Disrupt and Ecomagination is where we plan to do all the showing.
Writing math is definitely the killer app for me. For some reason I just can't write math on the computer without scribbling it out on paper first. Everything else works, more or less. Maybe it's because I've done so much math on paper already.
I think this is a good policy. I hate getting blasted with unexpected loud noises especially with earbuds. It's a very painful experience. The volume buttons should always work as advertised. There's a good argument to be made that the iPhone needs an extra physical button. Either on the top right side or perhaps the ringer on/off switch could become a multi-function button. Toggle + press.
I wrote the first draft of my (unpublished) novel [1] long hand - I don't think there's necessarily a greater 'connection' with my words when I'm writing rather than typing, but I did find it much easier to do (lying on a couch with a laptop isn't as easy) and great for scattering notes (which remain the same size on paper, unlike cascading windows on my screen).

Though I no longer use a pen at work ... I use coloured textas! [2]

[1] http://www.scribd.com/The-Cookie-From-the-Cookie-Jar-2008/d/...
[2] http://www.shirlawsonline.com/blogs/136-the-big-picture-show...
Slimmed down the home page image for faster load time. Thanks for the feedback.
I will say without hesitation that it's wrong to consider the only way to increase the sum total of human knowledge is to grant someone a Ph.D.

agreed, but i don't think anyone was arguing this point, though

the contrapositive of:

PhD --> novel contribution to human knowledge

is certainly not:

!(PhD) --> !(novel contribution to human knowledge)
It's been updated again, with a revised version of the draft ("minor updates") dated August 9, 2010.
Don't get caught up in a scam mentality. Instead think of ethical pivots on things that would otherwise be shady. For example, Google 'scrapes' the entire web, but no one would consider that unethical, its a search engine. On the other hand, if they just spammed/exposed all your personal email contacts (google buzz) that is highly likely to be perceived as unethical. At the end of the day, be clever rather than be scammer.
Interesting. Google have become so good at making their ads look like ordinary site text, that now ordinary site text looks like Google ads.
Scott Kliger, the founder of free411.com defrauded a company I used to work with and our investors of $50K by agreeing to develop some technology for us and then trying to pass off open source code as the deliverable. Meanwhile, he used the funds to build free411.
I don't have to will myself to work out. But then, I don't do hours of cardio in the gym, that would really require willpower for me.
I don't know if you have noticed, but at some point about four-six months ago, HN became something like Reddit /r/prog; you get downvoted by haters for pretty much everything without getting provided any justification whatsoever.
I read the url as "photo sho player styles". I see the word "photo" and then my eyes tend to jump to the next visible word: "player". Perhaps it is just my eyes but I find the domain name is hard to parse.

With regard to the site itself, I like the idea. However, most of your layer styles look like they are just plain image and emboss styles which can be created for free if you have a decent stock image collection.

One layer style set that I would definitely buy would be layer styles to easily make transparent water, good looking glass, fire effects and other advanced effects. Basic stone and wood isn't hard, its the advanced layer style effects that I would be willing to buy.

Good work though, and I hope this seventh try finds success.
Interesting. Cheese is better than beef.
I had the impression that a large part of Sharpie's market (for their "Sharpie" permanent markers, at least) is marking physical things (writing your name on your coffee cup, for example). I don't see that market going away for a while, at least until absolutely everything is RFID tagged.
Wow. 100% of zac’s 724 karma points come from this post & his comments on it.
In another of your comments, you claim to be a fan of GCBC. I find it difficult to believe you are a "fan" of GCBC when you are apparently unaware of the tens of pages of citations it has in the back of it. I am not making up that number. And yes, it cites the studies that are not in its "favor" and discusses them too.

Your comment is basically "You're being too informative. Could you break it down for me further, again, one more time?" Seriously, no. People have already summarized it endlessly, ask Google about it, or even just poke around this thread a bit. If you want the full effect, go buy it and read it. (That's targeted at everybody reading this, not just you personally KirinDave.)
"there is a pretty good correlation between those who work with the doors open and those who ultimately do important things, although people who work with doors closed often work harder."

This rings absolutely true for me - my best work comes when after I've spent a moderate amount of time discussing and sharing the idea(s) with other people, and it's usually far better than things I cook up and develop in total isolation.
Playing devil's advocate, what differentiates this from the huge library of free stuff on Deviant Art?

http://browse.deviantart.com/resources/textures/?qh=&sec...
Nokia OVI Marketplace sucess story| 34+ million downloads
Nearly, Like an Eboy
I noticed that as well. I almost avoided clicking on it for a few seconds before I realized that it was legitimate. I think it is the underlined text. Good navigation links these days are often not underlined.
I always wonder why nobody brings up this point when github stats are discussed. Most of my projects show nearly 50% js. Typically I don't need to write all that much js, but all the includes add up.

It'd be like having to include the source of the linux kernel in my project b/c it's a dependency and then saying that most github projects are mostly written in C.
Am I the only one who wants a pen which writes like a pencil, not vice-versa, maybe I'm crazy...

edit for typo.
If it works for you, that's fine. And it may work for some other people, too.

The problem with anecdotes is that there are always lots of confounding variables.
1 scoop of many whey proteins provide 20+ grams of protein. If you throw 2 scoops thats 40 grams. Most yogurts don't even approach this. Then add milk, peanut butter, etc.

Some people also mix their whey with other things, such as in their oatmeal.

You can just eat more yogurt, but a lot of people go the shake route because its a lot easier to drink large amounts of protein than eat it.
Additonally Gladwell is talking about mastery or expertise. Not immortal fame. A kid who becomes good enough to play basketball in the NBA, and maybe make the all star team one year, certainly has developed a level of mastery in the game few ever achieve. But he's the forgotten player, compared to Lebron, Kobe, Magic, Larry, or Michael.

There's a difference between being the best among the masters and simply being a master.
They are working on the issue http://www.w3.org/TR/2010/WD-cors-20100727/ it is just not available yet and even after browsers implement it, it will be some time before you can safely use it outside of a controlled environment. For now, you have to use an IFrame, or Flash to get around the browser restrictions of same origin policy.
Part of the problem is that California is basically unable to raise certain tax rates without a state ballot measure, and our voters are not big fans of raising taxes. The only way to undo this (IIRC) is to pass a constitutional amendment, since that's how it was established in the first place.

Our spending and policies are definitely out of whack, as demonstrated in the article, but not being able to raise taxes to compensate isn't helping either. I'm not a fan of raising taxes, but I consider our state being broke to be a bit worse.
Most companies? the secret to every great fortune is not a 'forgotten crime', de Balzac's opinion notwithstanding.

If we're looking for a justification for a company's under-performance, the solution is not to look for excuses, the solution is to reflect honestly and question our existing ideas and approaches. Otherwise we're no different than couch-potatoes dismissing all athletes as "dopers", while drawn ourselves in a self-righteous bag of Doritos and a liter of coke.

And lest you think I am being a hypocrite and taking the moral high-ground in an appeal to cheap applause and upvotes; let me say that I am all in favor of any ruthless business tactic that furthers your market dominance. Undercut the competition, corner them, etc. But get there, first, through quality and great service. Not by shutting down their mail servers. Go through their garbage, but don't phish their accounts. Point out their shortcomings to the public, but don't lawyer up and sue them out of existence or appeal to xenophobia or use a government crutch to ban them from the market. etc.

There is a difference between war and genocide; neither is excusable, but one of them appeals to my own warped sense of chivalry and machismo, while the other fills me with disgust.

Of course, all of this is just my opinion, and is entitled neither to a response nor agreement.
Simple Carbs like refined white flour, pastas – instead I opted for only whole grains, nothing milled or crushed.

Is he chewing on whole grains? Boiling them as porridge? I figure you have to mill or crush at some point to make most things. Whole grain flours, unbleached and with the germ/bran unfiltered seems fine to me. When dealing with wheat, some people may want to watch the gluten content as well, depending on their sensitivity.
i registered for both. so i now have

jummp.in
letsjump.in
jummpp.in

and incidentally, but completely unrelated,

hummpp.me ;)

which would should be the canonical? I am think letsjump.in? then in the future i can maybe buy jump.in, without having to rebrand
Catholicism has a very similar sin-and-atonement-based logic, and I've seen some non-practising catholics turn green.
Fasting a day or a few days every now and then is quite bearable for normal people. Lots of religious people do it.

(I am not saying that it is a good idea, or that it has health benefits. It may have some or it may not. But it is definitely bearable for some days with the right mindset.)
I run something that can help you

A spam bot? A link exchange network? Just curious... most of the techniques for "attacking the organic search rankings" are frowned upon by Google.
Why these studies do not support your conclusion:

1. http://www.ncbi.nlm.nih.gov/pubmed/20679559

As has been mentioned by other posters, this study demonstrated that carbohydrate restriction was as effective as extreme calorie restriction (as low as 1200kcal/d!) in causing weight loss. Carbohydrate restriction was better at improving just about every indicator of cardiovascular health that exists--triglyceride levels, HDL levels, blood pressure, etc.

The abstract for this study supports the assertion that carbohydrate restriction is an effective and healthy weight loss technique. It does support the assertion that starving yourself can also promote weight loss; I do not believe anyone here has disagreed with this hypothesis, however. (I would argue that few people will willingly remain on a 1200 kcal/day diet for the rest of their life, however.)

2. http://www.ncbi.nlm.nih.gov/pubmed/20663066

This study is dealing with low glycemic index diets, not low-carb diets. It is largely irrelevant to the discussion. (Note that frucose, a carbohydrate, has a very low glycemic index.)

3. http://www.ncbi.nlm.nih.gov/pubmed/20670466

This study deals with monounsaturated fatty acids (MUFA), not carbohydrate-restricted diets in general. I note also that the "high fat" diet in this study only included 35-45% of calories from fat, and about 45% of calories from carbohydrates. In other words, this study does not appear to contain any low-carbohydrate diets, and is again irrelevant to the discussion.

4. http://www.ncbi.nlm.nih.gov/pubmed/20571327

This study appears to concern the use of the drug orlistat for weight maintenance following weight loss.

Orlistat: http://www.ncbi.nlm.nih.gov/pubmedhealth/PMH0000175

Leaving aside the rather scary warnings about liver damage, it appears that orlistat is used in conjunction with "an individualized low-calorie, low-fat diet".

This paper does not appear to have any relevance to a discussion of carbohydrate-restricted diets. (Except, perhaps, as an argument for the scary side effects of the alternatives.)

5. The link for this is wrong. This appears to be the right one: http://www.ncbi.nlm.nih.gov/pmc/articles/PMC2125573/

The "final nail" in the coffin of carbohydrate restriction, as you put it, appears to be a study comparing a fat-restricted/calorie-unrestricted diet with a calorie-restricted diet. Carbohydrate-restricted diets do not make an appearance.

End result: Four irrelevant studies, one which supports carbohydrate restriction as a superior alternative to calorie restriction for weight loss and cardiovascular health.
I know Google became the poster-child for net neutrality, but why aren't other big internet companies that have shied away from this debate being labeled "evil"?
The agreement text doesn't describe anything that differs from the internet as it is today, it just leaved loopholes to appease Verizon investors and to show the gov't that their not needed, the usual bullshit.
You can also eat complete eggs.
Resolution and quality, I hope. Most of these textures are 1024px or larger, and they're seamless/tileable, which makes them useful for repeating backgrounds or 3D modeling.

Also, the royalty-free license. A lot of DeviantArt users require you to link to them, or don't allow commercial usage of their art.
I have a VM solely for web dev (IE testing.) However, of all my friends and family who own Macs (sample size of about 10) one uses a linux vm for dev, and one more uses Crossover for gaming (WINE, basically). The rest have no virtualization/dual-boot whatsoever.
nicely put. Some stars exploded to birth our Sun, the planets around it, and all organisms on the planets...wouldn't it just make logical and intuitive sense to reach for the stars. It's almost like humanity is looking for it's true parents.
Sure, a screencast definitely wouldn't hurt.
Problem is that more often than not to be able to receive presence updates, you need to be on the presence ("friends") list of the other party, you can't just request the presence of any user in XMPP world. Even if you could, it take a few seconds, which is a very long time in the lifetime of a web request.
When your motto is "do no evil" people tend to call you on it when you do.
What does the fifth study cited (http://www.ncbi.nlm.nih.gov/pubmed/20670466 -- note that the link provided in the original post is wrong) have to do with carbohydrate-restricted diets? Carbohydrate restriction makes no appearance in the study.
A few days ago I imagined a decentralised, p2p social platform which would be a framework for writing all kinds of social apps. It would handle friendlists, message passing in real time between peers, permissions, authentication, encryption, etc etc.

This way, you could write, say, a Twitter client, that would push your updates to all your subscribers' servers. This way, you could write most social apps. The only functionality you couldn't get is knowing what everybody in the social network is doing (suggesting friends, etc), which isn't really that crucial.

This way, you could share photos/videos/media, your location (with different, configurable granularities to each friend), your statuses, etc, without anyone knowing about it without your permission.

The closest I've found to this is diaspora, which looks really promising. I emailed them about turning their design into an extensible platform so this design could be implemented, but they didn't reply. I really think that would change the web and our lives, though...
Why do people eat egg whites without the yolks? The yolk is the best part of the egg (flavourwise).
It may not be so much innocence as different cost considerations.

In 1996 bandwidth was at far more of a premium than it is now, so even the modest demands of Google AdSense would have had a much greater cost to the user.

And certainly Hotmail remains slow, though not so much for lack of bandwidth anymore.