skysight-inc/HackerNews huggingface dataset:
As a fellow owner of the 8X, it's still a pretty awesome smartphone. The antenna sometimes is a little glitchy on 4G, but it's still comparable for me to more modern phones.

I am really awaiting another well-designed Windows Phone device to upgrade to.
Ask HN: Do you use continuous deployment for your web app? How (or why not)?
If you are working on multiple concurrent web apps, please answer this question based on your "most complex" project. A definition of "most complex" project could simply be the project with the highest number of collaborators.

Does your team use continuous deployment, i.e., deploy code-base automatically to production some time after a developer pushes a change?

If not, what is stopping your team from adopting continuous deployment?

If yes, how did your team first make the transition? How does your team deal with buggy deployments? First is - how (and when) does your team notice the the bug (or issue)? Second is - how does your team resolve the bug? Feel free to provide a link to your web app to help readers get context for your answers.

I ask this question to HN as I feel it would be good to see an HN discussion on the best practices for continuous deployment. Please feel free to share relevant resources (blogs, articles, etc.) that you think provide good coverage on this topic.
MS hating Apple is like Apple hating IBM; they're old wars and now the former enemies are new allies. Google/Samsung is the current war. For future wars, who can say?
DoorDash (YC S13) is hiring a product manager to enable on-demand delivery
>> You absolutely can brute force with management. You can always pay people more, or give up some of your equity to someone who will work harder.

Offering more money/equity will allow you to pick from a bigger pool of possible employees. If you know what you're doing, you can use that to hire better performing people. It's really hard to keep good people, though, because they can generally find another high-paying job when they get fed up with you.

I can think of three situations where a company can survive bad management:

-Companies that are growing ridiculously fast can keep great employees, at least as long as the growth keeps going. If everything else is going great, employees can overlook a manager who doesn't know what he's doing. That means everything is great--pay and benefits, opportunities for advancement, ability to have an impact, enjoyable coworkers, great location, etc. Happily for startups, this can give you breathing room to figure out how to be a good manager. The growth can't last forever, though. When it slows, the best performers tend to leave first since they're the most confident in their ability to find a similar position elsewhere.

-Companies that are the only game in town can keep great employees. This is sort of the inverse of the last one. If there are no other good opportunities, either because of geographic, economic, or political issues, employees will stay rather than being unemployed. If the economy gets better or the employee decides to move, the company is out of luck. Plus, the limited pool tends to work both ways--fewer good people look for jobs in these situations.

-Companies that can offer lottery-level payouts and craps-level odds. When I was in college in the mid-90's, Microsoft seemed to have their choice of any college grad in the western U.S. The reason was simple: there was a pretty good chance you could work there for three years and come out a millionaire. This obviously isn't a model that very many companies can follow, but lot of startups will try to make similar promises. (I'm not saying that Microsoft was poorly managed in the 90's, it's just an example.)

>> Being present longer and taking fewer breaks is superficially working harder. More abstractly, you can work harder until you make redundant people who complain about coffee breaks, if you so choose.

It appeared to me that they were heading off site to work out issues between founders, not because they were taking breaks. Whenever the bosses disappear together, I think smart employees will assume that something is up.
The effect of TCP ACKs on downstream throughput for Wi-Fi connections
As noted in some comments, writing a non-trivial proof by hand with TLA+ only seems possible if there exists a good repository of non-trivial propositions that one can start from.

Does anyone know of interesting initiatives out there to build an open repository of mathematical proofs?
I'm not sure if I don't understand or you don't understand. No, a counter requires (at least) one integer of persistent memory. And if it's not on your server it's on someone else's server. Bottom line, your site stops being static.
So, it's not a function of compiled vs interpreted. It's about a single binary vs shared resources.

So while you can't get a single binary with an interpreted language (you need the shared runtime), however you can also get shared libs using a compiled language.

I've found doing cross platform development using NodeJS significantly easier than using C++ (of course I had to use compilers that didn't default to IEEE 764).

So old.
I've been designing games,
mostly as a hobby but a little bit professionally, for about 30 years. And I love devising text/command interfaces for games. textual representations of the game state. Its a useful design constraint and challenge. it helps me as a designer focus more on making a game fun and interesting. as a bonus it can minimize clutter and unnecessary/accidental complexity. I bias to making game prototypes whenever I can with textual world representations and a command/response messaging-style protocol for playing and interacting with the game. With limited "free" time and a growing need to prioritize, the more bang for my buck I can get, results-wise, the better.
It seems like their long-tail data is full of misspellings. Try typing in "vacillate" and looking at the other words on the graph in relative frequency, for example.
...some shows would enact the chemical reaction to yield it on stage as part of the theatre...

Wouldn't this be very dangerous? Back then stages were illuminated using fire, and nitrous oxide is a famous explosive.
Ask HN: Go. Flavor of the month or here to stay?
In recent weeks I've noticed that Go seems to have become something of a trend in the stories shared here on HN. I do not have much experience with the language myself (beyond completing the tutorial and a few small experiments), but I am curious to hear what other people think of the language in terms of its potential to become a major web/general development language.

So, is Go just the flavor of the month or is it here to stay?
I think it's valuable to at least raise an issue even if you don't have the perfect set of advice to deal with it. Sharing such experiences can help others recognise their own problems. IMHO launching into ways to fix this issue would have taken away from the post by being overly prescriptive about solutions.
If you move a piece of LaTeX from your prose to another proof, there's nothing at all there to help you ensure you get it right. I think the point here is this hierarchical system allows you to very easily discover what parts of the proof depend on what other parts, so if you make a change to one part, you can "invalidate" everything that depended on it easily. With prose, you have no assistance in figuring out what pieces of the proof need to be updated for any given change.
I don't know, but they are competitors in one huge market: desktop computers (sort of) and operating systems. If there's one company that's successfully taking down Windows, that's Apple (with Mac OS X).
> Programming is much less fun, and harder to follow, without syntax highlighting.

That's your opinion.
I think those issues will improve over time with maturity. Golang seems to not like to do things in more than one way, as the article stated. Currently there is competing solutions to all of those problems[1]. I suspect you won't see built in solutions until community libs and users choose the prevailing standard solution to each problem.

To also be fair, web apps are nodes bread and butter, not so much so for Golang (apart from maybe api's - which tend to have pretty straight forward auth mechanisms and dont require csrf, xss or templating solutions, traditionally anyway). With that in mind I wouldn't be surprised if go's devs continue to leave web solutions up to the community. I expect to see a lot of frameworks come along similar to pythons django, rubys rails, and phps laravel.

Disclaimer: non elitist node dev, closely watching go

[1] https://github.com/golang/go/wiki/Projects
Mako: Create and share design and animations to any device
Mako empowers designers and artists to create and share interactive experiences to any device. Our turnkey service provides all the hosting, distribution, social sharing, analytics, and more. No coding required and no limits on what you can create.Our goal is for Mako to be the best cloud creation service out there. With Mako you can add animation, collect form data, and set advanced events to make your experience come alive. Best of all, it runs on any device with a modern browser, and it never requires plugins or installs.

http://mako.sonardesign.com
Obviously it will be the most important scientific event to date.
Actually the subscription doesn't automatically renew. After 30 days they lose it and need to resubscribe, so I think your data should be fine.
How to Judge the Success of Your Help Desk Solution
The Math Behind Bitcoin Mining
Lots of greyed comments here. What's going on? Google fan-boys vs. NSA fan-boys?
The high stakes game of Super Bowl advertising
I actually don't read LessWrong itself, but I've interacted with lots of people and sub-communities that are associated with / spun off of the rationality movement. These were just rough pointers to directions I've followed to find higher levels of quality discourse. Ribbonfarm is another such community.
The emoji charge won't stick, but the drug and weapons violations will,

Since the bar to obtain an arrest warrant on charges of making terroristic threats is only probable cause of the author’s intent, the NYPD could potentially arrest anyone who makes anti-cop statements, even if they come in the form of emojis.
Many abstract strategy board games like Go, Chess, and Octi have simple command line implementations. Some clients use log replay to be able to watch the game develop and learn from it.

A number of relatively simple board games were implemented within MUDs/MUSHs/MOOs/etc. It's been ages since I played those, so I don't know if there were any good examples of complex board games implemented within them.

Interactive fiction, while not a board game as such, used command parsers and some systems used log replay (possibly for saving/restoring?).

And of course the old PBeM and prior to that PBM games, (many of which were similar to board games) used command languages. Galaxy PBeM comes to mind, but it did use stored state rather than log replay.
One specific question is how does one resolve an issue?

One option is to automatically revert back to a commit when an issue is discovered until a fix can be applied. Does anyone use this? If so, what is your team's SCM (i.e., git) workflow?
Introducing the Database Selection Matrix
TL;DR It might be legal or scrutinized today, but tomorrow is not set in stone.
This is a good point. Few developers would care about Windows Phone if they can just build for Android and do a lazy port to WP (if they port at all). But what if Microsoft instead wants to make Windows apps work on Android? Microsoft is championing their "universal apps" now, where you build one Windows app and it runs on Windows 8/10, Windows Phone and soon Xbox One. Adding Android to that list would be big.
"he decided to do something that many parents would consider radical: show them exactly what he earned."

Huh? Really? That's radical? I always knew how much my mom made. Do parents really keep this from their children, the same way they keep it from other coworkers?
The day when folks are in no way defined by their income can not come quickly enough. It saddens me to know that it will likely not be near my lifetime.
What the fuck? I said "plenty of Good Christians". Maybe I should have quoted the "Good Christians" part.

I have family and friends who are Christian and I have no problem with it. A person's relationship between themselves and God is their business.

Are you prepared to state that there are no Americans who consider themselves "god fearing folk" who would have no trouble with harming those "not like themselves"?

After all, we've never seen any sort of violence against blacks by "Good Christians", have we?

http://en.wikipedia.org/wiki/Christian_terrorism

Or violence against gays, when there are plenty of preachers expounding upon how evil and sick they are, and what a threat they are to society? No, of course not. No Good Christian would do that.

And how many people have been beheaded by Greenpeace activists?

Really sorry to have offended you with my blasphemy /s
I agree. Go was really nice to write code in since I do a huge variety of system level and Web things. It's my goto for practically everything now.

It will get better but for now I think writing a full web-app in Go, (presentation etc) is pretty annoying.
Gauges in the Netherlands easily read by third parties (Google translate)
No, it's different. Here I've described how I'm working with photo-based patterns: https://news.ycombinator.com/item?id=8968113 . More technical details on PolyGen's Medium: https://medium.com/@polygenapp .
You could probably treat each defector-cluster as an individual. As long as they remain isolated and never shake hands with another defector (eg, an unvaccinated missionary visiting a country with a disease reservoir) they're fine.
Zipf's law [1,2] generally holds for a corpus in any natural language and can be applied to a lot of other things outside linguistics as well.

[1] Zipf’s word frequency law in natural language: http://colala.bcs.rochester.edu/papers/piantadosi2014zipfs.p...
[2] https://en.wikipedia.org/wiki/Zipf%27s_law
Yeah it's completely optional, facebook built it because they had built something similar previously and they like it, and I guess it may be simpler for "pure" designers used to HTML and stuff, but it's AOT-compiled to the corresponding JS calls and the mapping is fairly simple:

<Component1 attr1="value1" attr2={foo}>
<Component2/>
<Component3/>
</Component1>

becomes (more or less)

Component1(
{attr1: "value", attr2: foo},
Component2(),
Component3()
);
some /r/hacking subscribers had some odd PMs. Maybe some of them?
I've always heard this called mosaic theory, not trade secrets. https://en.wikipedia.org/wiki/Mosaic_theory_%28investments%2...
Something like this?

http://us.metamath.org/mpegif/mmset.html
> Actually the subscription doesn't automatically renew. After 30 days they lose it and need to resubscribe, so I think your data should be fine.

As far as I know (And from a cursory google search) it appears they do auto renew
Yup, all streamers earn a lot more money from subscribers than ads. You can see that in their streams. They pay more attention to subs and most hardly ever run ads.

The estimated ad rate is way too high.
Never had any problem with it when we did a Cordova based application for a customer of ours.
Overdone computer-enabled post-production colour manipulation is one of the (many) reasons I find it hard to watch a lot of film and television drama productions of this century.

I much prefer the result when the manipulation of colour is achieved through lighting on the set or location.

Two examples of films I think have fantastic use of colour in the lighting are Indiana Jones and the Temple of Doom and Desperately Seeking Susan.
I was surprised to read so much concern about children learning what their parents make or what their home is worth, as well as concern they might share that with outsiders. I have three kids, aged 1, 3, and 5, and I don't worry about that. Maybe it's because I'm a freelancer so I think about income more often than someone with a stable paycheck. Do other people fear those things?

If so, and sorry to veer off into a different thread, but maybe salary and home value are good answers to "I have nothing to hide." :-)
OT: This is the first time I hear about tab for a cause and it sounds very interesting. However, their Chrome plugin requests permissions to "read my entire browsing history". The privacy policy doesn't explain why this is needed, does anyone know?
Maybe it's just me, but I really like the way Go does package management. Not needing to publish to a central place for packaging is awesome (just have it on any website), but I agree that it needs reorganization (godep is a step in the right direction)
I like this, but was Silk really the best name for a browser-related technology? Amazon got there a while back:

https://amazonsilk.wordpress.com/

Why not.... FluidFox, or Sleekzilla, or Project Smooth?

http://www.thesaurus.com/browse/smooth
My parents simply told me they had too much in savings for me to get financial aid so filling out the FAFSA was a waste of time. But the entire time I was growing up they acted like we weren't in the best financial shape and couldn't afford name brand cereal and stuff so I learned to be thrifty through a false sense of being worse off than we actually were.

It is important to teach kids to live with in reasonable means and how to prioritize needs over desires to stay within budget when everything is accounted for. It is not important in my opinion for them to know an exact amount anyone makes, but the article does outline a way the former was achieved by doing the latter.
> Facebook has been eating Google's advertising dollars for a while.

All I've ever heard are horror stories about how advertising on Facebook does not work. I definitely don't see how ads on a social network can compete with ads on the largest search engine and almost every ad funded website in the world.
Twitch’s Monthly Viewers More Than Doubled (Again) in 2014
Implementation-wise, the only place where real world units such as "mm", "cm" or "px" make sense are the "width" and "height" properties of the outermost <svg> element.

This is because everything inside SVG document lives in an imaginary infinite world where dimensions and distances are expressed in abstract "user units".

You use "viewBox" attribute on the outermost <svg> element to specify a rectangular fragment of that world for the purpose of rendering. You use "width" and "height" properties to specify the real-world size of that fragment.

Authoring tools might show you dimensions of SVG objects such as rectangles or paths in real-world units computed from "viewBox", "width" and "height" of the outermost SVG element, but under the hood the size of those objects should be stored in user units.
Nike+ FuelBand SE BLE Protocol Reversed
Wisp – A Scala library that offers interactivity for iterative development
> Safe to eat foods grown with pesticides.

Good luck finding other food. There's a widespread belief that "Certified Organic" means "no pesticides" or "no chemical pesticides" or "just lady bugs and vinegar".

Sure, you can grow your own food without pesticides, but, no, that organic produce from your grocery store is not free from pesticide, herbicide, or fungicide--a few of which are actually more toxic to humans and non-pests than the conventional forms. (Consider Malathion v. Rotenone, for one.)
Many Americans reject evolution, deny climate change and find GM food unsafe
I think you haven't looked closely. I know for a fact that the MMR vaccine itself comes with a warning (from the manufacturer!) that it may cause a reaction in some patients.

I doubt the manufacturer would place such a warning unless they had data to back it up.
Nitrous Oxide itself isn't explosive. It's used to add additional oxygen, which effectively boosts explosives.
"How will the world change when we find extraterrestrial life?"
Yeah that's a very good point, I couldn't find any reliable source on twitch's website. I had to dig in many /r/twitch comments to find the cpm and hoped that they were telling the truth.
In any case, I am pretty sure that my numbers are really a lower bound for how much money the streamers make. Most streamers receive more donations then subscribers, and donations don't have a fixed cost.
There's slot of weird psychology at play here.

Many people harbor guilt or are otherwise insecure about money.
Not a joke, people do that. They use satellites to measure stacks of containers, piles of coal, etc etc.
> That's not useful for a kernel.

Oberon Kernel.Mod, initial version 11.4.86

http://www.inf.ethz.ch/personal/wirth/ProjectOberon/Sources/...
It's radical among the kind of parents who make 10 grand a month (which happens to be the same set that these NYT culture articles are always about).
> I don't know, but they are competitors in one huge market: desktop computers (sort of) and operating systems.

Kind of, but not really. Apple gives its operating system away for free, and sells hardware. Microsoft sells its operating system to OEMs and business customers. They aren't directly competing in the way that Coke and Pepsi are.

And Windows (of some version) still has >90% market share for desktop OSes, so OSX is not a credible threat to Microsoft in that space. Microsoft's biggest obstacle in the desktop OS space is Windows XP.
$2 CPM for video ads is really not that unusual.
I would be interested in seeing how this varies across different games and also for some of the larger general twitch streamers who play multiple games. There is a lot of money to be made but as you point out they do work very hard both in number of hours and all the extra community management they must do. I would also be curious to know how many of these full time profitable streamers also maintain high subscriber youtube channels.
Tell HN: Digital Ocean will start collecting fees for backups
DO subscribers have received the following email:

Some Important News About Backups

Hi there,

We’re in the process of updating our backup system and we wanted to give you a heads up about some changes you’ll be seeing.

You may have noticed that, though the cost for backups has always been 20% of your Droplet usage, you’ve never actually been charged. Don’t worry, we’re not coming to collect for past backups now. So far, we’ve been happy to offer backups, free of charge.

Starting in February, however, you will begin to see charges for backups on your monthly invoice. Backups will now happen on a weekly basis, with at least four backups occurring per month. You'll only be charged for a maximum of four backups in any given month and you'll never be charged for backups that fail to happen. Payment for backups occurring in February will be due on March 1st, and so forth.

We'll provide you with a scheduled window each week in which your backup will occur. This information will always be available in both the control panel and the API.
If you’d like a more in-depth explanation of how backups work – and when and why to use them – we’ve prepared some detailed articles on the topic:
Understanding DigitalOcean Droplet Backups
DigitalOcean Backups and Snapshots Explained
How to Choose an Effective Backup Strategy for Your VPS

Happy Coding,

Team DigitalOcean

UPDATE: Made paragraphs to remove wall of text.
Github: https://github.com/quantifind/wisp
Your use of 3 decimal places is confusing.

$ 914.132

Looks like either nine hundred or nine hundred thousand.
I grew up in the same situation. My mom always let me know and gave me a lot of details on the status of our family. In fact once I got older she started having me manage a lot of her online accounts and such because she had trouble with it. Now she's got my younger siblings doing it.
Yes. http://www.cnbc.com/id/38722872#.
I think it would create a lot of chaos.

Fundamentalist religious types would have a problem with it. Many wouldn't believe it.
No corpus is ever "clean". Depending on the type of corpus there might be many misspellings, so obviously they will occur in the graph alongside other low-frequency words.