skysight-inc/HackerNews huggingface dataset:
> NICTA and OK Labs delivered.

But the process seems very difficult. A quick look at the overview paper shows that they rejected model checkers in favor of a theorem prover (which is probably orders of magnitude harder to use) because they feared state explosion. But have they tried or simply rejected the approach as unfeasible? Model checkers now can use multi-core machines and clusters (that are now quite cheap) to verify real-world programs (or at least sub-programs). Amazon verifies their AWS services with a model checker. If model checkers can work for a task such as this, it would lower the effort considerably.
People at TDWTF don't complain about Discourse lacking features, they complain about it being overwhelmingly full of bugs and brain-dead behaviors.

Particularly the mobile experience, which is supposed to be one of those things Discourse was designed to do well.
Using GraphicsMagick for Image Manipulation in Node.js
It gives the sentence a nuance that suggests ambiguity, as if prohibition of this move requires some particularly "strict" reading of the rules. I agree that makes the sentence weaker, and given the gravity of the sentence, makes the article seem somewhat amateur.
Yep - I'm combining some things for sure. But I didn't cargo cult it -- I came to my current agile through experience over several projects (4 or 5). Somwhere in the middle of those learned about agile via the manifesto and then read a single book about scrum (this one : http://www.amazon.com/Scrum-Breathtakingly-Brief-Agile-Intro... ). We've modified it a little from there.
I also hate "sprints" ...you can't sprint forever.

Exactly! It's a totally broken metaphor, as nobody can sprint, sprint, sprint, sprint, ... forever with no pauses, rest, or slow periods in between.

So, because we can't sprint forever, I built "admin week" into our process - we sprint for 2 weeks, heads down nobody bugs devs (but me). then the 3rd week we "rest", do demo day - show progress and prep for next "sprint".

Yeah, I usually try to do something similar to that. It makes a lot more sense to me, than trying to pretend that you can "sprint" continuously for an indefinite period of time.
All the more reason to avoid the acronym, then; the people who are stuck with it need all the help they can get.
> But does your comment mean that sites who make a concerted effort to have as few ads as possible will be fruitless in their efforts?

To be totally honest? Probably.

I'd be inclined to whitelist sites that curate their ads or ad networks such that

1) Ads are small and delivered fast
2) Ads do not track users
3) Ads never deliver malware ever.
4) Content is not split or otherwise organized to enhance ad views over readability.
5) Ads do not popup, popover, popunder.
6) No door-in-face to advertise your iOS/Android app.

and so on and so forth.

The issue here is that you first have to establish that you won't do these things, then I have to trust that you actually keep your word and will continue to avoid bad ads indefinitely into the future. That is, you won't change your mind when revenue decreases. Then I have to extend that same trust to your ad network. I have to trust that they won't "slip up" while you're not watching.

And now I have to do that for all the sites that I visit that I may want to whitelist.

Thats not really tractable. That trust requires a lot of research on my part or blind faith. And the ad network thing is also a sticking point, because ad networks that have seemingly worked in good faith in the past have become user-hostile when they became larger or had to compete (i.e. Google).
> This isn't correct. The statistical power of n=5 humans is quite low.

A few points are important to consider.

First, I was only talking about experimental studies searching causal relationships. There are other possible designs, for example field studies (e.g. "school district A gets the new math curriculum, school district B the old one. Which one fares better?") or simple population observations ("people playing golf live longer than the average population."). Each design has advantages and disadvantages regarding generality of the statement one can make, and for each one different statistical considerations apply.

Second, the statistical power does not rely on a high population alone, as that (more or less) only affects the significance tests. Much more important is the effect size. If you can measure a large effect (as this study did), it's pretty hard not to reach significance anyway.

Third, from a statistical point of view, the population isn't 5, but much higher.

Let me explain:
There are certain kinds of treatments whose effect is reversable. Caffeine intake is an good example: Once you stop taking caffeine, the effect recedes. While designing the study, you can use that property. One common way is an ABAB design, where A is a phase with treatment and B is a phase without. You can chain as much AB pairs as time permits, and additionally you can measure multiple times per phase. Statistically, the population now is real_humans x number_of_phases x measure_points_per_phase.
If I could compensate them for the content that I like, I would 100% without a doubt. But that's not an option in 99.999% of all places, the only option is to pay for a subscription to a site that I'll visit one time.
I hate this supposition that everyone should bend over backwards to allow people who make money in a certain way continue making money in that way.

You could just stop visiting the site that offends you. That would be the actual principled way to treat this - the content is not worth the price of admission. Instead, ad blockers let you take the content and sidestep the price of admission.

I absolutely agree that media companies have not been creative enough in monetization, but "I'm going to take the content from you until you find a way for me to pay that I like" strikes me as a very entitled stance.
Other then what is described on the FAQ[1], I don't know specifics, no.

[1]https://news.ycombinator.com/newsfaq.html
Adulthood 101: A free personal finance guide
Your example about Ars Technica is perfect. They do it great and in a very tasteful way. I applaud them.

The issue lies in that all the people who do it bad, The Verge, etc ruin it for Ars Technica. Why? Because the ads on The Verge are so atrocious they install adblockers. Now these adblockers are all in whitelist mode from the start. Nobody cares to turn it into blacklist mode and require users to manually enable it for the sites. They just blanket block all sites from the get go. Nobody wants to deal with configuring it and being fair. So Ars Technica is now losing out by following the books because The Verge is douche spaceships.
> Since you passive-aggressively banned my account by not actually telling me about it

On the contrary, https://news.ycombinator.com/item?id=10174306. I warned you several times before that and asked you more than once to put an email address in your account so we could contact you about this.

We bent over backwards not to ban you because we don't want to be accused of banning users for political reasons—which of course we don't, but it's an accusation people like to make. Unfortunately, you don't seem to want to use HN in good faith, so you're banned until that clearly changes.
While this seems to be made on purpose, my gut feeling is that car makers shouldn't do software...
And people will be on the hook for $20,000 because they purchased something from a now-nonexistent company?

That's idiotic.
You seem to have a deep misunderstanding of copyright law. Just because you created work as part of a group does not mean you have surrendered your copyright unless you have signed a contract to the contrary.

Without surrendering copyright, you absolutely do have the right to unilaterally license your code in whatever way you want. The entire reason that companies require you to sign IP agreements before starting work is to ensure that you don't run off with the code.

The developers wrote the code and never signed a license to Billy's company. They own it. End of story.
Really I think the CEO read some article in "Big CEO Magazine" while on his yacht last year about how Agile is the best thing for software companies since sliced bread and he got it in his head about how obviously everyone in the company now needs to "do Agile" and then told his little minions to make the company "do the Agile thing now" and so you ended up with a lot of non-technical managers trying to implement Agile processes and methodologies which is the exact thing the original article is railing against.

In my experience as a business analyst, the Agile Manifesto is fantastic until the cookie-cutter MBA's get a hold of it and try to turn it into a rigid set of rules and guidelines that Must Be Followed For Improved Performance!
re firmware. It's true and orthogonal. Just as the DARPA project is doing, you use the best tech and method for each part of the job. The recommendations I gave her were for kernel up mainly for isolation. Drivers should be written robustly, synthesized, use trusted hardware, and/or mediate the hardware.

re x86 vs ARM. It's true. Remember, though, that I didn't tell her to use seL4: just re-use work in L4 family projects like Nizza or OKL4 to get their security + performance benefits. The idea is you get a good start, make sure you can swap in/out components, and someone puts a verified one in place later. This is exactly the approach GenodeOS team took along with using many things I recommended in other post. Only gripe with them is they're doing too many things at once rather than focusing on getting at least one in best, production mode.

That said, I agree with keeping off x86. I've recommended ARM, MIPS, SPARC, and RISC-V for future work. SPARC is nice due to open specs, no licensing past $99 trademark, and GPL hardware available. RISC-V people building all kinds of things. SPARC and MIPS have already been modified for enhanced security by academics several times over. So, SPARC (esp Gaisler), MIPS, and RISC-V are my recommendations in that order putting usability/extensibility over pricing.

re pragmatic approach. Sure, I agree with that part. The resulting approach combined things top on the CVE list onto a platform she published exploits for and criticized in other posts. Gotta wonder how far its security would go. ;) She was a good bug-hunter, though, when she understood how something worked. Didn't seem to understand strong, security engineering so I predicted QubesOS would be good for vanilla malware w/ some containment of advanced attacks. Basically, a nice improvement on and replacement for Compartmented Mode Workstations's. The TCB size and implementation are just too complex for high security.

re secure browsers. For full-featured experience, you'll need either virtualization or my old KVM-switch method. More research in the former has only made the latter look more trustworthy over time haha. Anyway, I referenced a number of more-secure browser architectures in the comment below. Enjoy seeing variations of The Right Thing in action. :) Now, if only mainstream would put effort into improving those instead of the monolithic ones. Chrome was at least an OP-inspired attempt. Due credit for them.

https://news.ycombinator.com/item?id=9969961
If a mom and pop diner refused to follow basic hygiene procedures we'd shut them down

But that's not what you're doing. You're going to the mom and pop diner, eating their food, then declaring that their hygiene standards mean you don't think you should have to pay for the food.
Nomad List is a team of 5+ data editors, writers + founder. http://nomadlist.com
This is awesome.

The existing single node solutions have been painful to get up and running, and always seem to be missing some feature or other (DNS, for example).
If you want a real apple to apple comparison: Node.js = Rake, Sails.js = Ruby on Rails.

Rake is a raw server, giving the minimum to do something. Ruby on Rails is a full stack framework giving a complete solution for both: the front-end (template, asset pipeline...) and the back-end (API, routes, ORM, security...).
Judging from a quick test, No.
There's better options if you want to make the sequences visible, for example: sed -n l
I think it's a good compromise. It's like if you were to buy the product (full price or 12 payments plan) then you get the product that was released on the day you bought it. I assume the "version" they're talking about is major releases, so you'd still be getting patches for that version.
Being anti-consumer seems to now be costing money as well. And that is what most if not all ad driven publishing has become. User-hostile.
Why does he continue to recommend people use Ghostery and block ads on the desktop though? Blocking ads on mobile is bad, but blocking them on desktop is ok--huh?
Mesosphere Infinity: You’re 4 words away from a complete big data system
He announced it on his highly trafficked blog and Twitter account. He carries pretty significant weight within a large circle of folks likely to install such an app. This isn't his breast feeding timer app we are talking about.
Not at all, it would be a third Rook of the alternate color.
Found an easter egg: sudo make me a sandwich
I don't use ad blocking software! So it can't be considered that I'm using some kind of cop-out or rationalization, since I'm not doing the thing that is supposedly bad.

I think there's a huge difference between what's legal and moral. I think ad blocking is quite legal, and morally questionable.

If the publishers want to get together and define a new protocol where acceptance of the terms of the TOS is included in the standard and then convince everyone to switch to it, they're free to do that. I suspect that they won't have any luck, but there's nothing stopping them.

Again, I say this as a person who does not use ad blocking software.
Does it also work with immutable data-structures?
That's actually a more articulate, but redundant codicil to the argument I made in the rest of the post. Multiple tests will result in significance at some alpha, since you just have to test enough times to get a lucky test. There are techniques (outlined in your link), for addressing that, but the central point I think is still cogent.

If you have a test of significance that results in p < 0.01, there's a one percent chance that you're rejecting the null hypothesis due to normally-distributed variation in your data. The base rate fallacy is more about interpreting what that p = 0.01 means, and why systematic bias is important to worry about - if you're testing cancer drugs, you don't want to test them on people who don't have cancer.
Robert Reich: Is Big Tech Too Powerful? Ask Google
'Ghost Push': An Un-Installable Android Virus Infecting 600,000+ Users per Day
A tool is an insult for a person who is a jerk with a high opinion of themselves. Appending bag to tool is an enhancer to the original insult, like douche vs douchebag.

You also get things like jerkbag or dirtbag or dickbag. I think I've seen people write "so and so is a bag," so the exact nature of the insult is evolving.

Bag is evocative of scrotum, but I don't think it originally evolved that way. Although scrotebag is a pretty good insult
Of course there was also no rule saying that chess functioned on a restrictive rules system and a lot of evidence that it instead functioned on a permissive system. Which would invalidate the "no rule says I can't" argument.

(when designing a game's rules, "restrictive" means the approach is "everything is permitted by default, unless explicitly restricted", while "permissive" means "everything is forbidden by default unless explicitly permitted" -- if we assume that chess is a restrictive-rules game, we can similarly mate in one from almost any position by simply inventing new pieces with unusual abilities and declaring that "the rules don't say you can't!")
Also not when it's a great quote in its own right.
The presentation gutomaia did on PyNES at PythonBrasil had a slide deck written using this tool.
No. See http://www.copyright.gov/circs/circ09.pdf . "A work created by an independent contractor can be a work made for hire only if (a) .. and (b) there is a written agreement between parties specifying that the work is a work made for hire." (Emphasis mine.)
In the embedded world, this is the rule not the exception.
AFAIK Microsoft uses Mellanox Infiniband networking in Azure. So this Linux distro is most likely controlling Mellanox hardware. Do you know which Mellanox model of infiband switches they use?

"InfiniBand enables the most efficient cloud – Microsoft Azure"
source: http://www.mellanox.com/related-docs/applications/TOP500_NOV...
Yeah, to be clear, I'm in favor of surrendering IP to the group for an event like this, because if you split everything up at the end it'll be worthless.

BUT! Terms like this need (both legally and ethically) to be explicit, and should have provisions for both "person X stays on-board" and "person X leaves after the weekend."
The cars in this recall are all diesel.
Agreed, I think the assumption that ticket price is somehow related to cost is the violation here.
My experience with agile development in companies: It is largely used to delegate the responsibility for a project and the results away from the management to the developers.

They just throw the objectives (made by the management) over the wall to the developers, those have to give an estimation and the managements is free of any further responsibility.

So the developers will in practice exploit themselves. This already was profitable in the automotive industry, where instead of the management, the fellow workers pressured the coworkers. The peer-pressure can be even more pressing than any management mechanics.

This finally of course is the opposite of agile development as it meant to be -- but that is nothing, that anybody in management would care about. The label "agile" is good enough and even most employees don't see how they where betrayed. They think (at least for some time), they where "empowered", but the real empowerment is, that they are now free to enslave themselves for the boss.
ORTC API is now available in Microsoft Edge
> Wroclaw was one of the few Polish cities that survived the war relatively unscathed.

Wrocław was destroyed in 70%. The current Wrocław is basically a Polish interpretation of how a former German city looked like. Still beautiful though.
I just visited Ars Technica without the usual self-protection.

I get greeted by a salvo of dozens of third part trackers from the likes of Doubleclick & co.

Ars Technica operates as maliciously as any other publisher. There's no "careful consideration here", just blatant disrespect for the privacy of their public.
Lessons learned from the Ashley Madison hack. 5 tips to stay safe in the future
What's also crazy is it ran on the 80286, something most PC-based UNIX systems never even tried to pull off.
Sorting humanity out into "nerds" and "biz guys" might make sense from 20,000' if you squint hard enough but like any form of tribalism it does way more harm than good when used to make in-the-moment decisions about real problems affecting real people.

It's a sometimes useful generalization, but it can also be a shortcut people use to trick themselves into thinking that they are part of some wise and good group of people (who coincidentally are just like them!) and gives them carte blanche for othering anyone they decide they don't like or don't want to work with.

It's almost impossible not to do this, it's kind of a necessary evil when you're constantly dealing with lots of different types of people and don't have much information about them to make more nuanced judgements. Not a problem as long as people don't start mistaking the mental shortcuts and generalizations we all employ for reality. Most of the time I behave as if pi is 3.14 because that usually works fine, but I never allow myself to start thinking that it actually is 3.14, which is the vibe I get whenever anyone starts talking about how everybody is either an "x person" or a "y person".
Well, sure, if auto purchasers were at risk of massive fines if they received a vehicle where the manufacturer had done something that the average user wouldn't have the skill to detect, no one subject to the government imposing such fines would ever buy a car again, which would solve the problem quite completely.

OTOH, destroying the entire auto industry in the subject jurisdiction might not be considered an optimal means of resolving the problem. (And, indeed, might be so suboptimal to the population as to have catastrophic political consequences for the government imposing it.)
Swivel: Strategy driven, segmented feature toggles in PHP
And yet, no one has a "Perhaps white people do so well because..." and if they do, they're racist. Right?
I'm quite aware of P-values :) I neither mentioned posterior calculation of probabilites nor talked about correlation studies, so I'm not seeing your point in linking to Gelman's article?
You might be responding to a different puzzle (the original) from the one now being discussed (from https://news.ycombinator.com/item?id=10240289 )
> I refuse to resist puns. They just flow through me.

Then you'll like this one.

When I was in college, we had a computer lab full of Sun workstations running Solaris. It was officially called the Solarium.
Though as that link mentions, using the terminal's bracketed-paste feature can avoid that. It talks about oh-my-zsh but support for that is built-in to zsh since 5.1. It still isn't perfect, as the pasted text might contain fake end sequences or your terminal interrupt character.
This is such a great autobiographical account that manages to do two incredible things at once. It chronicles the discovery of a very interesting historical possibility. While doing so, it also explores the interplay between the personal and professional lives of a very accomplished researcher.

I love the theme of how discovery and research are the source of both melancholy and ecstasy. Gopnik herself seems to have found fulfillment and an escape from other troubles in the exciting new questions she encountered about Hume's influences. The other side of the same coin is Hume's depression during the period when he found himself incapable of making significant progress on his thesis.

> "When you’re young, you want things: work, love, children. When you reach middle age, you want to want things. When you’re depressed, you no longer want anything. Desire, hope, the future itself—all seem to vanish, as they had for me. But now I at least wanted to know whether Hume could have heard about Desideri. It was a sign that my future might return."

The other theme of interest to the tech community is the interplay of personal and professional lives. If you consider the two aspects of one's life, personal relationships and professional fulfillment, each provides a hedge against possible problems with the other. Interesting explorations in one's work can help pull one from other problems in life.

There is a significant time-varying component of probabilistic luck in whether one's life and work will be fulfilling, but I think it makes sense to constantly strive to bias these probabilities towards outcomes that involve working on exciting projects and building meaningful personal relationships.

I think this article is a strong descriptive companion to Zach Weinersmith's popular comic about 'eleven lifetimes' http://www.smbc-comics.com/?id=2722