skysight-inc/HackerNews huggingface dataset:
Agreed. I think it only makes sense to say it offers tamper protection if you have reproducible builds and are distributing the source code via (for example) IPFS. But even that is then questionable, because who's auditing the source code? Or the builds? Or the compiler?

Trust isn't really something you can algorithmically fabricate. At a certain point it always reduces to a tautology: "I trust this thing because I trust it." Distributed compiled code, because of its opacity and complexity, is an excellent example of exactly how hard it is to kick that bootstrapping tautology further down the road.

Distributing binaries via IPFS is functionally identical to distributing signed binaries from a central server, provided clients always check the signature. Now, that last bit isn't necessarily always true, but if your problem is "why aren't my clients checking their signatures", solving it with IPFS just doesn't make sense. It's like saying "This person isn't PGP signing their emails, so I'm going to download all of my emails using Bittorrent."
It's the difference between "get whatever this is" and "get this, wherever it is".
The problem is that in this case, Uber doesn't own the car network. It's trivially easy for a driver to shift between networks, or even work for multiple networks simultaneously. Uber not only has to talk a rider into giving them the fare, they also have to talk the driver into taking that fare. There's just nothing special about Uber for either party unless Uber can be the one that performs that matchmaking service at the lowest possible transaction cost. Welcome to Uber's low-margin world.
Linux-friendly drone controller flies on Intel Joule power
> wealthy (probably better educated) drivers.

You mean drivers like the ones behind the wheel of all the BMWs and Audis that cut me off with no turn signals, speed, make aggressive lane changes, tailgate, and generally act like giant douches because a simple traffic ticket is nothing to their pocketbook while their time == money?

Those people are going to be a hell of a lot safer behind the wheel of an autonomous (level 4) vehicle where they can be on the phone and their laptop as the vehicle obeys the speed limits and safe following distance.
The danger of always using nice numbers! I've taught topics where I thought I had the best lecture, the best examples and that it would be impossible for a student to misinterpret the method. Some still did come up with flawed thinking. It's hard.
DoD does have some .gov domains, so it would affect them in that way. But .mil is not affected.
All forward looking statements are guesses but... I see a strong movement toward Elixir from Ruby devs (and others, I'm not a Rubyist) and I expect Phoenix to be one of the main frameworks in the next few years. It's due to a combination of simplicity, history (erlang is old), and a change in the types of apps some of us are building. There will always be simple CRUD apps too but the demand for constant connectivity seems to be rising. IoT, desktop replacement apps, etc.

Edit: fixed typo referring to Elixir as a framework
I can believe that's their goal: I see little reason to believe they'll succeed in it, beyond making the market a bit bigger than the current taxi/minicab market.

Just because they're very good at supplying an unlicensed minicab service (apparently subsidised by VC money in many areas) doesn't mean they can (i) run a minicab business at a profit so much more efficiently than every other minicab business in history that the average American decides they can sell off their four-wheeled status symbol and commute in a surge-priced Uber or (ii) compete with the manufacturers in supplying self driving cars on demand, whilst likely operating at a huge disadvantage in vehicle acquisition and maintenance costs
>Java is too bloated for the small memory, so Go is a great choice.

Java, the language, was first designed to run on all kinds of embedded devices, including cars, in cpus available 20+ years ago. You don't need to run the official JVM and SDK to run Java. There are even real-time options.
Dear HN users,

Could you please link to alternative solutions?

Does AWS Glue solve the same problems?
https://aws.amazon.com/glue/
This biggest pro for node.js, is the large community. JavaScript is everywhere, there is a literally a stable library for anything you can possibly conceive at this point, and if you're already doing front end, it's an easy pickup.
I'm glad you don't approve
I totally agree that running, deadlifts, and pull ups are great exercises.

And while goals can be motivating, un-achievable goals can also be demotivating.

Regarding the comment about exercises forcing you to be lean, you might not familiar with most of the research on exercise and how it affects weight. But the best way to summarize it is "Exercise is a great obesity preventative, it is a completely ineffective cure."
I can rephrase my original comment according to your terms: there is no evidence that TACC reduces safety. That's equivalent to what I said. Do you have evidence to the contrary?

Moreover, if experience showed that TACC reduces safety, NHTSA and its counterparts in other countries would have noticed and put the brakes on it. If you don't think this is a reasonable assumption, so be it.
Nomad and Consul UI
Waiting for the headline: "Human Fails to Prevent Accident, Outraged Public Calls for Banning of all Human Drivers"

The obsession with perfection in self-driving cars is misplaced, they just need to be demonstrably better than humans.

This is obviously the future.
The problem is that the moment Uber is in a position to exploit its newfound monopoly, new competition springs up. Without regulatory constraints, transportation on public infrastructure just isn't a natural monopoly business.
Or perhaps it will make you 40% more safe than you already are?
Aaaand you've just disappeared into a philosophical rabbit hole.
Do you envision features moving from CCL to APL? For instance, should the database ecosystem change such that everyone and their mother are offering row level geo partitioning in OSS databases, would it be likely that that feature would become APL licensed?
OK... Using that approach I would assume that software has also lost money over the entirety of its existence. Perhaps not completely "untrue", but a silly way of looking at it and not what anyone would assume you were talking about.
Come up with a project that you want to complete that requires the thing you're using. Then work on the project. It'll help you figure out what aspects to focus on, realize what you don't understand, and become familiar with the gotchas.
The golden rule of opinions in a tech startup
Show HN: Generate TypeScript Types from JSON Samples
Network effects don't accumulate to a natural monopoly in this case. Yes you need a fleet large enough to get to a sweet price / waiting time optimum, but each new car in your fleet has a diminishing marginal effect.

You could say exactly the same for airlines: there's network effect. Each new plane allows your to fly more rotations, have more frequent lines, open new routes... The reality is that most people take decisions based on price.

We know most people are pretty bad at valuing their time, and even so, waiting a minute more for a cheaper service is something people will do for sure. As long as you're below an acceptable waiting time for your car, you can compete on price.

I'm curious about how Uber will avoid being a commodity just like airlines are.
I wrote a library and command line tool that generates TypeScript types for JSON objects from samples. It can also generate "proxy" objects that typecheck JSON objects at runtime, so you can code against JSON services without fear!

The use cases include:

* (Types) Generating quick-and-dirty TypeScript types for a web service or other JSON service you are coding against using response samples in its documentation.

* (Proxies) Ensuring that your code fails reliably when a service returns a JSON object with data that you do not expect. (Otherwise, your code may chug on with an undefined value and fail in a weird place!)

The generated proxies are also useful for non-TypeScript code when compiled to plain ole JavaScript.

To generate types from samples, I adapted the technique used in the F# Data library, which is described in the following paper:

https://dl.acm.org/citation.cfm?id=2908115

Let me know what you think! In addition to the linked demo, the code is on GitHub:

https://github.com/jvilk/maketypes

And there's an NPM package that contains a command line tool:

https://www.npmjs.com/package/maketypes
at the very least their drivers will still own cars.. if buying a car is all of a sudden not normal, then it would cost A LOT to become an Uber driver.
Removing the driver reduces the price significantly, so the business model of cars on demand is probably viable outside of dense areas with self driving cars.

That being said, for Uber to win the self driving car race they have to beat Google, Apple, Tesla, Didi and the automotive incumbents as Sarah Lacy has been pointing out for at least 12 months.
Why is this reply so similar to the one above? How long have the bots been on HN?
I too am learning Spanish this year. It has been very interesting learning the differences between English and Spanish. For instance, there is a formal and informal way of speaking to people. It blew my mind a little to learn that my girlfriend (whose native language is Spanish) only speaks to her brother using the formal way. Also, she uses the informal way with some of her friends but not others. It's like a weird extra dimension of language that I never knew existed.
It's an n of 1, but when I went back and reviewed calculus and linear algebra last year, using symbolab.com to talk through the steps of various problems was a huge help in refreshing my knowledge. In some cases, it even helped me really grasp a concept that I never really had learned well the first time around.
Isn't this often a rightsholder issue? They don't want to undercut some market so they only license the content for a specific language and forbid subtitles.

International IP law is a morass of conflicting interests and market protectionism.
> There's a huge mental part of sports in re: to strategy and team playing.

I've played sports competitively too, while you're right there's a large mental component, it's nevertheless smaller than video games, since physicality/muscle memory tends to be the dominant factor. It doesn't matter if you're a strategic genius and your opponent is a moron in tennis if their core skills are flat out superior to yours or you're terribly out of shape.

> Other people like to take things apart and put them together again, like a car, or a motorcycle.

> Other people write fiction - are you saying that weaving a complicated plot isn't a mental challenge?

These hobbies aren't exactly rare, but they're not really competitors to gaming, either, in terms of time consumed. Gaming is unusual in that it's mentally demanding and also super popular and widespread. Yeah learning languages or musical instruments undoubtedly improves cognitive function as well, but collectively people don't spend nearly as much time on those things as video games.
Level 1 is Human drivers, level 2 is computer "lane assist" and "automated cruise control".

So yes, it is literally human Vs computer driven safety.
McDonald's just tweaked the Big Mac
if they succeed at this, then no one will own a car. therefore to become a driver one would have to buy one instead of already having one. This makes it not worth it to drive.
In C, the easiest thing to do is to just use a typedef. You get to use the same syntax as for normal function calls with no trying to remember where that blasted extra * goes, and typically end up with cleaner code anyway.

typedef void function_ptr_t(int i);
function_ptr_t* ptr;
Airlines used to collude on price, too.
Those "many" territories are not enough to prevent them from losing billions of dollars per year.
> Rust is all about making that kind of quality mandatory.

This is why I think the best characterization of Rust is "an Anti-Sloppy Programming Language".
> That cabs only really exist in densely populated urban areas should tell us something about the economics of this business model.

yes, it tells us that human cab drivers are prohibitively expensive. robot drivers don't need to paid by the hour though. the real disruption to your car isn't a ride-hailing app on your phone. it's robot driven cars. ride hailing apps are necessary piece of predecessor infrastructure for that transportation model. it's the beginning of it, not the end.
See also

Michael Howard, 2003

John Major, 1990

Margaret Thatcher, 1975
Except there are "autopilot" miles in the before bucket. They are comparing before and after Autosteer so Autosteer is in the after bucket only. TACC however is in both buckets, aka this is supposed to be a comparison showing the increase in safety when going from level1 to level2 systems but both buckets have tons of human driven miles mixed in.
There is a saying about seniority type systems that goes: The longer you live with the seniority system, the more you grow to like it. I think it applies somewhat here in that you are more likely to believe that effort always yields rewards if you were were always rewarded for your efforts.

I think by demographics, your father was likely in a generation that was much more often in a position to be consistently rewarded for their efforts. The generation that was at certain ages in the Great depression, or the dotcom crash, and more recently the Great Recession has a different formative experience than experiences in the Baby boom generation.
They managed to weasel themselves out of similar problem when they rebranded vehicular manaslaughter to jaywalking shifting the blame to the victim. I'm sure there's no problem here that a bit of marketing and societal engineering can't solve.
People seem to underestimate just how much money AWS makes.
I'm not sure where the parent is drawing that claim from but I imagine they could continue to exist with government subsidies.
> the android app being horrible to some extend.

Really? Were you using KeePassDroid? I remember that being not so great. I think Keepass2Android is excellent.
I was thinking of keeping it private but if that’s preventing people from adopting it I may change my mind.

If it helps, the app has been officially approved by Slack:
https://stelladot.slack.com/apps/A3788D7PW-team-time-zone-

And this is the privacy policy:

"We don't store any of your data.
We load your data from Slack directly into Team Time Zone +, in your browser.
The only data that goes via our servers is your Slack API token, which again is only stored in your browser."

http://www.teamtimezone.com/privacy-policy.html

Thanks much for the feedback! :)
Would you otherwise have an expectation that your data sent to the government would be kept secret from the NSA?
Editted to respond to edit. (perhaps my original comment was a bit brash as well)

The problem here is that you're mis specifying the null hypothesis. We have had human drivers for 100 years. New automated systems start to come into the fray. We're trying to figure out if they are safer than humans. The null in this case is that they are not. That's what we assume until proven otherwise.
Luck is luck. Whether you call it bad luck that they had an adversity to overcome that I did not, or good luck that I did not have that adversity, you're still talking about fortune.

In any case, whether you say it is that the parents are poor or that they are drug addicts or don't care or whatever, you're talking about things outside the control of the individual. I cannot choose the parents I was born to.
It largely depends on context--in politics/philosophy literature it's used quite often.
Survival of many of the world’s nonhuman primates is in doubt, experts report
Zeef appears to have curation down to a science:
https://zeef.com/

Examples: https://linux.zeef.com and https://databases.zeef.com
Docker 1.13 is released
they don't have to beat those companies, they have to negotiate good rates for vendor services with those companies.
A volunteer professional force is better prepared than one composed of essentially transient members, so casualty rates, should they need to enter battle should be lower than a conscripted military.
The press was selective in what Snowden released. As far as we know, Snowden wasn't selective in what he obtained, or in what he then provided to adversary intelligence services in China and Russia.

I don't like what Snowden did, but I would respect the hell out of him if he had decided to stand up for his convictions and face the music. He'd have had a far better case, and would have had incredible EFF and ACLU lawyers on his side, and a ton of public sympathy. Instead, he turned an act of patriotism into an act of espionage and treason.
uber offers a better product than taxi services do. So if uber raised their rates to be comparable to a taxi services, i would still use uber because its a better experience. And because i learned that because they incentive it with overall lower rates.
I would definitely agree that's a more precise definition. Constraining "database" to only ever refer to RDBMS is what I really have a problem with.

But there really isn't a brightline between what's a table, and what's a filesystem, and what's a database. You can put a blob in a database or BigTable, and MongoDB is really close to being a flat file conceptually. You can have a filesystem or database that is content-accessible. You can have a filesystem that is atomic and supports rollbacks and can store relational data like symlinks. A virtual filesystem like LVM can support schema-like volumes on top of it.

At the end of the day it's all just technology that lets me abstract my writes so I can deal with a more simplistic model backed by certain guarantees about behavior. I want to write a program that does XYZ, not write a filesystem/database driver. From there it's all just various tradeoffs.
Please, if you see this, file an issue against the project, so we can clearly mark those crates as working on stable.
That's pretty much the rule about all robots operating in proximity to humans (except perhaps elevators, escalators, automatic doors and toy robots).
Amazon actually didn't have much competition at a key point in it's growth, i.e. just after the dot com crash. Amazon survived, many did not and Amazon then had a few years to cement their dominance in the online shopping space.

Amazon is also very different from Uber in that it a) went public earlier and b) didn't need huge outside cash injections like Uber and c) Wasn't making a huge gross loss on sales like people claim Uber is.

I believe Uber has already lost more money than Amazon has in it's entire existence!

http://s1.ibtimes.com/sites/www.ibtimes.com/files/styles/emb...
I love vets.gov. Starting with benefits was great, but secure messaging with doctors, filling prescriptions--there's lots of great stuff going on there.

While I've got you, are there 2-3 things that you would most like to see on vets.gov in the future?
Totally agree. And now it's extending to all of science.
southwest is profitable. anyway uber does not have to deal with pilots' unions and the faa regulations: http://philip.greenspun.com/flying/unions-and-airlines
Good point, but to play devil's advocate the same general things were said about Twitter and other tech startups. Their main product doesn't have long term profitability, but just think of all that data they have! Surely they must be able to get tons of value out of that right?

Easier said than done.
Treated carbon pulls radioactive elements from water
Yep, as soon as I seen 'eco' you could figure out what is flush.

If eco wasn't there I can see how it would be confusing though.
Wouldn't Level 3 be like Otto? (Automated, No human attention required on Highways; Human driving otherwise)

The truck would know well in advance which exit it would take and could give the driver a heads-up some minutes before they need to take the wheel.
Level 4: "Such a design anticipates that the driver will provide destination or navigation input, but is not expected to be available for control at any time during the trip. This includes both occupied and unoccupied vehicles." (emphasis added)

In my mind, if a level 4 vehicle is unable to reach a given valid destination without assistance, that would be considered a failure.

In reality, macro-scale rerouting around obstacles that the self-driving system does not know how to overcome is not a particular challenge, GPS systems do this easily. The definition doesn't say it has to take the most efficient route. ;)
my (completely uninformed) understanding was that level 3 was more like "level 4 in perfect conditions". So it would need to pull over, or warn the driver to take over if it starts raining or snowing or the road (or it's lines) is uneven or ill-defined. Or perhaps that it's 100% self driving in all conditions on a highway, but still needs manual driving for "surface roads".

Many of those scenarios would allow some time for the driver to take over, and would most likely be able to pull over if the driver can't or won't for some reason.
Level 1 is Driver Assistance. Level 0 is No Automation. It's literally a graphic in the report... Someone kindly posted the pdf link if you'd like to read it.
Its a bit of extra work to get my passwords but my entire "internet identity" is stored there so I don't mind the paranoid security.
I would suspect most are.. I doubt they read HN though
Yes but how much are you ready to pay to divide your waiting time from 3min to 1min?
Tesla’s Autopilot Vindicated with 40% Drop in Crashes
I read then take notes on what I read, summarizing the concept(s) so I solidify understanding.

Once I understand the concept(s), I practice these concepts by creating examples and solving the examples.

Finally I analogize and connect the concept with previous knowledge, i.e. internet is to spider web and quarternary numeral system is to DNA. Quarternary numeral is related to decimal numeral system in that they encode real numbers to limited symbols.

From there you can create small projects to reinforce a combination of concepts in your brain!
I think it's safe to assume that would be impossible to keep secret. The number of people that would need to be "in on it" is huge.

I can vouch personally that at least one civilian department doesn't do this.
Sponsoring visa's for foreign devs would be a huge incentive, I think. Many people would like to live/work in a foreign country but find it hard/impossible to do so without an employer sponsoring their visa.
That design doc seems to mix loose ideas with the current state of the system. For instance, are strings last-write-wins currently, or do they have character-level OT? Congrats on the release - I'm a huge fan of realtime, and I'd like nothing more than to build apps that depend on such a system - but seeing documentation with those kinds of holes gives a really bad first impression.
There's an argument for providing camouflage in the form of boring traffic on the Tor network to help those that are forced to use it, and whose traffic authoritarian governments and nefarious forces might actually find interesting. Otherwise, all the interesting data is conveniently gathered in one place, any given traffic on Tor is more likely to be interesting, and it makes the bad guys' jobs just a little bit easier.