skysight-inc/HackerNews huggingface dataset:
It is possible to change peoples minds, but the trick is that you have to convince everyone around them first. Social proof is the most powerful force in the universe. It's infuriating, but the research shows us time and time again that most people simply choose the position they perceive to be most popular.

It is, incidentally, why the internet is so dangerous. It is easier now, more than ever, to surround yourself with people who confirm your beliefs ALL OF THE TIME. If we're going to make decisions socially, that's a pretty worrying state of affairs.

It is also why most meaningful change happens in generational cycles. At least that is how it seems to me.
FWIW. map() already exists. It's a global function, rather than being a protocol method, and it uses overloading. So you can still define functions merely by defining a new overload for map() that operates on your type.
underscore-cli: a similar tool, in JS (node)

https://news.ycombinator.com/item?id=7896054
Be careful of glibness.

I knew the Web was going to be big when people who could not be troubled to learn what a paragraph style is in Word were hanging on my every word, taking notes, and buying books about how to install a 3rd party IP stack in Windows.

There's a difference between the UPS guy having an opinion about something and going out of his way to learn about something with a fairly steep learning curve.
That makes total sense. Also, type theory is a very fascinating research area, too, especially with the advent of homotopy type theory and practical implementations of dependent types like Idris.
Percentage of bachelors degrees conferred to women by major
A staggering number of people, and a vast corpus of literature both modern and classic. Erasure is a fairly serious problem when discussing native populations.
Hatched – Crowdsourcing startup ideas
I've recently been working on a side project. It's a website that lets users post ideas for apps or products that they want made. Reciprocally, it lets developers know what's missing on the market and thus provides incentive to work on in demand products in their free time. Check it out and if you have feedback or notice broken things please let me know. Thanks a lot!
I wasn't able to install openvpn,
error: argument @args: expected one argument
The double-edged sword of gender equality
I think there is a missing evaluation category here. That is,
does the programming language enable me to perform the task efficiently and effectively? If the language doesn't, I'm not using it, even though I might love it...
Ah, this is exactly the approach I took in C# (though with a small range of branded types to stand in for numbers). Thanks for clearing this up!
Since Bolts/BFTask was mentioned, I'd like to point out that you can use the Bolts-iOS library in Swift. I added a pull request with the code examples in Swift here: https://github.com/BoltsFramework/Bolts-iOS/pull/37/files
> At 4:12 he says he found Apple and Steve Jobs to believe advancing humanity through the equality of all its employees.

Well, your comment doesn't seem to contradict that point, to be fair.

- Donation policy doesn't relate to employee equality.

- Shuttles: Jobs himself didn't use a shuttle. Employee equality checks out.
There are always exceptional exceptions :)
But mathematics is non-strict. One can define functions that terminate when evaluated lazily but don't terminate when evaluated strictly. These kinds of functions are prevalent in mathematics.
> The central fact is that even though it is technically possible, it is considered bad style in Haskell to access or update individual array elements.

And another reason why Haskell will not fair well. A lot of numerical mathematics is linear algebra which involves, almost exclusively, updating array elements.

I'm sure Haskell is good at some things but for many of the types of problems that numerical analysts face Haskell's paradigm just doesn't make sense. Especially when we have languages like Fortran/Matlab which were explicitly designed for computational mathematics.
or call ruinFun()
There is mountain of evidence:

http://m.youtube.com/watch?v=NOAgplgTxfc
Confirmed it to be mostly working on a Nexus 4 running 4.4.3. Only issue I'm having is that it won't let me update the supersu binary properly but other than that it works. I just got back App Ops with it.
IPv4 Address Report
Android chrome.
Settings \ content settings \ translate - turn off

Desktop chrome.
Settings \ advanced \ languages \ unchecked offer to translate
You can build a bit of mathematical intuition for the concept now that you get the basic idea. Try and work out from the functor laws why functors preserve shape. The laws are very straightforward:

map id c = id c

(Mapping the identity function is the same as simply applying the identity function -- or with a little more category theory, the functor maps the identity function in the base category to the identity function in the functor's category)

map f (map g c) = map (f . g) c

The second law is also simple -- mapping one function over the container then mapping another function is exactly the same as mapping the composition of the functions over the container. This one is the basis of stream fusion, a very important optimization, that allows you take two traversals of a container and turn them automatically into just one traversal.

The preservation of structure follows from just these two laws and parametricity (The element type of the containers is generic and therefore unknown, this greatly restricts what operations are available on the elements of the container. You can't, for example, conjure up a new value of the element type to insert.). I strongly recommend trying to figure out how.
Doctrine 2 Optimization tips
What does this mean? I've seen this before and I don't get what it means.

Look more like the actual equations? Can you give me a concrete example of Haskell code that solves a simple PDE?
The minute I've heard Trillian all I can think of was Hitchhiker's Guide to the Galaxy novels.
It is also why most meaningful change happens in generational cycles

"People don't change their minds. They die, and are replaced by people with different opinions"

-- Arturo Albergati, via Paul Graham (http://www.paulgraham.com/quo.html)

(Strangely, when one searches for that quote, the first hit is Paul Graham's page; I'd like to know where exactly this was said, but couldn't find it after a quick investigation).
anyone knows of an up to date list of providers that offer ipv6 to end users?
Some Material Ought to Be Delinked by Google
I'm not sure this is a valid concern - the past couple of decades has seen a surge in students attending college, and presumably in roughly equal proportions.
Ask HN: Which blogs relevant to startups do you follow?
Apple, Cisco, AT&T join Microsoft in fight against global search warrant
Let's say we increase the % of female CS grads, what happens then?
Does the number of jobs and degrees available in CS increase correspondingly?
Does pay in related CS fields go down due to extra supply of labour?

If % of degrees awarded to women is increasing overall, it's worth thinking about what happens to the men if/when they get pushed out.
Ask HN: If learning to develop for iOS- start with Obj C or Swift?
It seems like it's an awkward time when Swift will definitely take over, but the environment around it may not be mature. My ios friends seem split on the matter.
Project Euler is offline (security issue)
http://projecteuler.net/

Project Euler is offline.

Due to the discovery of a serious security issue a decision was made on Sunday 15 June 2014 to take down the website. The full extent of the issue is still being investigated but in an attempt to be as honest as possible to our members we must make you aware that we have reason to suspect that all or parts of the database may have compromised. Passwords at Project Euler are strongly encrypted using a one-way hash, but if you use the same password at other websites then it is strongly advised that you change it. We are extremely sorry for this inconvenience. At this time we can provide no more information and there is no indication when Project Euler will return.
Who ever developed that site has probably never heard of the engagement pyramid[1], you always have fewer contributors than non-contributing users. That kind of crowd sourced content mechanism is only hurting the site's growth. Consider imgur and reddit as examples where it's done right. They're defying reality. You can't turn that pyramid into a column.

[1] http://i.imgur.com/y2Kuz1S.png
Lots of similar examinations at http://simonschreibt.de/
After reading this, I tried to find out which versions of Haskell and Scala introduced higher kinded types. I'm sure it wasn't among the first features. Does anybody know the history of either?

AFAIK you can't do Functor in Rust yet either, and for the same reason.
It's the other way around. PC games are rarely optimized to any significant degree because of the vast amount of different configurations out there, and PC gamers will just through hardware at the problem anyway. On a console, you know exactly what configuration all your players have, and any optimizations you do will benefit every one of them.
Yeah, I really miss this one. Sometimes auto-detect just fails. I had to install another extension (also from google) to fix it. But why load another extension into memory for that?
It's a perfectly reasonable feature. For one, it's not just for Microsoft servers -- in an enterprise environment you can just have it stored on your companies AD servers, so if for any reason an employee forgets or loses their key the company can recover the data.

However, you're still missing a fundamental aspect of security, which is that it's targeted, not universal. Your system is not 'secure', it's 'secure against x', where x is your adversary. If your set of adversaries includes, say, someone losing their laptop at the airport, but not Microsoft, then storing your keys on MS servers loses you nothing and gains you ease of use.
That's a myth created by the media after they misunderstood comments Tim Cook made on an earnings conference call and ran with it. The 5C was actually very successful. It sold more than its predecessor in that tier (along with the 5s and 4s) and was responsible for bringing lots of new customers to Apple and converting many from Android.

> Speaking to analysts during Apple's Q2 earnings conference call, chief executive Tim Cook stated that 69 percent of iPhone 5c buyers were new to iPhone, while 60 percent had switched from an Android phone. For the cheaper iPhone 4S, the ratios were even higher (although the sales volumes were much smaller): 85 percent were new to iPhone, while 62 percent switched from Android.

http://appleinsider.com/articles/14/04/26/apples-iphone-5c-a...
I've been using it for over a year - especially with AWS CLI, but, I'm a little displeased that it only has the query feature (duh) and does not have a little more like merging JSONs (I think it only has appending). Another issue is that I wasn't able to find release notes for v1.4 - what's new since v1.3? There other similar tools, but they require node, Python packages, etc. jq really is installed with one command and no dependencies.
this does not look at all between gender disparity between students who enter a program vs. students who stick through to a degree. i suspect the incoming ratio is not quite so bad as the outgoing.
Show HN: Namez: Record and share your name Pronounciation
Real Estate Appraisal in Seattle
Both issues are valid. Have you tried filing a bug? It's interesting that Google doesn't put a high priority on Linux boxes even though both of their operating systems (ChromeBook and Androids) are based on Linux kernel
If, by bullshit, you mean all of its claims are unsubstantiated? Then yes, obviously, lol.
Do you mean that congress and the executive branch should delegate? If so they largely do in the form of think tanks, policy centers and research groups like RAND. I know that there are a lot of big decisions that came from those organizations, one of the best examples of this is Team B [1]

[1] http://en.wikipedia.org/wiki/Team_B
The Triforce stuff or Ganon's Tower?
Tesla’s Radical Patent Move is a Plot to Take Over the Road
There is already a post about the same topic from the same site on the front page, so we're going to call this one a dupe and suggest that you post a link to the follow-up post in that thread.
That is nearly 7k lines, what's the chance that it could be re-factored to < 1k with angular/ember?
I think Jim Dalrymple aptly phrases it in his comment to the linked article:
”I found this profile frustrating, vexing. The tone is objective, but the prose manages to be damning at the same time, working in all the standard, shopworn stereotypes the Apple community has gotten used to having thrown their way.“

http://www.loopinsight.com/2014/06/15/the-new-york-times-sun...
https://hn.algolia.com/?q=http%3A%2F%2Fwww.randalolson.com%2...
Fun trivia: David Braben is one of the Raspberry Pi Co-Founders and Trustees.

http://www.raspberrypi.org/about/
and he's not the only one. apparently other people got bothered by sudden UX degrade in Chrome. Apparently the frequent release cycles made Chrome developers sloppy because the expense of making mistakes seems lees than what they are.
Guess those have left Google long time ago! ;)
with a large transporter you don't need spaceships anymore.
I think both issues are symptoms of the same underlying problem.
I've learned that we can't tell the difference between luck
and skill. Out of millions of investors, a few will be
phenomenally successful due to luck alone, yet no one is
willing to admit they are one of the lucky ones.

and the same goes for CEO's.
Totally agree. If Chrome was used by a small group of people it wouldn't matter, but for a browser with world domination ambitions it's just wrong to miss a big user base. Arond 10% of the world population are immigrants and a bigger group are language learners. Chrome annoys both.
Being [a] Popular  [Programing Language] (2001)
let me reword and tl:dr this article

is smoking cigarettes really the smoking of heroine of our generation? nope, not really, as long as you do a little bit of exercise while you're smoking, it will compensate for any ill effects from nicotine

hopefully now it is obvious why the premise and conclusion are just plain wrong and ignorant

moving 'a little bit' does not compensate in any way the negative physiological and metabolic effects of sitting down
New Words Added to Oxford English Dictionary in June Update
Ask and ye shall receive:

"Apple has graciously relaxed its NDA for new technologies, meaning that we don't have to wait to talk about all of the shiny new toys we have to play with."

http://nshipster.com/ios8/
and that is one reason people should be able to use Google Translate as a last resort! ;)
Can one translate a page after turning off this feature in Chrome Android?
Microsoft's work on C# compiler (Roslyn) is amazing: they offer compiler-as-a-library so the IDE, plugins and debugger use the same backend as the compiler itself. I wish at some point Apple could adopt a similar approach.
That sounds similar to the Max Planck quote that "science progresses one funeral at a time".

Actually, that might be paraphrased, the quote which seems more authentic according to Google is this:

"A new scientific truth does not triumph by convincing its opponents and making them see the light, but rather because its opponents eventually die, and a new generation grows up that is familiar with it"
There should be sandboxing / requesting priveleges like Android has it.
Discussed at length recently: https://news.ycombinator.com/item?id=7890215. Unless the present article adds something of substance, I think we have to call it a dupe.

Edit: so many people are upvoting this that we'll unbury it.
The overall implication here seems to be that the majority (just about) are using AirBnb in the way that AirBnb says they do. But there is a minority that are using it heavily for commercial enterprises, and there's a potential that AirBnb could be tripped up by them, legally.

The easiest thing to do would be to enforce stricter rules to push the commercial entities out of the AirBnb system... but those are also probably the people who make AirBnb the most money.
angersock,

> I imagine that a more inheritance-driven language would be more amenable to strong type checking, for example.

AFAIK the conventional wisdom among formal methods people is actually the opposite.

If you don't mind my asking, why do you imagine this?

> does anyone know of any studies/inquiries into the interaction of type systems with languages that favor composition over inheritance?

I'm not sure what you mean. Do you mean studies about interactions between type systems of these two sorts (e.g. as in Scala)? Or do you mean a comparative study asking which is better?

As I mentioned, I think the conventional wisdom is that inheritance makes things more difficult from a type checking/verification perspective. For this reason, the big arguments for inheritance tend to be oriented toward pragmatism rather than ease of formal reasoning.
I tend to agree with this but I also think that a knowledgeable person should be eager to stand his or her ground and probably will on subjects that matter dearly to them. For instance you might be able to convince a scientist of a philosophical viewpoint, but they might never budge from their stance on a scientific view point and in turn adamantly defend its idea with an almost righteous conviction (e.g. Richard Dawkins).

But I guess we should be truly happy about this effect. If the smart amongst us were brow beating us all constantly it would be very painful indeed. I know I'd be a ripe target.
No One is Innocent (2013)
http://old.troygilbert.com/2006/10/the-movement-and-attack-m...

http://gamedev.stackexchange.com/questions/8336/how-was-coll...

2D Zelda had some neat stuff too.
These Girls Accept Bitcoins At Their Lemonade Stand
> I've learned that we can't tell the difference between luck and skill.

You should read what Warren Buffett has to say on this topic

http://www4.gsb.columbia.edu/null?&exclusive=filemgr.downloa...
The zoom feature seems to be site-wide. i.e. if you have two tabs from the same site, they have the same zoom level. It's a little unexpected.

The full-screen popup is also very annoying. +1
Thanks, didn't know they just did it recently.
Why not use type="text" then?
Ask HN: How would you start an online marketplace?
I love HN for its great community. Therefore I want to ask about your experiences how to start a online marketplace. The development is done, so we want to start with the marketing channel. We like to pitch craftsmen in one single city. How would you do this? What channel would you use? In my opinion it is difficult to use adwords or fb because the owner of those small business don't use it. So we are still thinking about which primary channel we shall use. In my opinion direct mailing via postal service is the only way. What do you think? Thank you.
Actually no, men in nursing are discriminated against and have it pretty hard. See for example this link:

http://www.minoritynurse.com/article/men-nursing

> studies have shown that male student nurses experience additional barriers and discrimination, such as: lack of information and support from guidance counselors; lack of sufficient role models; unequal clinical opportunities and requirements; isolation; poor instruction on the appropriate use of touch; and a lack of teaching strategies appropriate to male learning needs.

See also the section headline "Why Men Do Not Pursue Nursing" which goes into more detail in the difficulties they face.
To me it reads like complete nonsense.
exactly. Now that the browsers have built-in popup blockers why should they show a popup of their own? It's like police selling weeds! WRONG! :-D
> One reason people prefer a diagnosis is that they prefer a label (even if it does come with some social stigma) to the greater social stigma associated with the same symptoms absent a "mental illness". Assigning such a label allows people (both the individual with the mental illness, and people around them) to view their symptoms in a different and more compassionate light. Most importantly, it allows people to think rationally about the best course of action for the person.

Labels do serve some use. But many people hate having the label and they hide it. Stigma is still very strong. For all the people who are open about their diagnosis there are many who keep it secret -- or who do not seek treatment because they are scared of the stigma.

And some labels have worse problems than others. A diagnosis of Personality Disorder (eg Bordeline PD) can be catastrophic. There isn't really any medication for it, and therapy options are limited. And people will often respond to anything you do through the lens of the diagnosis -- you did that because you have BPD and one of the symptoms of BPD is X and so that's why people like you do things like that. Even if that wasn't one of the diagnosing symptoms.

Depression is not just sadness. Imagine your favourite show going off TV. You may be sad for a while. You probably won't feel as if it's your fault it's come off air, nor that there is never going to be anything else worth watching, and the feelings won't be constantly with you throughout the day and probably won't last long.

Depression affects appetite, sleep, motivation, and cognition. There's some feedback loops in there. Sometimes these create someone who can function but at a reduced level. Sometimes it kills people.

I find it vaguely offensive when people suggest that feeling bad enough to overcome the human inante desire for self-preservation is somehow a normal part of the human experience. A broken leg is not shameful, happens to many people, but is not normal.

You also call cancer "real". That kind of attitude (here's a list of real illnesses, and here's a list of psychological illnesses) is really harmful. There are many people who reject any psychological interventions in their illnesses because they feel that it means people are saying their illness is not real. People with severe RSI pain reject cognitive behaviour therapy treatment because they feel as if they are being told they are making it up. People with long term farigue reject CHT for similar reasons; so much so there are now two forms of chronic fatigue in the online community - one the responds to CBT and real fatigue.

The link to cancer is that CBT is sucessfully used to treat pain in some people with cancer.
Even if a large number of hosts were running full time hotels, which they clearly are not, what is so horrible about that? Do the "progressives" in S.F. believe that this should be a city that only people who can afford $400/night hotel rooms should be able to visit? Our city's hotel market is almost as screwed up as our residential market.
I hate it when the software becomes some sort of big brother or parent. Trust the user and respect their choices, even if you're designing software for young kids! :D
Me too. Can someone give a quick explanation of how that works? Is the data format for these models just somewhat universal?
It means let Apple do all the GUI work for you. And then let them change their designs, and the design of your app of course, according to their whims.

Its okay, I understand I'm getting downvoted for not following along with the groupthink that Apple can't do anything wrong in the GUI department, and therefore native is far superior to anything else, but I've still got the opinion that the native GUI toolkits/frameworks for each platform are really designed to lock users - and developers - into the platform. Far better to avoid this issue completely, and do cross-platform development with custom GUI controls, if you want to have an app that works wherever your users will run it ..
work of art! :)
It's worth noting that for much of yesterday the parent of Ghash, cex.io, was DDoS'ed. Is this a good thing? Maybe it makes Bitcoin seem more self-policing, or maybe it makes it the currency of scary hackers.