skysight-inc/HackerNews huggingface dataset:
The FIDO alliance has a working solution to the annoyance of the 2nd factor. It requires mobile device support or a hardware token (Yubikey Neo as of October supports the FIDO protocol), but it's much better than standard existing 2-factor because it doesn't require typing in a code from a dongle or app. Instead, the app or dongle authenticates directly once user presence (or in some cases, depending on the dongle or app, biometrics) are confirmed.

That means, for low-security applications, users can reuse passwords, or not have passwords, using only this second one-time-password factor, as long as they don't lose their FIDO dongle or FIDO-enabled mobile device (recovery protocols are at the discretion of different services, but a recovery code that you keep in a secure location is one way way to do it, or emails or text messages for less secure applications).

For high security applications, it avoids the annoying scrolling through a list of 2-factor accounts to get the right code, then typing it in manually.

Email or text message, even if secure (text messages are not, and emails are probably not) require internet access. Mobile internet access isn't always available when logging into a service from some other device that has a different internet connection. Similarly, the mobile network (for text messages) is not always available, either. Even if it's done through email, email service might be down; the machine used to login could be compromised so you wouldn't want to input your (hopefully very secure) email password on the same machine you're using to access some other service. If you don't have internet access via a separate more trusted device, the rationale for having 2 factor is weakened.

A good presentation on FIDO is here: http://www.yubico.com/2014/07/future-online-authentication/

There's nothing preventing a FIDO-enabled service from also using email or text message for users that don't have FIDO devices, and account recovery can be done via recovery code, text, email, backup FIDO device, phone call, or a combination. It's all up to the service.
Also relevant is this Reddit thread, although take it with a grain of salt for now: User involved with Dallas emergency broke that there was a 2nd healthcare worker infected yesterday. He also has a source that 5-6 more nurses and a doctor who worked with Duncan are showing fevers.[1]

Also, Ebola Patient Traveled By Air Day Before Symptoms Surfaced

[1] http://www.reddit.com/r/ebola/comments/2jbfui/user_involved_...

[2] http://dfw.cbslocal.com/2014/10/15/ebola-patient-traveled-da...
She raised a bunch of money from a kickstarter to make a series of videos about women in video games. The videos got a lot of stuff wrong about video games and she really had to reach to get her point across.
> You express your specification as types (theorems), and your implementation proves those theorems. Then your code is correct by construction. This is a true statement; it isn’t open to debate, not being a matter of opinion.

That's technically correct, but a little bit divorced from reality. Let's say I want to write a function that counts the primes below one million. Since that's a function with no arguments that returns a single integer, the corresponding theorem by Curry-Howard is that "at least one integer exists". The function "return 0" is a proof of that theorem. That doesn't seem too useful!

You might argue that we should use a richer type system to express the specification. Sure! We just need to express the idea of "primes below one million" in the type system. But that's at least as difficult and bug-prone as writing the program in the first place, so I have a hard time seeing the benefit.

Most real world functions are the same way. Say you're programming a game and you need a function to fire the gun. Play the sound, add some screenshake, create a bullet object, etc. Go ahead, express that as a theorem. Don't forget to come back and tell us what you gained by doing that.
Before this was cancelled, Utah State University police announced "enhanced security measures will now be in place, which include prohibiting backpacks and any large bags." But anyone who had a permit to carry a concealed firearm would be allowed to bring it to the venue.

I guess the theory is that anyone targeting Ms. Sarkeesian would have gone down in a hail of patriot bullets, but she wisely decided not to test this.

From http://www.usu.edu/ust/index.cfm?article=54178
Not selling that service as an isolated item. It just happens in the context of another project. For example, we did a very advanced high power (1,500W) LED array. The project comprised mechanical, electronic design, microprocessor firmware, FPGA development and workstation software tool development.

Thermal design required running piles of FEA thermal simulations over a period of about three months, probably 12 hours per day. I feel it is better to charge per CPU-hour in these cases because it gives you the flexibility, when the tools support it, to give the client the option to rent additional CPU time to accelerate development.

On the FPGA front, depending on design complexity you can have simulations that run for hours before you can analyze results. Again, I don't feel it is proper to charge per man-hour when you can walk away and go do something else. You do have to charge for the processing time and use of hardware. We have 16 rack-mounted 8-core machines with tons of memory for simulation work.
The general consumer sentiment and state of the economy are much more important even for a company such as Lockheed (slow economy > less profits > less taxes > less DoD spending) than unproven (as of now) claims about yet another fusion reactor.
This is why it's best to ignore the whole thing, except to refer criminal threats to the police for investigation.
Facebook to start charging $2.99/mo
>An m-of-n transaction with a decent and trusted intermediary (or multiple less trusted intermediaries) could also replace bank guarantees, which is the simplest form of trade finance. There are also other opportunities in using bitcoin as proof of ownership or proof that you hold a product.

So let's replace banks with... banks?

The overhead costs that bitcoin will save are just the wire transfer fees. Beyond that, there's still lawyer time, intermediary escrow fees, etc. Those will not change.
Now I have N accounts and message whoever I like with those N accounts.

Basically, a site has to offer something to both women and men to do better than OKC. That proposal just puts a minor speed bump in front of men. As a group, men have few compunctions about abusing sites in order to get what they want. Multiple accounts to spam women is not a significant obstacle.
email me, johnv at valvesoftware.com, and we can discuss it
And there's the strawman.
7% on $100K with a "7 figure" domain name, means that YC is already making a return on the investment even if the domain is only squatted.

This was the easiest investment ever.
JSONView port for safari
Xbox One controller design flaw epidemic
Even if they were poor or badly researched, death threats are just way out of scope. Like: NEVER, EVER, IN ANY INTERACTION ARE THEY OKAY, NO POINT TO ARGUE. They are also no joke.

(sorry for using all caps for once)
(I take explanations for downvotes)
Does anyone know of a reasonable deployment management solution in open source for .Net? Octopus is perfect, but with my limited budget of $0, it's a tad costly.
Is the mix of that true as well?

Package your Windows app in a docker container, use same tooling you would otherwise use to deploy to a docker engine running on a Linux host and vice versa? If not initially is that an ultimate goal?
We have 4 controllers for our console at work. We play about 2 games of NHL a day. We go through about a controller every other week. Its fucking ridiculous
I think calling it "corrupted by misogyny" is a bit misleading. As far as I can tell, it is as pure and uncompromising in its misogyny as ever, the journalism thing has been a smokescreen from the beginning.
The other point that is missed here is that today, as an entrepreneur, it is far easier to make money on Amazon than it is with Google. Particularly if we are talking specifically about ads.
You're right. We understand that and are offering our beta customers help doing the tax portion of things. We still have a lot to do, but we're just getting started!
Naturally, the appropriate reaction to that is death threats.

edit: Sorry, unclear. Not accusing the parent of this opinion.
Cool so getting stuff wrong -> threats of being massacred while giving a speech?
Articles have appeared on the front page before, but they keep getting flagged off. Which to me is a sad commentary on the Hacker News community.

I'd provide a link but HN's search engine doesn't include articles marked [Dead].
GG laid down that framework itself. If it feels like a PR stunt against gamers, that's because it really is turning a lot of people against gamers. The difference is, the GGers did it to themselves.
It's very easy to believe it's real given the fairly recent school shooting fuelled by a very similar brand of misogyny. I don't think less of her at all for backing out of the talk.
Discussing this apology without discussing the Reddit comment it replaced only tells half the story:

http://i.imgur.com/WXyGPM3.png
It's easy for people who aren't being targeted for harassment to ignore it, but I think we owe it to those who are to not ignore it.
oh, what a fruitful discussion this might trigger..

What I don't get is how they constantly counter-act the common rules on how to deal with trolls or stalkers. It really feels like they are bathing in the outrage, not interested in actually solving it. And that's one reason why I sadly don't feel any sympathy but rather understand the vocal (non socio-/psychopath) critics.

There is no fair discussion so I wish the media would simply stop with their help on filling the fire...

Disclaimer: Middle class white male who once got online death threats after banning a sociopath from a site of his. I discussed them privately, did not give any reaction to the freak apart from quickly banning the new accounts and where possible delete the verbal abuse. It took several weeks but ultimately it just got quite and we all live happily ever after.
Independent Assessment of the Technical Feasibility of the Mars One Mission Plan [pdf]
I was trying to be a little bit neutral but...yeah, I think you're probably correct.
Beginner’s Guide to Hazelcast
The ASCII Survey
It's exciting to see that fusion has gone from being perpetually 20 years away to being perpetually 10 years away. ;-)
It's a bunch of things thrown together. http://ascii.textfiles.com/archives/4395

"If you witness a group of issues, some relevant and some irrelevant, you will feel a need to respond to the relevant issues.

If you witness someone responding to the relevant issues of the group, you will think they are responding to the group of issues.

The exploit, taken from this, is then clear: Group up a bunch of issues (Apples, Oranges, Watermelons, Rat Poison) and then people who show concern about the Rat Poison will seem to be showing concern on Apples and Oranges. And people who are supporting Apples and Oranges could easily be mistaken for supporters of Rat Poison."
You're getting downvoted because of the obvious and obnoxious insinuation.
Speaking out against being harassed is not "bathing in the outrage". You sound completely biased, as well. I don't trust you as a neutral observer.
Show HN: Forkability, a linter for open-source friendliness of GitHub repos
25 years ago my nuke professor used to scoff at some of the claims of the fusion researchers. The problem is the high energy neutrons flying out of the reactor will neutron-activate every material within the vicinity. He thought the radioactivity and nuclear waste of a fusion reactor could be worse than a fission reactor. Also he thought that fusion researchers were vastly underestimating the problem of neutron embrittlement of the reactor structures and components. This is a very difficult engineering and material science problem that would have to be solved even if they did get the fusion process to work.
%sslc in haproxy I think
This is a good and socially valuable startup idea. The next time HN has a thread about startup ideas, I hope that you (or someone else reading this) posts this.

Kudos for posting this.
I really think that it's not even a smokescreen as much as it's really what they think. "Why should I assume any risk when I'm just a reseller?" is a common thought among many new companies. They don't really see themselves as a business with its own risk as much as a subsidiary of the company.

It's just a sign of naiveté among many new entrepreneurs.
Oh I'm well aware. I'm not sure any PR stunt could have done a better job, though.
Counterbalancing point:
It doesn't seem to me as if the ratio of good / average / bad ideas on the website is significantly different than on other platforms / offline / "elsewhere".
More like people are reaching to paint her as not delivering. The most on-point criticism of her work I've heard is that it's a bit entry-level, but what can you do when even entry-level media critique is too harsh for your audience?
Thanks for the link. That's pretty interesting, albeit it also disappointing. I'm focused on enterprise applications rather than games so it looks like I'll have to stick to Java. I understand the complexities since this is being built onto the NDK; I guess I was envisioning it more as an implementation of Go on top of the JVM.
We've had good discussions on the topic. See: https://news.ycombinator.com/item?id=8425501

(Not GG, but closely related.)
I really don't think anyone creates a marketing plan that involves fake death threats. That just doesn't make any sense, especially as she doesn't need to manufacture an outrage against her.
Absolutely not, I did not intend to suggest that, just providing a TLDR; of her and why some people are upset.
"Not so popular human rights group" conference also received death threats, but people around Anita were cheering to attackers.
Don't simply say "why the downvotes". Back up your argument with facts and reasoning, and if you're right, it should stand on its own. If you're getting downvotes...you aren't right.
I think Bitwage might already allow employers to pay for the payroll order in Bitcoin.
So where are the police in all of this?

Are you telling me I can send an email threatening mass murder to whomever I want and there are no consequences.

We've seen kids thrown in jail for indirect comments on Facebook, surely this is more tangible.
Actually I can't think of a single license that would have been valid here unless it came with Mojang's permission. The problem was the proprietary code. Had everything been GPL, not a single copyright holder could have affected the project in such a way.
Someone care to explain what's going on here?
HN isn't immune to armchairing either.
SSH agent forwarding and screen
Why are people promoting harassment and calling people cunts in your movement's name, then? That comes off as the opposite of level-headed and respectful.

One rotten apple spoils the whole barrel.
Does this mean that we can now easily containerize Windows applications allowing them to be easily moved from machine to machine?

This could be huge for DR.
Because are guns.
In AMS2 and SFO1, the metadata service is available to new droplets. A snapshot/restore would enable it in your case.
> What I don't get is how they constantly counter-act the common rules on how to deal with trolls or stalkers.

"Common rules" along the lines of "just ignore it" tend to make it easy to pretend such things aren't happening and ignore those calling it a serious issue.
Funny how the default male response to a women's problem is almost always, "I will tell you a better way to handle this." Almost a cliché at this point.
The common rules on how to deal with trolls or stalkers work a lot better if you're the middle class white male who got online death threats once in his life, and not the women who get them every day backed by an organized harassment campaign.

I'm not sure what kind of fair discussion you expect here.
There's a massive difference between being harassed by a single individual who doesn't really know who you are and a massive group of people who know everything about you.
You don't solve problems by ignoring them and hoping that they go away, you have to expose and stop it before it gets worse or they'll just move onto the next person.
It seems oddly defensive for Paul Snively to interpret Stephen Kell's "Seven Sins" essay as being mostly about his (and Amanda Laucher's) Strange Loop talk – sure, their talk was mentioned as an example in passing (along with another talk about Rust), but in no way is the essay specifically about their talk. The seven sins essay addresses the entire discourse about static and dynamic typing; whether one particular talk exhibits a particular "sin" or not doesn't mean there's not a real problem.
The 'Women as Background Part 2' video was very well-made, and utterly disturbing. I've seen terrible videos and images - it is the Internet afterall- but it was painful to watch. There's a number of games on there that I no longer care to revisit, or even play for the first time.

(Also, what were the makers of God of War 3 thinking? Staggers the mind.)
I don't see how this is poor UX. If we accept your statement that the terms "open" and "closed" are too similar, what do you suggest?

Also, any notation will have to be learned. Concise ones a bit more, but there is nothing one can do about that.

And that perfectly clear notation requires you to learn quite a bit by memorization, such as the meaning of those {} brackets, the |, and the symbols ∈ and ℝ.

Finally, you don't need Cantor's diagonalization for a proof. It is easy(1) to show that, for any real x<1, x+(1-x)/2 is real, less than one, and strictly greater than x.

Alternatively, assuming 0<x<1, write x in decimal, and increase the first digit less than nine by one to get a larger real less than one. There is such a digit because 0.9999999… is not less than one.

(1) depending on how deep you want to descend into the foundations of mathematics.
Give the Isometric podcast #18 a listen (http://5by5.tv/isometric/18). It might change your mind.

Also this: http://seriouspony.com/trouble-at-the-koolaid-point

Zoe Quinn tweeted today: "couldn't you just fucking not play my games. Fucking boycott me, don't work with me, just leave my dad alone". She got a dead squirrel in her mailbox a few days ago. Remember: she made a free indie game about depression and had a messy breakup with an ex. This is literally all she did. This type of reaction is no longer uncommon.

These women are really, actually suffering.
Redefine the $8.3 trillion global logistics market at Flexport
It seems like it's an ongoing investigation, and the FBI are involved.
The article is about a speaker who has received numerous death threats declining to appear in front of an audience after the police said they would not turn away people carrying firearms.

In my eyes, this is a simple issue of personal safety. I would not speak under those conditions and I doubt you would either.
Can someone fix the title please? It's like sandpaper on my brain ...
> C does not annotate pure functions as such, but the
> semantics of SDL make some data conversions
> referentially transparent

FWIW, GCC supports such annotations with `__attribute__ ((pure))`.
Kudos to Mozilla for trying a new way to simplify passwords. Very similar to something we implemented at Shop It To Me in June and that appeared in Hacker News. Here's the link with the conversation: https://news.ycombinator.com/item?id=7818584

And here's the announcement.
http://blog.shopittome.com/2014/05/29/bye-bye-passwords/

Overall it has worked very well for us and is no less secure in my opinion than all the reset password options. 2-factor authentication is still better though and should be used for the sites requiring the most security.
The linked Twitter conversation is probably more informative. https://twitter.com/didlix/status/522086210383405056/photo/1 Looks like EE locked her phone to their carrier when she inserted the SIM into her previously-unlocked phone.

EE's only response is to link to this page http://ee.co.uk/help/getting-started/joining-ee/unlocking-yo... which says that phones cannot be unlocked in less than 6 months.
There are a lot of websites that are not worth the hassle of registering for, but this can make registering on them easy and they may get more registrations.

For important accounts I would still prefer a password only stored in your head and two phase authentication. But for various forums, this type of a setup is better than using third party password manager or same-username-password combination for general purpose.
Gotta love marketing
I'm also a bit confused. Let me give you a specific scenario. I have a windows .net application that works with windows 8 (no gui - some server side stuff). Can I package this up as a container and run this on a linux machine that has docker?
I feel like at this point, the GamerGate movement is hopelessly tainted. The leaders should realize that at this point, it would be best to abandon the struggle for a bit, and push for ethics in game journalism next year, when their (admittedly, self-proclaimed) members stop threatening to murder and commit violent atrocities against hundreds of people.
What is wrong with Trello?
I ditched cable a while ago, but wasn't willing to give up watching some HBO shows, so I convinced myself that pirating them was 'ok,' since that was 'the only for me to get them.' I later realized that my attitude was hypocritical, that I just wanted to have my cake and eat it too. I stopped pirating their shows then, and have definitely missed some of them.

So I am excited about this, and will subscribe as soon as it is available. I'll get to catch up on Game of Thrones now!
"Just stating facts" is a pretty weasely way to back away from what you were implying in that comment.
This might surprise you to know but there is no way to control who participates in a movement. GG has made clear from square one that this kind of behavior is totally unacceptable. If someone goes ahead and acts like a fool anyways, what exactly do you want everyone else to do?

The best that can be done is banning such people from participating in the discussion forums, but this doesn't control whatever they decide to do on their own.

Again - this is analogous to the vandals at OWS.
Seems like they're finally embracing the philosophy to fighting piracy from Kim Dotcom:

How to stop piracy:

1. Create great content

2. Make it easy to buy

3. Same day global release

4. Works on any device

5. Fair price
Wit.ai (YC W14) raises $3M seed round from Andreessen Horowitz
The common rule on how to deal with stalkers is call the police.

When you got abusive messages it was one person, marginalised and removed from a community. I assure you these people get plenty of reaction by showing their messages to their community. They will not go away if ignored.
Hope this isn't true. I"m in the UK for a few weeks and have put an EE sim in my (formerly?) unlocked AT&T iPhone 6.
Yeah... and the worst part is, you kind of grow to ignore these tropes as you play these games. (And of course, this makes developers try to amp up the grit more and more.) Seeing them all at once is quite shocking. This is one of the reasons why I think these videos are very valuable.
It's a bunch of things thrown together in a carefully calculated scheme to cover up an organized harassment campaign targeting women in the videogames industry. I appreciate that there's some decent people getting mixed up in a 4chan project with no ill intentions of their own, but that's not where the whole thing started.