skysight-inc/HackerNews huggingface dataset:
I know I should "just do it myself," but I keep waiting for something that can unsplit and unwrap PDFs generated in ACM double-column style with LaTeX word-breaking and turn it into an epub with graphics for the figures/tables. Trying to deal with that 9-ish pt. font is a huge pain for my old eyes. I ended up giving up on reading them on my iPad because keeping a reasonable zoom level and managing to scan down then over to the next column required the finger dexterity of a concert pianist (even on GoodReader, which is quite, well, Good).
System Monitoring With sar And ksar
I wonder how many people would pay 3 dollars a month for a clean, usable webmail interface for their domain.
There is no such thing as a 'lone tyrant', typically tyrants are backed by large numbers of guys willing to do their bidding.

If it weren't for that North Korea and Myanmar wouldn't last for 5 minutes under their present leadership, the same goes for many other countries.
Stupid error on my part, that shoud read Tesla, not Marconi.
Mining money isn't a good fit for dotcoms, I've seen it first hand, as an employee of a startup with investors there (WA). These guys get edgy in businesses they don't understand, and IT is a long way from digging shit up and selling it to the Chinese. You want savvy investors who move in the right circles, not just ones with fat bank accounts and no clue how to turn a PC on.
I think this is going to be the Bollywood equivalent of Waterworld.
Bait and switch. At least it took a few years.

This is typical, I remember when gmail was rolled out and the lack of display advertising was touted as one of the big advantages over competitors (the others were a very large amount of storage and a really effective spam filter).

Let's see if the competition uses this as a way to get an edge over google.
I don't understand why you Americans are getting an erection for all these "revolutions" in the Arab world. These are not revolutions, this is rioting by ignorant mobs. There are no institutions for democracy in these places, and democracy will not come out of it. The best case scenario is that the current socialist/paternalistic dictatorships will be replaced by enlightened, modernizing dictatorships like they had in Chile, Taiwan or South Korea. But let's face it, if this hasn't happened up till now, it ain't gonna happen.
Sublime Text 2: Public Alpha Released
On the iPad, GoodReader can do margin cropping on the fly, and remembers the margins you've set up for a document so they're reapplied when you open the document again.

http://www.goodreader.net/goodreader.html
> To break police torture, you MUST torture them.

I hope you meant that in a figurative sense and not in a literal one, if you meant that literally then I'm sorry, but that's absolutely not the case.

You break a bad regime by doing better, not by becoming like them.

I sincerely hope that El Baradei will get his way and will be allowed to lead a transition government he seems like a decent fellow and has done a lot of good by upholding a high standard of ethics at the IAEA (even when under considerable pressure to do otherwise) and I can not for one second imagine that he would condone torturing his former opponents.

Some blood may flow but less is better, not worse. It's possible for a revolution to happen almost without bloodshed, typically mass strikes and walk-outs as opposed to violent clashes with representatives of the government.

Gandhi: "Nonviolence is a weapon of the strong"

edited: tx tsycho.
Object Oriented Ruby: Classes, Mixins and Jedi
If one wants to be an idiot or an asshole on the Internet, then one is free to do so. If one wants to attach their real name, address or some other identifiable bit of information to such outbursts, then once again, one is free to do so.

The same goes for life off of the Internet, which of course could be recorded or reported, and subsequently placed on the Internet.

The real problem is people mistakenly believe they can secretly operate with impunity in an age of increasing transparency.
How To Make Bamboo Wind Chimes
Wholesale source for bamboo wind chimes from wind chime sand mores with affordable price. For more info visit our website.
Alternatively, provide documents in latex or similar and people can do the final compilation themselves, dictating exactly the details of the physical medium (be that printed paper or an electronic display of some kind) they will be using to view it.

This would require people learning how to do something, though.
Amazon Pulls the Romance of Lust
Well, one piece of evidence is what happened to the museums in Baghdad in 2003, not to mention the things that were lost in Berlin in '45.
A less highlighted contribution of Turing is the Good-Turing estimator. http://en.wikipedia.org/wiki/Good%E2%80%93Turing_frequency_e...
It is used for predicting the probability of occurrence of objects belonging to a set of unknown cardinality. For example to answer questions like how many words did Shakespeare actually know. It finds heavy use in statistical NLP. http://nltk.googlecode.com/svn/trunk/doc/api/nltk.probabilit...

A trivia that I find interesting as an Indian is that his parents came from a background in the executive branch of the Indian government.
Perhaps I'm getting grumpier as I'm getting older but yes! And can I start an engineers branch of Really Well Dressed?

You should dress according to your age. You don't get any younger/cooler by dressing like a teenager. Put on some nice clothes, learn some manners and grow up.

Now get off my lawn :-)
Their definition of "Rich" is flawed in my mind, or at least not very meaningful...but that aside.

Is it any surprise that about half of the people in the world who are "wealthy" by some definition spend their time... investing in and starting businesses? Creating jobs? Investing?

If they redefined their definition of "Wealthy people" to not look at net worth and instead look at income earned from investments -vs- living expenses, then look at the people who aren't in the red - then we'd probably find that near 100% of them were entrepeneurs of some kind.
>if this hasn't happened up till now, it ain't gonna happen.

Flawless logic.
Predicting user behavior is a fruitless time-consuming task.

I get the gmail example... but the quitting example?

How are you supposed to know that this time they really meant to quit and didn't just slip and click the wrong button?

This is why I hate GUIs. I'm too clumsy with a mouse to trust it. How many times have I opened the wrong application from an applications menu and had to wait for it to startup only to shut it down right away? How many times did I close the application I was using by accident and have to open it again?

I get a lower error rate on a keyboard using a tiled window manager.

So... should I code a new feature, fix a broken one, or spend time trying to predict what mistake (or intentional action) you are going to make next?

Priorities...
Is there a halal alternative to ham radio?
What you should know about LinkedIn’s IPO
Blog Marketing to Increase to 43% in 2012 – How’s Your Copywriting?
What is this bill? Could you please link to the proposed legislation as I have not heard of this bill. I would like to know if my senator/representative is introducing or endorsing this bill.
Add in an "auth-request" header onto the email, have a plugin for your mail client that looks for the header - and if found hides the mail and does the auth in the background for you - and you then have seamless integration (thanks to http://news.ycombinator.com/user?id=wlll)
I am waiting for the retro-fashion to go back to ed (http://www.gnu.org/fun/jokes/ed.msg.html).
But they do have Tax File Numbers (http://en.wikipedia.org/wiki/Tax_File_Number) and bank accounts.
The number one reason would be debugging. The debugging environment as it relates to PHP with Netbeans is simpler to configure and easier to use than with Eclipse. There are other reasons but I feel they are more subjective than the debugging issue. I've tried Eclipse many times over the years and have always either gone back to the old Zend IDE (before they moved to the Eclipse platform) or Netbeans (lately) in frustration.

To be honest, I frequently use Vim for quick editing but when debugging PHP Netbeans beats Eclipse hands down.
Two thousand years from now we will still remember the greeks that we know today, and then there will be a few extra names, I'm fairly sure that Einstein and Turing will be two of those names.
They seem to be avoiding the term "Dark Age" but there is no doubt that there was a huge collapse in the infrastructure of civil society and technology after the Western Empire ended.

Note that there was also an earlier Bronze Age "Dark Age" in Eastern Europe:

http://en.wikipedia.org/wiki/Bronze_Age_collapse
Highly recommended BBC Documentary "The Secret Life of Chaos". It starts with Turing's work before he died.

http://www.youtube.com/watch?v=HACkykFlIus
No... not if you are implying this because of a 95% failure rate, your odds improve with each attempt. Statistics have no memory. You are statistically part of the same group every time. You don't increase your chances of flipping a "heads" on a fair die by flipping tails first. The odds stay at 50%.

That's not to say that multiple attempts at starting profitable businesses won't teach you things, and increase your chances of success, your chances of picking the right strategy out of the gate, etc - but there is no simple "Hey if you list yourself as "entrepreneur" and keep trying, you'll end up rich.". Many people just end up wildly in debt and failure.
Its a clever idea but I would think it would be frustratingly slow to login via email. I wouldn't be surprised if it took 20 seconds or more to complete the entire transaction -- that is a long time for a relatively simple operation.
Glad to have some other brazilians around, I used to live in Campinas also but now live in Joao Pessoa.
See, and you were doing so well until the edit. I was about to upvote your rather interesting reply, but reddit has left an unforgivably bad taste in my mouth for people who say "not sure why the downvotes" or "I'll probably get downvoted, but..."

I'm not going to downvote you, but next time just say what you have to say. If people like it and upvote it, great. if not, it's a meaningless metric on a fairly small social news site. There are far more important things to worry about.
I doubt pull requests with failing tests for bugs are ever going to be that common (unless you have a really good testing department between you and the end user capable of writing the tests) but if they did then the correct way of dealing with them would be to identify the bug, correct the problem in the source and create / modify the test so that your test covers the general failure mode.
Take away their money and see how happy they are.
Goodbye, $.99 iPhone apps
... and some call it insecure. If you don't take care of Man-in-the-middle attacks, which is one of the most basic attacks, you simply are not secure on the internet (where things like XSS and cross site forgery are for more common, and can render the most complicated authentication mechanisms useless). But for starting thigns up, it can be just fine.
I only really use gmail as a spam filter anyway, forwarding mail to another account, so I avoid seeing any banner ads or other nonsense.

My advice to any Google people who might be reading is to keep gmail as clean looking as possible, and avoid image based ads (especially animated ones).
Some would, but most people would continue to use a free service. It would have to seriously be causing the average user a pain to have them switch. More likely would be another free service that could be the gmail of years past and they would slowly become what gmail is today.
Five things we learned from Pac-Man
The problem with throwing the home in there, and in looking at "net worth" -vs- "net income" is that things like your house don't generate income. Having a million dollar house and $50/month leftover to spend on fun puts you in the same position on a day to day basis as the guy who, after rent and bills, has $50/month leftover to spend on fun.
I mean it puts you in the same place in terms of "I'm rich, I can do whatever I want" - neither of you have f-you money. Neither can just go do whatever they want. Guy who owns the house has more equity he can borrow against if he has to... he also has to take care of that house.
Renting guy renting -but he's mobile, and can pass a lot of expenses on to others. He can just cut his living expenses by a bunch and live in a cheaper place if he needs more income.
Would there be an opportunity to hire undervalued local talent if you were export focused, and didn't care about the local market?
Are they serious? Is this serious? Is such a think like developing "unhackable" software or hardware even possible? I don't think so.
That could be true, but it's basically idle speculation at this point. It's like accusing someone of murder and when asked for evidence, stating that the evidence will come out when the person is interrogated. Eh?
The internal link article - LinkedIn: Powered by Obsessives [1] - is also quite interesting. While included in the risk factor section where they have to be negative, the fact that "a substantial majority of our page views are generated by a minority of our members" is not really a surprise but is a scary thing to recognise.

As the social media guy in my company, I'd certainly like to see it made easier for less tech-savvy (and time-poor, so don't want training) business people to interact on LinkedIn. Hopefully identfying this risk means working on further ways to mitigate it.

[1] http://venturebeat.com/2011/01/27/linked-ipo-risk-factors/
Did he really commit suicide? Or was he 'suicided' by scotland yard because he knew too much?
While this is true, I think Japanese culture mostly just makes this more obvious. A big part of it is based on perception (in western culture, change is much more accepted generally, and people tend to show/believe they change much more than they actually do).

For example, what happened during the Meiji area is pretty unique in world history AFAIK, and that was a gigantic change. My experience in Japan is that people are less willing to change things, but are much more willing to change once they agreed on the nature of the change (that's part of what makes Japanese company still efficient today: people are willing to sacrifice a lot for something else than their own self if they believe it worths it).

There is no question that Japan is facing huge challenges as of today - but I would not bet on Japanese society not being able to deal with it once they really have no choice. Also, the young people the article refers too are actually between 25 up to 40 years old (people entering the job market after the bubble in mid 90ies), so mathematically, old people who benefitted from the pre-bubble system will be less and less influential
Very nice discussion there. It surprises me that a non-trivial piece of code written in C can be verified.

It might be of interest that BitC http://www.bitc-lang.org/
is being developed as a flexible system programming language that supports verification.

It seeks to combine the flexibility, safety, and richness
of Standard ML or Haskell with the low-level expressiveness of C....

...it is possible to write a MPEG decoder or SHA-1 hash algorithm
in BitC that is fully safe, but performs competatively with the
C implementation. Today, that can't be done in SML, O'Caml, or Haskell.
Microsoft is the development platform of choice for big business. The hottest startup to use their stack in recent memory is StackOverflow. Generally speaking hackers choose not to use Microsoft's platform when they have a choice. Personally I use c# at my day job, but I barely considered building something for the WP7, and am instead working on iPhone and Android.
In Opera 11.01, I can only pick one color, then the squares stop having any mouseover or onclick effect.

What is this for?
Looks great, but any chance of a static compiled version for Linux 32/64bit?

I'm getting: ./sublime_text: error while loading shared libraries: libpng12.so.0: cannot open shared object file: No such file or directory

Linking with ln -s /usr/lib/libpng14.so.14 /usr/lib/libpng12.so.0 doesn't work: ./sublime_text: /usr/lib/libpng12.so.0: version `PNG12_0' not found (required by ./sublime_text)
The best way to help Egypt is not to let the mainstream news change the subject in 48 hours after their predetermined news-cycle (or average American attention span) ends.

BBC/PBS might be the only news outlets to cover this in two weeks, everyone else will be doing pieces on Valentines Day.
As opposed to OpenID, which takes that much time by design. Or more, since chances are you don't know your OpenID and therefore have to look it up in your email.
I understand your point, but I'm not worried about the actual points being added or subtracted from my karma. People here tend to continue up-voting something that's been up-voted or continue down-voting something that's been down-voted. I'm attempting to curb any further lack of real consideration for my comments due to the blind nature of many of the users here regarding voting etiquette. If you've seen me around here before you'll know that I often post comments that attempt to uphold what I consider to be the HN standard. Which is why I ended it with "if you have something constructive to add, say it." I realize some users may find this grating, but perhaps those users aren't the target audience for the remark to begin with. Thanks for the heads up though.

To add to that, if I were trolling or being rude or vicious I would not have edited to bring up the down-voting. I hate to see this site slip into the bad habit of down-voting legitimate and helpful points due to simple disagreement with the commenter. With so many new users coming to HN daily it's important to occasionally remind people that this isn't Reddit, it's not Digg, and it's not Slashdot.
Whoah there - let's not be defining everyone's intentions for them, or be looking down on emloyment.

If it's not for YOU, and doesn't meet your definition of success - that's perfectly fine - but good luck telling me that that I'm just "getting by" and "not succeeding".
Don't Send Your Kids to College
Sublime Text is awesome, the main reason I was being stuck with Windows for a long time. But having to use bash and not wanting to pay a lot of money made me learn Emacs.

How many people are willing to pay 59$ for a pretty simple (yet awesome, but not in the sophisticated feature-rich Java-world way) editor? My bet it isn't public information but maybe someone have similar statistics
I literally had never heard of this before. I just downloaded it for Ubuntu and HOT DAMN! I am buying this for sure.

For anyone waiting for textmate 2, give this a look. It may very well be just what you are looking for.

Best part is you can completely change all the keybindings (if you want) so you can create your VIM or Emacs setup if you so choose.

Happy day....
Which libraries are you referring to? Statically compiling GTK would seem a step too far.

EDIT: Ah, you've added that now. I'll do some investigation: could you let me (jps@sublimetext.com) know which distro you're running?

(I'm the author of Sublime Text, btw)
"Can a program ever be proven correct? No. There may be some very trivial toy programs that under very special conditions can be proven "correct" -- that is, we can mathematically prove that they will never give an incorrect result.5 In the real world of programs, however, the answer is no. At first, one is tempted to believe that it is simply a question of combinatorics. That is, if one considers all the permutations of all the paths through any non-trivial piece of software, one quickly comes to the conclusion that exhaustively testing any piece of software is an impossible task. This is analogous to the NP Complete problem. But, in fact, it is even worse than that. It turns out that proving programs correct is equivalent to solving the Halting Problem. And we know from Turing's work that that is an impossible task."

Your link is filled with nonsense, including the conclusion you took away from it here. We're talking about proving properties of a particular program here, not an arbitrary one. Please don't link to that in public again. It's a really terrible article.
I never understand claims like this. They proved that it implements "the spec" perfectly, but to do that, you need a detailed spec with no abstractions. That means the spec contains just as much information as the code itself, which means the spec is just as complex as the code. Thus, the spec is just as vulnerable to hacks as any other work created by fallible humans. So essentially, proving that the code is a perfect implementation of the spec tells you nothing.
Isn't this what the Microsoft Singularity project have been working on for a long while? I remember reading some post about how they also have proven (verified) the correctness of its operation a while ago, but I can't immediately find a link.
Three years ago I've had to interface with SOAP-based service. After trying various libraries for various languages - only to find out they don't support something (I actually remember lack of ad-hoc polymorphism, inability to understand the response format with some weird reference-like structures, and inability to emit some obscure Java datatypes whose names I forgot) - I've ended up with generating query XML template by hand and processing replies with quick-and-dirty PCRE-based parser. Sure, it's Wrong(tm), but I did it in a lunchtime and the code worked like a charm.

Sure, if I'd write in Java (I ended up with Perl5, as - thanks to CPAN - it seemed the most suitable for the task), all this SOAP stuff would be as simple as several clicks in NetBeans or whatever-Java-people-are-using. But I didn't knew Java enough to write everything I needed, I didn't like idea of Java SOAP-to-SomethingRESTful proxy, and I was quite scared of FactoryFactoryFactoryInterfaceActorProducerFactoryFactorySingleton libraries to dive into Java (yes, I know not all Java is Enterprise Quality, but system I had to interface with was extremly enterprisey).
I actually majored in both computer science and philosophy at a school with a top 5 CS program and a top 50 philosophy program. I found the combination useful, but eventually grew frustrated with much of the philosophy. My classes often spent more time splitting hairs than trying to say useful things. The philosophy that actually proved most useful were my logic courses, and one or two papers from philosophy of mind.

That said, philosophy is incredibly important. But, as PG has noted, we tend to do a poor job of it (http://paulgraham.com/philosophy.html). We need to spend more time focused on saying useful, testable things. In short, the best scientific results merge with philosophy. So, everyone should be a philosopher, but should do the majority of their philosophy as science.

Again, both philosophy and computer science are important, but after studying both pretty intensely for 3.5 years (I graduated with over 180 credit hours), you have to pick and choose the philosophy. It's mostly useful for setting the initial biases on which the rest of your science will depend and for continuing to think about things science can't speak to, yet.
Why takedowns don't reduce Internet crime
This is an interesting dilemma that I think alot of startups come to. Interesting that Meetup is still around after making the switch to premium. Could the same be done with other free services?
I'm running an up to date Archlinux distro.

thanks for taking the time to have a look!
I think the symbolism of the method chosen, a poisoned apple, shows rather more subtle thinking than is usually shown by state thugs.
Wikileaks releases the Egypt Cables