skysight-inc/HackerNews huggingface dataset:
I've been using Sublime practically from when it was first released (what, 2 years now?). I do ALL of my development in it and I don't have any need to use anything else. The multiple cursor thingy and side-by-side editing are simply amazing. Especially the multiple cursor functionality, I can't say enough praise about it. Plus one awesome "feature" of that is, that anybody watching over your shoulder when you are using it has that dumb "WTF" look on his face. Priceless.
Oh, and no f* icons. That's awesome too. And the built-in spell-checker, and multiple replace, and jump to symbol, and full screen mode, and mini-map, and and and ... really an amazing product (can't believe it's that cheap (and I consider 60 bucks a lot of money)).

Looking forward when v2 gets stable. Thanks Jon, keep up the good work!
No. I think you didn't understand. You may want to visit the Arabic countries. People here can't rise their voices. They risk getting fired, getting sued... Also you can't get all people to agree to go on strike.

Get to the street, you'll find police waiting you. Fight, you don't have another choice.

There is another point too: These strikes are led mainly by jobless people that have nothing in life. (Desperate people). So they are always in strike, they need to get their voice to the street.

And if you have followed the Tunisian revolution, as it advances it gets more organised, that's because people began to gain power. And once they gain power, they consider that everything the state owns as their property too. In the past, they considered it as a property of the ancient regime.
No he was not. He was living in a house with his own room and one or two other roommates.

From page 7 of this

http://www.edd.ca.gov/pdf_pub_ctr/de1275a.pdf

I believe that if you make $47k or more in the year leading up to your unemployment (technically, if you made more than $11.6k in the highest quarter of that year), your benefits are $450/week or $1900/month or $23,464/year. Raising a family of 4 on that would be challenging, but it's easily enough to live carefree in Santa Barbara, CA (where I lived, with one of the highest housing prices in the US) as a 26 year-old bachelor while paying $500 for a skiing season pass and several hundred dollars per year in mountain biking repair costs. (Both he and I were avid mountain bikers; trails are usually free, but the repairs weren't.)

I took home $1600/month as a grad student while saving money and frequenting cheap bars, so I know this is very easily lived on. Of Course, I didn't have quite as much free time for boarding and biking as he did.
That's even worse. Users habituate themselves to the two-step process in exactly the same way, only now they're annoyed because you're forcing them to do extra unnecessary work.
> They proved that it implements "the spec" perfectly, but to do that, you need a detailed spec with no abstractions.

No you don't.

> That means the spec contains just as much information as the code itself, which means the spec is just as complex as the code.

No it doesn't.

> Thus, the spec is just as vulnerable to hacks as any other work created by fallible humans.

The spec can be smaller and more accessible than the code.

> So essentially, proving that the code is a perfect implementation of the spec tells you nothing.

It tells you that you can read the spec and know exactly what the code will do. For example it won't BSOD (unless someone was silly enough to put that in the spec).

.

I can have a function "int exp(int a, int b)", and a spec that says it returns "a^b" (or "a b" or however you want to write it), or throws a IntegerOverflowException if that doesn't fit in an int. The actual function contains more information that the spec, such as how exactly it checks for overflow and whether it calls a multiply instruction or does its own repeated addition and whether it does b multiplications or uses certain mathematical tricks to work faster. The proof on the other hand I think does have to be as complex as the function, but at least proofs tend to be written in ways that the computer can help prove them.
I wonder if the guy who wrote this went to college himself...
There are multiple vim emulation packages for Emacs too, it just ain't the real thing.
Sounds like Google's customer service approach.
Shutting off the large majority of the internet is a dumb move, because all those people who weren't especially interested in politics and who were just doing their own thing are suddenly politicised and angry at the government for cutting them off without (from their point of view) any justification. It's pretty much a recipe for a riot.

Communication is so central to modern life (especially for businesses) that When people are cut off from their communications they get very angry very rapidly.
I'm aware that such a thing doesn't exist. Which is why I said "theoretically". Tyrants generally have a closely-knit circle of loyal supporters, and a lot of guys that follow because they believe they are on the winning side.

Anyway, that doesn't change my point, having control infrastructure already in place does make it a lot easier for them.
That's the standard Marxist analysis, but it's been refuted since, by Armstrong and others. The Enclosure Acts "kicked" very few people off the land. What they did mostly was to transform poorly utilized common land (marginal pasture, forests, and even some "tragedy of the commons"-style arable land) into extremely productive privately owned plots. The food production increased immensely as a result, which allowed bustling cities and industries to be well supplied. The general prosperity of society increased immensely, while previously starving peasants moved into the cities to become well-fed, but poorly-housed, poorly-clothed etc. workers (at least in the first generation). Even these deficiencies were remedied quite fast, and by the end of the Victorian period, manual laborers would commonly go around town dressed in what today we'd call a business suit.
There are quite a few for-pay email providers that do a great job. My favorite is Fastmail.fm, which was bought by Opera last year.
I just tried to use google translate in hebrew; giving it words in all lowercase provides a gramatically very different translation than giving it words all in uppercase. For example, typing "good morning" gives the hebrew equivalent of "it is good in the morning" (טוב בבוקר), while typing "GOOD MORNING" gives the appropriate greeting in hebrew (בוקר טוב). Not sure if that's a bug or a feature, but definitely very screwy.
Care to elaborate? I read it too and it really inspired my but I just can't seem to pull off a successful muse.
Shutting down all the cars, planes, and pacemakers in the US would mean lots of physical injury.
Over-generalizations like this are as predictable as they are annoying.

Sure, it makes sense for some people to skip college. And maybe someone could even make the case that most people would be better off abstaining from higher education.

But what if you want to be a researcher? A scientist? Someone working on the outer boundaries of knowledge in some particular discipline? Self-study is all very well and good, but for most of the empirical sciences, to make an impact you are going to need experiences and credentials that can only be acquired in a university setting.

Money isn't everything.
Not really - Williams actually received a response!
Distance from parents is probably a big one; worry about emergency situations while separated is another. After that, accreditation, I guess.
>A society based on the principles of the free market will create unprecedented human health and prosperity

The living standards of black slaves in the Americas increased over time as well.

I wonder if the millions whose standard of living increased under slavery would change your mind that slavery is bad? It seems to me that anti-slavery is a symptom of simple ignorance of basic facts about world economic development.
Python: Don't touch the list you are iterating
Software can be proven correct, but if you want to do anything useful with a computer system, you need more than just an OS kernel. Even if the kernel itself is "perfect", that doesn't stop vulnerabilities from appearing in the upper levels.

So it's a cool accomplishment, but it's never going to be "like Mac, but totally unhackable!" or anything like that.
Simple: financial aid. As US citizens, if we qualify, we can attain federal financial aid and scholarships, thus lowering our overall cost of attending college significantly; sometimes lowering it so much as to be free, or nearly free.

The same is not true if we attend a foreign institution.
Your comment won't change anything. As a Tunisian, all I wished the outside world to do when we were in Egypt case is a tweet, blog post, Facebook share and a good comment. If you went to the government and protested, then you owe me lot of respect.
Then we have Gaza, which also had a people's revolution and is now even more of an impoverished and belligerent dictatorship.

You mean under Israel, right?
> 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?

I don't yet know how Sublime Text compares to TextMate, feature-wise, but TextMate seems to have sold pretty well at (roughly) this price point.
>Just because it hasn't been done yet, doesn't mean it can't be done.

Indubitably, implicit in my statement is "It's [currently¹] hugely inefficient to transmit power wirelessly.".

I can imagine harvesting extra-dimensional power sources or vacuum-energy or as you say ultra cheap solar power conversion.

¹ No pun intended.
Isn't anyone else tired of articles that are completely useless to anyone outside the US?

I'm fine with political insights, drug/weapons/abortion/religion debates or US breakthroughs, but articles about ways around student loans and rankings of cellphone carriers just go WHOOSH over me.

Maybe I'm missing something, but I wish there was an [US] tag for this type of content.
I admit I've never worked in a big company, but I'm told the same thing often happens in big US corporations. It certainly happens in US universities.
no tuition fees in a lot of countries

As a foreign national? As, say, a US citizen without a work visa? Does that really work?

The idea that a foreign country would subsidize one's college education is pretty alien to a US citizen. Just going to a state university in a different state costs extra money in the USA.

Or are you just asking: Why would people who are already lucky enough to have some kind of "old European" citizenship ever want to study in the USA instead? I'll let those folks answer that question, since I don't really know.
Agreed. Given a way to frame it so that it seems like it's working in the interest of "the people", they'll be happy to lay down on their swords. Really, this kind of things happens all the time. Corporations are happy to be handicapped when the same handicap presents an even greater barrier to competition. Economists even have a term for this: "rent seeking" (see https://secure.wikimedia.org/wikipedia/en/wiki/Rent_seeking )

The regulations that hobble the pharmaceutical industry today (you can debate about whether they're good or not; this isn't the point) were initially sought by the industry, in order to weed out snake oil charlatans. A significant early backer of gun control regulation was the Ruger corporation, because the regulations were structured in a way that affected imports (like Beretta) much more severely.
Not to over-simplify, but I don't think one's social circle is enough of a justification for the astronomical cost of higher education. One can just as easily get involved in their community doing public service, attending shows, even just frequenting local businesses can provide opportunities to meet new and interesting people.

$60,000 to build my social club? No thanks.
I don't understand why you think that keeping the attention of random Americans helps Egypt at all. They are building this revolution themselves without any of our involvement, and they'll keep going and succeed without caring that we're watching them on TV.

I think it matters a lot more how their neighboring countries act, not how frequently people in New York or Oklahoma think about them.
Timing is Key - If you wait until it's obvious, it's too late
Isn't all the internet in Egypt blocked? Like you can't connect to the outside. How would a TOR network help? You still need to have IP connectivity to reach TOR nodes outside of your country.
I think this article perhaps focuses a little bit too much on the negatives :)

I'm an Englishman living in California, and I don't really plan to leave here. I like it here. I like the people, I like the weather, and I like the way things generally work from day-to-day. It's really easy to latch onto things that seem, to my eyes, badly broken, like health care, but forget that otherwise, things are pretty sweet.

Sometimes, people ask me what I think of the US. And I might mention health care or something, and they'll reply, "Yeah, the US sucks, huh?" My usual response is "If I didn't like it, I wouldn't be here."

What I don't really understand is that, at least in California, it seems most people see all the bits that are broken, and know they are. And then you get a President who is actually trying to at least place a band-aid over the wounds, and you get cries of Socialism and Nazis. That's the insidious bit of America that I can't stand: America is a country that constantly wants to, and tries to, reinvent itself. To always move towards betterment, as individuals, and as a country. And yet there are a great many vocal people who succeed in holding it back. The ills of today could be gone tomorrow, but they won't be, and that's a shame for everyone.
More like HN, Stackoverflow and Engadget for me..
A universal measure of intelligence
Startup lessons from Bigulo
http://www.gigaom.com/ is a fairly good alternative. Balanced coverage of startups and new products from existing companies, though they do tend to cover more enterprise tech.
Solving the Expression Problem with Clojure 1.2
I always thought Mac users are more willing to pay than Windows users. Sublime for a long time was windows-only and almost free to use (a "nag" alert is not bothering at all)

I don't want to say I doubt anyone will buy Sublime. I wanted to know if it allows to pay for a living or to buy a yacht ;-)
I should have clarified, I lumped electronic checks in with physical ones in understanding the parent's point. I use electronic checking transfers to pay my rent, not physical handwritten checks. Most bills in the US (including rent) have an E-Check option, and that's what a lot of people use. I assumed when the parent was talking about alternatives to cash + checks, they meant credit/debit.
Liked this:

If you can't imagine any user paying you money, then they won't.
You can take 1 million users, and be ultra conservative and say .5% conversion,
and very easily earn yourself $5,000 in Excel.
Getting that money into your bank account is a different kettle of fish.
That's exactly what I pay Rackspace Email for. My email is my most important communication medium, it's also the nexus and backup access mechanism for most of my online accounts via password reset. You'd have to be mad to leave something so important to a free service with no SLA and no customer service where you account could disappear overnight without recourse.
Without providing a biased opinion I thought the following link might help with your understanding of the ExactTarget API capabilities and structure - http://wiki.memberlandingpages.com/API_References

Hope this helps!
It's worth noting that seL4 is a variant of L4, a very small microkernel. Proving the microkernel secure is interesting, and maybe useful; but a real OS has a lot of other pieces, which may introduce their own insecurities.
They are kinda asking for it aren't they? I mean its nice in theory but has it not been proven time and again there is no such thing as hack-free?
This looks extremely exciting for the realm of social robotics, as the two disciplines will feed off of each other. It will be interesting to see the depth of the behaviour algorithms created while learning more about philosophy. Perhaps we will be more concerned with other factors in the behaviour, rather than just how it "appears" to the human (or whatever is interacting with it).

Hopefully they won't rely too much on SAT marks for the admission process, and will look at our portfolios. It would be a shame to miss out on a potential star for this program because of low standard test grades. This is a super opportunity!
I'm not arguing that the Enclosure Acts reduced the prosperity of society in aggregate, merely that one of their direct results was that "previously starving peasants moved into the cities" wasn't a free choice on the part of the peasants in many cases. They may have even ended up better off in doing so, but that's different from whether it was voluntary. I don't think you need a Marxist analysis to come to the conclusion that the Enclosure Acts didn't have a neutral effect on the pace of urbanization; it's what you find in standard mainstream histories from folks like Spielvogel as well.

Mostly I don't think it's at all clear that "being poor in the city working in a factory" would actually be preferred over "being a peasant farmer" given conditions of the time, if it were truly a free choice. In the United States at around the same time, you find many people choosing to leave cities to become subsistence farmers on the frontiers, because the Homestead Acts made it a viable option. If the UK had taken the enclosed land and distributed it via a Homestead-Act style process, would British peasants have chosen that option?
CEO's should all have 2 hour holds on their email that leaves the office. Whe actively fighting fires, it's easy to say something stupid.
US admirer of Gandhiji sets himself on fire in India
I'm not trying to hit anyone over the head with a
worldview, merely trying to dispel the notion that
"friendly" governments in the middle east are somehow
"good". Your assertion that Egypt is "committed to
peace", and therefor good for the region, is mistaken.

I didn't say committed to peace, so it's pretty low to quote me. I also didn't say friendly. I did say good, but not in the context you use.

If, on the other hand, you take offense to my claim

I explained what offended me, but you charged through again.
if this would be true for the majority of students, there wouldn't be the discussion about extraordinary costs of higher education. or do I get something wrong here?

of course I am not suggesting everybody to study abroad, I am just wondering why only few young (US-)americans are considering to study in Europe. especially with the prospect of not having to pay up a huge education credit while gaining a lot of experience as well for those without a proper financial background.
http://www.davidslog.com/2941069729/200m-page-views-per-week

Looks like the downtime isn't slowing them down much.
The flaw in his logic that I see is that somehow the $104,000 that was supposed to pay for going to college will somehow magically appear the first year that the kid will not go to college so that they can start a business. This is instead of how it normally appears with select education loans. I highly doubt lenders are itching to lend $104,000 to multitudes of fresh 18 year olds that dream about owning their own business but don't want to "waste time" in college.
I happened to see meanwhile that even if I type 'goobe'(which means 'owl' in Kannada) after setting source to auto, it says "We are not yet able to translate from Kannada into English". Really, amazing!
> Your comments about Vim's learning curve are spot on, and I don't think any vimmer will disagree with you

I would disagree with the gp's assertion that there is an extreme amount to learn to obtain basic editing efficiency. A dozen commands or so and gvim so you can use the mouse should take you 20 minutes and a bit of practice to feel comfortable with.
1. While it may all look the same to people not clued in to the Indian movie scene, this is not a Bollywood movie in the strictest sense of speaking, as it was initially made in Tamil. The Tamil 'film industry' is called Kollywood =] It got a Hindi/Bollywood 'port' made though.

2. The movie's already released (in October 2010), and made a gigantic crap-ton of money...
"I am at a loss as to what this additional infrastructure really permits that having lots of armored men with guns does not. Armored men with guns are a flexible bunch, they can do lots of things. The marginal distinction to the person in power between pressing a button and ordering other people to go shut the net down is pretty minimal"

Very easy to understand: they don't have lots of men with guns the moment they ask these men to point to their family members, to their community, in a wrong way . People will not obey things that go against the law, because they are not drones, and oppose firmly unless the law itself makes them comply(no exit).

If you have the force but not the authority law gives you, your force is briefly temporal.

E.g It was essential for Hitler to get a law that gave it full powers, using the excuse of punishing the communist for Reichstag fire, fire that could had been caused by Nazi supporters.
Great editor only problem is it doesn't work over remote desktop because it uses 3d accleration.
I know that Steve Jobs has sent some very short responses before, however this from Karp shows immaturity more than anything. There are times when most of us will receive an email from a client and want to immediately tell them where to go, but the old saying to "sleep on it" really is good advice. I have sometimes waited a day before properly responding to some people and it was the best thing to do in every case. I hope that Karp realises his mistake and makes a public apology. At least this way he would look mature enough to admit his mistakes

Edit: I was about to start a personal blog on Tumblr, and I will not be now due to this article.
As a foreign national? As, say, a US citizen without a work visa? Does that really work?

yes, it does. I don't know about every european country, but at least (at state universities) in Germany and Finland there are no tuition fees for non-europeans as well.
I have used it in order to develop an eclipse plugin for vim. It took some time to set up, but then it worked as advertised. I could use vim inside eclipse. It exposes all the mistake detection and completion stuff of the regular Eclipse editor, but triggered by keybindings instead of automatically.
Whilst it might not slow them down much at the moment due to the viral nature of the site, nor did the lack of innovation and arguably bad leadership at MySpace. I think what the article is trying to say that under the leadership of David Karp it will probably end up going that way - and I agree. In fact although it's different in many ways, look at Chatroulette even - perfect example of what happens when you do nothing with the traffic and don't care about the users who visit the site.
With the difference that they are not yet big enough to not care about their customers.
You can't say they hadn't manipulated license costs before.
You must also realize that while Gandhi did not use direct violence he did use the threat of violence as a bargaining tool. The British realized the choice was to either work with him or end up confronting more radical fringe groups that weren't opposed to terrorism.

The antithesis to this was the battle of Algeria. The french ratcheted up the level of suppression to protests to such a degree that they won the battle and lost the country, violently.
While Sublime Text 1 used the GPU for rendering, Sublime Text 2 is software only, and so should have no problems over remote desktop.
I couldn't agree more - but Karp is just turning out to be really arrogant. It's a great shame as Tumblr has potential to be an amazing service if only those behind it admitted it's flaws and tried to work on them instead of denying they exist.