skysight-inc/HackerNews huggingface dataset:
>And I can't help but notice that as a man I don't get this kind of abuse at all. Literally 0 rape threats.

Men rarely send men rape threats. A woman threatening a man with rape usually isn't seen as threatening due to power dynamics between the sexes (good luck overpowering the man to rape him?) So that doesn't come as a large surprise to anyone.

But a large number of men do receive death threats and threats to their family. "I'll kill your kids" and "I'll kill your wife" are still threats against that person. They are meant to intimidate and control that individual, fearing for the people he cares about. He'll receive a picture of his girlfriend with another man's semen plastered on it.

You learn to ignore it - because there isn't another way to deal with it. Blaming a specific community for it is a joke. What do you want the community to do about it? Say it's not okay?

Well it's not okay. We say that, but it falls on deaf ears. You want us to do something about it. But there isn't anything to do about it. Simply saying it's not okay isn't enough. It won't stop what happens. If you think it will, I'd love to hear your reasoning for how you came to that conclusion and what alternative universe you've wished yourself into.

Telling people that theft is not okay doesn't prevent all theft. Telling people that killing people is not okay doesn't prevent all murders. Telling people that [this] is not okay does not prevent all [this]. That's simply a fact of life.

What people are saying is: "No, this isn't okay. It's still going to happen. What do you want us to do about it, we can't do shit. You're going to have to deal with it."

Somehow that gets interpreted as "This is okay, we endorse it. We aren't going to do anything about it."
Firefox is my primary browser everywhere but on iOS. It would be nice if I could have the passwords, history and bookmarks available to me on all my other OSes on iOS as well.

This is a huge gap for Firefox IMO.
If they're the problem, why is she apologizing to them for doing wrong by them?

Why is a supposedly community-based website run by someone the community hates?

You don't have to love reddit's community to smell a rat here. It's a complete shitshow.
GitHub repo: https://github.com/jeyoder/ThingsInSpace
Yes, unless you could automate "Contact courteously celebrities, explain everything, answer questions, and guide them.", it should be money very well spent for Reddit.
Social media crises blow over on weekends.

Fire brigades get there on Mondays, often too late.
I've been messing with react-native a bit. The nice part is having a running app after 1 terminal commmand.

Really just hoping its momentum continues, and taking fb at their word that Android will actually get released.
As one person told me: "Rich are not who earn a lot, but those who spends wisely".
I'm from Lithuania, and I see people migrating to UK for a better living. They mainly do the "dirty work" - wash dishes, load trucks, but they manage to save money. I already earn more than average lithuanian, even though I haven't event finished University yet.
This is a textbook example of an ad hominem attack. You're not arguing any points he's made on their validity; you're trying to invalidate things he "spews" because you think his character isn't sufficient.

Intellectual laziness. Do you think that someone who says inciting things can't say insightful things simply because they stir up the pot? Or do you only think he's not insightful because he says things you personally don't like?

https://yourlogicalfallacyis.com/ad-hominem

https://en.wikipedia.org/wiki/Ad_hominem
In the article case it's easy, originators > (even so slightly) duplicators.
Location: Moscow, Russia

Remote: No

Willing to relocate: Yes

Technologies: JavaScript, BackboneJS, NodeJS, Less/Stylus, Handlebars, Grunt/Gulp

Résumé/CV: http://goo.gl/lsYLDA

Email: g.polush.kin@gmail.com

Github: https://github.com/proll/
Fair point. I guess if I was convinced that my actions would actually matter, then I'd care. It's like voting for a third candidate in US elections - pointless.

Anyways I'm far more interested in how to get to a point to sell to governments the first place. Hacking Team's marketing seems juvenile and lame from the naming to the way they phrase stuff. But at E200K per license, they were obviously successful.
You are correct: that's pretty much exactly how Lyft started: "oh, this is just ridesharing [1]", it's "just trips to places the driver would go anyway", and for which "you can choose to give them a nominal amount" to cover gas, totally optional (though they'll rate you poorly).

They've since dropped the pretense but a lot of the trappings remain.

Edit: Don't mean to sound like I'm "hatin' on" Lyft, just amused at the dance they have to go through to fend off busybodies.

[1] a term they still use against protest from journalists, and TBH, reasonable people
Hmm... still could be a problem:

http://www.multivax.com/last_question.html
There are a few things getting conflated here.

1. What the OP should do.

2. What the majority consensus is

3. How you subjectively feel about the majority consensus.

4. How the OP subjectively feels about the majority consensus.

In this case, there was not sufficient information given to really understand what the majority consensus is. Additionally, just because something is the consensus, doesn't mean it is necessarily the best course of action individually. Facing condemnation is a consequence, not physical law. The initial response took no time to give an appropriate course of action, and drew on your subjective heated feelings attached to your interpretation of the consensus.
https://www.arin.net/policy/archive/ipv6_policy.html#34
You don't. You fix security more fundamentally instead of doing ham-fisted things like that. IPv6 is going to require that we stop using IP-based hacks as a substitute for actual authentication and robust protocols.
DIVE Networks | Toronto, ON | Full Time | Local | UX Designer & Senior Software Engineer

DIVE uses Clojure to visualize brand data for marketers. Think "a 24 hour news channel for brands" -- like Bloomberg News, but for marketers instead of stock traders.

We are hiring a User Experience designer and Software Engineer. These are full-time positions in a small, scrappy team of expert peers. Both roles are local, in our Toronto office.

Our v1 product launched at CES 2015 and has great customer traction. The team is a truly decent bunch of human beings. The founders have all had successful startup exits. We're founder- and angel-funded. You'd be joining at a time when we're just taking on our first round of outside investment and scaling up like crazy to meet customer demand.

Things that make this opportunity unique:

* We visualize complex data in simple, "glanceable" formats. Form factors range from large touch-sensitive screens and digital TV's to mobile devices and desktops. Huge design and implementation challenge.
* Our platform ingests data from many different sources. We have great data partnerships with Google and other leading platform companies.
* The tech stack is Clojure, ClojureScript, Datomic, Ubuntu, and embedded hardware
* We have a gong which we ring to celebrate all the things that need celebrating

Check out the job descriptions to learn more.
UX Designer: http://bit.ly/1LppU6Q
SW Engineer: http://bit.ly/1H7ik1P
I was also wondering this. For example, they were talking about the debunked idea of solar panel roadways. If something like that took off in the future, literally every panel would require its own ipv6 address.

Perhaps we can at least make it until solar systems no longer exist.
Google, Fidelity invest $1B in SpaceX and satellite Internet plan
Not over the north pole you won't :)
> the mind tends to remember the story, and forget the "It's a myth" part over time.

I find the opposite to be true. Once I've identified something I thought to be once true was in fact misleading/wrong/a myth, it seems to be forever stamped as a falsehood in my brain. Likewise when I know going into it reading it that it is a myth/false.
Every company has a right to dictate how their services are used but they don't have a right to keep their "freewheeling public images" if they do a lot of dictating.
I'm curious, what's keeping you from trying Polymer? Its paper-elements are a very good implementation of Material Design, and the library is very light weight.
You.. don't track connections? Because why would you?
Just in case the stackforge link disappears, the project is being moved right now into OpenStack proper. There's no dependency though, so you can easily use it on its own.

We'll release version 1 soon, so the API will change just a little bit, but the main idea remains: issuing short lived certificates from a single location (or multiple, it works without changes in multi master mode).

If you have any configuration issues, get in touch, we're happy to hear about new use cases for this tool.
I hate the trend of building native UIs in HTML, because the result never feels right. For example, Firefox does not use OS X native context menus, and it shows in how they look, position themselves, animate, respond to keyboard and mouse events, etc.

But Firefox devs have clearly spent a great deal of effort to make these faux-context menus look native. What an enormous waste of development energy to emulate what the platform already provides!

Rather than pushing forward with a layer that provides even less access to platform UI elements, I wish they would recommit themselves to keeping the native elements native.
> Reddit is not beholden to to their users to the degree that those users probably believe. Nor are they beholden to some imagined ethos about being a place where all speech is protected.

You're right, but it doesn't matter whether they're "beholden" to it or not, they're the consumers and they're telling the market that they want a platform with transparency and where speech is protected. It's just supply and demand, so if there are signals that reddit isn't satisfying what its market demands, how exactly is reddit immune from your average market forces here? It's a popular site, sure, but so were digg and myspace. Just because users have certain expectations of a site, that the site itself may or may not have actually promised, does not make the site immune from competition.

So in reality, it's not so much about users feeling entitled to anything, it's that reddit seems to have been getting complacent about what it feels it needs to deliver to stay relevant to its content producers and power users (which are the main drivers of a site like that).

Companies can dictate how their services are used all they want, but that doesn't mean they have an automatic right to remain successful/profitable/relevant, especially if how they went about dictating their terms hurt their PR (whether reasonably or not).
https://samsclass.info/ipv6/exhaustion-calc.htm
I keep getting the sense this is some major inside-baseball stuff getting played out in public because moderators and admins on Reddit have giant megaphones. The complaints seem reasonable, the responses seem reasonable, but almost none of it has any impact on users of the site.
Reminding us once again why 64 bit addresses would have been just fine.
What about the 10^40 years between IPv6 exhaustion and proton decay? No one plans for the future these days.
There were some recent pictures of it taken too: http://www.dailymail.co.uk/sciencetech/article-3119861/Russi...

Kinda sad, clone as she is, she deserves a spot in a museum.
Open Data Bills Move Forward in California
Fixpoint Combinator: A Novella
I love the idea here, but I really wonder what incentive people have to tip (especially if it appears others are tipping). It's great that you've measured a ~10% tip rate, I hope it stays up there.

But it seems like really fertile ground for a free rider problem. Do you have plans for that if it manifests itself?
A CANCER charity scam and high-end “companionship” service as batchmates. A co-founder on a psychotic holiday and an investor who wants something more personal than equity. A holiday of his own to an EPA black site deep in platinum country. Join Francisco Riordan for a humorous romp through the underbelly of Fixpoint Combinator, the “most prestigious incubator in the world.”

Inspired by the author’s short-lived time as part of Y Combinator’s Winter 2014 batch, this satire is at times all too real.
My thoughts exactly. The writing has gotten stale without adding real substance--with a few exceptions obviously. But in general they've sacrificed form without adding meaningful content. They had an issue on Somalia a while back where most of the pieces could have appeared on any mainstream magazine that gets extra brownie points for the symbolic act of dedicating an issue on an under-reported topic. It's like playboy, but instead of porn they have Do's and Don'ts and video game reviews, and the writing is shittier. I think I've enjoyed some of the fiction pieces they added in the past few years more than the journalism frankly.

You can be silly and be authentic most of the time, and then once in a while when you say something about the truth, people will listen.

I love that line in Ghostbusters: ""Let's say this Twinkie represents the normal amount of psychokinetic energy in the New York area."[1] It stupid and silly, hell its Ghostbusters, but the scene is an authentic template of many idiotic and funny explanations you witness in random casual conversation, as well as being pretty much a template for all latter day Bill Murray scenes.

McInnes' view on writing--"just write a letter to your brother but take out all the inside jokes"--has been almost completely abandoned in the magazine.

[1]https://www.youtube.com/watch?v=pzaQjS1JstY

EDIT: typo
Descendants of Holocaust Survivors Have Altered Stress Hormones
In a rich type system, a program is the proof of its own specification. Which is usually as interesting as the program itself.
i think you are comparing the reddit CEO to some bluechip company like Apple or IBM. It isnt anything like them, they produce no goods, their users are their product and more so their moderators. They are a social media company, if you cant deal qwith social media on your own site how are you supposed to be trusted with a social media site?

If the CEO was some boring old white man and he had done the same thing then yes his head would be called for. You are trying to make this an issue of her gender and her race when it is nothing to do with that.

FUnnily enough one of the reasons that she inspires such dislike is because she played the victim of sexism card and then after a trial she was found to have no case. And actually what came out of the trial was the truth about her self-serving behaviour. The trial documents make it very clear that she was no angel, she was sexist toward other females, she hads an affair whilst married, with a married man, and then blamed that on the other person all the while there were text messages and emails showing she was as much to blame as he was.

Coupled with all of this her partner is currently facing a lawsuit on a case of fraud. Stuff like that pisses people off and with reddit there are a lot of users that care a lot about the site, they care about how it is perceived and they see her as detrimental to the site in part becuase of her behaviour as CEO but also due to her behaviour prior to becoming CEO which has been well reported regardless of her reddit position.
Though since the dots aren't to scale -- they're are dozens of km wide instead of centimeters -- it probably looks worse on this map.
Fantasy landscapes are known to cause daydreaming, which irritates middle managers.
At least since 1935 people have been trying to formalize all of mathematics with set theory.

Cantor invented set theory for this purpose in the 1870s. By 1935, Goedel's incompleteness theorems had shown the limitations of this (and any other) foundation of mathematics.

Hoare logic is not a foundation of maths, but an approach towards specification and verification of programs. As such it is in the same space as Curry-Howard based programming languages like Idris and Agda with dependent types. The main differences between the two are that (1) Hoare logic is not restricted to constructive reasoning and (2) Hoare logic is not integrated with the programming language, so programming and proving are distinct activities. Depending on your philosophical outlook, either (1) or (2) or both can be seen as major advantage or disadvantage.

how to do this automatically

What do you mean by "this"? Automatically specifying programs semantics, or automatically proving program properties?

determining the formal semantics ... is still open research

This is somewhat misleading. Every compiler gives a perfectly formal semantics to the programming language it compiles. What you probably mean is something like nice abstract accounts of memory models for C that at the same time capture all the optimisations modern C-compilers want to do, while still being implementable on existing CPUs. That is indeed an open problem [1].

[1] https://www.cl.cam.ac.uk/~pes20/cpp/c_concurrency_challenges...
There is also the exchange rate aspect.

If their currency were to lose value, their exports would become cheaper in relation to others.

This in turn would drive up exports.

Right now the euro is trading pretty much on par with USD.

Not likely that this is beneficial for the Greek economy, as it seems very dependent on farming and raw material extraction.
you mean hes exercising freedom of speech? Regardless of views, he has that right.
Great job! I specifically enjoy the ability to filter by "Remote". What did you use to build this?
I don't know if it's that, or if it's just that it's muddled.

Physics is really two different fields: There's Physics for people who want to a rigorous understanding of the underlying theory, and possibly also want to become research scientists or academics within the field. And there's engineering and all its subfields for people who are primarily interested in applying that knowledge to make stuff.

There's the potential for CS to be broken up along similar lines, but it hasn't happened. I'd argue that this does students a great disservice, since it's hard for someone getting in at the ground level to tell what a program's real focus is just by reading the course catalog.

I took the SICP route and I'm very glad I did. But plenty of my classmates hated it, and I don't see a problem with that. It's terribly dry stuff, and there are plenty of people who've got only a high level grasp of the theory and still make amazing software and make it well
Well, according to this reddit submission, they have a react native app on google play: https://www.reddit.com/r/reactnative/comments/3bmdiu/first_r...

I'm not sure how they know that, but I would assume it's an accurate statement. So it seems like it might be coming soon.
> What they failed in, actually, was keeping an astounding and dedicated employee

As far as you know. Last time a reddit employee was fired and there was a public discussion around it, it didn't go so well for the employee.
Never mind getting the celebs to want to interact with said automaton as opposed to a living, breathing person.
XFCE and Cinnamon are both primarily GTK+-oriented.

Although your point isn't lost. In 2015 Mozilla probably won't release a Motif build for the WindowMaker users.
Large address spaces give you more than just more addresses. There's room in IPv6 addresses to put meaningful information such as cryptographically significant identifiers. It also allows for stateless auto-configuration with ridiculously small chances of collision.

There are issues and missed opportunities in IPv6 but that isn't one of them.
Philae comet could be home to alien life, say scientists
It would certainly help us port Firefox to Servo. But that's never really been a part of the plan.

Gecko and Firefox are quite intertwined. Even if we ignore XUL/XBL, there are things like XPCOM which are still deep-rooted. While this brings us a step closer to making Servo a drop-in for Gecko, this is not a step in a direction we're particularly interested in. At least not now, not that I know of (I'm a volunteer on the Servo team, as such there may be internal plans I'm not aware of).

For Servo one potential way ahead is bringing browser.html up to Firefox's level. Not the other way around :)
What you wrote above is basically hearsay, which is not allowed as evidence in the United States (barring some exceptions). Not sure why it should hold any weight on an online discussion forum.
Well - realistically for many addresses 64-bits will be "device identity" and 64-bits will be "network identity", many clients set their lower 64 to the nic MAC.
Yeah. I hear ya. As a platform for app development outside of Mozilla projects and products, it has definitely been a bumpy and often roadblocked path.
So, the court just disagreed?
It's called Narcissism.
Please, both of you and everyone else, follow the HN guidelines when commenting on this site. That means replying civilly and substantively, or not at all. This is the rule here, irrespective of how wrong or provocative another user may be.

https://news.ycombinator.com/newsguidelines.html
> I jokingly thought: "Well, if anyone knows about overpromising and underdelivering on space combat sims..."

That was kinda the thrust of his article—he's got a history of trying to do what Star Citizen is claiming it'll be, and it's taken him years and never really been that successful. So he sees what's coming out of their dev team, and recognizing the challenges he's had.
Angular JS for the UI, Python for the tools, Elasticsearch for the search.
when my friends want me to clean his/her computer(too many autostart programs and unnecessary softwares installed), I usually install 360 security. It is simply the easiest to use and do not have free equivalent. It may do some aggressive things, but that is the price if you want the good part.
Ask HN: Is it even possible? Es6 shim arrow function
Probably going to get let me google that for you but with my current understanding of JS I don't even understand how it would be possible to introduce arrow functions via a shim. If it is possible how? If not what will your requirements of browser adoption be before using them?
NASA's Pluto Time
Sure, but as of	July 2015 the programming languages (e.g. Agda, Idris)
that can give full specifications of their own programms, are
experimental, not mainstream.
This is how the universe will end: not with a bang but a rip
The value in the code is not the code itself, but the models it encapsulates.

For those interested, Teza uses (single-threaded) Java and Hadoop (or at least they used to), and Goldman Sach's high-frequency code was written in C++.
It sounds like you're just coming up with (half-assed) justifications for the moral superiority of information economies. Every globally integrated economy has geographically disparate effects; that doesn't tell us anything about who should have legal power over whom.

The logical conclusion of your argument is that a non-exporting, environmentally neutral area should, again for reasons that you have not made clear, have increased legal precedence over other areas.
I think the most obvious way to expose that remote behaviour in the filesystem is to have the directory /search/2/ appear only after the directory /search/1/ has been stat'd.
I understand the argument, I just fundamentally disagree with all this "... There's room in IPv6 addresses to put meaningful information ..." part. I've never been a fan of the "IP address as the way we get the OSI object identifier concept foisted on to the TCP/IP crowd." :-)