skysight-inc/HackerNews huggingface dataset:
Adding a compatibility layer for a large competitor means:

A) users will get the cool OS updates as soon as possible, but after the guys running the 'real' thing get them.

Guess what choice users will make?

B) developers who develop for your platform have to support the market leader, too; developers who develop for the market leader get your users for free.

Guess what choice developers will make?

This tactic killed native OS/2 apps and, subsequently, OS/2. The Blackberry plot didn't end that well for Blackberry, either.
Why React Native won't work
Exactly. And if reddit's next transparency report says that they've received 0-249 NSL/FISA notices, they'll be well within the bounds of the Deputy A.G.'s letter.
Does MS hate Apple? I would wager they don't, since they have a patent cross-licensing deal with Apple and a couple partnerships (Apple uses Azure for iCloud and Bing for searching).

Google definitely hates MS, as evidenced by how childish they act when it comes to Windows Phone. Apple hates Google, Microsoft hates Google, Google hates Microsoft. I'd say that's likely how it goes.
Yea, I really like GADT too much to give it up. With Swift/Haxe/Rust/Haskell/F# all having them.

You may find this interesting, someone implemented a parsec-like library in Go [1]. I haven't wrapped my head around it completely, but it looks like it's all dynamic [2].

[1] https://godoc.org/github.com/prataprc/goparsec
[2] https://github.com/prataprc/goparsec/blob/master/json/json.g...
French prisons, long hotbeds of radical Islam
I don't think that MS and Apple hates each other (by MS and Apple I'm thinking about leadership and the general sentiment among engineers). But I'm pretty sure that MS and Apple hates everything Google.
Can anyone please explain what a "declarative API" is, and why that is better than an imperative? He claims this is the best part of the framework, but I'm just left with a big "what?" since I don't understand what the hell that sentence means.

I mean he admits he had to build a bunch of products before he understood the concept, but didn't waste a single slide to explain it in the presentation.
In archaic usages, it's the universe itself.

In modern usage, the planet as a whole.
Hopefully, the measles spread and the defector groups get wiped out - either through acquired immunity, higher vaccination rates or death.
Java 8 Optional is not just a replacement for null
You can't. Your only real recourse is to deceive them into believing they may miss the opportunity, but that is a very, very bad and dangerous step to take.
> How do we know eliminating some of the complexities of current laws won't re-introduce some of the problems those complexities were trying to solve?

The other side of that coin is: are the bad outcomes produced by the current codebase bad enough that we will replace them and accept the risk of re-introducing the other bugs?

Alternatively, the entire codebase is in English (+/-) so one could document the bugs that changes are attempting to address.
This is how I learned proofs:

http://i.imgur.com/omXqvos.png

Well, technically I learned proofs from Euclid first. But this book followed close behind.

Clear and comprehensible (once you learn the basic symbols). Very much structured. There's hardly any prose in the whole two volumes.
I wrote a Go Web Application with authentication and an API to learn Golang.

I must say, writing an API and some other services (SMTP pipe listener) was much nicer in Go than Authentication.

There is gorilla/sessions for sessions, but there's a lot to be desired here. A weak secret here means other people can decrypt the SessionStore Blob and possibly get secret information as a passive attacker or authenticate as another user. This sessionstore passphrase is the key to your entire webapp.

There's also nothing built in to Go for CSRF tokens, and HTMLTemplates are nice for preventing XSS but a pain in the butt for embedding, generating, and storing/regenerating (depending on how big you are) CSRF tokens.

Overall though....Writing Go has been pure joy for me. These are super knitpicky things to complain about.
I'd consider that a feature of Go. At least that this is not your only way.

What you want is maybe something like Beego.

http://beego.me/
You reassess the business and dust off your exit strategy.

If the investors already know what your runway looks like and they haven't given you a term sheet, they aren't going to be investing.
That's a much more profound explanation than the given. You can actually come up with values yourself then, and it reveals why cases like "edge detection" and "blur" work so nicely (edge detection approximates differentiation; blur acts as a low pass filter;...).
Is the fact that subscriptions are recurring accounted for? If you get 1k subscriptions a month at 2.50 each, on month 2 you make 5k, no 2500 (assuming no drop off)

Also, I would say that the vast amount of streamers revenue comes from donations- Its trivial to see this is the case, just watch a large stream in action like sodapopping or the like, and you will see "blah has just donated x$" show up on their stream every 30 seconds or so.

FWIW, I am fairly certain the top streamers make over 50k a month very easily. However, those numbers drop very rapidly. The top 20 streamers most likely make as much as the next 5000 combined. And those 5000 make more than the next 10,000.
Oh! I've used Ur a bit and spoken to Adam about it briefly. He gave a talk on Ur at Haskell Boston. I wasn't actually aware that it had typeclasses (though it surely has modules).

Honestly, Ur is completely ingenious but there remains an enormous challenge getting it away from being entirely Adam's project. It's completely web-only right now (although Ur is supposedly a more generalized language) as the only compiler is Ur/Web.
It's not only hilarious, but also a great example of trolling and audience engagement as performance art.

Reading all those earnest comments correcting her Javascript "errors" always makes me cringe at the corrections, feel superior to the people who don't get the joke, and feel guilty at the feeling of superiority.

Provoking laughter and these three emotions in one go is quite an achievement.
Some notes on GHOST
I do remember reading something about this indeed!
Sure it's a true statement. Even if you have to compile to different targets (and you do), that's much simpler than implementing shared dependencies on those different targets. When you deploy a binary with no external dependencies, you can (generally) set it and forget it.

It's not to say there aren't meaningful differences across targets you need to account for, but it is "just easier" in my experience.
Which inspired this funny photoshopped image on Reddit, poking fun at the border:

http://i.imgur.com/PXMGX.jpg
Show HN: Writable PostgreSQL FDW for Redis
NPM is only awesome until you need to do something with it on Windows.
Google misses in Q4 2014 on slowing ad revenue growth
OCaml is usually statically compiled with ocamlopt, so distribution is pretty easy. As long as build/deploy platforms match, then you're good to go. Shared libraries only come into the picture for unusual cases, eg FFI.

OCaml tooling has also gotten a lot better over the past few years, mainly because of OPAM. The library count has exploded, and the language still gets regular point-releases with improvements designed to aid tooling, such as extension points.
The Great Firewall's days are numbered. What do they think is going to happen when SpaceX and friends start launching their internet satellites?
Just tried & it works.
I think you are ignoring the much more likely scenario that women see computer science/software development as a bad bet or it simply does not appeal to them.

For example it is a field where if you take 5 years off you are treated worse than a fresh graduate... Funnily enough a lot of women might want the ability to take a few years off.

Or for example it is an industry which has a lot of instability and lack of internal mobility. This means that you often are forced to leave jobs you love and where you have close friends in order to progess, or because they pivoted, or simply went out of business. Less women are willing to put up with this crap.

I've worked as a software developer at a couple of larger companies where maybe 15% of the developers were female. However, about 40% of the systems analysts/business analysts/project managers/testers/QA were female. These are roles in which you interact with the developers on a daily basis.... Surely if the issue was software developers being sexist then women wouldn't want to do these other roles either.

There is some sexism in the industry, but no more than many other industries which have plenty of women.
No argument here. OP specifically mentioned advanced typing, tooling, and distribution. Rust covers at least two out of the three (can't speak to tooling) so I thought OP might like to explore it a bit.
What sort of stuff is missing? Genuinely interested.
I always love passing a moontower, in part for its history, and in part for its role as the subject of a great Dazed and Confused quote: "Party at the moontower!" So evocative of old, sleepy Austin.
If they are anything like humans but more developed I dont see our world changing for the better.
Conquistadors anyone?
> In modern usage, the planet as a whole.

In common usage, when a person refers to the world changing, they're referring to the human world changing.
The trailer [1] confirms the increased usage of red/orange and green colors.

[1] https://www.youtube.com/watch?v=B-uxeZaM-VM
Hi Dan, nope the recurrence is not accounted, I didn't have any way of capturing it :)
It's hard to have a conversation when common terms are deliberately misconstrued. Obviously & colloquially, when someone says "how would the world change if humans were given information X" we're discussing social human behavior, not (say) natural geologic change.
Is it similar to this approach - http://rogeralsing.com/2008/12/07/genetic-programming-evolut... - ?
The archaic prose bit is there to point out that mathematical notation has evolved, in order to setup a presentation of a possible future evolution, namely hierarchical structure for proof parts. The article is not about prose vs. symbolic notation.
"Something must be done. This is something. Ergo, we must do it."

Why should you use it? What problems does it solve for you?
How a Post-9/11 Law Can Get You Arrested for Your Emoji Choices
Primer.

Because success is a problem to be prepared for.

Also because Primer is awesome.
If you are saying "they can use this as the side-channel to communicate that they've actually gotten an NSL", then you've failed. By establishing that this is something that they are using to communicate information, it's clearly a method to communicate information.

It's true that reddit could change to that new format. However, if they are using the change to that new format to communicate information, then they are sunk.

This is the real conundrum:

1. if It Is Known that this is how reddit will communicate an NSL, then it's clearly communication

2. if it's not known, then this isn't a good way for reddit to tell its users that they got an NSL.
Why does that site add inertia to my scrolling? :(
What about board games implemented on IRC? (This took me a while to connect the dots). Bohnanza, for example, http://lfowles.org/blog/2014/07/19/hacking-scrappy-bohnanza/

Most end up much simpler than your Terra Mystica implementation, because games are expected to be wrapped up realtime and logs are stored with the IRC client if anyone cares.
I imagine a lot of them were for image thumbnails since reddit actually hosts those.
Sure, that is the explicit goal, but throughout history, missionaries/explorers have always brought something back with them, be it physical items or ideas. That's just part of the nature of "exploration". Unless someone impressed those laptops, cranes, and telephone poles upon the Amish, I imagine they saw them when they ventured out and decided the "goal posts" of their beliefs could be fiddled with to accommodate them.
How Elon Musk Is Like a 19th Century Robber Baron
Of course, in OCaml that's just

if_then_else c t e =
match c with
| true -> t ()
| false -> e ()

So the question sort of becomes one of how painful thunking or anonymous function syntax is.
the app does have built in resolution for macbook retina displays
SolarWinds Expands Its Cloud Monitoring Footprint with Acquisition of Librato
I haven't used Twitch much, would there be a way to scrape the donations? Is it only showed in video or also in chat or something?
Inside the Dangerous World of Amateur ‘Ninja’ Gold Miners
FCC Quadruples Speed Required to Be Considered “Broadband”
Microsoft released a version of Unix when Linus Torvalds was 11 years old.

http://en.wikipedia.org/wiki/Xenix
They don't just show up on Microsoft's balance sheet, the part of Nokia that makes them is now part of Microsoft.
Didn't finish? It's less than a thousand words!

But your TL;DR is essentially correct. I would like to hear more about why these plants didn't die out when their only dispersal agents did.

It would also be interesting to know approximately how numerous/widespread they were before and after the dispersers' extinction, but I guess tree fossils are hard to come by.
Is it confined to the Java community? Seems a bit more widespread, honestly.
I don't believe "rock solid" and "fast" are mutually exclusive. There are good libraries in most languages that offer both.
Apologies for being cynical but this is a nothing article that offers no real advice.

Open communication isn't just about checking in frequently, and talking doesn't guarantee that each person will feel listened to.

Communication is much more than just setting aside time to talk.

I would have much preferred if the author gave specific strategies for listening and being more effective at communication rather than high level generic advice.

My advice for co-founders that are serious about being better at communication: hire a marriage and/or relationship counselor to help you with your communication.
Amazon Crushes Q4 Earnings on Back of Huge Prime Membership Growth
Agreed. I'll take outstanding documentation over stylistic perfection any day.
I kind of wish there was something as focused as this for other things - like cars, bikes, laptops, ISPs, movie/TV streaming - maybe everything. Instead, I spend hours on Google, trying to become an expert quickly - and then get buyers remorse.
Why the Super Bowl Is Disappointing Airbnb and HomeAway Opportunists Again
The Difference Machine: Ada Lovelace, Grace Hopper, and Women in Tech
One of the critical things about management (in my view) comes down to communication. If communication is open, honest and frequent, then mistakes or roadbumps become easier to deal with. If communication is lacking, vague or insincere then it begins to erode trust and people withdraw.

Learning to communicate (inc. listening) is a valuable skill that is often neglected.
Not only that but devkits also come with the SDKs and tools and access to the developer network. Plus they cost thousands of dollars. They also usually have double the specs of the retail console to run debug code and tools. Even USB connectivity and plugins for VS to debug code running on the devkit remotely.

Also on our Vita devkits there is no battery to make space for the extra ram.

Even with the open sourced compiler you're still missing most of the toolchain.
How highly paid Wall Street guys could be a threat to your retirement money
The EFF doesn't suggest actually using the warranty canary without court approval:

> What should an ISP do if the warrant canary is triggered?

> If an ISP with a warrant canary receives gagged legal process, it should obtain legal counsel and go to a court for a determination that it cannot be required to publish false information. While some ISPs may be tempted to engage in civil disobedience, EFF believes that it is better to present the issue to a court, to help establish a precedent. If you run an ISP with a warrant canary and receive gagged legal process, contact info@eff.org if you would like help finding counsel.
If they are anything beyond basic microbes, we may very well find our notion of the nature of "life" challenged, especially if they're something construed as "intelligent". Imagine, say, discovering jellyfish for the first time...now consider finding intelligent jellyfish. Cognitive dissonance follows.
Care to share the title?
I'e been writing my first production-sized Go app over the last few months, and really enjoy it. Some observations:

- The standard library is solid, and I was surprised how well-rounded and mature the third-party library support it. Coming from a Python/Ruby background, that was nice to see.

- I totally agree with the comments on this thread about dependency management. Godep [1] is nice, but it would be great to see a canonical dep management tool for go.

- The tooling for Go is excellent: More languages need something like "go fmt".

- In general the document is solid, but I've found the usability of the generated docs to be poor. You think they could bribe a few Google designers to spend some time fixing that...

- I've noticed a lot of Rust lovers commenting about how great Rust's type system is. It probably is, but I haven't run into any problems with Go's type system. I've found it to be practical and easy to use. The only issue is parsing JSON when you're not marshalling it to struct. They need to fix that (although there are some nice third-party tools to make it easier).

- Go is a minimal language and has been called boring. [2] I don't claim to be an expert yet, but I don't think I've reached this level of productivity with a language this quickly before.

[1] https://github.com/tools/godep

[2] http://stevebate.silvrback.com/go-is-boring
It looks very nice, but it's crashing on my LG G3 as soon as it loads. I see a white background and red/pink banner at the top for about 3 seconds, then it auto-closes. I'll keep it around and watch for auto-updates and hope it's fixed.
Love my 930 and just got a 1520.
> We’ve been down this road before. “First movers,” as SpaceX is, have what’s known as a “lock in” advantage. We see it with all of Google’s services and we see it in social networking with Facebook.

Was Facebook a "first mover"? In what way?
Brand New Open Source Marketing Automation Platform, Mautic, Released
not in any way I could think of. It's usually only shown in the video and sometimes not even then. The chat does write when someone subscribes though, that's how I managed to scrape the subscriptions.
Since there seems to be some confusion: the article is not about prose vs. symbolic notation in proofs, or even degree of rigor in proofs; it introduces a potential way of evolving our presentation of proofs, so that their parts are hierarchically arranged. This better facilitates reading at variable levels of detail, promotes reuse of parts, and provides useful hints guiding comprehension generally.
My bank erased my $60,000 student loan
Part of me is like "I can see how this makes sense," but another part is saying "this sounds like elementary school gossip..."

The human brain: simplifying complex issues with anthropomorphism since forever.
Russian spy cell in New York 'plotted Wall Street meltdown'
This was something keeping me back from Go before. However, in 2015 when you're doing so much more on the client, and things like Angular and React are available, this concern becomes reduced or eliminated.
Just because both vanilla Android and Cyanogen follow AOSP doesn't mean they can't compete. Just look at Samsung and Touchwiz.
What kind of life is it:

1. Intelligent life that had simply sent out colonizing platforms with technology similar to ours would mean that we would integrate them (assuming they just cyrogenically froze individuals and sent out thousands of seed ships):

a. Are the seeders capable of transmitting back, if so, is the home planet alive, how long until transmission reaches them, how long until the home planet can send out another seeder ship/support ship? Can we stop them from overpopulating the Earth? Should we stop them?
b. Are the seeders virus ridden? Are we dangerous to them, War of the Worlds style?
c. Are the seeders the only ones in the galaxy? Or are there warring factions? Are we aligning ourselves to the correct side?

2. Intelligent life superior in technological capabilities would:

a. Star Trek: Benevolent overseer

b. Battleship Earth: Enslaver

c. Independence Day: Eradicator of humans

Would we be able to do anything about it, we may be in a situation that Carl Sagan foresaw that we may have the technology, but not the materials to reach a location should a signal reach us saying: "Hey, we can solve all of your problems if you can get a ship to alpha centauri within the next 8 years with two double a batteries. If you do not reach here in 8 years, we will be eradicated by Sunorian Plague."
Fair point, didn't think of it that way.
No offense, but I'm not sure you've actually said anything here. Take this exact comment, substitute "women" for "men", and it seems equally valid. If you can't explain why things would be different specifically for women, you're not addressing the fact that there are four men for every woman in software development.
It's inescapable if they go to college. That's the only way I would have found out.

There's a line on the FAFSA form.
it just so happens there are products designed specifically for these types of problems. A quick google search found this one[1], although this isn't the exact product we use where I work. It is similar. Of course it doesn't do much if the entire desk topples over.

[1]http://www.lowes.com/pd_281280-10318-4520_0__?productId=3030...
Google hates Amazon and Facebook.

Amazon has been expanding outside of their core retail space (e.g. AWS, advertising, services, etc) while Facebook has been eating Google's advertising dollars for a while.

I wouldn't go as far to say that Google doesn't care about Apple/Microsoft, but in both cases Apple has presents on their platforms and still makes money on them. They are only competitors if you view Android as something Google makes money with rather than something Google uses to advertise Google's services.
Well put.

Stock android is actually much more stable than the CM that ships with OnePlus. At least imho.

A friend is already selling his, after about 6 months with the phone. I haven't had it much longer but long enough to clearly see that stock android up to 4 offered much better usability.

The bugs I endure in the OnePlus just because I am sick of switching phones every year are borderline insufferable.
How is GoldGlove (www.twitch.tv/goldglove) doing?
Thank you, that actually may be one of the reasons.

But I met the milestone! With sweat and blood, many good people died as we were reaching that stone.
No One Can Agree on What to Call Drones
My favorite map tileset is Stamen's watercolor map: http://maps.stamen.com/watercolor/#12/37.7706/-122.3782
Very interesting but this part concerns me:

"Advertisement money was estimated by assuming that Twitch pays $2 per 1000 ad viewers every 30 seconds."

That sounds like an extremely high CPM, much higher than the ad revenues I've seen. Unless I'm mistaken this could be exaggerating revenue by a large percentage.
For Edison and Ford at least I guess a lot of those later patents were done by underlings and the boss man put hsi name on it. I couldn't tell if the analysis accounted for that
There’s a Gap Between What the Public Thinks and What Scientists Know
The following is also a really good resource, if perhaps somewhat less explicitly explanatory.

https://code.google.com/p/corkami/wiki/ELF101

He has similar diagrams for a few other things which are quite helpful if you are a visual person.
Can you paste here the commands you already have? I didn't quite see all of them after you entered "help".
Coding Tutorials, Done Right
I don't mind the GIMP's UI so much. What really bothers me are the lack of non-destructive layer effects and other niceties that make its workflow so much inferior to Photoshop's.