skysight-inc/HackerNews huggingface dataset:
Yes, see the list of alternative preludes:

http://hackage.haskell.org/packages/search?terms=prelude

See the classy prelude github page:
https://github.com/snoyberg/classy-prelude

And the latest blog post about classy-prelude:
http://www.yesodweb.com/blog/2013/01/so-many-preludes

It looks like iHaskell actually depends on classy-prelude:
http://hackage.haskell.org/package/ihaskell
Excellent point. Relieving people of their responsibility to think about who they should trust makes it easier for the untrustworthy to operate.

If we told people "no matter who swindles you, we'll make you whole", everybody would invest in ponzi schemes.
I found the results very interesting, but I'm not a big fan of the charts. The x-axis is categorical, not continuous, so a line graph isn't appropriate here.
www.makemoji.com
"No one suggests that the Arabs as a people... suffer from some pathological antipathy to democracy"

Actually, there is a fair amount of evidence that routine endogamy is a significant impediment to the development of democracy.
It is hard to get rid of dictator once he has the power.

Edit: Just for the record, I did not downvoted you.
Sr. UI Engineer to work with AngularJS in Sunnyvale, CA
arunix asked about "any alternative implementations", wouldn't you think that includes the alternative preludes like I posted?
Ask HN: What is going on with Brazil?
They look like they don't belong on the field.
> I just also don't have the major disdain for null that the internet seems to send through a massive echo chamber nightly.

The disdain is probably (allow me to project) because it is a totally unnecessary problem which can be solved easily with virtually no drawbacks.
ReplayLastGoal and CloudFlare: Fanning World Cup Flames
IMO "keeping up the speed" isn't quite the same as low-stress.

For example, I'd rather go a little slower overall if it meant avoiding unprotected lefts that feel risky or stressful.
I don't disagree, of course. All countries started out with dictators and juntas. (We called them kings in the Western world.) There should be a second movers advantage. Most of the clan cultures are gone at least, right?

Edit: Hmm... OK watwut -- the dictators have second movers advantage too? It seems to me that the reason evil juntas get fewer is that without an open society (which is hard without democracy) a country won't get above a certain economic level. The "Resource curse" counteract that and won't end in the Middle East until oil isn't critical.
ACLU, Insane Clown Posse Appeal Judge’s Decision to Dismiss Juggalos’ Case
Well in the second scenario, they would hypothetically still need to infect you with the RAT. In his scenario, you're already installed version of Chrome will infect you without your knowledge when it silently syncs the new Remote Desktop extension into your existing installation.

Obviously if they have your Google credentials you are in a world of trouble, and I have no doubt if a 3 letter agency wanted to infect me they could, but the scenario he brings up is still troublesome and not at all restricted to highly technical attackers.
Thought they'd be bad against Germany without Neymar. Didn't think they were THIS much of a one-man team.
Yeah, this is a silly paranoid comment.
Welcome to the new Safari
Why Music Is Dying
Absurd nonsense. I have as much reason to believe that panzi is breaking into my house at night and fondling me.
How many goals does Germany need to score before they call the game?
Good point. They don't stay long, and they likely won't sign up for anything. If you get a big spike from SU visits, it could take down the site. And you'll have nothing to show for it.
Apptimize Webinar: Easy Optimizations Every App Should Make
How To: Image to Ascii via .Net Fiddle
A simple idea to encourage people to browse the New page
Move the Submit link from the main nav bar to the bottom of the Newest page.
An amazing man and a testament to the power of curiosity.
That Would be good to have on a bank of monitors at a party!
"Some of the more interesting tasks I've seen"

I get distracted by categorization jobs, like look at this blueprint and if there is a blueprint number in the title box, enter it. Well, I end up admiring the print. Oh look a giant gear for some kind of mining thing. Why, what an interesting looking architectural drawing.

Similar thing happens with categorize document numbers. Apparently some municipality decided to turn millions of paper scanned pages of contract bids into piles sorted by contract, so I'd end up sitting there reading all about bids to put in some drainage culvert. Who would ever have guessed theres so many steps and processes and backfill and compaction are critical and theres so many inspectors... I mean you can half A a drainage culvert in like one paragraph but if you want it done right its 50 pages of PDF.

These jobs are probably impossible without an excellent short term memory or dual (or more) monitors.

The ones that annoyed me the most were "leave blank if no number" so I'd scour the document for what seemed like forever just to make sure. Inevitably leading me to becoming fascinated by drainage culvert design.

Its very D+D like. Whats behind this dungeon door? Oh, I see, a blueprint of a giant gear from some mining equipment. Fascinating. Like archeology but I'm getting paid for it. Well, not much pay.
> so a line graph isn't appropriate here.

Not just inappropriate, but plain incorrect as well. The charts as they stand imply that the user can pick an offering between "small server" & "medium server" and you'll get a performance along the interpolated line ?! Use scatterplots.
> But religious extremism is a conduit for misery, not its fundamental cause (see article). While Islamic democracies elsewhere (such as Indonesia—see article) are doing fine, in the Arab world the very fabric of the state is weak.

First, "fine" is relative. Religious conservatives have been a major force in turning back progress in countries like Bangladesh. The 1972 constitution envisioned a secular republic, and the end result was . . . something less than that. In particular, a series of constitutional amendments eliminated the commitment to secularism and made Islam the state religion. Over the past few decades, there was been a substantial regression in areas like womens' rights, coupled with an increase in public religiousity.

Second, comparing the Arab states to south Asian muslim states is comparing apples and oranges. To use Bangladesh as an example again, that country has had organized government for almost all the past 500 years, between the Mughals, the British Empire, India, Pakistan, and independence. Meanwhile, Saudi Arabia, while nominally part of several different empires prior to the 20th century, was always on the outskirts of those empires, and was never really an orderly, centrally-administered place. In Saudi Arabia, central government has taken a back seat to tribal power for almost that whole history.

There's lot's of other reasons, obviously. I think a big one is this: http://en.wikipedia.org/wiki/Resource_curse. However, I think it can't be taken for granted the degree to which democracy and good government arises out of the ingrained sensibilities of people.
I also thought that the new button was the submit link when I was first here, as in 'submit a new story', which could put other new users off. Maybe change it to 'latest'.
The CEO of Robot Turtles on launching the most-backed board game on Kickstarter
This was interesting. Do you have a good overview or only papers as references?

(Not doubting, interested. I have heard quite a few stories from Indian friends about their (female) relatives running away to marry the wrong religion, both muslim and hindu. But India is a special case, if anything is.)

Edit: Thanks!
Very robust answer. Thanks for taking the time to respond!
What changed? Europeans intentionally destabilized the region in efforts to keep Colonial power for as long as possible, then the US and Russia used it as a battleground for the Cold War.
Pretty slick way to earn 20 grand...nice work
If you don't trust the CA, you could just remove it from the root store of your OS or browser.
It's not a straight continuum from peaceful jihad in the past to violent jihad today, though. Early Islam expanded greatly through conquest (http://en.wikipedia.org/wiki/Islamic_conquests), establishing much of what we today consider the Muslim world. Islamic jurisprudence eventually regularized the practice of conquest by establishing the division of the world between the Dar al-Islam ("house of Islam"), countries which had adopted Islam and were therefore not to war against each other, and the Dar al-Harb ("house of war"), countries that had not adopted Islam and were therefore fair game. (http://en.wikipedia.org/wiki/Divisions_of_the_world_in_Islam...)

None of which is to say that Islam is an inherently violent religion; just that it historically has oscillated back and forth between peace-seeking and external aggression, rather than starting as one and coming today to be the other. (Which is not an uncommon thing; Western Christianity has done much the same, with Crusades and Inquisitions flaming up and dying off as militancy in that faith waxed and waned.)
For starters:

http://jcc.sagepub.com/content/early/2012/04/24/002202211244...
Similarly in New Zealand:

Xero was making big waves as a new accounting software and had millions of overseas investment poured into it. TradeMe is our version of eBay which was basically the first widely-used site in New Zealand.

However number 2, "Diligent Boardbooks" which listed on our stock exchange in 2007, however started in 2000. They seem to sell "Board Portal" software which allows boardmembers to "securely store and access documents" as well as do video conferencing etc.

I've never heard of them, nor do I believe their valuation should be what it currently is (363 million$NZD). They've never been covered in major news outlets (https://www.nzherald.co.nz/diligent-board-member-services/ne...).

I wonder how many SaaS companies there are out there used for money laundering/similar financial fraud.
Interesting article in the Telegraph on how most Muslim countries are actually the least Muslim countries judging by the values found in the Quran -- whereas countries like Ireland, Denmark and Luxembourg top the list:

http://www.telegraph.co.uk/news/worldnews/europe/ireland/108...
"The inhabitants of the earth are of two sorts: those with brains, but no religion, and those with religion, but no brains." --Abul ʿAla Al-Maʿarri blind Arabian philosopher, poet - circa 11th century

what has any of this to do with "Hacker News"?[shrug]
ah well, if anyone wants to understand anything about middle east history they ought to start with Nina Paley: http://blog.ninapaley.com/2012/10/01/this-land-is-mine/
In Search of Serenity
Never. Once CA, forever CA. Can't remove particular CA on local level (too hard for users), can't remove particular CA globally - because all those legitimate certs signed by that CA.
Wow, that's odd. Why does accuracy drop when MRI is included?
How do you figure that Iraq is not part of the Arab world? Iran I understand, but Iraq?
SVG Primer for Today's Browsers
Thanks--I guess I had a lot of this pent up and this was the perfect thread to post it in.
Bay Area data scientists have come together to support this big data fellowship
> Deis is built to be a distributed system spanning an entire CoreOS cluster, so scaling occurs horizontally and is naturally fault-tolerant.

I love the sound of that.
These look really cool as does the technology, but I don't think I've ever used Emoji past a couple of ASCII smilies. My Android handset seems to have them but I don't use them and neither does anyone else I know.

Is this a cultural thing I'm missing?
This is very similar to this infographic: http://infographwetrust.files.wordpress.com/2014/03/creative...

Source: http://infowetrust.com/2014/03/26/creative-routines/
It seems like it could be any one of a half dozen or so Silicon Valley flameouts. Various bulletpoints describe (in part) Facebook, Groupon, Zynga, and many others. Hell, it could be Netscape or LoudCloud, even.
Show HN: A 'SVG patterns library', packed in a single CSS file
Yes, from what stories are saying.

It may also be in part due to the complexities of asian languages. (Note that this latter part is complete conjecture)
Where is the design?
No, I don't think the clan (or tribe) cultures are gone - at least, not if you mean a culture where the clan or tribe is important.
About Bangladesh -- I was really shocked when I first learned of The Enemy Property Act:

http://en.wikipedia.org/wiki/Vested_Property_Act_%28Banglade...

The shock was less that they implemented it, then that I had never heard of it. During the time it was active, my home country gave a large amount of foreign aid to Bangladesh -- while a subgroup (Hindus) was treated more or less like Jews in 1930s Germany.
It took violent revolutions and wars to get there. Then again, the government had to be dysfunctional a lot and weak to get to the revolution. The one with power has the advantage, there is no second mover advantage.

And do not forget that some of current dictators have and traditionally had Western support which makes opposition against them even harder.

Edit: the second mover has to wait until the dictator gets weak (for whatever reason - it may be caused by outside threat) and power vacuum opens up. Interested parties then fight for power. I would not call any of that "advantage".
Like this: https://github.com/cjdelisle/cjdns/blob/master/doc/Whitepape...
> I wonder why user-defined operators are considered any worse than user-defined functions.

User-defined functions can take more than two parameters. User-defined operators have one or two parameters (allowing rare exceptions).

User-defined functions can have any signature and specify any contract. To prevent surprises, user-defined operators should return a boolean or a number. Not a Maybe<Number>. Not a return code. Not a LazilyConvertsToFloatWhenYouCopyIt.

That being said, I like user-defined operators and the ability to overload operators. But there are tradeoffs, just like in any engineering decision.
I must be getting old because I hate these things. They're the blink tag on steroids.
Keep reppin' GT :)
This is critical. As a marketer, I've seen - far too often, mind you - a severe disconnect between the perception of one's customers, and the reality.

Not saying that you need to have full personas, in which you include ALL motivations, demographics, customer journeys - the works - but it helps to have something on paper that you can refer to.

The beauty of it is you can always change them!
Hi sasalek. We curate from a pool of about 10,000+ the best ones we can that have a flexible license that are royalty free, and permit usage of any kind (also called a CC0 license)
Yeah, they're wildly popular with just about everyone I know 25 and under, especially on sites like Instagram. There's even been a music video created from them: http://www.youtube.com/watch?v=qmlJveN9IkI
Dart language is now an official ECMA standard
Business Lessons from Mario and Donkey Kong
Got it, thanks! Looking forward to checking it out.
The Mice Utopia Experiment
Seems neat, and I appreciate the forward-thinking mentality. But, as far as I am aware, emoji are a fad and won't really stand the test of time anyway. Either way, I guess, it's nice to see these easy-to-use, easy-to-create principals in play.
I've just been able to add my repository but there's nothing happening even though it says it's indexed the code completely. No annotation happening anywhere. Does it support angular.js's development style?

https://sourcegraph.com/github.com/SchizoDuckie/DuckieTV
https://github.com/tpope/vim-fireplace
Great to hear josh. Saw the register. Hope you enjoyed the first pack :)
If you're not female, a teenager, or from Japan, you're probably just missing the cultural context in which Emoji are used. I'm none of those, but I think Emoji are fun, and use them fairly regularly in casual sms conversations.

There is also much more history of their (easy) use on iOS than Android, which did not support them very well, if at all, until recent years.
This is slick, nice work. Is there IP-based localisation happening? I ask because when I fed http://snapmobl.com into your engine it came back with German content instead of the English I was first looking at.
Ok thanks. That's well under my age so I understand. Does it replace "TXT SPK" which I'm still too old to use and find terribly annoying?

(I'm sounding like a right grumpy old git here)
10 please.
It's an axiom of political science that heavy-handed regimes don't topple when their heavy-handedness is at its peak; they topple when that heavy-handedness is relaxed. The shock of liberalization wakes people up and starts them wanting more. Classic examples include the French Revolution, which erupted after the monarchy convened the Estates-General legislative assembly for the first time in 175 years, and the collapse of the Soviet Union, which began with the glasnost and perestroika reforms of Mikhail Gorbachev.
There is a should: it's an editorial, so he can state his opinion. There is definitely a point in being serious, because it's a serious amount of money.
Nature’s Most Perfect Killing Machine: Ebola is nightmare fuel
Do games like this grab the interest of the haters out there who say there's not enough scoring?
This is the the type of politically correct, head up your ass foolishness that has put Europe in the mess that it is in.
I meant that people assume the internet would not have existed if the government didn't create the Arpanet. FidoNet demonstrates otherwise.
As a security researcher, the most impressive part of this is the response timeline from Facebook's security team. 3~ hours from first report to temporary patch! That's insane.
I think so. They've become quite popular, I first noticed them from Apple users and wondered how they were creating neat little wing-dings type images in their posts, but now it seems everything has emoji options.

Recently getdavidhiggins posted a link on HN to http://emoj.li/ - an Emoji only chat. So it seems to be growing in popularity/ubiquity
Why do you assume the mods did that? It's just as likely the author of the comment would do that himself.
Emoji aren't going anywhere. They've been around in Japan for over a decade and have been enshrined forever in Unicode 6.
I thought so too, until I started using them in my messages to my friends and girlfriend. Now I find them an integral part of my communications. 😄
I would imagine enforcement of minimum wage laws on mturk might take care of that.

The turk is so rarely updated there is probably some kind of disruptive startup opening for someone to set up a middleman service paying an hourly wage to carefully tracked humans.

This might put a stop to the horrible turk habit of claiming a 20 minute survey only takes 2 minutes or writing some kids term paper only takes 30 minutes, which is technically true if you spend no time thinking about it and can type at 250 WPM, but for almost everyone else its a bit unrealistic.

Some communities have sprung up on reddit to highlite great HITs but they're very realtime and seems like as soon as a great HIT is posted to the reddit group, in seconds its gone, used up. A better marketplace dynamic could be set up. Clearly HITs and turkers are not really commodites after all in practice, so commodity market tools do fail. Tools that better match the market would be better for all participants, and the market maker skimming off the top, so its mystifying why they put no effort into it.
Not real, I meant 'not a bot'. Ask for email, send a link that must be clicked etc.
Look for but not find. 28% of Americans have only one ISP choice.

http://mobile.extremetech.com/latest/221099-woe-is-isp-30-pe...
The main point of the article has nothing to do with emoji. MS's approach to implementing emoji however could lead to a very useable color font format. Read it.
Isnt it the case that both French and Russians regimes were weak and hugely dysfunctional at that point and relaxed cause they had no other options basically?
While on the subject, Maciej Cegłowski (of Pinboard) posted recently about his trip to Yemen:

http://idlewords.com/2014/07/sana_a.htm
Excerpt:

An effective response to an outbreak is surprisingly simple. Modest containment efforts, such as gowns and gloves and dilutions of bleach, tend to be successful. People who are infected with Ebola, after all, aren’t out running around spreading the disease for long before they’re too sick to leave the bed.

The virus is too hot—choke the supply of new hosts and it smothers itself.
Good article highlighting the equally valid modes of rationalising different options.

A useful book that can help one think through these (and many more) types of decisions is "The Founder's Dilemmas"[1]. In it, Wasserman (former professor of mine) explores the trade-offs one must make in founding, with examples. Very helpful.

[1] http://www.noamwasserman.com/book/
Sana'a (Idle Words)
You are, of course, technically correct. However, I'd argue that at the level of a CS1 course, it's all just semantics. True beginners don't even understand the concept of a function, let alone an anonymous function. For a student that's struggling to understand what's happening (not just type and have faith), blocks turn into one of those 'down the rabbit hole' pieces of syntax that requires a bunch of hand waving and earnest assertions of eventual understanding.

If you've got an explanation that would work in week 2 or 3 of a CS1 course, I'd love to hear it. I never found one better than "It's shorthand for a function."
10 startups to pitch live for Velocity funding
Dog Attack Shark (Dog vs. Shark)
User-defined operators are bad when they betray our expectations of what they should be doing - and by that, I mean if they don't exist in textbooks which are decades/hundreds of years old (and thus, almost universally accepted as part of our languages/cultures), they're gimmicks. That includes =~ for matching regular patterns - nobody would ever expect this to be the case - only someone who has encountered it in an existing language will use it as such.

User defined functions have names that we can understand, because we already share a common language - English. If we started "making up our own words" for functions, then we're doing just as bad as user-defined operators - nobody will recognize what the hell we're doing without looking up their implementations. It's like reading obfusticated code, or code in some language you don't know. If every programmer invents his own operators, good luck ever getting shit done - people don't have the time to learn some arbitrary language you conjure up just for the sake of shaving a few characters off code. Nor should anyone need a PhD in mathematics to understand the strange notations in your examples/proofs.

Operators cannot be searched for in the same way ASCII text can - we need specialized search engines which don't ignore characters - and they generally need to be written on a per-language basis to be useful. I think the time wasted doing this far exceeds the benefits user-defined operators provide.

Also, many unicode characters look alike, and it may be possible to utilize this in malicious ways where arbitrary characters may be used - by assuming someone reading/reviewing code will not look up the code points of every character. Having a limited set of characters makes it pretty simple to distinguish each one, unless you have poor fonts and can't make out differences between 1,I,l etc.

Operators are useful for sure, but they're never necessary. More to the point, they are just functions - treating them specially is silly, because it's much more useful to abstract over functions of any arity than to abstract over only binary functions.
A few seem to be really missing the point of this article, which has little to do with emoji itself. TLDR; MS's approach to implementing a color emoji font could lead to a very useable color font format.

EDIT: typos
Less of a replacement and more of a supplement.