skysight-inc/HackerNews huggingface dataset:
He also wrote this essay:

On Reading and Books -
http://ebooks.adelaide.edu.au/s/schopenhauer/arthur/essays/c...

in which he talks about "[those that] have read themselves stupid."

It's interesting that we can trace a parallel with technology: reading too much but building too little.
Evony, US games company, sues British blogger in Australia
I believe http://hackerne.ws already aims to do this. I don't remember who started/maintains it though. Its was a DNS hack IIRC.
http://www.diagrammr.com/edit?key=dFE4tu7OUIr
The problem affects a vanishing small group of people. Most either:

1. have no trouble with it in the first place

2. open "the internet" (some search engine) and type it into the search box not knowing it's not the address bar. Then they pick the first result.
> It's a small part of overall global greenhouse gases (5.5% if you don't include water vapor, 0.3% if you do), but maybe -- just maybe -- the atmosphere is in a delicate, wobbly, equilibrium balance.

Considering what we know of CO2 levels and temperature in the geologic past, we're far away from any potential tipping point.
Most version control systems have hooks, I recently ported one of my subversion hooks to git and decided to blog about it.

I figured it'd probably help someone out there, which is why I submitted it to HN.
Here's How Overstock.com's CEO Got A List Of All My Friends And Family
Well, leave out succession and you get the reals, which are still complex enough (no pun intended) to offer hours of fun.
I've never read a book that didn't make me think for myself.
Photos: Space station marks a decade aloft
To construct the Gödel number (a part of the proof) requires use of an arithmetic that can express addition and multiplication. If any one of them is missing, the system can be shown to be complete.
I have one of those, too. Vista SP2 won't install. I seldom use that side of the machine, though... these HPs play nicely with Fedora out of the box. (pavilion dv)
Yeah, I do feel a little bad for saying it - and I'm not even 100% sure I agree with it, but it was my first thought upon reading the suggestion.

It's not so much that I think other people are idiots as much as I realize how much stuff is on here that is way over my own head. The thought wasn't that I don't want them here as much as it was "will they find anything here useful" but that really isn't my decision to make.
Your reasoning is correct, so it means that integers are not definable inside "real arithmetic".

http://en.wikipedia.org/wiki/Real-closed_field

If you don't believe this, try writing down a formula in the language of this theory that says "x is an integer".

Ultimately, the issue is that the first-order theory of real closed fields contains no axiom approaching the induction scheme of PA in power.
> Basically, "the more the better".

Actually, no. Too much shuffling actually makes some sequences less likely.

See http://www-stat.stanford.edu/~susan/courses/b494/index/node1...

For some simpler math for a related question, see
http://20bits.com/articles/interview-questions-shuffling-an-...
Perhaps you should actually read what he writes instead of letting other's interpretations of him get in the way. I have never found anything that he's written to be irrational or crazy.

The problem is that some people can't admit that they just don't care about FOSS as much as Stallman does and try to discredit him because they don't have the guts to say so.

It's okay to disagree with Stallman and he has never attacked anyone who has openly voiced an opinion against his ideals. It's not okay to say he is crazy when in reality he one of the most consistent and logical thinkers in FOSS.
Cash is king now - but for how long?
Persistent Trees in Git, Clojure, and CouchDB
Transposed to programming I'll take this as saying "Don't use other people's libraries, write your own, because you will understand them properly and they will integrate better with your programs."
I think the Modula series is the most misunderstood programming language. Perhaps not misunderstood, but the most potential with least use.

(Note: This opinion is probably naive or uneducated)
I'll freely admit to being one who didn't "get it" with Javascript back then (and more recently than I'd like to admit).

Not sure I even get it now, but I'm at least aware enough to admit my lack of awareness about some (ok, most) things.
English is my second language, and until a few years ago I wasn't even aware of the original usage, while I'd seen the "misuse" on a regular basis.

I don't think I've actually ever seen it used in the original usage "in the wild", as opposed to in the posts of pedants complaining about people using it wrongly.
I'd never heard of this company before, but this alone makes them seem pretty contemptible.
Doesn't solve the problem. The web server must be set up to handle the virtual host www.news.ycombinator.com too.
any 3rd party verification available on this?
An inconvenient dataset, truth, lies, and more.
I don't think that the idea of carrying a laptop making you a cyborg is any more of a stretch than the idea of carrying a smartphone making you one. Laptops and smartphones are similar in capability, mobility and proximity (given the laptop/backpack example) and certainly in interactivity.

I am curious what it is that qualifies a smartphone as an "exobrain" that also disqualifies a laptop?
Can Nokia Recapture Its Glory Days?
How about reading some of what he writes instead of brushing off his ideals? His assertion of proprietary software being "evil" for some very specific values of "evil" are quite valid.

Only fools that don't read his work brush him off so easily; otherwise they'd refute his positions with real arguments.
I could imagine some of these tracks in a movie, but for the most part they seem a more random than is typical for the dramatic requirements of a movie. Most of these pieces have a few ideas that stretch out over several minutes. Movie music tends to have specific cues. There are precise moments when the music changes to guide the scene in a particular direction. The attention to structure required by a typical movie does not seem evident in most of these selections.

Now, this music is full of ideas that could be great in a movie. But the pieces themselves, for the most part, are not especially dramatic. They'd have to be re-worked into a movie, at which point they probably would no longer be 140 characters of code.
I hate it when the article never links to the original paper.

http://materials.technion.ac.il/EinEli/Publications/publicat...

Click on 2009, and then click the pdf link to request by email.
As someone who's been paying attention to various high-performance battery technologies, I'm a little disappointed that they didn't link to the original paper (if anyone could find it, that'd be nice). However, the author is a little eager to jump to conclusions, some of which are wrong: first, a non-rechargeable battery that "uses air as a cathode" is called a fuel cell, and it's not a particularly new design. In fact, silicon fuel cells have been around since at least 2007 [1]. Also, Bolivia does not have half of the world's supply of lithium; they currently have the cheapest reserves, but as lithium represents about 2% of the cost of producing a lithium-ion battery, there are many more potential reserves available [2]. It's also worth pointing out that we've had non-rechargeable batteries that exceed lithium's energy store potential for quite a while, in the form of lithium-thionyl chloride [3].

Really, though, what seems more interesting to me are the nanostructured silicon-anode lithium-ion batteries, which have been demonstrated multiple times now, have capacities several times those of lithium, and are rechargeable [4] [5] [6].

[1] http://news.cnet.com/2100-1001-983920.html

[2] http://gas2.org/2008/10/13/lithium-counterpoint-no-shortage-...

[3] http://en.wikipedia.org/wiki/Lithium_battery

[4] http://gas2.org/2008/11/25/silicon-could-give-lithium-ion-ba...

[5] http://aiche.confex.com/aiche/2009/webprogrampreliminary/Pap...

[6] http://news.stanford.edu/news/2008/january9/nanowire-010908....
As an alternative to libxml2 one could use tagsoup as a separate process and a JS only parser like XML for script.
10 GOTO 2M
Nuclear's next generation
I'm very surprised that Clojure isn't mentioned.
You should write a book on practical lisp. I'd buy it!
I hate it when any page on the web doesn't have a date. I wish having created on and modified on dates was a standard somehow.
I'm aware of the Erlang implementation. Actually, people have even implemented it on Python and Javascript.

So far as I know in order to use these implementation you have to specify static type information about the test functions. Moreover, I don't think any of the alternative implementations have the flexibility of Haskell QC's Arbitrary typeclass for generating test data.

Obviously anything can be implemented equivalently across any Turing equivalent language. QC is deeply tied to the kinds of power you get from strong static typing, though. I'd be willing to bet that even though it exists on a few other platforms, it is not as useful or easy as it is in Haskell -- perhaps measurable by the average test coverage divided by the time spent writing tests in similarly developed programs.
I listen to a lot of music that some would call noise and here's my 2c on the subject.

It is much like being a kid who doesn't like brocoli. It tastes revolting at first, you can't imagine anyone liking it, etc. Sure enough your parents force you to eat it anyways and by the time you're an adult, you love brocoli soup with a side of brussel sprouts.

Or like Yoga; can you imagine feeling comfortable, blissful, ecstatic! with your body bent that way?

With music or Yoga no one will force-feed you so the exercise of expanding your 'palette' is left up to you.

There are some pieces of music that I could not listen to when they came out and now I love them. I found them too harsh or unpleasant but now I can go to sleep listening to them.

Also as a side note: a lot of electronic music is more about (the elusive...) timbre than melody or rhythm, since we have almost full control over how it sounds.
As a resident (but not a citizen) of Europe, I sent an email telling them that I think they should let the acquisition happen as is, with no strings attached.
I don't think so.

BSD business models:

* Services: training, consultancy, ...

and MOST important:

* Closed source "PRO" versions. This has a number of declinations. For instance only add "enterprise" features in the closed source fork, or alternatively develop an important feature for the closed source fork and release it for the open source one after N months, and so forth.

A plugin system can also work: develop a number of closed source plugins about features that are not so general to enter in the real release but that many people think they absolutely need, and sell this plugins. Note that here you are not undervaluing the open source fork as this are stuff that anyway you don't think are so general to be included.
It's odd that the pictures of Mac OS X are Tiger.
I'm sure there's no ill intent here, but I don't think it's a good practice to hotlink.

If those running stdicon were so inclined (or if they were hacked), they could easily initiate a massive XSS attack.
Facebook Game Addicts "Paid" to Oppose Health Care Reform
You should give it another look - GWT2.0 has declarative UI language and HTML can be directly embedded into it.
US income tax system is regressive at the top
Google Faces a Different World in Italy
Yes, you can make XMLHTTPRequest backend calls, although it's a bit of a pain to debug due to same-origin policy. If you get to this basically you have to turn off built-in GWT server and use your own to serve both GWT-compiled code and your XML requests.
New Ruby Libraries
it's interesting cause it's useful and many people probably don't know about it.
When you test airbags, you have to then replace them. This is possibly the worst car analogy ever :-)
An axiomatic system is complete if it can either prove or refute every possible statement. "Refute" means "prove the negation of". So a complete axiomatic system is as powerful as possible w/o being inconsistent (if you prove both X and not-X, you're inconsistent).

To say that a system is incomplete is to say that there are things it can neither prove nor refute. These things could be true or false, no matter. In fact, if X is one such "undecidable" statement, not-X is also one, and one of them has to be true, the other false. But it doesn't matter for the definition of "completeness".

You could have axiomatic systems that are built on axioms some of which are known to be false, and yet they're consistent. These systems could be complete or incomplete.

Think about "what's provable" and "what's true" as completely independent layers of information you can have about statements. It's very good when they partially coincide, for example, when all the things you can prove are in fact true things (which will happen if you start out from true axioms). But they don't have to. They could fail to coincide at all.

Now for the layer of information "what's true" there is automatically a very nice property that either X or not-X is true, for any statement X. You get that for free just from the nature of what truth/falseness are.

For the layer of information "what's provable" it's not at all guaranteed that either X or not-X is provable for any statement X (this is, again, what "completeness" means). If your axiomatic system is very weak, it can only prove a few paltry statements, and it will not nearly be complete, there'll be a huge universe of statements out there that it'll be too stupid to prove anything interesting about, either about X or about not-X. But you could hope that as you add more and more strong, powerful axioms to your system (and nevermind if they're true or not! it's intuitively easy to think of them as true, but they don't have to be), you get to be able to prove more and more stuff, and eventually you'll have a complete system. Goedel's result is the hugely surprising fact that you can't: once your system is powerful enough, and yet manageable (you can't just pour everything in as axioms) it'll have to be incomplete, because it's powerful enough to formalize statements about itself, and that kind of self-awareness will have to be (because of the reasons similar to the Liar's Paradox) an essential check on what it can prove.
Argh my ears! Too loud! I'll stick with my analogue synths.
ZSHARE - goofy@myegy.com.treasure planet 2002 dvdrip.part3.rar
I made mistake of clicking on this...it so inefficient to find any information within their self-aggrandizing bleating. It's not even a half scoop. Bah.
"Very trustworthy sources who have seen the phone say that it is the Google Phone we first wrote about last month (despite the uninformed saying we were dreaming). It will be branded Google and sold by Google as an unlocked phone, which could change everything. As we wrote in our original post:"
With <img> tags? Is that possible?
You still seem to not get it. The Droid is just one phone. It won't take one phone for Android to become dominant. It might and probably will take 3 or 50.

The Apple platform has proven itself useless in mobile computing. The Android has proven itself to fill those gaps.
I'm sure that Smullyan's not confused. In fact, his _Goedel's Incompleteness Theorems_ is the most lucid and brillian exposition (a mathematical and rigorous one) of the theorems I've ever seen. I absolutely adore that book. However, I also doubt that Smullyan presented the NPR* story as a proof of Goedel's theorem. He probably said something to the effect of it being a good demonstration of the relevant issues. And that's probably right.
Thanks Karl, I do read plenty on and off the web but the wonderful news is, there's plenty more to learn.

Appreciate the links, will check them out.

edit Holy Crap! how did I miss reading this. I've been writing my blog for almost a year assuming folks read pages like myself. What a terrible assumption, no wonder only 15% are sticking around to read, that matches almost perfectly with the stats they mentioned:

"we found that 79 percent of our test users always scanned any new page they came across; only 16 percent read word-by-word."

I'm just a little slower at reading, I can't judge as fast as the majority of readers here. If the title is appropriate enough to click, my first paragraph must be pretty terrible to be driving a large audience away. edit it turns out it's not web optimized

I judge a blog or site by the author's choice of topic, the readability of their font, and then their writing style (which I can only get a feel of after a few paragraphs).

I don't want to waste browser's attention, but I also don't yet understand the psychology of instant web judgement. For the greater part my blog is about ideas, and text is the content.

I'll have to review my web writing strategy. I may be writing for 16% of the browsing audience, and that may be ok.

Thanks again for pointing out what must be plainly obvious to you.
Oh boy. I love the cloud, never realized how polarizing it is.
Do you think most folks hate cumulus? Any idea why?

Or do you think the topics (inspiration, entrepreneurship, leadership, mind) are danger signals to readers?

By the way, thanks a bunch for saying something. Feedback on touchy issues is a big help to improving the site. Contrary to the stats I've collected so far, I really do want people to get a positive first impression from the blog.
Given enough information, rational thinkers should come to the conclusions about matters of fact.

Bayes says nothing about goals, however. Rational Bayesians can have completely divergent goals, so becoming increasingly rational does not impinge on "human individuality."
It might be more effort, but having tried it I can tell you it's not that much effort. It also has tangible benefits in that it forces you to think through the edge conditions, leads to better interface abstractions and reduces fear of making changes. I don't want to turn this into religious thing, but if you never tried this I encourage trying it out at least once.

As to your question, that sounds very much like Haskel. They even have a search engine that lets you search library functions by type signature, and often time you find the right function just based on that.
Thanks to whoever added the 2001 date to my submission - I'll remember to do that next time.

The history of Javascript is a history of accidents :-)

Javascript is one language that I wish I new better. I can code in Javascript, but I need references handy to help me remember how to do things. I tend to just remember the basics required to write CouchDB view functions and simple web related tasks. However, nice tools like Rails AJAX helpers, couch-potato (generates CouchDB views from Ruby) and other tools pretty much make it possible to not spend too much time dealing with Javascript.

Regardess of technical merit, Javascript is used on a wide scale and its use will I think keep increasing.
It is a standard, somehow. After all, most if not all webservers will include that information in the headers.

Browsers could easily display it if their designers wanted to implement that. It would be a fairly simple addition to put that in to the statusbar on the right.

I'm not sure if greasemonkey scripts have access to header information but if they do that might be one way to solve this for you.
OK, his stance against minified/obfuscated javascript was insane.
I've been trying to model libxml.js after Nokogiri. I wanted to get something built and working first. The next step is to expose libxml2's html parser.

Someone else has started working on find-by-CSS a la Nokogiri. I'll merge that into libxml.js when it's ready.

BTW, I'm looking for more help on this project. A new job has diminished the amount of time I can spend on OSS projects.
You should look at UiBinder (part of GWT 2.0). You write HTML and CSS, stick it into a UIBinder template. And in 5 minutes you can take a designed mock and have it bound to a Java class in a very efficient way.

You get things like CSS namespacing and obfuscation for free with this approach too.
There are lots of candidates for that list:

- occam

- smalltalk

- lisp

- oberon

And that's just the tip of the iceberg of languages that seem to somehow have missed the adoption that they definitely deserved. And, conversely there are plenty of languages that did not 'deserve' the recognition they got.

It's almost like fashion, some stuff makes perfect sense but will never make it, other stuff is pointless and a smash hit.
Why, because it's the hyped language du jour?

I actually found it well-written compared to other such articles that have been linked here before. Although it should have been called "Functional languages every programmer should know."

My personal list would include: Erlang, Forth, Scheme, Haskell, Prolog and omit Scala and *ML.

Why Clojure when Haskell and Scheme have already been mentioned? I think the latter two are more educative than the former.
so... Ice Age II could have been based on a true story?
If there would be a way to 'branch off' a comment by marking it with a title of its own then every comment could be the start of a new thread and HN could be this giant tree.

That way nothing would ever be 'off topic' other than the leaf that got turned into a branch in its own right.
The end of hand crafted content
Watch YouTube Videos On Your Microwave
You don't need to check the source for that it makes absolutely no sense. That would mean that with every vote all the content on the site would move around, like a giant musical-webpages version.

Votes are at the cross of users and items, they live in their own space. They're 'owned' by a user and they are pointing to the item that was voted on, which contains a counter tallying up the total.
Your are correct, as noted elsewhere.

However, HN is getting posts at quite a higher rate than slashdot, from casual observation.
Subsidized phones do not need to be locked to one carrier. In most of Europe most of the phones (with contracts) are not. The subsidy is protected by the contract period.

This seems to be different in the USA.
Yeah but that might not be good enough. Like if the user switches web servers, they restore from a back up, the data is dynamically served, etc, the dates might not be accurate. What I've always dreamed of is truly accurate dates on when the article was written, and when it was consciously updated.
Wireless Hacking and Security Tools
Assessing and mitigating the risks involved with wireless networks is an essential step to prevent unauthorized access or damage to computers and devices using wireless networks. We’ve compiled a list of free (and open source) tools we believe will be of a great value to any network auditor. This list is not meant to be complete in nature but rather to provide a sense of the available wireless hacking tools.
Probably not. I sometimes get annoyed when people, faced with the choice of gaining some domain knowledge before forming an opinion, decide to instead just be loud about things they know little about.

Personal attacks are lame though, even on the internet. Thanks for calling me out on it :).

I apologize.
Because the author seems to like both functional languages and Lisp.
Yes, I was planning to play with doxygen instead of the perl script next time I get a free few hours. :-)

What I would really like to achieve is replace the file list in XCode with a dependency graph so that I can start thinking in terms of components - "where do I add this code next? where does it belong in my dependency diagram?"