skysight-inc/HackerNews huggingface dataset:
At least wait until the man is buried.

The right-winged politicians are posturing to make this a presidential election issue, maybe even a big one.

Electing a president who will in turn appoint a SCOTUS Justice may sway more people to vote. Perhaps the the politicians believe that they can use the normal wedge issues (abortion, death penalty, guns, etc.) to have a strong showing on election day.

I would tend to agree that an open SCOTUS seat would motivate more conservatives to vote. But, these things have a way of back firing for politicians and a lot can happen between now and November.
In early rust, you actually did need to explicitly write `move` to move a value. However, this was extremely annoying as you move values a lot so moving was changed to be the default, which is far more tolerable.

EDIT: There still is a `move` keyword, but it is used to indicate that closures should take ownership of their environment vs. just borrow values from it, not to move individual values.
That's one pleasant effect (although a bit orthogonal to what I was referring to), because my default behavior in Rust is to pass ownership which results in that memory being dropped as soon as it's no longer needed.

I guess what I'm referring to is that I think reasoning about the borrow checker is easier when references are opt-in instead of being the default. That behavior is re-enforced by the fact that the language's default is ownership. So I only end up needing to think hard about the lifetime of a variable when I've decided to (or been explicitly forced to) use references. I think it's a good way to reduce the cognitive burden of an already unfamiliar mechanism.

EDIT: This also gets at one of my favorite parts of Rust: so many choices have been made in designing the language and standard library that make it so easy to do things "the right way" (either through those things being the default, or making it hard to do stupid things, etc.).
I'd love to see these people dealing with their every action criticized through their whole life. Now when he dies they can't stop piling on.
Sage is always the best on elliptic curve related stuff.
If you look into the glibc sources you will find time() implemented as always returning -1. Not all systems have a clock. So specifically for linux for instance it will ask the os for the time.
This is the same argument you had before from another perspective, I'll rewrite mine as such:

Trust everyone means you don't have an opinion and you are naive.

On the other hand not everyone is meant to have an opinion [0].

[0] https://en.wikipedia.org/wiki/Positive_Disintegration
I remember it but the language changed so often that I didn't recall this right away. At least it's tried and scrapped and not based on some opinion.
There's methods for handling that safely even down to assembler language or gates. Quite a few. FLINT was first I saw. There's also SPARK with integrity checks that assume hardware or something else might goof. Chlipala's Bedrock can emulate some of it. Microsoft came up with one, Vx86, for their VCC verification system that they applied to Hyper-V. They also did CoqASM and used TAL in VerveOS.

So, all kinds of methods of getting some guarantees out of unsafe code that can be paired with safe HLL's like Haskell.
That's basically how Twitter Snowflake (https://blog.twitter.com/2010/announcing-snowflake) and Instragram (http://instagram-engineering.tumblr.com/post/10853187575/sha...) did it
I full heartedly agree that the courts are courts of law, not courts of justice or morality. However, mob justice isn't justice, either.
I grant you the absurdity of enforcing all laws with machines/computers/robots. I don't think I was as clear as intended. But I do feel that there are plenty of processes and certain law domains that are equally absurd when you make humans enforce them. These would be things like financial regulation, taxes, immigration maybe? Domains where our nuance, context, and consideration (read: bias) can actually prevent and corrupt the enforcement of these laws. Now granted, this depends on the availability of data infrastructure among other things, but if I could clarify the question, I'm thinking about what lessons learned and processes from software development can bring about efficiencies in government that we haven't considered yet. Not some type of absolute computer takeover of government.
With languages like Haskell you can lift many types of logic errors into the realm of type errors.
My experience with mathematica is that it becomes unwieldy as soon as you try to build something non-trivial. But I don't have more that a few semesters of use here-and-there during undergraduate studies.

I feel the same way about MATLAB too, though. For better or worse, I was attracted to a Python scientific computing stack pretty early on.
When you fetch a package with npm, the package will either be : a library(installed locally) or a command line tool (installed globally). You can also run any number of tasks per project (npm run <task>), described in the npm manifest, or execute tasks before or after installing, and before publishing a library.
>Since when have we asked authors permission to add their book to a library?

As far as I know, libraries in the US purchase their materials like anyone else. They have the right to lend due to the Doctrine of First Sale[1], because what they lend they legally own.

>In many places (including the US) if you publish a book it is mandatory to submit it to a library.

According to Wikipedia, in the US publishers are required to submit two copies of a published work to the Library of Congress[0], not to distribute copies to public libraries.

[0]https://en.wikipedia.org/wiki/Legal_deposit#United_States

[1]http://www.ala.org/advocacy/copyright/copyrightarticle/libra...
It's either Messenger or WhatsApp. You can't escape Facebook and they paid US$19 billion for that.
Visit us at
I mean, like in Haskell the hard earned wisdom is that laziness should probably have been opt-in like OCaml making you write the rec keyword for recursive functions. I hope that one day we will get TCO in Rust as it's natural to implement many things recursively.
I also think that's how mobile databases for offline apps should work -- sort of as distributed slaves. If only the backend server has the authority to create unique ids, you end up juggling a complicated set of client and server based ids if your app needs to be able to create data offline.
auto, the new range for and lambdas are my most used C++11 features. Also make_shared/make_unique.

auto ptr = make_shared<T>()

Reads very nicely so I agree that if the type should be somewhere in the auto expression. That is, use auto to remove redundancy. I just wish they would have extended type deduction to lambda arguments so I could do:

[](a,b){ ... }

Instead of:

[](int a, int b) {...}

My understanding is that they're allowing:

[](auto a, auto b) {...}

Bleh.
This is exactly what I've done with my FB newsfeed. You really do have to be ruthless with unfollowing people. But now my feed is just a stream of stories from the Times, Economist, Atlantic, etc. Some public figures post interesting stuff to: Yann Lecunn, etc.
I'd argue that a rich type system shifts logic errors into syntax error. An easy example is time arithmetic. Adding seconds to minutes can be problematic. If you have proper types defined (in any language, pythons types do fine for this) then you need to confirm that addition of minutes and seconds is correct in one place, and the type system will guarantee it's done correctly throughout your code.

A richer type system allows you to move more logic into type system.
Right, but that doesn't address how you acquire/install/configure npm itself, which is one of the main benefits of having gradlew[.bat].
I didn't check those, because the Python script rewrites them to target 0.0.0.0 when combining them.
The other restrictions brought by languages like Haskell catch classes of error you do see in Python.

For example, with django's forms, you are forced to call validation (`form.is_valid()`) before you can get the result of said validation (`form.cleaned_data`)

So referencing `form.cleaned_data` before `form.is_valid()` is incorrect....

If you had to port something like Django's forms to Haskell, you could instantly get rid of this issue because such behaviour is impossible to express in the language.

In Haskell you would likely write a `validate` function that takes a form, and returns either a validation error or the validated data itself: `let maybeCleanedData = validate form`

The type system that makes effects explicit (really, the immutable nature of everything, but one and the other usually synergise well) means that your API is forced to be a saner one.

You can take what you learn from these type systems and bring it back to Python though. Like you said, most errors are logic errors. But logic errors can often be helped along by dangerous APIs. Types and removal of stateful code can give you the boundaries to rule out many designs that can come back to bite you.
Ahh, I see. I live in a non-English speaking country, and I'm very used to correspondence where the author has copy-pasted a correctly spelled word from a dictionary, but has used very non-standard grammar in constructing the sentence. I guess that's why I read it as a grammatical mistake rather than a spelling mistake.
There are plenty of elections re-run every year, it is a possibility.
No one is stopping you from creating your own yum or apt repository. For Fedora you could use COPR [1]:

> Copr is an easy-to-use automatic build system providing a package repository as its output.

> Start with making your own repository in these three steps: 1) choose an architecture and system you want to build for; 2) provide Copr with src.rpm packages available online; 3) let Copr do all the work and wait for your new repo.

[1]: https://copr.fedorainfracloud.org/
Why Ping Is the Future of Social Commerce (2010)
Log aggregations. As you near the top of a tiered processing system, the data can get very big. I'm surprised he didn't benchmark 0mq or nano since they are the extreme lean case, not redis.
DRM directly destroys this "ownership" you speak of. There is no long-term access to a work that expects to phone home on every use.

You seem to be coming from the baseless framework of imaginary property wherein creation of property rights is a bona fide good thing, regardless of whether they're congruent with the underlying physics. However, the base law of this jungle is that copying is easy, creators have DRM, and the public has VHS and P2P.

Copyright is justified by the framework of a tradeoff whereby the naturally-existing public domain is retarded in order to encourage the creation of more works that will enter it at a later time. You still haven't directly addressed why the public should agree to restrict itself from copying media, only for the copyright owner to renege on their contribution when the monopoly period is up.
Just on a purely objective level, isn't "terrible" a reasonable adjective to describe someone who wrote this?

“There is no basis in text, tradition, or even in
contemporary practice (if that were enough), for finding
in the Constitution a right to demand judicial
consideration of newly discovered evidence of innocence
brought forward after conviction.”

Scalia could easily have stated that the Eighth Amendment's prohibition of cruel and unusual punishment would apply to a case where a defendant was denied the benefit of evidence discovered after conviction. No one could possibly have argued with that reasoning, or with his right to apply it. But he didn't.

A good person would have done a very different thing.
You begin to see the problem. :|

More seriously, they're trying to move into the enterprise/private space--but they took on a hell of a lot of funding to accomplish that. Not looking great for the good guys.
What Would Happen If Bernie Sanders Taxed Wall Street?
Besides that there are quite a few Youtubers making a decent living. Also it's more like $100 for every 100k Youtube views.
Interesting, was it a blue screen of death sort of thing?
I recently attended a talk about the growth in volume of rides in NYC that Uber has been providing. It was contrasted against a mostly flat (if slightly declining) volume for yellow cabs (remember, they're not making any more medallions). He blogged about it here: http://toddwschneider.com/posts/analyzing-1-1-billion-nyc-ta... - chart here: http://toddwschneider.com/data/taxi/uber_vs_taxi_pickups_bro...

He deplores those poor cabbies? I deplore all those poor riders who couldn't hail cabs and had to choose between worse and worst options because of the cabbies' government imposed monopoly. (What do you do when you can't hail a cab? Wait for hours? Walk? Ride for hours on public transit that goes everywhere but your destination? Give up on going where you need to go?)

Just like (apparently) most others here, I seem to use Facebook mostly to keep in touch with my family and (close?) friends. I unfollow pretty much everyone but my mom and wife. Facebook turned me on to adblock when they kept showing me ads for a degree when I had already earned that same degree from a better local school (and put it in my info on Facebook - so they were basically shamelessly ripping of the advertiser.) Those things make Facebook about a weekly experience now for me. I keep in touch professionally on LinkedIn.

For better or worse, I get my news on Hacker News moreso than any other place. I don't really even bother with the New York Times or Wall Street Journal any more. Everything in the news lately seems designed to appeal to outrage, and I don't want to participate in that anymore.
Mindmaps for project management (PMI - PMP certification) – full blown website
To add to this, Mozilla have their own ESLint preset: https://dxr.mozilla.org/mozilla-central/source/devtools/.esl...
E-cigs shut down hundreds of immune system genes–regular cigs don’t
> In terms of languages features, Java is mostly a subset of C++.

Not sure I'd agree with that. It's obviously incorrect in a formal sense, and in an informal sense you could say that feature sets of so many languages overlapped somewhat so that the observation is useless.
Doesn't support progressive politics != Racist. Such a tired meme. Whenever a lefty plays that card in discussions, I know I've won the argument.
Sounds like facebook is saving you some time by letting you weed out these clubs of clueless people.
Yah, Mathematica is pretty much a write-only language...
I've found that Skype has much better voice quality than land lines. Skype > land line > cell line.

I dislike longer conversations over the cell phone because of the poor voice quality. It's a big reason why I keep my land line.
Wouldn't sidetone be generated locally on the device with near-zero latency? There must be some other reason they don't offer it. Maybe to avoid feedback?
"auto a = ConjureMagic();"
"SetMagic(a);"

The problem here is actually is an old one of failing to separate a getter from a command.

It looks like ConjureMagic is causing side effects and modifying the state of whatever class it belongs to.

This is also the reason one can't answer the question "what the heck is a?". If the "ConjureMagic" is only a getter and does not modify class state, it may probably need a better name, like "GetMaxMagicPossible". That renders an auto no longer confusing, because this name explains more than the return type. If, on the other hand this is just a command to conjure the magic and we are getting the remaining amount only to immediately pass it to the member "SetMagic" function, then there was no point in returning this value - it could be done inside the "ConjureMagic" itself.
Thanks for the leads. Very informative.

Contracts make sense, and will probably be the first experiments with this. That seems to be what blockchain tech is tapping into first. I would think though that new languages developed for this would emphasize readability. Perhaps a wiki-style top layer for regular human reading where the definitions, terms, and links can be defined and standardized as code underneath and can do things like call to state or federal entities for rates, dates, numbers, or jurisdiction domains etc. upon "enforcement" (runtime).

Now your edit was really interesting. International trade/shipping might be ripe for automation in the future. Boats and drones might be able to simply upload the most recent contract and parse it into actionable rules, or, act on behalf of parameters set via the contract. Maybe delivery drones check local law dynamically on sale of weapons etc. so that it doesn't need to get hard-coded into the operating system.
IDL is not that bad, assuming that you really understood when it generates an implicit loop and that int is just 16bit. (And double check, I wrote a few scripts that happily read the first 32000 lines of a file multiple times...)
Enforce Strict Typing in PHP 7 Whether Your Users Like It or Not
There is a risk. It needs to be weighed against the benefit.

Assume that Netflix has done the analysis and prefers AWS over other provides. The benefit can be framed like this - if Netflix does not use AWS, then Amazon Video has a strategic advantage in being the only one with access to the best platform. By using AWS, they remove that competitive advantage from Amazon Video.
This is plainly untrue; Scalia was one of the most consistent and strong advocates for defendants' rights, and often decided cases which went against his personal morality. He was often quoted saying that the side he liked got no preferential consideration when it came to deciding a case, and if you look at the way he wrote his opinions, you will see this is true. He would often decide in favor of people who he personally disliked and believed to be guilty of horrible things because their arguments were correct.[1][2]

[1] https://en.wikipedia.org/wiki/Kyllo_v._United_States

[2] https://en.wikipedia.org/wiki/Florida_v._Jardines
I don't get why people feel the need to delete the
account altogether.

Can I ask how old you are? Growing up, Facebook was not just an aside: for a brief moment in my life, Facebook was life. It's where things happened. I'm now 25 and glad I've never stepped foot on Facebook soil since I was halfway past 18. My personal experience is that it was a vile substitute for social life and I don't miss it one bit. So my point is that depending on the demographics, Facebook can mean a totally different thing. For a young man growing up, no Facebook meant no girls, no parties, no fun - and that is a travesty.

Edit: I don't understand how my comment is controversial - it's an anecdote. To the risk of sinking even further: would downvoters care to express themselves?
I am a loyal daily Quartz reader. I felt disappointed when my Android phone was left out the release. I shouldn't take it personally but I do think it is a marketing mistake.
His Death
2 main reasons:

1. They typically don't say "this call may be recorded", they say "this call may be recorded for quality assurance purposes" or something along those lines. It should be obvious that the "may" here doesn't mean "anyone has permission to record it", but instead it means it might be recorded".

2. You're giving a completely uninformed opinion about a legal matter in which you are basically advising people to do something that might break their state's laws. Your "common sense" interpretation of a statement does not necessarily have anything at all to do with the actual legality. In such circumstances, you should always assume the worst, which in this case is that it is illegal for you to record the conversation unless you explicitly inform the other party.
You could use a long-running JVM for these tools if there's a compelling use-case? Not ideal but if it lets you write tools in the language of your choice it may be worth it.
Statements like "X is a terrible person" don't come from a concern for the truth, they come from our desire to see the people we identify against as evil. Whatever truth is, the ability to suspend this motive in oneself is sine qua non for it.

> I find the requirement of "civility" over "truth" to be rather off-putting.

That would of course be absurd, and there's no such requirement.

People regularly conflate judgment made from strong feeling with truth, and so they blast out the former with a righteous sense of legitimacy. Those with the opposite judgment feel equally so entitled. This dynamic is destructive, both of civil discourse and of the search for truth, so we needn't choose between the two.
To go from having written a terrible thing to being a terrible person is an enormous leap, and a catastrophic one.

Indeed, if the threshold is that low, then we're all a terrible person.
System predicts your love future
Sure, and, of course, that itself was subject of a recent Supreme Court decision. But it's piling a hypothetical on my already silly hypothetical. He'll just make an appointment as he's already said and reasonably argues is his duty, the Senate will just stall him out, as the majority leadership has already said.

I like to imagine he and the Democrats in general might actually end up looking better if that's how it plays out.
s/syntax/type/
The Oxford dictionary has an entry on the origin of the word penguin: http://www.oxforddictionaries.com/words/what-is-the-origin-o...

And they made a short video on the same: https://www.youtube.com/watch?v=M09oIwSQ6q4
It's a pity that there isn't a ubiquitous way to communicate to programmers features that are at risk of being removed or at risk of causing incompatibility with other software. I don't mean some document you have to look up, I mean if you use an at-risk feature, you're given a warning many years before it actually gets removed. Programmers often discover features of APIs by trial and error, not just by reading the manual.

At-risk features should include things that may not get removed but aren't supported by every platform - like .Net classes that aren't present in Wine. Sure, MS asks you not to target non-Windows platforms but in reality, users will still try to do it.
Serious question. If all websites decided to provide the structured data that Diffbot has to scrape, would Diffbot still have a business? If someone is making money off your data, shouldn't it be you?
Thanks for the tip! I would image that once HTTP/2 becomes more popular, serving ads from the same domain might even be preferred simply for the speed improvement.
I reject the use of voice calls (I actually no longer use a phone) because synchronous communications interrupt what you are doing right now, and more importantly because they lack a proof-of-work barrier. Written communications automatically exclude individuals who cannot read and write properly. That is a fantastic time saver, as it keeps your contact list clean. Furthermore, it is trivially easy to implement anti-spam measures, to exclude individuals who still happen to be able to read/write but whose communications are also undesired. Google/gmail even does that automatically. Written communications are merciless in stamping out and excluding the illiterate and other undesired demographics. Therefore, voice calls are not a feature of a phone, but a bug.
So what if it is, if Idris is a useful tool for the task?

Seems a bit of a non-comment.
Question for those familiar with how the Judicial system works: If Congress prevents any new appointments until after the election cycle, does that mean that the Supreme Court is effectively halted on making any rulings? What happens to the cases currently being taken on and those that are queued up? Would they all potentially be delayed an entire year+?
That would make them the second animal known to do this. (http://news.nationalgeographic.com/news/2015/02/150212-dogs-...)

Probably not a coincidence that they're also one of the relatively few domesticated animals (https://en.wikipedia.org/wiki/List_of_domesticated_animals).
That they are. Thanks for the correction.

https://en.wikipedia.org/wiki/Pentalobe_screw