skysight-inc/HackerNews huggingface dataset:
Water landings are a documented procedure for planes, there is a checklist (which Sully had practiced in simulators).

Assuming an AI like this was given 100% control over a commercial plane, it would have been programmed with such a checklist. It would have also been tested on this ability in a simulator (just like regular pilots). The AI would have easily worked out in an emergency that it couldn't reach the runway, or any alternative runway and not even bothered trying.

The only question is, would the AI have decided that the Hudson was a valid surface for a water landing attempt? And that really depends on the database programmed into the plane. It can't really see the river, so the database would need to have the river marked as water, at the correct elevation. It also can't really see the bridges (maybe if it had LIDAR), so the bridges would have to be included in the database too, so it could pick a good stretch to try and land it. Oh and boats too... either it would have to dynamically spot them, or get lucky.

But if the database correctly reflected reality, then it would see the opportunity, try to execute it and potentially succeed.
I maintain and use http://teapot.nz for development. It's made my life so much better - it's designed for developers.
My dog doesn't wake up that early.
Very cool info. I'm not that handy though. My setup is basically an L-shape plywood top with rubberized covering.
I have been playing with some cricket datasets in my spare time. You should document your process. Also, make some comparisons with the simplest regression model. Are you publishing the scraped datasets?
Beyond the "providing liquidity" argument, another side effect of HFT and arbitrage strategies that one might see as valuable is the promotion of global invariants across the financial network, which is rather complicated distributed system. Would it make sense if there were two very different prices for something at two nearly identical venues? If large block of a stock is dropped on one exchange, would it make sense if there were no effects on the price of the same name on adjacent exchanges?

All that aside, I think I have some larger questions about your worldview: What does it mean to "create value?" By what standards is value assessed?

In the absence of any direct harm to another, under what circumstances should someone be deterred from engaging in profitable activity?

Is the assumption that profits accrue to those who provide value to others utterly false, or just false in this (and possibly other, isolated) case? If merely the latter, why in this case?
'gem install' hasn't worked flawlessly in my experience (on both Windows and Linux). It's more likely than not that I'll have a gem fail to install on me due to some dependency or configuration issue. It's consistent and frustrating enough where I shy away from Ruby now.

I like Ruby more than Python as a language, but I will say that I've never had pip fail to install a dependency on me.
Show HN: Team of Full Stack Developers – New Team Opportunity
why try so hard?
Is this question as interesting as it might seem to someone unfamiliar with trading? Electronic trading firms do more than make markets, but stipulate that market-making is the sort of baseline approach they take to making money. Are you really asking "how do market makers make money on 51% of their trades"? Because that question is easy to answer; it's the premise of a market maker, whether done by a computer or by a person in a pit.
I agree with you, but... until we have some sort of "Test For Consciousness", I think it's safe to assume that we're not going to accidentally create consciousness just by writing computer programs --- even if the programs themselves do happen to make use of damn fine algorithms "inspired by nature".

I think the more immediate concern is that we begin to turn over everyday life-and-death decisions (driving, obvs) to machines which are, at the end of the day, unconscious, and programmed by us oh-so-fallible human beings.
I've been using propellor for a few months now and it'fantastic. It takes a little while to get your round it but compared to puppet, chef and ansible, of which I've used all, it's a breath of fresh air.
This is going to earn me huge downvotes, but not all surveillance is equally illegal or equally unethical.

To me it seems that groups that run spy satellites and look out for nuclear missile launches are in a different ethical category than people who make software for perpetuating domestic abuse.

Clearly, I picked two extremes. That was just to show that not all surveillance is equally bad and that some can be better than others. I will leave other kinds of surveillance are just and unjust for other discussion.
I don't think there is anything wrong in people making handsome bonuses out of this. In fact apriori I would love to invest in those companies. It is mostly the law firms I suppose.
> My experience is that actually fixing them can be incredibly difficult

My experience differs, FWIW. If you know where you're creating too many thunks, and you force them as you create them, they don't accumulate.

Making sure you actually are forcing them, and not simply suspending a "force this", is probably the trickiest bit until you're used to the evaluation model.
Apple doesn't have much incentive to build new Mac minis and new Mac Pros.
I got started on Soylent and Joylent while depressed and it kept me (more than I would be) healthy while I went along. I eventually turned back to cooking when I was out of depression and craved varied, richer taste and more control over the sugar/carb/fat levels in particular meals.

I think Soylent was a great crutch during my downtime. I don't think it encouraged depression. In my case I argue it kept my body healthy while my mind wasn't, which is itself a bonus.
Just substitute "cost of trading" with "liquidity".

It's true that at this point, now that market making is pretty much all automated, there isn't much more cost to squeeze out of this component of the market. But be careful not to imply that liquidity is binary: the more liquidity you have, the less it costs to buy or sell something.
Who will win the match? Sure.

But I think the prognostic value (monetary?) will be in ball-by-ball prediction/over prediction/no. of runs scored by a particular batsman, in which we will need a model that can be updated and the ability to ingest and make sense of voluminous amount of data. Some kind of data assimilation component too, maybe?
Uber faces criminal probe over software used to evade authorities
Is that actually what has happened? Evidence please?
Why shouldn't it be? Having google search directly in the dialer app is incredibly convenient - instead of searching for a phone number and then typing the number into your phone, you search for a business and call them directly.
If you want more generic SQL tooling in Haskell, my project was just recently open sourced (https://github.com/uber/queryparser). It currently has support for Vertica, Hive, and Presto; adding support for more dialects isn't complicated. I'm working on cleaning it up for hackage.
1/4 the price, but how much extra time does that take?

Not saying that's a bad option, just different.
I apologize for repeating a point I just made, but I'll make it here too:

You can mentally substitute "cost of trading" for "liquidity".

It's true that you can get costs down to a point where they don't matter. But I think you'll have an easier and more intellectually honest time engaging with the issue if you avoid the jargon and focus on the impact of the jargon. Cost is why we care about liquidity. As markets get less liquid, spreads increase, and the market takes inflicts more and more of a penalty on us for trading at all.
Show HN: Framed Tweets
The article heavily focused on Oscar's user experience and customer service strengths, but buying health insurance really comes down to getting the most coverage at the lowest price.

If you aren't attacking health insurance from an actuarial standpoint (reducing costs/lowering premiums) I find it really hard to believe businesses are going to move to your platform.

Eventually, Oscar is going to have to come off the VC teet and still pay all their expensive programmers and google VPs while staying price competitive.

Would have been a much better read if the article would have addressed how they plan to do this. My guess is using tech to make their members healthier and boost preventive care, thus lowering premiums.
What's your point? My great grandparents were Italian and Irish.
I really think EMH is a red herring here, for what it's worth. This is more a market microstructure issue. You can entirely disbelieve the EMH and still benefit from HFT.
"voices calls" is such a fine term if you're phone-call averse.
Oculus Story Studio: Facebook Is Closing Its VR Storytelling Unit – Variety
> If it were true, why aren't Haskell developers taking over the world with their superior software?

Haskell doesn't make superior software; it just (as far as I understand) allows you to make software of equivalent quality, faster. (As is true of functional languages generally; and of strongly-typed languages with type inference generally.)

Quality in all software projects sort of approaches perfection asymptotically, because nobody is all that interested in "perfect software." People just put in less and less QA effort as software "stabilizes", so the remaining bugs in a codebase (even one of static size! even bugs equally easy to find!) are found more and more slowly over time.

One could likely take a "military discipline" approach to line-by-line code reviews, and get a constant output of bugs found per man-hour; but nobody except NASA—and possibly the military itself—is ever going to bother.

---

All that being said, when people say "Haskell programmer", they're more-often-than-not referring not to anyone who codes in Haskell, but to the very specific type of person who creates Haskell libraries encoding new category-theory abstractions—which is to say, mathematicians.

Programmers who happen to also be mathematicians do write "better" software than programmers who are not mathematicians, I think. This is just because mathematicians have much broader mental libraries of abstractions available to them, where any one of those abstractions may be the key to reducing an ugly, complex solution to a simple and elegant one.

Being a mathematician doesn't force you to code in any particular language, but a lot of them happen to be drawn to Haskell when testing out constructions of new abstractions in category theory, computability theory, information theory, etc. Other Haskell programmers can then take these abstractions and—if they can understand them—reuse them in regular programs, such that those programs then become more elegant, in the same way they would be if a mathematician wrote them themselves.

Of course, just because these libraries happen to be brought into existence in the Haskell ecosystem, is no reason for them to stay there. You can port such abstractions to any language you like (if it can support them—but many languages do!)

It's just not often done, because it is kind of hard to "see the point" in such abstractions without reading this-or-that paper... and all the people who are willing to do that gravitate toward Haskell, leaving the rest of the language ecosystem with very few people interested in expanding their language-of-choice's abstraction capabilities. (Another sad network effect.)
Who exactly do you think is going to provide the dialer? Are you also surprised to hear that the dialer on an iphone is an "Apple Service"?
In my experience it requires sacrificing "some level of attractiveness to the other gender due to stable life" by investing an enormous amount of your free time.
Which is why ePub and other digital book formats exist. I'm glad there is a format that prioritizes WYSIWYG over reflow (though the part of the spec where the introduced scripting is a bit dodgy)
> Now imagine a thousand years from now, new phenomena or understandings will generate concepts that can model free will that is both non-random and non-deterministic.

This abstractly makes sense, but I think the free will supporters still have the burden of proof of, right now, explaining at least at a very high level what free will would be if not random/deterministic. Otherwise we must lend credibility to all kinds of crazy theories.
That giant sucking sound? Hadoop moving into the cloud
> You bought a Google phone

Wileyfox make their own phones and Android rom. It's not really a Google phone (it may have Google Play Services, but that's different).

The third party dialler app in this case was not provided by the ROM maker, but by a third party who gathers tracking data from usage of the dialler app. The ROM maker disabled/removed the stock dialler app from their ROM.

If it was an opt in feature, then I believe OP would be happy with that.
Exactly my thoughts, though more projects focused on this wouldn't do any harm.
Just published VS Code 1.12.1 to fix an issue with .NET debugging: https://github.com/Microsoft/vscode/issues/25918
HFT is in basically no sense predicated on front-running. Front-running is an agency problem: it occurs, for instance, when you're trading on behalf of someone else, and before you execute their orders, you submit your own orders that benefit you at the expense of your client.

The whole premise of the market is that people have informational advantages. They don't work without it. The point is that they aggregate the information of all the participants. You can call that, or anything else, "front-running", but that's a meaningless definition.
https://en.wikipedia.org/wiki/Google_Safe_Browsing "it depends"
I think they may also need a strong third party marketplace. Amazon gets a lot of great inventory from third parties. Walmart could easily mine and source the best products in each category on Amazon though.
Well, people do have 10 fingerprints, but the bigger concern is how easy it is to find them and copy them. They're not secure. You'd actually be much more secure using toe prints as auth tokens, as gross and impractical as that sounds. Most biometrics are lame because they're so readily available. However, they are ridiculously useful because of how fast and conveniently they can authenticate you.

Honestly, this sounds like a much better technology: http://www.dailymail.co.uk/sciencetech/article-3220886/Forge... It transmits data through the human body. You could turn it on or off selectively, authenticate with anything you touch, and it would remain cryptographically secure.
I don't think you can compare the changes between Ada 83/95/2005/2012 to what has happened to C++. The Ada language seems much more stable and backwards compatible to me, and given it's nature, it makes sense to avoid introducing major changes. However, I'm not an Ada expert so correct me if I'm wrong.
The most interesting part for me here is type checking for plain JS files. I love that they can inferred using JS Docs.

It let's me try out the benefits of type checking without having to setup TypeScript.
The tl;dr is the manufacturer of OP's phone just used some random app as the dialer. The app was stealing all of OPs data and selling it to who knows who. They admit to doing this in the privacy policy of the app. But as it was installed by default, OP never agreed to it. And he had a lot of trouble removing it from his phone and finding a replacement.

This is the problem with choice. All your choices are secretly malicious and have incentives to violate your privacy. Remember those flashlight apps that ran in the background consuming CPU/data and stole users' personal information? It's just generally a bad idea to rely on untrusted third parties for core functionality.
Health Insurance /= Health care.

Disrupting health insurance is easy. Move the numbers around, sign up different people, apply for whatever government programs ... it is an information and accountancy problem. Disruption of health care is clinics, vaccinations, treatments ... blood on the floor and actual hands on patients. That isn't easy.
A bit unrelated to the subject I have a question. As far as I know Google started self-driving tech development much earlier (?) than any other group. However Tesla did it in much quicker timeframe and it is used now as opposed to Google which is still in the lab (?). What took so long for Google? or there is some nuance from their competitors?
> useful property of PoW is that you can provide a proof that you destroyed physical resources

Thought experiment:

Say there's a PoW currency A, and PoS currency B.

Alice mines A.

Now Bob wants currency A, but he can't afford to mine currency A, because he needs special hardware.

So Bob exchanges currency B for currency A with Alice. Alice now holds some currency B, and Bob is happy with A. Now the question is, would Alice see that she "destroyed physical resources" for currency B? (Yes, to Alice she had to destroy physical resources)

Later, Alice wants to transact with Charlie, who also holds currency B. She transfers her B to Charlie, that was bought using A. Would Charlie care that Alice had to "destroy physical resources" to get B? (No, that information is useless in a PoS system)

Some time in the future, currency B becomes very popular (as it's just as secure and not wasting resources like currency A). Alice wants more B too, so she exchanges her B with the masses. Eventually, currency B takes over A in popularity, and by that time, Alice has exchanged all her A for B. The question is, would Alice now view that to get B, she had to "destroy physical resources"? Would that fact matter if she continues to transact with Charlie?
Doesn't Quartz use PostScript for rendering the MacOS desktop?
Evading local regulators is a federal matter?
Disruptive Data Security Startup Looking for Talented Engineers
The limited subset of the software dev community is the precise subset you are saying shouldn't use it...

People in my field don't use PHP, either. Doesn't make it a bad language for its purposes, but certainly limited subset.

All the 20-somethings (including myself) in my research group use Fortran.
Ask HN: Would you book an appointment with your doctor on Facebook?
If your doctor had a Facebook page, would you feel comfortable booking an appointment through a widget on their FB page? How about if they were using Messenger and you could chat with them to book an appointment? Does the convenience out weigh any concerns you may have over privacy issue? Lets assume that you would only be booking an appointment and not providing anything more than your name and contact info.

Background: I am one of the founder at Luma Health. We are trying to make it easier for patients to see their doctor.
That sounds like little more than semantics to me.
There are a lot of dubious companies on HackerOne. Why did taking a stance on this one have a perceived more positive outcome than taking any stance at all?

Pretty much zero of the companies on HackerOne are part of any social responsibility index, shariah compliant index, or trendy b-corporation index. And even in the non-zero rebuttal, the vast majority can have entire dissertations written about weighing the ethical considerations for doing any business with them.

So why even make a stance at all?

The time it takes for the arbitrary nature of your ethical decisions to become apparent is simply longer than it will take for your runway to deplete.
HFT is not necessarily a feature (nor a bug) of capitalism, although something you might recognize as capitalism is a prerequisite for the phenomenon, but of the fact that information sources and financial exchanges form a distributed system, i.e. one that is spread out across space and time.

Of course, in the absence of markets altogether, we have no exchanges, no finance, and no HFT.

But... Why do you see this as a problem to be fixed? Who does HFT harm besides those whose bottom lines they cut into: the big, fat, and slow dealers who wish they could drop a block anywhere and have it fill?
It's so strange how quickly all of this happened.

Actually I guess it's been awhile. https://twitter.com/dhh/status/504374011711594496 was in 2014, wow.
I worked on Preview at Apple from 2008-2011 and created the signature capture feature. It's always cool to hear people talk about it!
I wasn't so much suggesting a decision-making framework, as a model that can be used to understand decisions people make intuitively. "Overthinking" is the whole point. :)
Can you let others know where you were able to download this?
Because you're dialing a phone. Nowhere does that require Google's involvement.

The search feature should not be any more than an optional point of integration. Is nothing sacred anymore?
Everyone really is piling up against Uber. I really hope this isn't some sort of Justice Department revenge against Travis for having left the Trump advisory council [0]

[0] https://www.nytimes.com/2017/02/02/technology/uber-ceo-travi...
I have ~2 hour commutes each way, and honestly, they are the calmest moments of my life. Sure, I'm white-knuckling it down I680 and I880 hoping I don't die on the freeway. But hey, I'm listening to my favorite music, planning my day mentally, prioritizing things, basically my commute time is my thinking time. It is the only time in my life where I'm not exposed to constant interruptions. Step into the office and my time is chunked into chaotic loosely structured 30-minute sprints. It's meetings, E-mails that need to be answered RIGHT FUCKING NOW, meetings, tracking people down to ask them to help with something, "pings" from people, more meetings. Then I get home and it's do this, run that errand, play with me, feed me, read this book, parent stuff divided into equally frantic 30 minute chunks. I mean I love being a parent but shit, I sometimes can't wait for my commute.
At some point, the work becomes the hobby. If you had fyou money, what would you do? Presumably not sit and stare at a wall all day. You'd do something you enjoy I assume. And for some, running one of the world's most powerful entities is enjoyable.
When it's done systematically throughout the nation, I'd say so.
Please feel free to plagiarize my two projects
This is great. We use haproxy at my work and I like it, it does it's job, but quirks like dns resolution only at startup, having to reload on config changes and no seamless reloading stop me from loving it.
Serial Entrepreneur Publishes Startup Essentials Online Course
Not just the phone company. Naive (ie old) people have been robbed by receiving a text saying "This is the bank, what's your password?" "Thanks. Now, what's the code we just sent you?"
Assuming this is true, why does that make it a federal issue?
When it's done using communication and information transfer across state borders there is at least a case to be made for that.
This confuses me. You don't really need monads to perform io or specify sequencing in Haskell, although do notation is very convenient for sequencing sctions.

Ultimately, if you want imperative style, you can just write imperative code that's well typed in Haskell.
My friend at a different hit firm says they tend to make MORE profit in high volatility regimes
Enjoyed the difcourfe.
"The nature of any potential federal criminal violation, and the likelihood of anyone being charged, is unclear. The investigation is still in its early stages, the sources said."

Sounds like they don't know yet.
> We just wouldn't do it. I worry that we may be overthinking things here.

I agree that going with your gut feeling is very likely good enough, but I don't agree with the term "overthinking". I think codifying the decision a bit is beneficial, as any of us is likely to run into a case that falls into a gray area, and having more fleshed-out decision lines will be helpful in that case.

I think it's the same in ethics vs morals. The ethics you inherited from society will be good enough for the vast majority of decisions, but sometimes it's good to logically deduce morality for yourself. You might realize you used to believe things that didn't stand to reason.