skysight-inc/HackerNews huggingface dataset:
Well, it's music if a listener perceives it as music. Play those mp3s to someone who doesn't know how they were created. I found some of them pretty impressing. It made me download sc. I haven't had a chance yet to work through the tutorial though.
Schopenhauer - On thinking for oneself
The post is on the website of the software that was used. Take a look at the navigation bar.
Do you want a C++ t-shirt?
World's shortest explanation of Gödel's theorem
Haha. Actually, Hardy and Littlewood in 'An Introduction...' don't prove this result, stating that it is too difficult!

They do prove some subcases, though!
This is entirely unrelated.

Module music is composed out of series of commands-events:
Looping constructs exist, however there are no conditionals or creation of new structures (patterns in a module are not first class)

These 140 chars pieces here are made using a (close-to) general purpose programming language, a variant of smalltalk called SuperCollider.
I would sort out the business plan. Will the startup be profitable? What are the risks? Surely this is the first thing that any potential partners are going to ask.
Flood Could Have Filled Mediterranean In Less Than Two Years
Pardon my ignorance but is there a clean way to run GWT with non-JVM server side languages?
If they could manage good distribution and spend money on promotion under it own brand across the world, they could get a serious market share, because device is unlocked. Google is a much bigger brand than Apple outside US.
I felt irritated enough about this to write about it:

http://journal.dedasys.com/2009/12/13/mysql-oracle-and-the-e...
While we're on the topic, something that always puzzled me: doesn't Gödel's theorem apply only to 'non-trivial' axiomatic systems?

Meaning you could come up with a trivial system to which it doesn't apply. Which begs the question: How do you define triviality here?
It seems like you are assuming that QC can only be done in statically typed languages. John Hughes, one of the authors of QC, implemented QC in Erlang.
Gödel's theorem:

If you print only true statements, you can not print all true statements. Proof:

"I do not print this statement"
And also for languages where side-effects are controlled.
The problem with java's type system is not that you are not enough of a type theorist, but that the people who designed it weren't. It is exteremly weak, inconsistent and confuses some fundamental concepts (like the difference between inheritance and subtyping). Many weirdnesses in generics and complexities in making modern languages interop with java on the JVM are for example just workarounds for the fundamentally broken semantics of java arrays (covariant, can you believe that?)
I have to say, that after 3 years in the corporate world, I've come to realise many of the same things and I think if I were to write a blog post on the same subject, I would make many of the exact same suggestions.

However, it's one thing to read this article and think about how to improve yourself and your life at work but how do you go about improving others and the way they work? Sriram mentions is that the people you work with is much more important than the work itself. If your team-mate is reluctant to go out of his comfort zone, or thinks so much of himself as to brush off other people's requests for help, what would you do? Email the team a link to this article? Or jump ship to another team?

I'm a big believer in constant self improvement, but unless you're very lucky to be in a team wholly of smart, friendly people, improving others is surely the only way to a happy, productive team.

PS: Does this mean I'm turning into a manager? I hope not... :p
Here's my attempt:

Gödel figured out how to encode the statement "you can't prove me" as an arithmetical expression. Minds blew.
My HP laptop had no CD to do a clean install with. Only a built-in partition with an image on it, already pre-loaded with their crapware. And when I go in install/uninstall programs and try to get rid of it, a few uninstallers give me errors, and the other crap won't uninstall if I don't get rid of them first! I can't understand by what reasoning they arrived to the conclusion that paying a team of programmers to implement this kind of crap was a good idea. There's a password manager which works when it feels like it, plenty of useless tray icons for things such as keyboard shortcuts that never worked, an anti-virus trial, a couple firewalls (the Windows one isn't sufficient, apparently), auto-update for the HP utilities, and the rest I don't even remember because it was just too useless. And it all loaded when the machine booted, yay!

Sorry for the venting, I spent quite a few hours to get this machine to a usable state, and even now there's some leftovers that I just can't remove without a fresh, clean, pirated copy of Windows. It's frustrating.
Trivial in this context means a system that's not powerful enough to express basic arithmetic.

This includes some surprisingly complicated systems, like real (as opposed to integer) arithmetic.

Bonus pedantipoint: it's not begging the question - that actually means 'to assume X in your proof of X'. It's just raising the question.
Proprietary forks are an illusion. The value of the project is in its developers, to take the code, close it, and develop it getting external developers, good ideas, and so forth, is a massive amount of work. This is why you can think of tons of BSD-ish very successful projects not forked.

Instead the real risk is that GPL is not free enough.
Wow, that was a disappointment. I've always thought of Gödel's incompleteness theorem as something so arcane that I'd never understood it. Now it turns out to be both trivial and really similar to the Halting problem.

Good explanation though.
Easy backup with Ruby
Not quite; this is a liar's paradox. the Gödel's sentence deals with "provability", not "truth". (see Tarski's undefinability theorem if you wonder why it matters)
Most Popular Photography Hacks of 2009
Alpha release of GarlicSim, a Pythonic framework for working with simulations
This is my main project that I've been working on for about 6 months.

You might find it familiar because I made a few "Ask HN" posts related to it.

I made an alpha release recently, and I'm looking for people who'd like to be "alpha testers" for it. If you work with computer simulations in Python, you're qualified, contact me.
This is a version of the Liar paradox, not Goedel's theorem.
Virtual Users/Domains With Postfix, Courier, MySQL, SquirrelMail (Ubuntu 9.10)
No, I will not write a politician to get him to "save" your business.

This is exactly like bankers getting rich from risky investments, then turning to the government for a bailout once the going gets tough.
The problem with GWT is java, which makes it meh.
They are pretty close to a 1:1 mapping

http://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_t...

'The analysis of the truth and provability of G is a formalized version of the analysis of the truth of the liar sentence.'
Another contrarian view: if Oracle does do to MySQL what Monty warns about this may accelerate interest in GPLed forks, e.g. Drizzle. http://en.wikipedia.org/wiki/Drizzle_%28database_server%29
When was the last time you upgraded your operating system? Even if it's just a patch.

Nothing in technology stands still, and while I can see the 'surface logic' of what you are saying the reality doesn't stand up.
While, GWT is a very impressive feat of technical accomplishment. It really misses the mark, the problem with it as well as most of the old desktop development (languages, toolkits, frameworks) is that it favored the developer over the designer. This is one of the reasons for the popularity of the web, it allowed the designer (and the want-to-be designer) the ability to design and build interfaces without having to know a turring complete languages.

When I first started looking to do more dynamic web applications, I was convinced that toolkits like GWT and Echo2 where they way to go but I was reasoning from a Java developers perspective. It makes the job of a Java developer easier, while adding complexity to the task of the designer. This is all well and good when you have a 1-5 man team of experienced Java developers.

I now prefer to use Java (Ruby, C, whatever) to write business logic services on the server and use HTML, css and JavaScript on the client. by writing a UI controller in JavaScript that gets embedded into the HTML file via a script tag it gives very clean separation of HTML, CSS and code this allows a large team to work very productively. Designers work in HTML, CSS. UX developers work in pure JavaScript and business domain developers work in their language of choice.

This coupled with a CMS has allowed us to abandon the kludge of a server side document scripting language (asp, jsp, php) entirely and significantly reduced the complexity of delivering a web application.
This isn't a proof of Goedel's incompleteness theorem. It's a demonstration of Tarski's undefinability theorem. Goedel's theorem is far stronger and more difficult to prove.

The confusion between the two is widespread.

Goedel's first incompleteness theorem doesn't talk about "true" or "false" statements at all. Technically speaking, it is entirely syntactic, not semantic. It says that in any sufficiently complex axiom system there will be statements that it can neither prove nor refute, "undecidable" statements. The notions of "prove", "refute", "axiom", "undecidable" do not require any definition of "true" or "false".
You're sure you aren't experiencing the same thing as a pensioner describing rap music?

A lot of the music in movies shares similar characteristics. In fact I could imagine some of these tracks in a movie.
It is, but the frequency of tips has drastically come down these days. :(
For the interested and lazy, here's the link: http://twitter.com/bashtips
I think I'll just stick with PostgreSQL, and save myself from all of this political BS.
This is only approximately true. What really is a straightforward formalized version of the liar paradox is Tarski's undefinability theorem, which is what's demonstrated in the blogpost.

Goedel's incompleteness sentence is more like inspired by the liar sentence rather than being its formalization; and the proof of Goedel's incompleteness is much more challenging than the simple true->false->true bounce of the liar paradox.
Define: Brand
The genius is in the mechanics of the proof. It's not at all obvious that you can express self-referential statements about provability within arithmetic, but Gödel showed how to do it.

It's worth following a description of the proof in one of the various popularizations to feel your mind get pleasantly twisted.
Just a reminder: http://news.ycombinator.com/item?id=946274
Doxygen http://www.stack.nl/~dimitri/doxygen/features.html
supports Objective-C and many more languages. It generates lots of good information without its special tags, and even more with tags.

Doxygen can use Graphvis to generate dependency graphs.
http://www.stack.nl/~dimitri/doxygen/diagrams.html
You can also embed graphvis documentation (e.g. sequence diagrams) in the comments. Good stuff.
Does anyone have a link to this pg essay?
"Your current web browser (Mozilla/5.0 (Macintosh; U; Intel Mac OS X 10_6_1; en-us) AppleWebKit/531.9 (KHTML, like Gecko) Version/4.0.3 Safari/531.9) is not officially supported by Lombardi Blueprint. If you experience any problems using this site please install either Microsoft Internet Explorer 6+ or Mozilla Firefox 3.5+ before contacting Blueprint Support."
A proprietary fork can diverge very little, still grabbing the improvements of the original project. The reason you don't hear about them is because the vendors of such software have no incentive (and mostly no need) to say their product is mostly something they got for free.

I suspect they are more common than we know.

In essence, the only freedom GPL forces you to give up is the freedom to turn a free product into a proprietary one.
http://www.google.co.uk/search?q=site%3Awww.paulgraham.com+e...

http://www.paulgraham.com/gh.html

http://www.paulgraham.com/bronze.html
http://www.yuml.me/ is pretty good too, and the charts that it generates are much better than the graphviz-style ones (IMHO).
Also, AT&T may have more places with 75%+ signal strength, but who has more places with 50%+ signal strength, or more places with any signal strength?

All available evidence points to Verizon having better coverage, especially in outlying areas, including this article's focus on speed rather than coverage, and AT&T's commercials saying "What do you mean we don't have coverage? Pick any city. We have coverage in Boston. We have coverage in San Francisco..." Lame.
I JUST wrote a draft of an essay that says essentially what this says: Writing is necessary to thinking, and reading doesn't cut it.
Once a person told me: "When will people realise that reading is consumption, too? It is like watching TV. U just should not do it."
I never forget that. Interesting to see, that other people think the same way.
Is writing and thinking identical to U?
I've always liked Ze Frank's definition of "brand" as "an emotional aftertaste." http://www.zefrank.com/theshow/archives/2006/08/082906.html
Define clean.
Modesto Computer Repair Services
Are you Albuquerque based andlooking for a computer repair service who up your dead computer as soon as possible and also recover data from your hard drive at affordable rates. We , Geeks mobile USA always ready to help you for your computer needs.
Can someone explain to me, what is the connection between "Science smarts" and "Sales/Marketing smarts" ?

You really think a brilliant physics PhD can create a network that gets 1,000,000$/year in bowling ball sales ?

Or maybe that PhD should go and work as a lawyer, with his brain he can be the best lawyer ever !

Or he can do what he loves, and if money is an issue, work _in his field_ on something he understands and can contribute to.

Please don't send our PhDs to mend shoes. No matter how good they are at it.
Excellent article David, thanks, if somebody wants to help the MySQL cause should be aware of a few details about it at least...
Your criticism is weak. The article says Geithner was an Under Secretary of The Treasury under Rubin, which he was.
Suggest PG: Alias/Redirect www.News.YCombinator.com to correct URL 
The annoying behaviour i'm referring to, is that news.yc DNS currently doesn't anticipate the default behaviour of browser auto-completes for "news.ycombinator"

Case 1: I verbally pass the url out to friends who are interested in learning from smarter people, and their view attempt fails without even an error message.

Case 2) My lazy self: When at another non-HN-user person's computer, typing news.ycombinator and CTRL+ENTER annoys me when it fails; and I have to retype it again in full.
I'm pretty sure there are other lazy folk like me, who probably just don't think its worth mentioning.
But, all the same, I think this is significant.
@HN team: I hope you think this is worth fixing sometime when you do routine hacking on the HN server(and DNS).

Thanks in advance
Doesn't require some third-party (which tend to lag behind the latest versions) library to get it working and I can write normal server side code in Python, etc.
A complete guide to converting passions into cash
This article does an excellent job of describing the moral hazard that Robert Rubin helped create and profit from.

1)Robert Rubin as Treasury Secretary was a key player in repealing Glass-Steagal, a damn good law that prevented a single bank from conducting both commercial and investment operations.
2) After the law was passed he went to work for Citibank, earning over 100 million dollars, helping them create a megabank that combined investment and commercial banking.
3) Citibank ran into serious trouble during the current financial crisis, was deemed to big to fail, and was bailed out by the taxpayer.

That ain't how capitalism should work.
Thank you very much. This is simple and portable.
ADD Nation, 90% of Social Media Referrals Don't Read
I've spent the day so far playing with sclang[1]. It's quite a nice language. Dynamic, OO, first class functions. Definitely worth a look, in my opinion.

[1] http://en.wikipedia.org/wiki/SuperCollider#The_SuperCollider...
Can Anyone Help Crowdsourcing Startup crowdSPRING Get Their Site Back Up?
A zsh article from 2007? Come on! I even commented on it before realizing it's ancient stuff.
Not at all: Harvard got used to fantastic returns in an unusual period ("genius is a rising market"), got into spending patterns that depended on this continuing (what this article focuses on), too many people at Harvard got envious of the people making these returns and forced them out, then investing was left on autopilot and they crashed in what looks to be the worst financial crisis since the Great Depression.

(This article is very shallow, look for the _Vanity Fair_ article for a much better picture.)
Did you try "Show Options" on the results bar? Then choose "Fewer shopping sites." Worth a shot.
A unit test covers a some particular properties hold for some cases (e.g. you verify that foo gives bar). A type system guarantees that for all instances of the types, certain properties hold.

Given the choice, I know which I'd choose!

In practise it's not quite that simple, but designing around the types and shifting the burden of testing on to the compiler seems like the way forward.
this is pretty easy: http://www.umlet.com/
The Unlocked Phone Movement Gets A Big Boost
To respond to a specific point, Practical Common Lisp has a complete implementation of a program to read MP3 and build an online index from the information there. It is a thing of beauty.
But it is easier when you're dealing with a "pure" function. In something like Haskell, a function that doesn't touch any of the stateful sequencing monads is guaranteed to neither alter nor depend on any sort of global state.

In my experience, the times that lack of path coverage gets you into the most trouble is when one large-ish function depends in subtle ways on global state, and inevitably there are bugs involving one or two global states that you don't catch in testing, and then you get errors out in production and have to figure out what on earth is causing it. Not fun.
Who are we to tell Oracle to devote their resources to something that we think needs development? They own Sun and MySQL. If this does not suit someone: fork it. End of story.
A real kicker for getting my head out of Google Reader.
Git Hooks - pre-commit
Well, for a program of sufficient complexity there'll probably always be some aspect that can only be checked easily by unit testing--if only stuff where the program works as intended but the programmer's intent was mistaken.
It's every employee.
Seconded. I'm not much of a nostalgic, but there are some very cool pieces that capture emotions from important parts of history. Some hilariously funny ones and good business ones too.
Following the derail a little further...while you got my vote for the pedantipoint, the misuse of "beg the question" is so pervasive that I've given up. It means what people use it to mean, now. We probably need a new name for the logical fallacy, unless lumping it into circular reasoning is sufficient.
My point was that Python isn't killing Lisp any more than ECMAScript is killing Python.

About the rest, I answered in other parts of this thread.
HN approaching millionith item?
I've just noticed that the `id` number in the url of HN posts is 9-ishly close to one million. I assume this includes every single comment, and not just submissions.

Am I misinterpreting the meaning of that number, or are we close to the 1,000,000th Hacker News post?
> Proprietary forks are an illusion.

The most famous counter example is SunOS, which was directly based on the Berkeley code.

Of course, times are different now - the internet has changed a lot of things.
Basically, "the more the better". In lieu of a summary, let me try to see if I understand it.

The deck is more random: the more times you shuffle, the more cuts you make, and the more you randomize the size of your cuts. To draw my own conclusion, the more chaos you throw into your method (which may even include lesser amounts of shuffling) the better the randomness of the deck should be.
I would say speed tracer, but that is google-built.
The Curves Diet Plan
XML-RPC client module for Node.js (uses libxml.js)
Silicon, the new lithium?
Nissan Cube All Set To Hit UK Streets From January - Hot News
Good response to the question, which was clearly loaded
From the article, "Either the machine prints NPR@NPR@, or it never prints NPR@NPR@."

This makes sense in that the machine has told itself never to print NPR@NPR@ in the future.

It would be like trying to verify someone doesn't know a secret by asking them about the secret they shouldn't know.

Zero knowledge proofs come to mind.

And that's probably a good description of my knowledge on this subject.

edit: changed asterisks to @ because HN doesn't display asterisks.
I think votes increase the id. I'd need to check the source though.
The explanation on the Wikipedia page (when taken together with the explanation of a Gödel_number[1]) is actually not that hard to follow.

[1]http://en.wikipedia.org/wiki/Gödel_number
I've heard rumours in the past about Google trying to build their own fiber optic / wireless network. What if they sell the device and voice/data plans?
Can you point me to an explanation of the arithmetical expression itself?
What I'm aiming at would mean "given this lump of (malformed) HTML, what DOM would a browser give me?" Maybe Hpricot, BeautifulSoup, et al are already there, but I don't know. :)
1M GET!
Extremely clear, thought out, and well written.

Good job sir.
You are right about writing: it shows you what you don't yet thoroughly understand and need to think about some more.
You were at 0 and I reflexively downvoted you to -1, but now I regret it - I voted a little quicker than thinking.

Upon reflection, I think this is actually an interesting point and would you care to elaborate? I love reading letters from important scientists and statesmen of old, but maybe there is some merit in respecting people's privacy even after they pass on. I'll think on this some, if you have any examples or further thought on the matter I'd be quite interested in hearing it.
Inspiring Music Playlist for Web Designers n. 04
I find that some good books take a very long time for me to read because I need to stop and mull over what I am reading. Case in point: I just finished a short Joseph Campbell book ("Pathways to Bliss"): I would literally stop every paragraph or two and reflect on how the material was relevant to my own life, about my own 'myth,' etc. It took me a month to work through this short book.
No, the problem is the dual-license strategy combined with changing business models. If it had been pure GPL from the start, anyone who couldn't work with that would never have used it in the first place. But because they sold licenses for closed source use, now there are customers using it who may be stuck choosing from three unpleasant options--keep using unmaintained code (if the license even allows that), find a way to use GPLed code, or find a new database.

It's not really any different from what would happen if a proprietary software vendor went out of business or killed a product, since that's effectively exactly what happened. The fact that the code also exists in GPL form is largely irrelevant and I don't know why you're focusing on it.

Without the dual-license strategy available, BSD software doesn't really HAVE an economic model other than charity (nor does pure GPL of course--just look at RMS--but at least GPL gives you the warm feeling of knowing that no one will be purely freeloading off your generosity).
Farin safina Soud - Background on BrightFuse - A Talent Community