skysight-inc/HackerNews huggingface dataset:
"http://tvtropes.org/pmwiki/pmwiki.php/Main/HitlerAteSugar"

No, that is not the point. Hitler eating sugar had nothing to do with his government. Proportional representation did. That's how he came to power. Look it up.

https://en.wikipedia.org/wiki/Adolf_Hitler#Appointment_as_ch...

"Hindenburg reluctantly agreed to appoint Hitler as chancellor after two further parliamentary elections—in July and November 1932—had not resulted in the formation of a majority government."

They had large number of splinter parties, all of whom hated each other's guts, and which were unable to form an effective government. The Nazis were not a majority (no one was), but were a large, well-disciplined bloc. The rest is, as they say, history.
Yeah, that's cool, but how about a garage?

Those doors lift quite high, and some garages or underground parking lots, have low ceiling. Though, this car is so expensive that probably a customer will have a garage the size of normal house..
I cast Netflix, HBO Go, YouTube and a couple of different music streaming services. Occasionally even Google Play Movies when there's something that Netflix doesn't have in their library.
You make very good points, and I agree that having Elon as the spokesperson makes the event feel more personal and genuine. I still feel like his presentation manner is disappointing, though. I get that it's a petty thing to complain about, but he seems nervous when he's talking publicly and I find that distracting. I don't want to make it seem like I'm dissing Tesla or Elon Musk directly. I liked the launch event otherwise.
I am not sure what to make of your first point, as it is not clear that we (HN) have a common understanding of what is meant by "fragmented". Is it a government which does not pass laws or spend money on specific programs which different groups oppose for varying reasons, or would that be a unified opposition? Would fragmented government pass a great many laws and spending programs with no unified goal, to appease disparate interest groups, or would this be a coalition?

>Distinction without a difference. Even if the focus is on the candidates, they're all firmly partisan with little variation.

Does it matter whether the politicians are partisans unified in party goals? It seems that in the USA, politicians frequently go against their own parties, relative to other countries. Is partisanship in favour of non-party aligned interest groups part of what you perceive as a problem? Please describe a non-partisan politician, party, or system.

Lastly, I think we can all agree that a single anecdote does not make the case for or against the PR system, though it does show that PR is not a sufficient condition for stable and everlasting democracy.
I wish we (both potential users, and developers of these languages) would start seeing these things more like enhanced tests than perfect manifestations of mathematical truth.

Nobody would ever question the value of a unit-testing framework because it requires you to instantiate objects and doesn't hit the database and the ORM. (Yes, there are testing strategies that cover all of that, but for unit-testing application logic, you generally want to skip all of that.) Dependent types should let you do the same thing that a test would do, except exhaustively: if you add a new email address to an account with N addresses, you can then index N+1 of those addresses, but no more. The N-address account coming from the ORM isn't considered an "escape hatch" that "weakens the test system": it's just how it works.

I want stronger types for exhaustive testing of business logic on individual functions -- the sort of things that a comment would say (e.g. "Returns a subset of this parameter if it is provided, otherwise..."), except machine-checked. I don't need my entire program to have a type that Messrs. Curry and Howard like. In all probability, my entire program is structured as an infinite loop anyway.

I don't know that any systems really let you get here (other than maybe extraction of particular functions into Haskell or ML, but really the people who would voluntarily write their entire app in Haskell or ML are not the right target audience).
You can be an asshole even without breaking the law.
A few minutes after that part in the video he shows a demo of how it "uses sensors to adjust the door opening arc" or something and discusses the height issue.

Edit: It is at 20 minutes in.
People get Teslas because they want something different. If you put the normal carnival barker salesman up there prospective customers will come away thinking "Hey, that kind of sounds like every other pitch at the car show I went to."
I assume there are multiple steps you have to take in order to reach that performance, ie having to put it into ``Ludicrous mode'', then forcing the pedal to the floor. I assume it isn't something that could happen easily on accident.

It's also notable that Paul Walker wasn't driving when he died.
I drove through all of Utah for the last three days, and there were Tesla destination chargers at both best westerns I stayed at, as well as a lodge at Brian Head near Bryce Canyon.

Charging infrastructure is the least of Tesla's concerns. They deploy, on average, one new supercharger station each day. This does not include the destination chargers I mention above, which are much cheaper and faster to install.
At least you can backup files. Applications, not so much...
I'd add that data should be stored in a standard open format, so that an application failure won't prevent you to 1. keep your data (because backups) and 2. use your data (because open format)
Serious question, can you still put a bike/ski rack on top of your roof? The more I learned about this car the more I went "that's cool, but WHY????"
US Rail Construction Costs
$140K and "falcon wing" doors only in the back. Epic fail. They seem like an afterthought that way. Sure, you can open them in tight spaces, but you won't be able to get into the car because the front door is basically the same as any other car door. Why bother with the back doors then?
An unattractive photo does not always mean an unattractive person.
Autonomous micro buses and some intelligent route planning algorithm have the potential to make the current "single human transported by 1t of metal" model obsolete.
> Most (in)famously, the Weimar Republic used PR. That didn't end well.

Just look at the fixes the German Federal Republic put into place in 1949. That turns out to work quite well, allowing party plurality while still maintaining effective coalitions.
I'm more interested in Car-as-a-Service. Basically, I pay a monthly fee for car access from a fleet in my metro area. When I need a car, I text a pickup and dropoff address to dispatch, which runs the numbers and sends me an eta. If I know I'll be making a trip ahead of time, I can bid for an appointment though a web or app interface which lets me see what prices will likely win for certain time slots and trips. That way dispatch can optimize fleet size, travel time, and eta by charging a monthly fee for system maintenance plus trip fees for each trip. All it has to do is be cheaper than what I pay now to maintain my own vehicle.
Infographic – how to turn your idea into a prototype in 5 steps now
"The stalemate of the past two terms in the US doesn't say much for winner-takes-all."

You think it's bad with two parties who can't agree on anything? Try twenty parties who can't agree on anything.

"Ah, you're just trolling."

No, I certainly am not trolling. The multitude of parties in the Weimar Republic, which could not form an effective government for two entire election cycles, were directly responsible for Hitler's rise to power.
"You have zero expertise to be saying this."

This is 100% false.
I do bringup on these platforms. I know a lot about them.

"I'm going to favor the industry's interpretation of this a bit more than your anecdotal, occasional compiler-writer knowledge.
"

Dude, i literally do the toolchain bringup on these platforms you claim i have no knowledge of. This is not "anecdotal occasional compiler-writer knowledge". This is "I get paid to make the stuff you keep talking about work fast and get good battery life out of it".

If what you say was true, then one would expect that when they were brought up, they would have worse performance and better battery life.
Instead, the exact opposite is true in most cases.
They have slightly better performance, and much worse battery life. Try it sometime.

Battery life is gotten back mainly through .. wait for it ... compiler optimization ... to speed up the software so things can sleep faster.

Not to "move things onto the little cores to save power", as you seem to think.

Since you want to attack my experience, remind me again, what
background do you have in this again?
(FWIW - I would stay away from this argument line as it is unlikely to serve you well)

As swetland (who was android's main kernel guy for a long time) pointed out to you, you literally have no idea what you are talking about when it comes to CPU sleeping and what the main power policies are.

BTW, much earlier i asked if you had anything other than self-serving industry press releases to back up your claims. I'm guessing the answer is "no", given what you've written.

Anyway, i'm going to stop responding now, because i'm just some anecdotal compiler writer, and clearly i can't compete with your vast knowledge store and experience on this one.
I once heard Dave say who knew who SLJ was, and he directly denied it was himself.
Well aware of the history, did not find it immediately relevant.
Also, Steve doesn't sell shares of most/any of the companies he invests in, he donates them.
Another more obvious solution is to get rid of congressional districts and then apportion the seats down the list of highest vote getters to lowest vote getters until there are no more seats (across the entire state).
Why not? Florida was the new Cuba after the revolution.
Uber's technology is reportedly 'hanging by a thread'
> Because there is an opportunity cost to having an SD slot. Remember it takes up physical space inside the device, which could be used for more internal memory, battery space et

There are opportunity costs for everything, but microsd readers are a cheap, mature, commodity technology that's been in top-end phones for ages, its impact on the phone's available real-estate for battery and memory is nearly negligible.
I understand. I guess I just find that that hesitancy adds a lot for me, makes it feel less corporate and more like just another guy showing off this cool thing he made and which he really hopes you like. I wonder how long it's been since a car company announced a car this way. I don't remember EVER seeing a car reveal in the first place, actually. Just one day you start seeing commercials for the ALL NEW 2017 NISSAN ALTIMA etc etc
The State of JavaScript on Android Is Poor ... we need to start considering alternatives for the Discourse project.

Really buried the lede there.
I hope it's release on time, but Musk doesn't have the best track record when it comes to timing.
Something Borrowed – Kenneth Goldsmith’s Controversial Conceptual Poetry
I don't think this is really aimed at people who "take them for longer camping/ski/road trips," though.

For a while now, SUVs, like the Audi Q5 and the BMW X5 that the Model X is trying to compete with, have been basically a "cooler" alternative to minivans. The key feature they share is the space and seating that they provide, but having off-road capability is useful to a small subset of SUV owners and is just there to add to the cool factor that differentiates it from a minivan.

Tesla is trying to grab the wealthy, 30-to-50-something parents whose focus on luxury and style prevent them from buying a minivan, which would probably suit them and their driving habits better than an SUV. Take a look at wealthier suburbs of San Francisco (e.g. Marin) and you'll see tons of luxury SUVs without a speck of mud on them.

The ads for these SUVs really reflect this trend. Audi demonstrates the prevalence of SUVs-as-kid delivery machines:

https://www.youtube.com/watch?v=soJs3ZUYtLI

While Lexus tries to present the same car Audi was bashing as sexy but safe:

https://www.youtube.com/watch?v=Rohl8v_IGKk
America doesn't have loads of money. Individuals living here have money. There's a big difference.
I had a similar experience. After two or three times losing large amounts of work, and finding absolutely no way to get back to an older revision in the free version, I stopped using the product. I may have gone to the premium service if it hadn't been so buggy.
The intent of the Senate was to preserve the independence and influence of the states. If you splitline-partition the country, you are eliminating the means of achieving this goal, and it would be simpler to abolish the Senate. It can be argued that the current system of directly electing Senators has already made the institution unrepresentative of the interests of the state governments, but your proposal would further alienate Senators from their home states.
LA's Nuclear Secret: Part 2
No, it is Apple back to being itself.

The old Apple was even more proprietary than Microsoft was.

All hardware and software were Apple specific.
I guess it's about measurements through my videos, so:

1 - 5.1;

2 - ART;

3 - nexus 5;

4 - I'm measured time with `adb logcat`, it was more accurate than in article, but values are almost the same.
He didn't actually say that Walker drove the car.
Yes, it was easy to understand.
This drives me mad! Even simple Excel files break Sheets. Google pushes users into using a unsuitable product for what? Short term market share gain?
I assume she did not buy it though. On top of that, she is probably a bit older and thus would not fall into the demographics of this website, which is targeted to people who share stupid/funny FB posts with the need to censor them.
The car looks absolutely beautiful. Sadly, as much as I want to go electric, I have no use for it, at $140K for an SUV I expect a lot more than this.

I think the falcon doors solve a non-existing problem while parking. I can't remember the last time this was an issue, with or without kids, with or without cargo or bags on the back seat of either an SUV or a minivan.

The same is true of the third row seat. We've had both SUV's and minivans with third rows. Never an issue, even for adults.

The falcon wings are very cool from a technological perspective but a complete non-starter for me. Bikes, surfboards and other stuff need to go on a roof rack. I can't see any way to transport our Maas rowing shells on this thing. They are 24 feet long and have to go on the roof. I've even brought home 2x4's and sheets of plywood from Home Depot on top of SUV's and minivans.

Can you open the falcon wing doors by hand if you have no power? I'd be surprised if this was not possible.

Towing is another aspect of this car that is likely to disappoint outside of a stage. If anyone expects to be able to do 250 miles while towing a 5,000 lbs trailer on anything other than an absolutely flat road with a 60 mile per hour tail winds they are going to be disappointed. As drag increases so will current draw and electrical losses, which will be constant and very significant. Weight is more of a factor on non-flat roads, which is nearly 100% of them anywhere I've been. I'd be surprised if the actual range while towing is much more than half the rated non-towing range.

What's good?

Crash performance is fantastic!

HEPA filter: Unreal. Nice.

It looks amazing.

It's electric!

I sincerely think Tesla should have come up with a new acronym for Model X: LUV - Luxury Utility Vehicle. That, no doubt, it is.
> Try twenty parties who can't agree on anything.

What, multipolar politics, like modern Germany or Sweden or Australia? Wealthy, socially progressive countries with high standards of living?

You're just spreading FUD. PR was one of a great many factors involved in the rise of Hitler, but keep in mind that the US system also let a president get elected that didn't win the popular vote, who then went on to destroy a foreign country to drum up domestic political support. Literally hundreds of thousands of people died in Iraq to make Bush more popular in the US, despite Iraq having nothing to do with threats to the US. But it would be stupid to say that the US electoral system was directly responsible for the Iraqi bloodbath.

And as I say in the other comment, there are a shitload of countries using PR that aren't fascists.
Queue the pundits who will claim that the reason advertising is supposedly effective is that you cannot physically ignore the brain washing. They always pop up to claim that no matter how strongly you believe that advertising's manipulation does not affect you, it does. That your subconscious sucks it all in, regardless of the effort your conscious mind makes to filter it out.

I go out of my way to stop purchasing products whose advertisements I see too often, or who use emotional advertising that has nothing to do with their product. One example: I stopped buying Dove products the very first time I saw one of their "real beauty" campaign ads. Bloody hell, you're only selling soap. What on Earth makes advertising people think that stroking the egos of people with body image issues would work? Perhaps it works on a lot of people, but I sure as hell am not one of them.
There's some template Haskell magic that generates QuickCheck properties for the typeclass laws for your instances for you. That's taking care of some of the article's worries.
Yes, that might have been a better solution.

But given Dart and Go I am not sure if it would have been a good idea in what concerns language evolution.
Is the QA role dead?
I've seen a few "Tinder for <X>" apps out there that try to emulate the swipe model for things like hiring, events, business connections, etc. I haven't found any of them useful; I think they overgeneralize the Tinder model.

Tinder works because the criteria the user is selecting for, physical attractiveness, really can be evaluated in a split second from a single photo.

On the other hand, the question of "do I want to hire this person" requires carefully evaluating their skills, credentials, education, location, availability. "Do I want to go to this event" depends on the kind of event, location, time, and other plans I might have that day. In both cases the photo is irrelevant. Once you have to look through each item for 10-20 seconds bare minimum, the Tinder model doesn't make sense anymore.

Another key UI consideration is filtering. In the hiring and events examples, you can easily filter algorithmically by skills, years of experience, event type, or location. But physical attractiveness can't be algorithmically filtered on. So Tinder occupies a unique niche where the selection criteria is 1) impossible to automate because it's vague and subjective but 2) easy for each individual user to evaluate in a split second.
There's been plenty of industry penetration for languages with more advanced type systems. Not sure why there's the arbitrary line being drawn here of dependent type systems.

Some of this is about the penetration of certain ideas. Like, we had to wait for multiple cores on commodity hardware before functional programming started to cross over from the academic community to the professional web programmer.

That shift helps your average programmer to think a bit more mathematically, and then it's basically about whether the programmer starts to appreciate types - and to me that seems to be less about purity of argument than the professional atmosphere the programmer is in. Are you prototyping and moving fast and breaking stuff, or are you caring more about longevity and correctness.

And then once you start getting more into static typing and functional programming, a lot of these other ideas start to become more attractive and intriguing.

It's like a lot of ideas that circulate around for a long time before they really take hold; you're waiting for a certain critical mass of system inputs and momentum, and then things can start to change really fast.
And vice versa.
OneNote works fairly well on Windows. The main issue I have with it is usability.
Performance on Macs and iOS is fairly terrible though, from syncing lag, to input lag, (on an iPhone 6) to long load times.
Most importantly for these purposes, the range on the Model X is sufficient to drive from Palo Alto to Lake Tahoe (220 miles) or Yosemite (165 miles) without issue.
> almost a decade

nice how we went full circle with every app looking like X11 ones
India's Open Data Portal
"As a comparison, Mach’s micro-kernel without device drivers has 25530 lines of C code (calculated, we’re told, by counting semi-colons). By the same metric our minimal kernel is only 4622 lines long, less than 1/5 the size. In fact, our kernel with every file system included is still less than half the size of their micro-kernel."

Plan 9, A Distributed System
Dave Presotto Rob Pike Ken Thompson Howard Trickey
1991 (I think)

'nuff said
I think this is exactly what's happening, but through the back door: rather than everyone switching to Haskell, you see features pioneered by languages like Haskell being implemented in more mainstream languages.

Also, do not forget Haskell's roots were to create a programming language environment where people studying compilers could easily experiment with new features. Hence Haskell's large number of language extensions.
Insurance companies are pretty heavily regulated for just this reason.
> - Singapore's total land area since independence: http://beta.data.gov.sg/dataset/total-land-area-of-singapore - Singapore has been constantly reclaiming land since independence

That chart could really use being anchored at 0 km^2 on the y axis.
I had a side impact in my Model S recently. When he showed the slide with the side-impact versus other cars it made me realize that I was lucky to be driving my Model S, since my car looked like the Tesla in the picture, and it likely could have looked like the other picture.
Check out right at 25:00 into this video, they have a pretty slick bike / ski mount that attaches to the rear of the SUV and still allows access to the trunk:

http://www.teslamotors.com/modelx
If you look at the livestream, the target is not for outdoors but more toward families. Car seat was mentioned numerous times and the having front storage for strollers are great. As a new dad i barely use my suv for outdoors anymore (baby gets fussy) and my trunk is always 75% full because of the stroller.

Model X is my dream comes true car. Except I can't afford it :P
If your threat model involves wrench, you are OOL. Fortunately, its not true for most of us.
That would be great. Possibly create a page with summary points, book, narrative, take-away highlights, and a link to the video. Then people would know at least roughly what it's about, and have something to hand as they watch the video.

And thank you for the positive response, and apologies for being rather grumpy in my reply.
after a certain point the validation overhead of advanced type systems is just not worth it.

But what makes you think you need dependent types to do full specification and verification of a program? Instead you could use program logic. Write the program in any language you like and later, when it the program is finished verifiy that it meets its specification using program logic. This separates programming from verification completely. In my opinion this is the future of certified programming. Dependent types are too heavyweight to support any conventional programming process.

Another advantage is that unlike Curry-Howard based verification, program logic does not have to be constructive, instead you can use classical reasoning with excluded middle. This tends to yield shorter proofs.

See Microsoft's Daphny [1] or CFML [2] for prototype tool chains implementing program logic based verification. Facebook's infer tool [3], while not allowing full verification, is also based on program logic.

[1] http://research.microsoft.com/en-us/projects/dafny

[2] http://www.chargueraud.org/softs/cfml

[3] https://github.com/facebook/infer