skysight-inc/HackerNews huggingface dataset:
Cool, do you have a source for that rule of thumb? That's a new one for me. That's about 8HP to the wheels to keep it rolling at 100km/h right? So obviously more than that from the engine.

Re: measuring at battery input rather than output, that's a good point. Would definitely be higher that 50% charging efficiency though. I would guess at least 80% - probably > 90% if you charge it slowly enough. (Haven't done any research on Tesla chargers or batteries specifically, but I did used to be a power electronics engineer. High charging efficiency is important both for cost and, perhaps as importantly, because a slight reduction in efficiency can mean a lot of extra heat that you have to deal with.)
It's amazing how many people on this thread are keen to go for the easy, rights-restricting solution (just turn off the internet locally for a bit!) rather than the harder question: why are people primed to riot? Like Ferguson, it's usually a combination of longstanding grievance and trigger event.
A Different Kind of Hack: Starkist Class Action Settlement Means Free Tuna
Find out if your team is happy or not – VibeCatch gets Slack integration
Starkist Class Action Settlement Means Customers Get $25 in Cash or $50 in Tuna
Social skils beats Tech :-) a piece written by a non techie and seems to be written to support the old professions medicine and law.

Worried that those greasy engineers might be getting to close them in terms of salary and status?
Free Tuna Being Offered After StarKist Settles Lawsuit
He doesn't say or even suggest that they are naturally better. Anyone who has an interest in the topic knows that boys and girls are treated differently by parents and society. Perhaps if boys were given a chance to express any emotion other than anger and encouraged to resolve disputes without fighting they would also be better at these skills.
Alzheimer's Due to Borrelia Infection, a Crowdfunded Research
Sure it is a factually incorrect statement. J&K is special in that it has been given special powers of autonomy etc. But I wonder what you mean when you say disputed, just because someone starts to dispute that something of mine belongs to them doesn't make it disputed. The agreement of accession into India should make it pretty clear.
I've seen Algebra:Ch0 around but haven't picked it up yet. Thanks for the recommendation!
Sounds like every startup.
There is an argument to be made here. The majority of the money is in men's sports. Arguably that means that's where the best trainers, nutritionists, and sports doctors go. The edge that those things can give you cannot be discounted.
> Brazilian Jiu Jitsu was born in the favelas, any martial art that was not brutal would be of no use there.

Do you know the difference between martial arts and martial sports?

Fundamentally if there is competition, it's a sport ergo they don't teach you the lethal techniques. Also differentiate between lethal and brutal.
I disagree.
You're referencing to specific _tools_ being used as a de facto standard and this is certainly true to some extent.

However, the incompatibilities come from how these tools are configured: there are numerous ways of interfacing/configuring X.org, syslog, networking and wireless tools, etc. Generally each distribution comes up with its "own true way" of doing it. This introduces a lot a pain for anyone trying to come up with a generic way of working with underlying subsystems. It's not impossible but it takes a lot of effort, is very fragile and needs an ongoing maintenance to keep up with the changes introduced by the distributions.

My point is that systemd exposes a set of capabilities and known interfaces you can rely on being there. This is far from being enough but it still an improvement in my eyes.
Some issues I had last month with ubuntu linux:
1. When I plug my UHD monitor, linux tries to use 4k@60hz, but my video board does not support this, so no video signal.
2. tried to use latest intel video drivers, so I had to upgrade first ubuntu
3. after upgrade no more GUI, only text mode
4. solved the GUI issue, no luck with the wrong resolution/refresh rate.
5. using xrandr command line I can set 4k@30hz.
6. using black magic I can set 4k@50kz.
7. a couple of days ago the mouse cursor had disappeared (mouse still working). Random advices from the internet did not work, had to reboot
8. cannot set mouse speed from the system settings, I have to do it from the command line with some visual parsing of xinput commands.

This is all I remember now :)
> Does anyone truly believe that this is not the case?

Of course! Especially with the "naturally" part. Biological differences in pertinent cognitive abilities, while they certainly exist, have never been shown to be too big (certainly not big enough to be the major cause for observed differences in representation). It is certainly logical to believe that most observed differences are mostly explained by social causes.

> 'Gender equality' doesn't mean that everyone should be 'the same' but rather that everyone should have equal rights.

Not exactly. Equal rights implies legal rights, and gender equality (as well as racial equality) goes beyond that. The idea is that the sexes (and the races) be treated similarly in society, and not have their choices limited -- not just by laws but by hidden biases which translate to social pressure. The desired result is equal power not equal rights (but, as you correctly note, not "sameness"), as rights alone are a necessary but insufficient condition in the change of the power distribution.
This is what I receive when I send them e-mail for canceling Auto-Renewal.

Dear Customer,

Thank you for your message.
Please be advised that this inbox is not being monitored and you will not receive a response.
If you already have an open support ticket, please reply to the last message you received from us.
If you do not have an open support ticket please contact us through the contact form at http://www.bitdefender.com/support/contact-us.html
Once we receive your message we will respond in the shortest time possible,

Thank you for your understanding,
Bitdefender Customer Care
> validating the utility of those abstractions on their "rigorous mathematical foundations"

Some Haskell users may think this, but I think the usefulness of the foundations is not derived from rigor. Instead, it is derived from the wealth of knowledge we have about mathematical structures which makes them easier to reason about. So by linking the programming structures you are using (e.g. monads) with associated mathematical structures (also called monads[1]), all of the mathematical knowledge surrounding that structure suddenly becomes available. This is rather like how doing numerical calculations with matrices benefits from the wealth of knowledge about linear algebra.

Another "mathy" aspect that Haskell and similar languages have is that they like to start with a few fundamental constructs and build everything else within that system. This is more a design philosophy than anything, but I think it does have its advantages in that it results in better composablility, since everything "comes from the same place".

As far as the relationship to cognition, I think Haskell will be better in this regard if you are mathematically minded, because you will understand programming constructs from their mathematical roots. For example, I had an easy time picking up monads because I knew the category theory version. It could be argued that once a person learns these concepts they are given a better means of reasoning about programs than other languages, but I suspect that largely depends on one's intellectual leanings.

[1]: https://en.wikipedia.org/wiki/Monad_(category_theory)
I would really like to hear your solution to the problem. When millions have to relocate to avoid being murdered/raped. When thousands are killed/raped and a lot of people take up guns and start killing innocents. I would love to see your solution to protect freedom of speech and contain the situation. However I must say, winds of change are arriving and the situation has improved a lot despite continuous and desperate attempts by ISI fringe groups to portray otherwise.
It Was Easier to Give in Than Keep Running
"Joker plasters flatscreen of sufficient size on the back of his truck."

Oh, yeah, because someone will buy a truck and spend hundreds of thousands of dollars on it and then 4 or 5 thousands more on screens in order to make "jokes".

Jokes that could kill someone and put her in jail, destroy all her wealth, and possible harm her-kill her as a result of an accident.

"System malfunctions and shows old image rather than present image."

Oh, man, some people are really just too frontal lobe- "inventing scenarios that will never happen" and then worry too much.

My company does military, aerospacial life critical stuff. You make it sound like making a screen shut down when something is wrong is magic or the hardest thing in the universe(because nobody else before faced the problem of detecting wrong things automatically...).

The probability that technology fails in uncontrollable ways could be done way less(1/100 or less) than the human failing rate(e.g heart attack on the driver, or he being slept on the wheel because he could not sleep for any reason), or the probability of the driver behind the truck making a mistake(enormously high, 0.1 or so, most of those are harmless "warnings") because he could not see what is in front.

"I'd never ever want to rely on what a medium under someone else's control displays when I want to overtake a vehicle"

Have you never used traffic lights? After all , a "joker" public servant could program two green lights on a cross on those(external control) displays as a "joke". Or they could malfunction and make people die...

Traffic lights are nothing more that green LED lights controlled by PLCs. Someone could open the PLC box, program them badly and create car or rail accidents. Better not use traffic lights at all, or go outside, after all, a meteorite could strike us and kill us.

I have been in craters created by them(meteorites), it is serious.
"Those shopping cards" probably means coupon cards. It doesn't matter how you pay if you also put in your personal QFC number at every transaction.
The context:

http://www.businessinsider.com/its-not-worth-it-linds-reddin...

Also:

http://www.lindsredding.com/2011/10/12/my-shits-fucked-up/
A much overlooked alternative to installing sketchy addons is to simply disable Javascript by default.
> However, the gender equality being fought for and pushed in the media is the one of conveniently pretending there's no biological differences between genders when it suits you, and then complaining that different results must surely be a result of conspiracy of one gender against the other.

Not at all. The idea is that the sexes (and the races) be treated similarly in society, and not have their choices limited -- not just by laws but by hidden biases which translate to social pressure.

Most of what you call "gender equality being fought for and pushed in the media" is actually the ideology of gender equality which was formed after studying the results of decades of research. OTOH, most of its opponents base their opposition on nothing but their personal perception of the world, which is, of course, skewed and very inaccurate. Like in some other issues, there's a huge knowledge gap between both opposing sides.
I never did either of those but more commonly one could:

3) Join a web-ring

4) Add a link in Usenet signatures

5) Ask to be included in the WWW Links section of your interest group's magazine

Or

6) Not worry about discoverability at all because the Web wasn't about growth and profit

My preference as a publisher and reader was for web-rings, they exemplified the attitude of sharing and mutual assistance on the early Web that has been largely lost nowadays.
I can see this being used mostly for advertisement
:/

Wait a second, these videos are not real-time!
The onus would be on you to prove that this "edge" explains the entirety of men's domination in sports. I don't quite know how you'll explain away in social terms greater muscle mass, greater testosterone, and all other physical differences, but you are welcome to try.
Show HN: ObjectDiffer – a C# library for diffing objects
You are correct, however the problem is with the large % of illiteracy/poor education. I hope things will improve once the society is better educated.
I largely prefer paexec. The problem with paexec is its strange build system — you have to build mk-configure before you can build paexec.

Unless you use Debian, where it is already packaged.
I would; though for me going out to eat with friends is more about the "going out with friends" - where we end up is a fairly minor detail
The Williams sisters had a lot more money and access to better nutritionists than Karsten Braasch, who was placed a lowly ~200 in the ATP rankings (and he used to smoke cigarettes, also). Nevertheless, he beat them 6-1 6-2. From here https://en.wikipedia.org/wiki/Karsten_Braasch:

> Braasch competed in a "Battle of the Sexes" contest against Venus Williams and Serena Williams at the 1998 Australian Open when he was ranked 203. A decade and a half older than the sisters, Braasch was described by one journalist as "a man whose training regime centred around a pack of cigarettes and more than a couple bottles of ice cold lager."[2] He nonetheless defeated both sisters, playing a single set against each, beating Serena 6–1 and Venus 6–2.
The Minitest Cookbook
My only concern would be that it might encourage people to cut in front of semi's more often. They don't stop very fast :\

But if people are keeping that in mind, it's a really great idea.
>If humans are being replaced with computers, then there will be need for fewer managers, supervisors etc. This would cause a decline in demand for people with "human skills" also.

This doesn't cause a decline in jobs, any more than the decline of mainstream farming (90%+ of the population used to be farmers, but in the last few centuries it's less than 3%) caused the majority of the population to be unemployed.

What it causes is more jobs in other areas. Or alternatively, it makes everything more profitable and therefore allows the relevant companies to bloat themselves up needlessly with more layers of management, because they can afford it.
OP's statement, as I understood it, was that the people who will get their lives saved by this new system, are the people who overtake trucks recklessly without proper visibility, a.k.a assholes.
The first one isn't an issue. What you'd find is the so called joker will be found liable, both criminally and on civil terms if it causes an accident. I'm sure it would happen eventually, and that it would be an extraordinarily rare occurrence, for the same reason people don't regularly go around telling blind people to step out into traffic.

Why would they be found criminally guilty? Intent to cause harm will bury you. There's no other reason to put the false empty road indicator up, other than to cause someone to make a mistake. There'd be next to no debate on this.
hi~
I have tried the cassandra-mesos scheduler (cassandra-mesos-2.0.5-1.tgz) in our Mesos cluster, it worked very well, thank you.
Also I found that it runs version 2.0 cassandra at mesos slaves, so that I cannot try the 2.2 cassandra about json support (http://www.datastax.com/dev/blog/whats-new-in-cassandra-2-2-...).

My question is: do you have newer version of cassandra-mesos binary package for us to try it out?!

thanks again

Kuo-Shou from Taiwan
twitter @tsai_kuo
On a formal level, that seems true enough. Plus, they are using unconstitutional means to “protect the constitution”. I'm starting to wonder whether agencies like that are actually worth the trouble they're causing.
One should note that in cases of communal violence and riots, indoctrination plays a bigger role than grievances.
Nice, carry on the FUD. You are conveniently ignoring UP, Bengal and several other states where violence is a daily norm. But because Modi is closely related to Gujarat, so it is the one singled out.
Show HN: Expire – Less waste, more taste
I wonder if this will be quick enough to trigger a cat scarer: water spray, high frequency tones or flashy lights
No, no government should ever be able to do this. Why? Because when you track it down to the person getting the switch flipped, it is always someone with an interest not serving the whole, a.k.a. private interest. And the government should serve the whole, otherwise it is oppressing a part.

And in regards to your argument — the longer you keep the immune system from exposure to a threat — the longer you allow the threat to evolve and become even more dangerous. Let the people learn what is hoax and fake. Yes, they are perfectly able to do that.
Then this might be worth checking out,
video: https://www.youtube.com/watch?v=DMNSvHswljM

story: http://www.wired.com/2014/08/how-to-use-your-cat-to-hack-you...

Not sure how you could _not_ find small gps units nowadays.
Have a look here, for example: https://www.sparkfun.com/categories/17
0.75% TER is still far too high (like, charging at least three or four times too much) for something that is a passive index.

Many indexes are 0.15% and under.
I literally can't understand how some agencies can just go ahead and "shorten the yellow light timing". In EU the length of the yellow light is mandated by law and a small town in a middle of nowhere can do nothing to change it. There are a few exceptions - like in Portugal light changing from red directly to green, but no one anywhere has any power to change the length of the yellow light timing. It's mind boggling because EU consists of different countries which could very well make their own rules but decided to standardize them so all EU citizens can drive all over EU and expect the same rules everywhere. Yet US is a single country and can't have consistent driving rules??
Automating large server farms is a very different job from being an Independent Software Vendor (ISV).

One difference is that as an ISV you don't have a lot of control on the way the system is setup, you have to start with assumptions and then work from there.
-> Your job is to make your software work on fragile systems.

When you are dealing with managing systems at scale, hopefully you know exactly what you're dealing with. You don't have to make assumptions, you _control_ what components are on each box.
-> Your job is to make your systems run broken apps :)
Author of the website here: Byzantine Paxos fundamentally is a very different protocol than Multi-Paxos because of the failure model it supports. The variants I included are all variants of the Multi-Paxos protocol. Because of this, even if it includes Paxos in its name it was not in the scope of this work. I can maybe extend the content of the website to cover all protocols related to Paxos and underline how they are related and how they are different and include Byzantine Paxos in that discussion.
Somebody threw acid on a girl's face. Indian govt's response, forget the criminal, ban acid sale.

The same always. Definitely a freedom-of-speech issue, but nothing new.
So is our goal saving lives, or saving lives of non-assholes? Should our airbags have "asshole detectors" and not deploy for people who were "asking for it" and driving dangerously? Of course I am being sarcastic, but I can't sympathize with OPs statement, because it does look like they dislike safety measures because they could potentially help someone who drives like an asshole. I am pretty sure they will continue driving like assholes even without it.
True no tech related.

In the other hands is a business idea out of the business schemes, so revolutionary for the concept.
That why I thought was appropriated.

Maybe scary alliance, but seems behind good intentions, wish more company would do it, but without all this marketing crap around.
To be serious: This was my first thought, too. Exceptions are essentially one kind of monads, and any complex compiler or interpreter could make good use of more types of monads.

I believe the paper of Wadler makes this most clear. Some time ago, it was a real eye-opener for me:

http://homepages.inf.ed.ac.uk/wadler/papers/essence/essence....
This could be easily solved by tinting the image into red or blue though. I think.
Well how do you define "naturally better"? If you live in a world that is dominated by people who are not like you, with more political power, more money, and more physical strength, wouldn't it be logical that you would learn more how to handle people than them because you require their cooperation more than they require yours? I don't think "naturally better" must mean genetically better. In this case it would mean formed by society in that regard and therefore better.

"Naturally better" could also mean a result of survival bias. There are hundreds of reasons why there are more male physicists than female ones in the line of history. But we see more of them. So one simple (but as we know now incorrect) conclusion might be that men are better at physics. In the same regard we could observe more socially skilled females in the work place because these are the ones that make it there.
> which makes them easier to reason about

Easier to reason about by whom? Most programming models have their own calculi which are exploited by their respective verification tools. They don't, however, expose that to the developer.

> I think Haskell will be better in this regard if you are mathematically minded

I think that Haskell is better if you are mathematically minded and interested in thinking (a lot!) about abstractions. I like to keep my abstractions cognitively simple (primitive, even), and my algorithms sophisticated and powerful. I'd rather the people writing the verifier put their mathematical leanings to use on the relevant calculus, while I use mine on the algorithmic domain I'm working in.

Just like I don't require the developer using my database to be familiar with data structures and concurrency, I don't want those interested in formal verification requiring me to change my programming style to make their job easier. In fact, their job is quite the opposite: provide verification tools that are useful for the programming languages that make for a good cognitive fit, rather than design languages that make verification easier with the (possibly misplaced) hope that by some unexplained coincidence, a language designed to make a machine's reasoning easier would also do the same for a human.

Software verification is a fascinating algorithmic topic. Language design is a fascinating UI endeavour tasked -- like all UI -- with coming up with great cognitive abstractions. The two should, of course, cross-pollinate one another, but shouldn't become the same. Language designers should spend their time thinking how humans think about computation and how they interact with computers, not how to make programming models fit certain branches of math.
The essence of functional programming (PS, 1992)
There is a certain threshold below which this will work and beyond which it will backfire bad; if the majority is big, the message spreads nevertheless and more underground and uncontrollable ways.

Also, this is not justice & anti-freedom.