skysight-inc/HackerNews huggingface dataset:
You are right that many people don't need the results of type theory for their work. But that mainly tells on the type of work you do. For example many people think programming does not need math but if you are writing physics engines, graphics engines or doing machine learning then you need some basic level of mathematical sophistication. Similarly, if your work is related to automatic verification or the transformation from code to code then knowing type theory will save you a lot of wasted effort reinventing pitfalls. Type theory gives a foundation and a why basis so that intuition can be augmented beyond rules of thumbs. Language Oriented programming is one which would benefit from such a knowledge. Consider also that the future is not going to be dominated by one platform, powerful code transformation tools will be a strategic advantage. Know that my emphasis is not on the strength of the type system just its consistency and ability to augment human reasoning.

Software engineering is the only field of engineering whose practitioners do not use a basics grounded in math. Electrical people have Maxwell, ohm, gauss etc. Mechanical engineers and dynamics, civil continuums and so on. None of these professions you will note, came after the math. The math came as a result from studying and generalizing on these and then feeding the results back providing a net gain for both. This leads me to believe we are in early stages yet. We have the catapult without trigonometry. We do not have enough understanding to build stuff to withstand earthquakes. You say that most languages don't have well founded types but you fail to note that many of those same projects often have massive teams, massive code bases, fail often, run over time and are insecure.

But all that said, programming is different isn't it? You can get instant feedback and build something that you think is good because it fits all the white swans you put inside it. So I think before we have a foundation we will need tools that are built from and require a basic understanding of category theory and types. These can then be used to quickly iterate tests and do so with strong guarantees without having to write annoyingly tedious constructive proofs. Genetic programming is stupid but what if it could reason about types and try hypothesis on a meta level as well? Or what if tools such as http://lambda-the-ultimate.org/node/1178 were developed into the typical programmers toolchain? But yes, complex types without tools are a hard sell.
Mattresses and incandescent light bulbs seemed to require a bit of human intervention for manufacturing, according to How It's Made.
> it should prevent interception of login credentials

That was already possible using HN's OpenID support and a secure provider.
So sad that we are like sheep waiting to see what" Vic" and big G decide in regards to our (practically) our social identity and the nature of the social space as well.

One certainly can have the equivalent. Of real-life anonymity. The issue is institutional will.
Does anyone knows the reason why they blocked blogger in the first place?
It is no more messy than the rest of GL.

The issue is that everybody does the minimum modifications needed to translate the C api into their language rather than the design the API as you would in that language.
>Futhermore, what makes you think pseudonyms are for just for alternate personas? There are plenty of legitimate reasons for people to be using pseudonyms, both online and offline.

In their personal dealings? That's a pretty weird edge case. I can't think of anyone that does that besides con artists. (Dissidents, yes, but again, Google+ is for extending your personal identity; your alter ego belongs on a Facebook Page or Twitter or Blogspot or Wordpress).

>Twitter isn't primarily for alternate personas. Where did you get that idea?

Because Twitter accounts tend to be a way for organizations and celebrities to push information. Case in point: http://twitter.com/#!/paulg is about Paul Graham the entrepreneur, the professional persona, not Paul Graham the friend/son. I don't live in the Valley, but I have never encountered anyone with an active personal Twitter account. (Lots of people, including myself, made one, tweeted a few times, and gave up because nobody else we knew was there.)

To quote you: "I want to call people by the same name we use in person."

Unless I am dealing with a con artist, that is usually a real name. (Correct me if I'm wrong, but I don't think Google has an issue with normal first-name shortening/common nicknames). In what situations would someone be known to their friends and family by a pseudonym?
Thanks, that post was fantastic. Having the arabic words in larger font size would have been great, though - really hard to look at them and spot the differences in that size (and zooming all the time is annoying).
> If you end up saying, "Well, that was just an estimate. It actually took 200 hours, so you owe me $30,000," they might pay, but they won't hire you again

This bears repeating. Has anyone else noticed how the business world has redefined "estimate" into exactly the opposite meaning? Now it means, more often than not, an exact number etched in concrete for the beancounters to lock in their costs. In my previous job at a financial software consulting company, we developers learned to fear any call for an estimate. We even frequently had conversations from management that went "give me an estimate for this development, and the client has already approved a ten day work order so your estimate needs to be exactly ten days."
> That was already possible using HN's OpenID support and a secure provider.

Not actually sure what your point is here.
The $20 he mentioned is for cablers and phone techs, not for programmers, if I understood correctly.
Participate frequently and insightfully.
On the server side, it is ycombinator's decision if they can handle the additional cpu cycles. i believe they can, or else they wouldn't have enabled it.

on the client side, I don't think you can really feel the latency. is measurable, of course, but i don't think you can feel it.
if it is the zero sum game that is suggested (itself unlikely) why is this outcome bad? is it something to do with race, geography? i dont understand why anyone should be rooting for a team here instead of appreciating the synthesis that this represents.
Chinese people with English names: a bit off-topic but the current trend for Chinese where I work and around (Beijing Web corps) is to avoid these English names and use the pinyin translitteration or abbreviations instead, but this also is a can of worms if one want to enforce real name policy. In the South of China some people's family name is just "Ng", some legitimate transliteration of a given name could be "nvzhi" where "i" is not a vowel but "v" is! I which a good time for the humans or the bots that will have to enforce real name policies there...
St Paul Strippers 
St Paul Strippers, Minnesota Escorts, Minnesota Strippers direct to your location from the Top Strip Clubs Movies and Magazines for Your Next Part Event Call Us - 612-940-2828.
Wisconsin Strippers
Wisconsin Dells Female Strippers and Exotic Dancers for A Bachelor Party Without Limits, Wisconsin Dells Female Escorts for One Wild Party
What I want is google Street view on every human-walkable area on Earth, including walmart isles, mountain hiking paths, and the white house.

Monetize it by allowing companies to put advertisements in strategic places.
No, but they should be in a higher tax bracket than you and me.
An hourly rate is easier, because you don't need to worry about scope creep. But your total bill should never surprise a client—you need to communicate at each step of the way.

A flat rate, on the other hand, allows you to charge for the value you provide, and gives your clients a predictable budget. By charging a fixed rate, you're saying, "I can do this work quickly and well, and I'm sure enough of my estimates to take on all the schedule risk."

On the other hand, fixed-priced projects can explode horribly when the requirements inevitably change. I suspect that somebody usually walks away unhappy.

I use a hybrid system: I break the project down into features, and offer a quote for each feature. The quotes are measured in "points" (as in XP or Pivotal Tracker), and I charge a fixed price per point. My clients choose which features they want. And if the spec changes, we just scrap some existing features and draw up new quotes.

If you're a highly-productive developer, and you're good at communicating with your clients, you might find that this system offers something for everybody: Your clients get predictability and flexibility, and you get a strong incentive to become a better developer.
Sure. In that sense, it lets you separate "producing" and "consuming".
"This is water, this is water."
>on the client side, I don't think you can really feel the latency. is measurable, of course, but i don't think you can feel it.

That doesn't seem to be the general opinion here: http://news.ycombinator.com/item?id=2565694
I just bought 2 this morning from HP Small Business store. Pessimism sucks.
[irony]
Yeah, these scientists! They only want to talk about bullshit like evolution and global warning!
[/irony]
This article makes an all too common economic fallacy.

It argues against a proposed marginal cut in spending on science. In order to portray this as a bad idea, he then argues that in total, spending on science is a good thing.

Similarly, I oppose 10% cuts in military spending because if the military were cut 100% 50 years ago, I'd probably have suffered under communism.

This is the logical fallacy of the "excluded middle".
Maybe this is too off-topic for HN, but... that's a surprisingly readable translation!
圣航科技
With Great Startups It’s All About The Execution
It's _a_ factor. Not _the_ factor solely responsible for their success. It's like having well designed tables and chairs in a restaurant; it makes a difference, but if the food sucks or it's in a bad location the restaurant will still fail.
Using OpenID (with a secure provider) to login to HN prevents the stealing of login credentials and was possible even without HN supporting HTTPS. I don't see what's strange about this.

By the way, I'm not claiming that enabling HTTPS is wrong, I'm giving potential disadvantages. It's the website admins' job to weight those against the advantages and decide whether it's the right thing to do or not.
I'm addressing the topic of the post: the use of indexes in programming, not names used for variables that store an initial time.

myarray[2] doesn't mean 'myarray at time 2'
@idiopathic: You're right, I read it badly. Sorry, crag.
The other wing would fold next to the first wing. Since there would be more wing area, the first wing could be made smaller. Not necessarily any additional moving parts needed.
11 Hard Truths About HTML5
> The combination of numerous dialects and a formal/informal continuum is pretty much unique to Arabic and gives rise to fascinating situations watching Arabs calibrate their lanugage based on the situation and the linguistic background of their interlocutor.

Not Chinese?

(Also, #9 hardly seems like an item to include in an article explaining 'Why Arabic is Terrific'. 'Terrifying', perhaps.)
I find it interesting that you're basically calling for them to do almost exactly what they did with PalmOS back in the day. Technically that company still exists, so PalmOS still exists, but I can't remember the last time I saw a PalmOS device.

Apparently, this is what happens to Palm operating systems.
And for anyone with a decent idea and the drive to start a company, $100,000 to get it off the ground is easy to come by.

Bullshit. Out of the thousands of people that come to Hackers & Founders on any given month, I know exactly one person who has been able to raise money on an idea alone. And, that young woman is an absolutely an exceptional sales person.

I should know. Hackers & Founders _is_ early stage in Silicon Valley.

We boot strapped an incubator at Hackers & Founders because it is so friggin hard to get funded. Myself, my co founders and everyone in the incubator worked their assess off to get our 6 startups funded. The companies that we were working with all had polished products, had been working on their projects for at least a year or two.

And, yeah, 7 weeks after we were done, all 6 of our companies have raised a total of $1.5M. But, it took these companies at least 6 months of pitching and hard work to raise a round.

And, in that same time, we've gained 800 members at Hackers and Founders. How long to you think it's going to take those people to raise?

edit

We aren't raising money from Limited Partners because being mini-VC's isn't interesting at all to us. What's interesting to us is helping the thousands of our members globally learn how to start kick ass startups. And, we want to give them the tools to do just that. And, when they're ready, we'll connect them with the investment community.

So, we've talked with perhaps 30 VC's over the past 6 months about sponsoring what we're doing... Every single one has passed.

Bubble? If this was the bubble that the NYT is talking about, VC's and angels would be throwing money at us.
I learnt hebrew at the jewish summer camp and that made a hell lot easier for me whilst learning arabic for my US government contract (field) work...
There were 2 blogs they wanted to block specifically. They blocked those blogs IP addresses without understanding how the internet works.
The concept of dialect is quite vague and is generally determined politically. Some like the Chinese "dialects" are generally mutually unintelligible and are actually different languages. On the other end of the spectrum, one may consider Norwegian/Swedish/Danish, which may be treated as dialects of teh same language practically bur are considered separate languages (http://forum.wordreference.com/showthread.php?t=1120647).
These vimrc posts are not always very useful. Actually, it should be reminded that each line in vimrc may have bad side-effects. It may increase Vim instance loading time, and increase editing footprint, or slowdown processes like highlighting and scrolling.

Moreover, and probably worse, each specific configuration increases the distance between your daily Vim-fu and the one you'll have to use on another user or another machine. And these occasions have been, in my experience, those when great Vim-fu was the most critical (eg. trying to keep your hand on a dying server on a flooded connection, or showing off your skills on your boss's Mac during plane trip). All this holds for bashrc too. The closest to the default is the best, to some extent.

I take vimrc posts as good occasions to proofread mine and remove all unused stuff. I just commented out a very weird "set notagbsearch" which was probably killing my <ctrl>-].
Could you like, explain this?
I agree totally with #1, the root system is very cool.
The diglossia has two sides to it, on the one hand it makes it harder to structure learning because the basic phrases that are the bread and butter of every other language learning program are usually expressed only in the dialects and may not even have agreed upon spelling in the written language. On the other hand, if you just want to speak, you can spend relatively little time on grammatical features like the dual, because many spoken dialects barely use them.

The real barrier for me though has been that Arabic (like Hebrew) is written without the short vowels in all text except for children's books and religious texts. This means that if you don't know a word, you can't pronounce it properly.
Great post.

See this http://en.wikipedia.org/wiki/Varieties_of_Arabic (Examples of major regional differences) for more info on the differences between regional dialects.
There was an account with blogger [0]. So they blocked the ip address of that domain which was shared with many others as you can see in this article.

[0] http://translate.google.com/translate?js=n&prev=_t&h...
What are the advantages of mobile commerce?
It's interesting to realize: that's why something like quantum mechanics can't be approached by thinking purely in axioms. We have to push forward first; it's only after we've correctly approximated nature (via some informal model) that we can go back and try to prove our assumptions.

One obvious exception to this is Einstein coming up with relativity before it was ever observed in nature and approximated by people. But if you think about it, Einstein wasn't proving aximos; he was presenting a theoretical model (a guess) which turned out to precisely correspond with nature. It was still a guess.

So my point is... "results" are subjective, and don't require proofs. Proofs are very useful for checking your theories, but probably not for discovering new phenomena.
One of the charms of HN is that it attracts posts from people for whom terrific and mindbending to the point of perversity are not necessarily opposites.
You can't feel the latency?

It adds half a second or more to initial page load times. For doing any sort of marketing where potential customers are arriving at your landing page, that's huge.
Yup its been 12 years since 1999.

I am intrigued by the last line where they recommend to check Google.

For more on Google, check google.com. (Also good for searching.)

The words inside parentheses are epic.
This is something I find on all kinds of Arabic sites (including news outlets, corporations, and governments), as well as signs and print in Arab countries - the default font size for Arabic is generally (to me, as a recent student of the language) illegibly small.

People just get used to it, I guess.
I'd say the Atari 2600 was probably the first (in my experience) home games console with games that are legitimately fun to play. Games like Combat, Air/Sea battle and Snoopy and the Red Baron were great games on the 2600.

I'm not saying all the 2600 games were great, nor that it was technically better than the NES, but the core ability was there around the time of the 2600.
From the link:

- "Women, LGBT, abuse victims, etc, will be disadvantaged"

Larry/Vic: "There are other places they can go to, we don't have to fight every ethical and social injustice every time in everything we do, G+ is one of the occasions when we don't seek to right the wrongs of the world, we just want to get the work done."
And high(er) latency on HN would be a problem because ... ? It's such a highly interactive website? There are billions of high quality images to be loaded? Hundreds of ajax calls going back and forth every second?

Right.
Http://persianorarabiangulf.com/index.php
Indeed. There was a post a month or two ago on HN that captured this fallacy beautifully and I wish I could find it again and/or credit its author:

Q: "We pay salaries competitive with the market average, why can't we find good experienced programmers or engineers?"

A: "So you want top talent for average wages? See the discrepancy here?"
watch the Mike Monteiro FU Pay Me Speech. http://vimeo.com/22053820
If you remove the nationalistic bias, this story sounds like exactly the "right thing" happened to Dell and Amazon. Work migrated to where it can be performed most efficiently. This is exactly what we want an economy to do.

It's true that Dell did not increase it's ability to design and manufacture circuit boards. But that was never their core strength. I think a firm's managers should be thoughtful about what skills they want to develop internally, and freely outsource as much as they can of the rest. This article would have managers adopt a destructive NIH attitude, greatly reducing their firm's efficiency and competitiveness.
If a rich dude is doing it, you'll read about it on HN.
There are a few words that take a regular plural suffix, but most of the time to make a plural you have to change the structure of the word quite dramatically:

The structural change is regular. That is you don't have to learn each name plural.

The Arabic writing system is exotic looking but easy to learn, which is a rare combination. The language uses a straightforward alphabet, but because letters change their shape depending on what their neighbors are it is quite impenetrable to the uninitiated.

I thought the same thing for English and French, no? When I learn English and French in school, we join letters.

Formal Arabic distinguishes between groups composed entirely of women and groups that contain one or more men, and has distinct pronouns, plural forms, and verb conjugations for feminine dual and feminine plural.

The same for french. (Il, Ils, Elle, Elles, On)

What we call Arabic numerals aren't used in Arabic except in extraordinarily formal contexts. Instead, Arabic uses "Indian numerals", which look like this:

Not true. The real Arabic numbers are the ones used today. The Indian numbers were used in the middle east region because of the strong Indian influence.

--

Well, if you are really interested in Arabic, then what you should learn is the Arabic poetry. It's one of the marvelous human inventions. It's very hacky, and quite hard to write. The wealth of books (old books) and poems written in Arabic are worth learning it.
The most interesting part is the deviation of spoken Arabic (which as mentioned in the article, varies by region, e.g. Saudis speak different Arabic from Jordanians, or the Lebanese) from written Arabic. I'm a native Arabic speaker but most of my education and upbringing were in English, so I tend to use the "higher form" i.e. written Arabic, when communicating with fellow speakers. And yes, it is terrific indeed.
I recently switched to invoicing per commit (current rate being €40).

A flat fee is risky for you and charging per hour is risky for the client (and tedious for you to keep track of) — the commit is less risky because he won’t be charged for half the day you spent tracking down a stupid bug you introduced in an earlier commit or work you threw away because your understanding of the involved API was immature when you started it etc.
For the very rich, citizenship is a problem to be solved.
Is it possible to stop new accounts from submitting new stories, maybe at least until they are 24h old? It seems that amount of spam on new is increasing and each of spammers is a newly created account.
Dulaney Solar Rallies Solar Robot Transformer
Tomorrow Theme
Yet another theme. Not sure if it has the same technical justifications as Ethan Shoonover's Solarized, but it sure looks well thought out.
Many other governments would be tempted to try to take a bigger piece of the pie from their corporations in order to get reelected,

That was never suggested. Only the far left socialist (i.e. let's nationalise everything) parties suggested raising the corporate tax rate.

The vast majority of the population knew that there aren't loads of jobs here. Some high profile US companies left Ireland (e.g. Dell's assembly plant). The majority of the population knew that raising the corporate tax rate would cause these companies to close and there would be some massive layoffs.

Suggestions to raise the corporate tax rate would have damaged the chances of getting reelected. Why else would the left wing Labour party (who suggested nationalising the banks (they are all nationalised now anyway)), not suggest raising the tax rate?