skysight-inc/HackerNews huggingface dataset:
Maybe http://types.cs.washington.edu/checker-framework/current/che... ? (I've used other parts of the checkers framework, but not that one yet)
UPDATE: I've not outlined a single policy - and I'm already being told I'm wrong.

Sure you did - rent control. That's the name of a very specific policy. You might have meant "doing something about rent prices", but then you chose an unfortunate way of expressing it, I must say.
It looks like the Python version that's good for 2^49 items uses 1360 bytes for this array, allocated on the stack.

I wouldn't worry about an extra couple of bytes nearly as much as I would worry about changing the behaviour of a function used in an "astronomical number of program", so this looks like a pretty reasonable and conservative choice, at least for an immediate patch.
In the same way that finding developers is easier if you go where the developers are, finding sales & marketing people is easier if you go where the sales & marketing people are.

E.g. frequent community sites like http://inbound.org, check http://meetup.com for relevant events and participate there...
It wouldn't catch this bug. The algorithm works for lists of size less than 2^49.
Just a nitpick, but the article makes a mathematical mistake. In the last paragraph of section 1.2, it says

For performance reasons, it is crucial to allocate as
little memory as possible for runLen, but still enough to
store all the runs. *If the invariant is satisfied by all
runs, the length of each run grows exponentially (even faster
than fibonacci: the length of the current run must be
strictly bigger than the sum of the next two runs lengths).*

However, fibonacci growth is strictly faster than exponential. In fact, this is why n * log(n) is the lower bound on the number of comparisons a comparison-based sorting algorithm must use: because n! is approximately n * log(n).
There's a difference, though: QuickCheck randomly tries a large-ish number of possible inputs to try and disprove a postcondition, whereas formal methods prove the postcondition for all inputs. Practically, if the number of possible inputs is huge compared to the number of failure cases, it's unlikely that QuickCheck will find it. I strongly suspect - and this would be an interesting experiment - that QuickCheck wouldn't have found this particular bug, since Timsort has been in use for years without anyone noticing it.
The 5G capabilities of the technology look amazing on paper. Hope it works out in the real world.

Those interested in more technical details should check out the whitepaper:
http://www.rearden.com/artemis/An-Introduction-to-pCell-Whit...

Page 81 talks about pCell VR, their ideas about cloud based wireless VR tech.
> Its effect on Monarch butterflies and other insects is becoming known.

Source for that?

> the scientific consensus you mention has also drawn attention due to conflicts of interest from sources of funding.

source for that?
What was the acquisition price ?
I'd say that QuickCheck would have a hard time coming up with a failing test case since the input needs to be rather large to trigger the bug.
I consider peoples need for a conspiracy theory to be the same as peoples need for religion or superstition. It's about a need to believe in some higher order to seemingly uncontrollable chaos.

I don't think it's fair to call this evolutionary trait as a "mental illness" either, since correlating cause and effect is what helped us learn to farm and such like. The hard part is separating linked events from coincidences - which is where the scientific method comes in of using larger sample groups, control groups and peer reviews. However lets also remember that this is an extremely recent development in our evolution.

As a footnote, it's also worth noting that these traits have also been observed in other species such as pigeons: http://en.wikipedia.org/wiki/B._F._Skinner#Superstition_in_t...
It would be interesting to see if QC would find data easily that brake the implementations or require some tuning in the way it generates test data.

And sorry, I have downvoted you by mistake when I wanted to reply.
Why does Authy require I provide my cell phone number and email address? Why do I have to have a user account? This is completely ridiculous. I do not need nor want cloud syncing or backup. You are making Authy a potential target for attacks by associating a user to cloud stored 2FA information.

This is not in the spirit of 2FA.
Japan is a-typical in many ways.
Show HN: How to analyze your email data
Hierarchical projects coming to Eclipse Mars
I'm replying to the part of your post that you edited out, after I edited out the part of my post that your edited-out part was addressing :)

Yes, you're right. I overreacted, a lot. So I removed it.

But, I stand by the sentiment. This place is downright hostile to productive discussion. Your account can have a dozen or so hexes capriciously placed on it by the mods - and you'll never know directly if this was done, to say nothing of why it was done. A single downvote will grey out your post, as if the community needs to be protected from your thoughts because one jerk decided he would downvote your post (in this case so quickly after I made the post that I wonder if he even bothered to read it all).

HN members worry about 'becoming Reddit' without stopping to wonder if that would be an improvement. From a moderation and forum software standpoint, at least, it unequivocally would be an improvement. I don't want to be a part of this community anymore.
An implementation of an argmax collector using the Java 8 stream APIs
Exchanging memory usage for equality comparations is an almost universal no brainer. The number of comparations must increase hundreds of times for compensating doubling the memory usage... and that's just for performance, for energy savings you'll need more.
4 Causes of Remarkable Customer Service
25 of the best Twitter marketing strategies
As an Ottawaian I am always a little confused as to why they never run Zambonis along the Canal -- it is because of cost or is it not safe to run these machines on the Canal?

Some people use it to get to work, but most don't. The problem is that it is very very cold here in Ottawa. This morning it was -22 C before you factor in windchill (which would be worse if you are skating.) In that cold it sucks to put on skates, and your face hurts.
How to Become a Data Scientist and Get Hired
This article is timely. For all our advances in technology, terrorism remains a social and economic issue. Technology can help us scale a solution, but it can't do it for us.
Crawlbin: Web crawler testing utility
Looks good - although is this also missing declined transactions ? We see a very high percentage of failed transactions each month, however this could be because 80% of our customers are in my he US but our merchant account is in the UK ?
How to Get a Car Loan After Chapter 7 or 13 Bankruptcy
There are different forms of rent control. I've not outlined anything. But I take your point.

In reality, I don't have an outline. I've got an idea that "something needs to be done". I don't even want the job but the frustration and despair of renting and buying in London under the current conditions just might be enough for me to put my life on hold for four years. It's clear that no one in the current political class has any real appetite for this issue.
freelancer financials at $200/hr are closer to 200/hr * 30hr/wk * 52wk * 2/3 weeks billed = $208k/yr minus overhead, and an individual with rare enough experience and skill to close a gig at $200 is not the same type of person working average salaried jobs
Could just use a search db (e.g., elasticsearch) depending on the structure of your data and the aggregations you need.
Antibiotics on Food Causing Children to Have Allergic Reactions
Hi, good question. The reason for the phone number is that we depend on your phone number as part of your identity. Almost all 2-FA systems today use the phone number as a way to send you the code via text/phone call. If you read my blog post: blog.authy.com/twilio you'll see we decided to build our infrastructure on top of the telecom infrastructure because it was ubiquitous.

I also understand why some people don't like clouds backups. The good news is that backups are off by default and optional. If you don't need them, you can keep them disabled.
Time to Ban the Bloatware
Hi Whyley, the acquisition price was not disclosed.
We've been mailing them to our customers, I think people like them. Something to pin up next to the monitor.
I don't think business is the answer to everything. There are a lot of ways that I think the shear size of some corporations gives them the capacity--through vertical integration--to ignore some market forces. Oligopoly is not a free market. But I think you're way off base here and are severely overstating what we should realistically expect out of government.

Even as early as Henry Ford (in positing that greater leisure time for workers was good for the business as well, as it increased per-hour productivity and created a larger consumer class), we see capitalists bucking such simplistic and reductive thinking. Also, the only modern movements towards reducing working hours lately has been from private industry as well.

I don't think there is any principle to any study of government or economics that says what you have said. Government has the capacity to enforce laws. Beyond that, what those laws are, for whose benefit they are written, that's not guaranteed. To hope that a government will adopt a certain policy for humanitarian reasons is wishful thinking.

But, if you can make an economic case for a certain policy, then it becomes much, much harder for people--either businesses or governments--to ignore.
No mention of Pittsburgh! We have a fairly low cost-of-living and decent salaries for tech.
This is a job for the Prime Minister. One step at a time eh? ;)

Also, HYPERLOOP!
> fibonacci growth is strictly faster than exponential.

This is wrong. The easiest intuition for why this is true that I can come up with is that next Fibonacci number is no bigger than double the previous, and so fib(n) <= 2^n.
> The folks at SRI who invented Siri get a small license fee, while Apple makes billions by wrapping it with a candy shell.

Just today I read an article which said that Android's voice recognition was greatly improved by using (old) neural nets algorithm but with more data and CPU power than the initial attempts.
Do not assume that good functionality is necessarily the result of an improvement of algorithm.
You touch upon something here which I've been thinking about for a while.

AI is already here. It has been for a while. We call it "the state", or "a corporation", more often than not.

We have created edifices and structures of control which take inputs and present outputs. A corporation or government can be said to have thoughts, opinions, and can certainly act.

We witness acts of heartless bureaucracy all too frequently, as you touch upon with Content ID - and this, ultimately, is little different to the oft-touted paperclip maximiser problem.

I view these structures as meta-consciousnesses, which are built on rules and systems of working, and invoke human minds, typically in groups (ah, Abilene), where necessary.

To bring about AI in the "it's done by computers" sense mandates replacing those human components with automated ones, which we're already doing.

I'd say that, as you say, it's already here, in a weak form, and it's already clear that without clear governance and thought into the construction of these systems we run a severe risk of unintended consequences.
I was kind of looking for that too. Cost of living in this area is pretty low and the tech scene is growing. The only downside is you have to live in Pittsburgh and I actually like sunshine so I've been thinking of moving.
What's your take on U2F?
Mark Zuckerberg Plans 200 Acre Zee-Town for Its 10,000 Employees
Go source code rewriter by Russ Cox
It's because they aren't the best for it. They'd require a lot of passes.

So they modified a zamboni! https://www.youtube.com/watch?v=THe4vZ2dVfM

http://www.macleans.ca/news/canada/smooth-operator-2/
> Which again is not an answer. Why are segmented stacks necessary? Why are copying stacks necessary?

Because Go wants to provide very lightweight goroutines for highly concurrent and scalable services.
How Does 0 Percent Car Financing Work?
Article summary : "I can't afford to live in london so I'll live somewhere terrible instead of living somewhere I can afford and whine about it on the internet instead"
Hi An6n, Fido and U2F are really interesting to us - we are totally supportive of it and have some really great things planned around this area. Stay tuned!
Good for them. That doesn't really change the fact that living in London is increasingly difficult for anyone who isn't working in finance though.
Right, which is part of the reason why I call into question trust in government. You can trust a corporation to be self-serving. If you can make an economic case for a policy, then all else being equal, the firms that adopt that policy will eat the lunch of the firms that do not. But you can't trust a government to protect the best interests of the people. I think they've demonstrated on a regular basis that they generally won't.

What is more often the case: a regulation coming into form to protect the consumer from the evils of corporations, or that regulation actually forming to protect an entrenched corporation against competitors?

We, as a society, all make up the market. When you put a monopoly power in control over it--i.e. a government--you open the door to abuse of that power, as there is no alternative. You create a single point of failure for society.
Ahoy Authy: Welcome Authy to the Twilio Team
Everyone's internal ip range is likely to be similar.

192.168.[0|1|2].0/24 or 10.[0|1].[0|1].0/24

There are some projects that hold a registry of internal ips, for example: http://www.chiark.greenend.org.uk/ucgi/~ijackson/cam-grin?li...

If we all were on ipv6 it might help, but meh.
You do realise that with authy you're just registering TOTP stuff right? It's not on the same level as what you're mentioning. It's like complaining about having to use Firefox instead of google.com
On Expensive Bugs
Fibonacci is n(i) = n(i-1) + n(i-2). Factorial is n! = n * n-1 * n-2 * ... * 2 * 1.

In the second sentence, you might have wanted "lg(n!) is approximately n lg n". That would be a good reason for needing n lg n comparisons to distinguish between the n! permutations.

I have edited this comment as my understanding of the parent comment developed >_>
I just don't understand why if this was a hijacking that there was no media outlet alerted stating demands or claiming responsibility, etc.

If that were the case I can only imagine that something went wrong and they were unable to announce the takeover or there is some sort of cover up that is being implemented to prevent any groups from getting credit for hijacking a plane. Nothing really seems to make a lot of sense to me.
I do think it's interesting that the author doesn't really seem to sure himself and thinks that he may be crazy to think he has the answer.
It seems that a lot of events when thrown into a strange context can seem to both explain something yet sound/be completely crazy(the work to hide the airplane in Kazakhstan in the middle of winter)
It could have just been some government project that just so happened to wrap up around that time. I wonder if this plane will be found...
The bars are tiny when I select architect/consultant/manager in Arizona.
I don't understand this rage. I've used Authy with regular TOTP services, and in some cases where I was explicitly told to use something else like Google Authenticator. Unless this changes, I don't see any reason to stop using Authy.
Using strace to solve a problem which didn't exist
Full disclosure, ChartMogul does not (yet) auto-classify churn in all the ways mentioned on the cheat sheet, however this is something we'll be working hard on over the coming months.

You can currently segment your churn in a bunch of different ways (e.g. by plan, geography, cohort, etc).
Two-Factor Authentication Service Authy Acquired by Twilio
Our city isn't that bad! Though it does rain a good deal, and is cloudy a lot.

That said there are a lot of amenities (museums, shows, groups, &c) and things-to-do, so we're not as isolated and dull as a lot of people I've met feel we are.
Oh Austin is so cute. I've lost apartments in Brooklyn getting outbid by $300K.
Damn! You're absolutely right, this would come under the 'Passive churn' classification I think.
Point 1: A lot of people want to live in London. More, in point of fact, than there's really room for.

Point 2: We, as a society, really dislike the idea of telling people where they can and cannot live. "Your papers, please" is a punchline, not a blueprint.

Point 3: Britain, in specific, is very leary about development. Not without reason, but even though it would be absurdly profitable to build a fuckton of cheap, efficient, high rise apartments, it is and will remain illegal. (Which is fine; build the apartments and then you have traffic issues, etc. My point is that you can't do this, not that you should.)

Combine these three points, and you'll get high rents and frustrated people. But unless you have a suggestion on how to change one of those points, it's not going to change, is it? (Well, I guess you could say the high cost of housing is changing point 1 by making London less desirable, but clearly, it's not happening quickly.)

Seriously though, it feels like the article is missing a conclusion. "Here's a thing that sucks, but let's not think about why it exists or how it might be fixed."

(But maybe I'm just being grumpy, I dunno.)
Encrypted text messages are relatively easy to implement as the apps (textsecure/redphone - signal) in question 'stack' nicely on top of whatever they were using for SMS already.

Encrypted mails are more problematic but aslong as they are using web mail, get them Mailvelope. On android with the K9 mailclient (+ openkeychain/apg) PGP-inline is possible to use, while it's not something your 'friends and family' will enjoy.

I have a personal disdain for pidgin/adium (libpurple), but similar to encrypted text messages: Once setup OTR is out of the way of your standard IM usage and it comes down to understanding user authentication.
I'm really not sure that's a fact I wanted to know.
What makes Yubikey part of the "default" set but not Authy or RSA?

This seems awfully like "If you're going to offer 2FA, at least offer all the tools I like, before you offer any tools that I don't like".

It's also worth noting that Authy's app supports TOTP, last I looked.
The point is that London is driving it's lower income citizen's to accommodations like this. And London needs this citizen's just as hard as the higher paid individuals.
It's easy to say COL is innacurate if you're a single person willing to live a frugal lifestyle. These are typically based on average family size, so in the US, that's a family with 2.3 children. I'm not sure what the average family size is in Switzerland.

My point being- I used to be able to save a tremendous amount of money; something like 65% of my after tax income, when I was single. Now that I'm married with two kids, I'm only able to save a much smaller 35%. I still live frugally, however, when you have young kids going to school, it's no longer possible to live like a monk. School is expensive, and kids are expensive to raise.

Cost of living is a very valid metric. At a minimum, it reflects the local property tax rates, which are basically the cost of schools and other government services.
As someone who got fired from Amazon for sexual harassment because I was viewing "porn" (the image in question was a hand-drawn signature on a game forum showing less skin than your average perfume ad)... this rings very true with me.

I quickly learned two things: the viewpoint of your coworkers matters more than any facts, and we Americans are terribly prude.

If someone wants you gone, you're probably going to be gone; it doesn't matter what you do.
> Just to address this one thing though - from what I understand, we vote in secret so that we can't be forced to vote against our will by external actors via e.g. blackmail - not because we value privacy per se. Am I wrong here?

No, you're right. But I'd say that we implicitly value the privacy of the voting booth as a tool to guarantee a free election.

Thanks for thinking about this. :)
Pretty much. You have no more right to an expensive house than you do to an expensive car.
I have interview with numerous companies in America and have NEVER been asked personal questions.

What industry? What city? How many companies = "Most"?
Show HN: Stupid, but funny, video app for Android
If those harvesting tuna had to meet the full cost, ie they had to replace the tuna, then tuna would be more expensive. The price doesn't reflect the cost because the planet/ecosystem is being robbed.

If I sell fruit but I get it by stealing it from a neighbour then I'll be able to afford to sell the fruit at a far lower cost than the cost of manufacture and still get a profit.
Here in Winnipeg there is a path maintained on the rivers in the winter. More people commute by bike on the pedestrian side than skate on the skating side. From that I get that bike beats skates in terms of speed and effort.

These are just normal bikes. When the ice gets cold it provides a lot of traction.
I love how "put up with car culture" is a thing for our generation. Previous generation it would be "put up with not being able to drive". I'm fighting a losing battle against life in the suburbs but my one hope is that by the time I give in, I can commute in a self-driving car.
Haikunator: Generate Heroku-like memorable random names to use in your apps
If you mean Logo, the programming language http://en.wikipedia.org/wiki/Logo_%28programming_language%29

No they are not worth much (or anything). The language was(is) used just to teach young ones and has been replaced mostly with Scratch now.
You can get a reversal effect by self-selection.

Let's assume a simplified model of reality that has exactly two biased filters - an "upstream" bias that causes the pool of qualified candidates to contain only (as an assumed example) 10% women, and a "downstream" bias that causes qualified women candidates to disproportionally not get chosen or get worse offers, that results in a majority of companies hiring only (again, assumed example) 5% women.

If your company gets publicly known for hiring fairly, avoiding the second filter, then it may actually result in an effect that would "cancel out the effects of something high upstream" - simply because qualified women candidates may preferentially choose to apply at your organization, and your pool of candidates may contain significantly more qualified women developers than the national average, and thus also the people you hire would contain more qualified women developers than the national average.

A company with a reputation "if you're of group X, you'll hate it here" can have a perfectly fair hiring process, but still won't get much of group X simply because they will avoid that organization. An organization like Ku klux klan doesn't really need to do racial discrimination when hiring as most black people simply won't apply.

A fair hiring process would result in a proportion of women employees that generally matches the proportion of qualified women applicants, but the proportion of women among qualified applicants may vary significantly between different companies.