skysight-inc/HackerNews huggingface dataset:
Do you know of anyone who has rigorously determined how Goedel's theorems apply to anything outside of mathematics?

While his theorems show the shortcomings of a certain approach to math, I don't think math is the only area where this approach is applied. For instance, granting Goedel has shown math is Platonic, i.e. it is about independently existing entities, not formal structures, then why does it make sense to say the mind that can grasp math is itself a formal system, i.e. the assumption behind strong AI?

So, it is more accurate to say Goedel's work is restricted to domains where formalization (of the correct sort) is applied, which covers more ground than just the philosophy of mathematics.
I'm reading through the new _Real_World_Haskell_, and thoroughly enjoy it.
Once you have regular sex, porn is really boring.
I think the points systems on such sites give a different incentive. Many people help just to help, but others take part primarily for the point gaining (which rapidly becomes addictive) or to gain some sense of achieving more than others. Despite these motivations, if the ultimate result is a good one, I see no harm.
http://mathforum.org/library/drmath/view/52600.html
Hmm, do we have any whales missing?

http://www.imdb.com/title/tt0092007/
But that implies that it's unhealthy, which it isn't.

Hell, there's research to show that common ejaculation is helpful in preventing prostate cancer.

The only problem is when you let it affect your life. And you reach a problem with extremely high levels - I wouldn't call twice a day a problem.

Masturbation fulfills a need. It allows you to moderate your sex drive. If you're with someone who only gets off once a week, so be it. If you want more, it's an easy problem to fix.

Men, in general, aren't monogamous. We are hardwired into looking, and masturbation can help to keep it at that.
Currently out of stock :(
Excellent! I've met with Philip (I'm redesigning his division's website here at the University of Texas) and he told me about this project. I didn't expect it to be mobilized this soon.

Sounds promising. :)
It was one of my ambitions to have a book published, so the primary motivation was achievement. My book has helped thousands of people learn to program, but if teaching were my primary motivation (it was certainly a secondary one), I'd have written and released it for free online (and even then the motivation might have more been fame and recognition than true philanthropy).

As it is, the second edition should be coming along next year, and I'm hoping to have the e-book version freely available for anyone to download. Primary reason? To promote the book and get people to buy the print version. That more people (who might not be able to afford the book) can learn is awesome, but that's a cool secondary goal :)

Sorry if this all sounds a bit dry, but I think it's how people truly think. I have good intentions, but they're usually for me (and my family) first, and then if other people benefit, awesome! This is why it's hard to make decisions based on other people's intentions if you don't consider how people really think. With few exceptions, we're all more selfish than we think (selfish in a good way, often).
now that's some tasty roadkill!
The price difference is really small compared to the different amounts of money thrown into the games in that list.
Not to mention, writing a book gives you more credibility when you have to tell someone their operating system is an overpriced box of bugs, therefore assisting the ego in defeating the forces of cognitive dissonance that seem motivate people to defend their own positions.
Ask HN: Where do you get your high quality stickers printed?
The last batch of stickers I had printed up for GitHub were low cost but low quality. The image rubbed off of the paper backing (that is, if you could even get the thing off of the backing).

I'm going to be printing up a new batch and I want to get some high quality removable stickers made (so they can be put on laptops for instance). Does anybody have a provider that they like?
Two strikes. Thanks for the info.
terminus by Dimitar Zhekov (we aren't related).

"Terminus Font is designed for long (8 and more hours per day) work with computers."
http://www.is-vn.bg/hamster/
An interesting piece on the subject here:

http://www.guardian.co.uk/world/2003/nov/08/gender.weekend7
imo, monospaced and something i dont have to think about
This is really cool news. I currently live in Iowa and this Winter has been terrible so far. In my area (Quad Cities) they are predicting we'll be low on salt again.

Last year we ran out towards the end of the year. The roads quickly went from bad to worse. Any company that's willing to donate salt for this purpose is a big winner in my book.
The nicest math book I own
It isn't really 25% of the game if measured by playtime.. by a LOT.. or maybe i'm a dullard and spend way too much time trying to get the OCD rewards on the higher levels ;)
Authorization Required

This server could not verify that you are authorized to access the document requested. Either you supplied the
wrong credentials (e.g., bad password), or your browser doesn't understand how to supply the credentials required.

Additionally, a 404 Not Found error was encountered while trying to use an ErrorDocument to handle the request.

Something doesn't understand how to supply the credentials... its probably me.
CNN Abandons the Crawl for the Flipper
And this is how it all started:

http://www.gamasutra.com/features/20051026/gabler_01.shtml
i suggest people buy left4dead to catch it up. because THAT game is funtastic.

you have no idea
There are certainly companies whose cash flows were positive, but were driven into bankruptcy because the value of their assets crashed.

We were trying to raise money for a fixed rate subprime mortgage company in 2007. They had remarkably good underwriting and very low defaults. But the value of their assets kept on plummeting, and they were forced to meet margin calls by their creditors. That firm no longer exists.

However, the cash coming in from their assets could have paid their debt and operating expenses indefinitely. If there was no mark-to-market, then I would know a hundred or so extra people in New York with jobs.
The difference is most of those games realistically cost over $100M to develop, and World of Goo most probably cost under $100,000. Just goes to show how stale the gaming industry is; even when a large-scale game like Mirrors Edge is released, it's bashed for not being realistic enough.
Did anybody else read the headline and think "OMG, brewing is in crisis, too! Without my beer I'll never survive the downturn!"
A slightly less trollish alternative, which I attribute to Penny Arcade but can't easily source, is to post the wrong answer to a question. This prompts people to prove themselves smarter than you by providing the correct answer.

In the example I remember, it was related to finding quest details in World of Warcraft. If you ask in General chat "where is the foo?" you will be met with flames and rtfm-style responses, but if you say "the foo is in [wrong location]" out of the blue, you'll receive a cacophony of corrections.
You might want to consider a new name. "Overtraining" has a very negative connotation in fitness circles.
There's always the foreign markets. You would be surprised how much ridiculously more rigorous US accounting rules are than anywhere else in the world. The EU, London, Australia, Hong Kong, take your pick. Nobody else has the rules we do, which is one reason why European exhcanges have gained in relative prominence in recent years.

Of course, they don't have a financial PATRIOT act to contend with (our Sarbox).
That doesn't say whether or not it is US only.

And the 2000s still look sickly, at about half the trend of 1980-2000.
Nice. But 10 million tweets? That's a few days worth, what's the point?
Pricing is always a challenge, freemium just introduces a "free trial" tier that can be temporary or permanent.

Other industries have variations: e.g. semiconductor companies give away complex datasheets and simulation models to give prospective users an idea of what the part can do. Especially when you are offering a distinct or new experience you need to give you prospects some way to appreciate what they can accomplish with your offering.
Both movies had somewhat dark undertones. I know many people were freaked out by the Wilder "tunnel" sequence -- apparently enough to get the movie on Bravo's 100 Scariest Movie Moments list.
i vote for i like it the way it is. less clutter and it's just a hover away if i really want to know the full url
You'd have to go through the government, which is even more overhead/TPS/bureacracy/politicking than SOX.
I don't think all pornography is harmful. Most people have used it, and relatively few people have long-standing problems with it. Then again, I don't fully get the appeal of it, being one who has viewed but never used it. I get more (sexually, not just aesthetically) from a painting of a beautiful woman than from a video of some man fucking her, often in some degrading way.

I have a beauty addiction. I'm addicted to beautiful imagery and experiences. Sexually, this means that I need emotions and context, and only have serious interest in sex with a romantic partner. Porn does nothing for me. But then again, my mind is very female for a man's, possibly due to a case of high-IQ androgyny (smart men tend to be effeminate; smart women, tomboyish).

The real problem is not limited to pornography but to cultural garbage-- disrespect for sexuality and humanity-- in a broader sense. Excessive and extreme pornography certainly can damage mens' ability to have fulfilling relationships, as does casual sex (porn acted out). On the other hand, Sex and the City has the same ruinous effect on women.
The five lives (so far) of Windows XP
That's not trolling. It's abrasive as hell, but the ultimate purpose of that behavior is to improve discussion.
What I really want is to read the descriptions within my RSS reader, but this 'll do too.
haha no, you're right, it's less than 25% of the content. It is a pretty generous demo, though.
Yes. I guess it was Bjarne who convinced me to try it (The C++ Programming Language book was set with a variable width font).
I find it pleasing to the eye and the sacrifice is .. well, what? Indenting still works and I don't do the block-style formatted comments etc.
Xbox explores its adolescence
Well, the Yahoo/Microsoft thing comes to mind. If, as the WSJ article states, most business plans these days are ending with "and then we get bought by Google" wouldn't you, as the owner of a startup, rather have both Yahoo! and Microsoft vyying for (along with Google) your company? The more "buyers" the better, right?

Another point the article makes is that companies can't afford the massive legal costs of going public and SOX, and that is why so many of them are getting bought up (thus no new public companies). I would think by now that the "cost of going public" would be somewhere along the lines with "the cost of starting a startup" and going down as well -- with digitalization of documents, etc.

So, perhaps it's a matter of the regulation that is in place needing to play "catch up" with the reality of the times.
And, to get a comment on the board:
Some of the features I'm planning on adding, once I figure out an unobtrusive and usable way to do them: a favorites list, neighborhood crime rate overlay, probably a more details page with a list of nearby businesses and some other things, and full text search filter on the listings. Driving commute time filter is also a possibility, but only after I expand the subway commute filter coverage to more cities.
This graph was interesting:

http://www.reuniting.info/images/pornprf.jpg
It doesn't always work. Watch:

news.ycombinator doesn't even let you downvote warmed-over reddit stories.
Personally, knowing that Tim Gowers had something to do with it is recommendation enough. A gifted expositor and brilliant mathematician, I'm ordering this today.
Would employees see any of this? Or particularly an amount that would have justified taking a below-market salary, leaving an excellent position (remember that good help is hard to find? you have to woo great employees away from elsewhere) in big-co and working hours?
The Big "O" Isn't Orgasm
Interesting. I had not thought of this, but this explains why people who can only masturbate can still be sexually frustrated.
moo.com
Cognitive computing: Building a machine that can learn from experience
That's a feature that scheme has that common lisp doesn't, but is this supported by a new syntax? I think that it is not clear cut what is a syntactical difference versus a difference in the feature set.

edit: I guess what I'm really asking is there someway in lisp to make a construct that would look just like call/cc? If you could then that's just a feature difference, but if you can't I would agree that's a syntactical difference.
It's a compelling argument. I tend not to be as libertarian as the CATO Institute, but it's compelling.

I prefer to return the money to individuals because the government likes to specify what money should be used for. I love that specification when it's something important like interstate highways or a national health program, but telling schools that they all need new computers isn't useful. Maybe they don't. Maybe they need money spent on insulation. But, if you're only offering money for computers, schools will take it even if most of their computers are 6 months old.

I do worry about individuals squandering it though. That's kinda what got us into this mess. We had much so we spent it all and didn't plan for a rainy day. Maybe an elimination of taxes on bank interest earned under $1,000 would be a good step. Maybe a government matching for the interest on that savings (a negative tax) up to $500? That would really encourage people to stash money away (and stashing money in banks allows banks to lend that money to businesses who help the economy). Maybe it isn't such a great idea, idk.

Even better, _eliminate the portion of payroll taxes that businesses have to pay_! (or reduce it). Probably the best tax relief. It means that the cost of employing someone drops meaning that they can either: 1) employ more people; 2) pay people more. That's a real win for labor and companies and probably better than simply lowering personal income tax. As the cost of employing someone goes down, demand for employees goes up. I like this idea. Great way to lower the unemployment rate.

I just feel like random government spending isn't wise. Spending to create good value is awesome! I love social security, national health, interstates, etc. I don't like the government trying to spend its way to stimulating the economy. In that case, they aren't looking at value created, but rather getting dollars into other people's hands.
Sony Ericsson Z320A Blue Unlocked 
Everything about the Sony Ericsson Z320 clamshell camera phone makes it ideal for fun-and-style seekers everywhere. So much so that you’ll never want to leave it behind. Share your memories - Discover and enjoy the fun of taking and sending pictures from wherever you are.
And a link: http://www.padmapper.com
Half the time there is a Perl article on here everyone is ripping it. How is it that so many people are interested in what version control software Perl 5 uses? I'm genuinely curious. It's odd that this thing got so many votes but my comment is the first one. Besides the developers and a few people that checkout and build from source, does this really impact anyone? I know Git is a cool buzzword now. Are a bunch of people voting this up without even looking at it?
>While I'm not discounting the existence of porn addiction, I think you'd find that rate of addiction (i.e. the number of people who have seen porn compared to the number of porn addicts) is very very very low.

But what is porn addiction, even? Is it the same thing as alcoholism, in the hard-line Alcoholics Anonymous definition of "if you think you have a problem, then you have a problem"? If you spend an hour viewing porn instead of watching a sitcom, are you an addict? If you spend an hour viewing porn instead of dealing with a family emergency, are you an addict, or just very irresponsible?

I mean, to make porn an addiction seems like an effort to reframe the debate. It takes what seems to be strictly a moral problem, and reframes it in the light of psychology. I really don't think this is a correct line of argument, for the same reasons modoc presents.
I used to read Tim's expository writings religiously. The old ones can be found at:

http://www.dpmms.cam.ac.uk/~wtg10/mathsindex.html

and the newer stuff is on his blog:

http://gowers.wordpress.com/
What's your favorite documentation/spec/project management application?
What do you use? Basecamp, Unfuddle, Javadoc, etc? Planning a switch off our messy and unwieldy wiki for the new year.
If it was anything like my school, the teachers had very little choice in curriculum.

The English teachers were told what books to teach. The math teachers had the books picked out for them. The AP teachers had a strict test for which to prepare us. Foreign language teachers likely had the most flexibility in retrospect. The science teachers didn't have enough money to do much more than teach to the book. (Some of them did an admirable job none the less.)

Mind you, the teachers liked me. I didn't complain about the grades, asked questions, and was engaged with the learning process. That doesn't mean I don't regret dropping out after the sophomore year (1995) like I almost did and go to the community college. I regret not getting my associates and cashing in at the end of the boom so that I could have gone back to college in my time.
As I get older, I am learning this over and over again about myself. I don't understand why this topic is not discussed more. It can make a huge difference in motivation for pretty much anything, at least for me. Not masturbating also makes me more confident and gung-ho in attracting females when single, and more romantic when in a relationship... I suppose that is not unexpected. But still, it surprises me how little this is talked about compared to how huge of a difference it seems to make on my state of mind.

PS: I love the anonymity of the internet.
A friend of mine is a designer who started a business doing stickers, business cards, magnets, etc.

I've had one of his stickers on my Dell laptop for... probably about 2-3 years. I did not treat that laptop daintily, and his sticker still looks nearly pristine; so he can certainly get you what you need.

His email is chris at trifectaagencies dot com.
I said nothing about not appreciating or recognizing the symbolism in the book. I just didn't see any point in writing an essay on it when it would in fact be the same essay that everyone who'd ever been assigned the task had written. Lest you dispute that, remember that the grading of such essays puts less weight on unique insight or original thinking or even writing skill than it does on inclusion of the bleedingly obvious.

And so it seems to me that anyone capable of completing the assignment will have succeeded in little other than demonstrating how unnecessary it was for them to do it, and those that can't produce passing results will have gained no better understanding in the process of their failure.

The weight is in fact so biased to the side of redundancy that students routinely compose satisfactory essays without having read the book or understood it's symbolism or learned any skill but deception. And what does that say about the value of the assignment?

As a writing exercise the typical English essay may have marginal value, but significantly less than it would were the style subject matter not always so constrained to literary criticism, a genre which does not carry over well into others. The end product itself is practically worthless--the symbolism is as you said eternal and available to all at any time by reading the book. The only demand for English essays comes from people attempting to shirk creating their own.

I really don't think it's crazy for someone confident in their ability to succeed at such a task to regard it as less important than the challenge of developing a new skill and a tangible end product that is new to the world. I mightn't have have had the words to justify it at the time, but I certainly did feel that I was doing the right thing.

Perl not lasting is irrelevant. Perl was just the medium. Programming was the task, the art, that I got my practice in by wrangling that contraption. And it was practice I would not have gotten if I had relied on external rewards as motivation.
In theory, I think you could forward traffic to quantcast, doubleclick, etc. but wouldn't this cost more bandwidth?
Sure - anyone with equity would (under normal company structures). So all the founders have to do is give employees equity or institute a profit sharing program.
If you want to see some sample articles first, you can login to http://pcm.tandtproductions.com/ with U/P : guest/PCM - he put this information up on his blog a year ago perhaps. Look under 'Resources/Sample Articles'.
Another highly aesthetic, mostly fun book is Stephen Wolfram's New Kind of Science.
Apparently random but in fact it was on the national news last night.
I know people who are hardcore addicted to caffiene.
His approach was decidedly not verificationist, but falsificationist. I do share your sentiment that he didn't really solve the problem "once and for all." I think it's wrong to neglect the context of discovery. Peirce had some nice ideas about the logic of science.
How might the psychology of individuals matter in today's market?
Thank you for the tip, I'll try that.
I enjoyed reading most of ANKoS, but it is a very different book from the book under review. I trust a collection of articles edited by Timothy Gowers as a guide to the latest carefully considered ideas in mathematics much more than I trust Wolfram's interesting but idiosyncratic personal account of the foundations of mathematics.

Here is a link to links to multiple reviews of A New Kind of Science. Some of the reviews are by quite eminent mathematicians.

http://shell.cas.usf.edu/~eclark/ANKOS_reviews.html
The problem with this idea is that the jury is still out on the interpretation of a lot of ancient texts. Anyone summarizing them will either put their own spin on them or will tediously have to expound on all the possible interpretations.
Quite the opposite. "Don't worry about people stealing your ideas, if they're any good you'll have to ram 'm down people's throats!" (forgot source)
In my IRC days saying word "linux" aloud on #unix will get you kicked instantly no matter what you say about the OS. And yes, asking for obvious will get you kicked as well ;-)
As far as I'm concerned, Michael Chabon lost it after Wonderboys in a big way.
If I am writing code on a project that uses exceptions, I'll use exceptions. If I'm writing my own code, I won't. Exceptions force people using your code to also add exception handling into their own applications. It's an intrusive error handling method, and this is one of the reasons I don't use it.

Did anybody ever prove scientifically or statistically that exceptions offer clear advantages over return-type error handling? Who decided that exceptions are the path for all programmers to follow?
Puzzle extension turns any Web image into a game
2009 KPSS TERCiH KILAVUZU
He convinced me for presentation, but I still code in a monospaced font.
Agreed. It's the difference between winning a video game and getting a promotion / winning the high school football game / launching that product and getting an email that somebody loves your work / etc.
Rationality Quotes
By area, most of the US is hard to serve with mass transit. But by population it's tractable -- you don't have to lay bus/rail mesh everywhere, only where it's already dense. The 10 largest metro areas in the US are about 75% the area of the UK with a population 5% larger.

(I'm 24, live in the US, and have never driven.)