skysight-inc/HackerNews huggingface dataset:
Further off-topic, for anyone curious:

There are a number of ride-sharing services, the self-proclaimed biggest being blablacar.de, previously known as mitfahrgelegenheiten.de, I believe.

We also have a multitude of car-sharing services, where if you subscribe, you can look for a free car parked somewhere, and then drive it wherever you want within a certain area. Examples are car2go, DriveNow, and I believe Starcar and other rental-car companies also have services like that.

Uber actually had to pull out of several german cities because of taxi-related regulations. Taxi-drivers in those cities need to obtain a license, which drivers for Uber obviously don't do. So (some german) institutions also view Uber as a taxi company.

Source: https://www.theverge.com/2015/10/30/9648676/uber-germany-ham...
Yep, I have a feeling that for driving in India/Iran/Pakistan/Bangladesh you're going to need a strong AI to negotiate with the street vendors. In Iran I even had a particularly... enthusiastic flower seller actually maneuver himself to make it even harder to drive away.

Not to take away from anyone's work in this area, but I have no idea how long it'll take to go from "works in America" to "works in India". In many countries the safest option (to evade disaster) can occasionally be "floor it and break the speed limit" to get away from x dangerous thing. I'm not sure if that's something that Google is willing to write into an AI.
These autonomous sumo wrestling bots are freakishly fast
Market-based solutions? Nonsense! Let's all just accuse and shun and sue each other into oblivion, because that's a healthy way for a society to function.
Brazilian tech expats, the research – Maiz Lulkin – Medium
An Artist for the Instagram Age
Companies that hire exclusively women are not 'perfectly PC'. That's a canard thrown in as a strawman.
Maybe you could post a Glassdoor review in a year or two to help others out on this
First, I hate having to have multiple apps to do the same thing. That would drive me crazy for every city. I would pay a premium not to do that.

Second, none of these apps I have seen thus far even attempts to make it easier for the user to add payment methods. Each time I need to put in my credit card information? Twice if I am on business? Nobody has taken advantage of Apple or Android pay integration.

I don't consider myself a heavy cab user, but I probably take at least ~200 rides a year, and unless the city is regulated (credit cards) I am using Lyft.
The best work bags
This seems like rather bleak advice but it is a very good point. It can create so much tension if you're not 100% on the same page financially.

Also, if you plan to have kids and are likely to be both the higher earner and not the primary child carer, the potential downsides of marriage are enormous.
The article seems hopelessly tautological. One of the arguments for Clojurescript is that it "is a functional programming language," with the reasoning that this makes functional programming easier. The author then goes on to answer - and I quote - "Why isn’t it popular?" with "Not popular enough." I am thoroughly enlightened.
You bring up a good point, this is actually really bad. It's bad because the kind of position Google is in, because of its brand power, because of its authority in the modern world. They cannot joke around like this at this point. They need to take this down.

> And this is what brings fake information into the world.

Others are saying "you don't have a sense of humor" -- wrong response. I remember when I was younger my older brother explaining to me and my dad how Google works... by some pigeons sitting in a large building behind keywords because they're quick and have great vision. Yeah he bought the prank. I'm surprised he believed it, because he was pretty bright (did math + EE double major in 2 and a half years, now a manager at a large successful tech company). But this happens, all of us have blind spots, jokes like these hit us in bad ways. Even really smart folks can be had. This is like the stupidest and most contemptible kind of humor really.
https://www.google.com/maps/space/mars/@18.5922828,-133.6897...

Still looking for the Ares 3 base.
If you embark in the floating price, you'll probably get better rates. The downside, you having to worry about it, is offset by the machines planning their own consumption within the criteria ("I want this dry in the morning") you set.
Is that a passive (maybe it's not passive) aggressive smiley face? In a paragraph talking about what it means to be professional?
It's a relished fantasy that Uber is dying or is going to die, because so many people in tech circles hate Uber and Kalanick.

It's not actually dying and it's not going to die.

Routinely skeptics here will point out that Uber is selling a $1 service for $0.75 (or a similar invented sum). Said skeptics then intentionally, comically ignore that Lyft is and has been doing the exact same thing and has radically less capital & valuation to play that game with. The name of the game is: last company standing; that's going to be Uber because they can afford to be and Lyft can't. It's that simple.
Look into mypy! Its a good start.
Is the following a valid application of Gödel's incompleteness theorem?
In 1931, Kurt Gödel published his incompleteness theorems. His version is a bit complicated. I will use a much simpler analogy here.

Imagine that you create a table in which you store all theorems along with their proof. This is possible, because, since Richard's paradox, we know that the set of all proofs is countable. If someone asks you "Is this theorem provable?", you look it up in the table. If you can find it, you return the proof stored along with it. If not, you just say that it is unprovable. We can now take a look at Gödel's example theorem "This statement is unprovable". Is this statement provable? No. We cannot store it in the table, along with a proof. Hence, since you cannot return the proof, you must say that it is unprovable. Then, is this statement true? Yes. Since you can indeed not return its proof by looking it up in the table, it is true.

Consequently, we have discovered an entire class of statements that are true but not provable.

In that sense, the question "Where can we find proof that God exists?", just ignores Gödel incompleteness theorems. The person insisting that there should be a proof for every true statement, is wrong.

Therefore, it would be absolutely no surprise that God truly exists but that there is simply no proof for that. There is absolutely nothing wrong with that position. Hence, the God of gaps theory is ignorant. It fails to acknowledge the existence of true but not provable statements.
>> What's the difference between the germ cells in my body and the germ cells in my offspring's body. Why do those last longer?

Interesting question, I'm not sure but there is a selection mechanism with sperm creation, movement and implantation.

Ie your bad germline cells with too much damage don't make it to the next generation.
Hardened/Gentoo Hardened and Stack Clash
They test for the symptoms of serious chronic health issues: blood pressure, urinalysis, blood sugar, cholesterol levels/ratios, joint reflexes, retina appearance, manual check for swollen tissues... things that might signal underlying conditions.
What even is this question? Nothing "have" to come at the cost of anything. It's a matter of choices and people will make different choices.

Morals are relative.
> In slightly fancy language the type you just wrote is just StateT Input Maybe.

Except the newtype -- which was kind of my point :).
PROTIP: Shareholder loan
You're not American, are you?
I understand your point - positive differentiation is differentiation after all.
Nevertheless, you can't deny that white people have advantage over blacks due to historical reasons. That's a simple fact. What we as a society are truing to do is to undo the harm, in a way - to make chances equal, because we feel it's the right thing to do.
Cute little narrative you got going there but I don't see any evidence from the article to support it.

Since tipping is not actually "politically correct," it's racist, sexist, and classist (1), it's a big lose for the advocates you blame.

It seemed they were under pressure from regulators, not social justice activates. I think this is the money quote

>Conigliaro said the guild forced the introduction of tipping by putting pressure on regulators. New York’s Taxi and Limousine Commission is weighing a proposal that would require in-app tipping, and is expected to hear reaction from riders and drivers at a public hearing on July 13.

They also introduced some sort of surcharge for teens as part of this change, so you believe thats also the fault of "social justice" too?

(1) https://www.washingtonpost.com/news/wonk/wp/2016/02/18/i-dar...

http://scholarship.sha.cornell.edu/cgi/viewcontent.cgi?artic...

http://www.washingtonexaminer.com/minimum-wage-activists-cal...
> Once the investor money runs out

And when will that be exactly? This entire thread is overflowing with nothing but fantasies of Uber dying - basically raw emotional hatred - and little else.

Eight years on, they've never had a serious problem with raising capital and there's no evidence to suggest they'll struggle to do so now. The absolute last problem that Uber has right now, is money.
> monadic combinators are more powerful [than context free parsers]

Monadic parsers can do context-sensitive things that context free parsers can't, but they can't have unordered options which context free parsers can. So really monadic parsers have different powers to context-free.

> do monads warn the user when there is an ambiguity in the "grammar"?

You don't have ambiguity in the grammar because monadic parsers only provide ordered options.
Engineers Email List
What's wrong with dumping it back in the ocean? The desalinated water is also going back there eventually, so the equilibrium is unaffected
> The Touch Bar in itself seems annoying

Based on what? People who haven't used it commenting on HN?

The comments I've seen from people who have used it, are overwhelmingly positive.

I would recommend you actually try one for yourself.
Why would it? The parent comment had already pointed out Andrea's fix.
Any comparisons to GCE and Azure's offerings for those who have used both?
There is nothing that differentiates Uber from lyft, or another ride hail company. Drivers could easily switch between the companies. Driverless tech will be the differentiation. Whoever gets there first, even in limited urban centers will win the taxi industry
Wow, I had no idea this wasn't a universal thing! Thanks for asking the question. From some brief Googling, it seems Canada also recommends against an annual health check, and I saw an article in NYTimes arguing against them, too. Fascinating.
Useful 7 Facebook Privacy Safety Tips for Teens
New Five Nanometer Transistor Unveiled by IBM and Cohorts
It was founded by Niklas Zennström and Janus Friis (Danish) in equal measure. The software was based on Janus Friis' earlier work (the Kazaa p2p network). It was developed by an outsourced team in Estonia.
Jobs did some bad stuff apart from that and Kalanick is reputed to be quite talented.
They're now a lot more detailed.
When I said...

> should be derivable by anyone who knows how programs work.

That ought to have been a clue. Knowledge of the function signature of the entry point of a program ought to indicate why the signature is the way it is for your favourite programming language. Although now, judging by the replies. Seems like that's a bar a little too high. /sigh, yep I think I should retire soon.
A-holes take notice, the times are changing. The only name here that deserves to be in history books is Susan J. Fowler's for having the courage to speak up.
I think you're going to have problems finding enough people for that scientific study.
I work on a team with another remote team, and I assure you this is not always the case.
We use Lambda for 100% of our APIs some of which get over 100,000 calls per day. The system is fantastic for micro services and web apps. One caveat, you must use a framework like Serverless or Zappa. Simply setting up API Gateway right is a hideous task and giving your function the right access level isn’t any fun either. Since the frameworks do all that for you it really makes life easier.

One thing to note. API Gateway is super picky about your response. When you first get started you may have a Lambda that runs your test just fine but fails on deployment. Make sure you troubleshoot your response rather than diving into your code.

I saw some people complaining about using an archaic version of Node. This is no longer true. Lambdas support Node V6 which, while not bang up to date, is an excellent version.

Anyway, I can attest it is production ready and at least in our usage an order of magnitude cheaper.
After multiple side projects with Lambda (e.g. image processing services), we finally implemented it on larger scale. Initially we started out without any framework or tool to help, because there we pretty much non-existent at that time. We created our own tool, and used Swagger a lot for working with API gateway (because it is really bad to work with). Over time everything smoothened out and really worked nicely (except for API Gateway though). Nowadays we have everything in Terraform and Serverless templates, which really makes your life easier if you're going to build your complete infrastructure on top of AWS Lambda and other AWS APIs. There are still a bunch of quarks you have to work with, but at the end of the line: it works and you don't have to worry much about scaling.

I'm not allowed to give you any numbers; here's an old blogpost about Sketch Cloud: https://awkward.co/blog/building-sketch-cloud-without-server... (however, this isn't accurate anymore). For this use-case, concurrent executions for image uploads is a big deal (a regular Sketch document can easily exist out of 100 images). But basically the complete API runs on Lambda.

Running other languages on Lambda can be easily done and can be pretty fast, because you simply use node to spawn a process (Serverless has lots of examples of that).

Let me know if you have any specific questions :-)

Hope this helps.
i think it's sunk-cost fallacy rather than gambler's fallacy.
THE PHENOMENON OF CRYPTOCURRENCY
I thought liquidation preference mostly served VCs which could be earlier "earlier" investors no?
Money Supply Growth Fell to a 104-Month Low in May
Susan J. Fowler's blog post started the snowball that led to the firing of a $70 billion startup's CEO.

I hope this encourages more people to publicly report systematic cultures of sexual harassment.
Yes... but you know what a hash map is and when to use one right?
Nestlé Buys Stake in Freshly, Putting Healthy Food Deliveries Top of the Menu
Nice to see Zappa being used and the async task looks very interesting indeed!
I thought 130 litres/person was quiet high and probably included things like water to grow vegetables, but no, one shower is between 30 et 50 litres and each time you go to the bathroom, it's 10 litres of drinkable water.

Of course, I you have saltwater and no freshwater, you would probably use saltwater in your toilets, so that could reduce the daily usage of at least 20 litres. But then, if you consider agriculture and manufacturing, I guess that the number of 130litres/person would blow up completely.
What about matroska (specifically .mka)?
And the world you paint, where excessive care must be taken to avoid even the slightest possibility of confusion, is deeply dull and boring. It's the same attitude that's led to such widespread bland corporatism.

You should be skeptical of everything Google tells you, like every other organisation. If anything, this should be a pointed reminder of that fact.
Unity and Android – Connecting the dots
Four years is an absurd amount of time to get to break-even (ie paying yourself an income that covers your bills and the company bills), particularly if it's a one-person bootstrap.

Lightning in a bottle is 1-2 months to break-even under the bootstrap scenario. 6-8 months is closer to reasonable depending on cost of living for where someone is living. Anything much beyond that time-frame means something is very, very wrong (or it's a particularly unusual business being formed, requiring years of build time).

Four years to get to a few thousand dollars per month in sales? I don't think so.
Wal-Mart is telling some vendors they can’t run applications on AWS
I wanted to forward a mail in the gmail app just now and accidentally hit "ignore" while looking for the option.

Took me 15 minutes to find the damn thing again. :p
Lyft seems to be a fundamentally different company in two ways that gives them an advantage over Uber. First of all they are much happier to partner with local players and don't feel a need to 'own' the entire world in the way Uber does. Secondly Lyft seems happy being a ride dispatching service and don't see it as a temporary stepping stone towards much grander transportation ambitions.

The downside of this approach is that Lyft doesn't have anywhere near the upside potential that Uber has. If Uber pulls off all of its ambitions it will be larger than Lyft could ever dream of being. The upside for Lyft's more humble goals is that it's chance of reaching them are much larger.

Unless Uber is willing to change its DNA and scale back its ambition, give up on its long term goals, and stay just a basic ride dispatching service then your analysis is incomplete. However perhaps this scaling back is what the CEO change is fundamentally about.
SEEKING FREELANCER – test
test -- does this show in the article list or in the freelancer/want work list or both??
Even if he's out as CEO he still will likely wield outsize influence due to his 1) board seat 2) equity stake 3) majority of leadership are presumably his people.

Will be interesting to see who replaces him and whether the company actually changes.
> you can't deny that white people have advantage over blacks due to historical reasons

*White people in white-majority countries. Most countries aren't as opposed to favouring their own as Western countries are, so this advantage is geographically very limited.
This comment was hilariously miscalculated.
>London mirror Uber's functionality

London black cabs have been available by app for a while (Hailo). The main reason people use Uber is that it's about 30% cheaper.
That's a hyper generalization. Some morals like no tolerance against sexual harassment are not relative.
Although I've just started using AWS Lambda and think it's a cool technology to use, I can understand your points.

2) Logging is indeed painful! You definitely need a separate tool/system for that. I have created a small CLI tool to view logs of multiple Lambdas which have been deployed using a CloudFormation template: https://github.com/seeebiii/lambdalogs This does not replace a good external system, but it can help for small searches in the logs.

4) Yes, this takes a lot. Though I'm not using the Serverless framework, deploying the code using CloudFormation takes me about 2:30 minutes (with a project using Java Lambdas), because CF is doing lots of checks in the background. I also wrote a tool for this to decrease the waiting time and just update the JS/Java code instead of the whole stack: https://github.com/seeebiii/lambda-updater

Hope this helps you or someone else a bit!
Ford to move Focus production to China
Personal experience. You ignore the fact that there's a touch bar. A bit of getting used to it though. Especially muscle memory when pressing esc.

In the end it's still a machine that gets things done.
Apple is seldom the first in anything, but it succeeds anyway for Everything Just Works™. Mobike may or may not pull off the same feat.
Download Survival Island Evolve V1.16 2017 APK – Apk
why is API gateway so bad?
New catalyst paves way for carbon neutral fuel
Anecdotally, I've personally taken Lyft almost exclusively lately. Among my peers, I've noticed similar trends. I've even heard shifting in language -- rather than say "call an Uber", I've heard "call a Lyft"., Plural of anecdote is obviously not data, but those are my data points.
Your comment is predicated on the fallacy that Uber's success is merely a function of runway / the ability to find new investors.

Bear in mind that the company's growth has been driven by its ability to run a very, very highly-performant backend -- and that's in turn a matter of getting the very best engineering talent on board.

Some, perhaps most of that talent is already pissed off about the fratty work environment and questionable leadership decisions. Recently, their options exercise window changed from 30 days to 7 years[0].

Angry employees + management turnover/uncertainty + limited runway + new rule that basically you don't lose your options when you quit = I'm officially an U-Bear.

On a related topic, I think people's schadenfreude for Travis is getting out of control and he's becoming a bit of a totem for everything that's wrong with SV....while his issues are largely self-inflicted ("boob-er" / treating drivers like crap on camera / etc), all the hatred directed toward him seems excessive in context. The guy just lost his mother, maybe cut him some slack?

[0]: http://www.bizjournals.com/sanfrancisco/news/2017/05/16/uber...
Write osquery plugins/tables in Go
I don't see the difference between that and having to preprocess every command you run to change the number of spaces used per indentation level (a much harder task).
You mean legally? I'm pretty sure there are people on this universe that differ from you (and many of them act on it)
I did not do this survey but I'm in the demographic as a Brazilian(with Italian citizenship) who just moved to the EU.

While the current political climate is concerning I don't think that would make a lot of people want to move out, it's not like its news.

Keep in mind the fact that more tech people moving out of the country is just a subset of a lot of people moving out, the brazilian diaspora is growing.

I moved for career growth primarily, of course salary and quality of life also played a role.

I am not at senior level(more mid-level), I work mostly with JS/React these days(although not my background), and even if my education did not play a major role on the hiring process, a recognized diploma was a requirement for immigration.

As for coming back I have very particular reasons to want to come back and to never come back, it can vary 90/10 or 10/90 depending on my mood.
This is really really good.

I follow the many emerging "collect lots of public data and make available" services, and I think this is one of the better ones I've seen. The data looks quite wide ranging too.
Nice site, looks very useful for us. We need to send out emails to many students once or twice a year. Now that we have switched from on-prem Exchange to Office-365, this has become a challenge.
You don't have a company yet if you're dependent on future investment.