skysight-inc/HackerNews huggingface dataset:
> > What this underscores, if anything, is the accelerating pace of technological growth, for better or for worse.

> What? This is a non-sequitur. Continued advancement doesn't mean that it is accelerating, and even if this does represent an unexpected achievement that doesn't mean that future development will maintain that pace.

It's not a non-sequitur, but there is an implicit assumption you perhaps missed. The assumption is that the human failure to predict this AI advance is caused by an evolution curve with order higher than linear. You see, humans are amazingly good at predicting linear change. We are actually quite good at predicting x² changes (frisbee catching). Higher than that, we are useless. Even at x², we fail in some scenarios (braking distance at unusual speeds, like 250km/h on the autobahn for example).

The fact that it will maintain its pace is an unfounded assumption. However, assuming that the pace will slow is as unfounded. All in all, I'd guess it is safest to assume tech will evolve as it has in the last 5000 years.

That would be an exponential evolution curve.
Advantages of WebExtensions for Developers
People have a huge bias to add digits and special Characters at the end of a password and start a password with an upper case letter. 1! is also really common. So, the rules often end up with something like a ~90% reduction in search space.

PS: You also forgot about the special character.
This was made clear many moons ago by the now famous xkcd strip https://www.xkcd.com/936/
Yes. I share Dan Guido's take on Tor. It's an interesting and important research project that is in no way appropriate for the problems to which most of its users apply it.

Like everything else in cryptography, users don't care if things are insecure: things must be secure, because users want them to be! Ignore the Tor users getting zorched by governments; they're all outliers!
> I didn't mean it like that (programming with explicit states). Just a model of computation where the number of states is bounded. Any program with finite memory is a finite state machine. Every language must support at least that.

Any program is (or can be modeled as) a finite state machine, sure. But useful programs are a small subset of the space of possible finite state machines. It's not beyond hope that we could find a subset that allowed us to write most useful programs but was easier to reason about.

> One could claim that people are more likely to accidentally write a function that loops forever than one that loops 2^64 times. This may be true, but this again relies on empirical facts rather than general mathematical properties.

I am worried about not-terminating-in-reasonable-time (though much less worried than I am about looping forever), but can't we just make that one of the properties we keep track of and prove with the same tools?

> In any case, what makes you think that languages like Idris may make verification easy? The few cases of programs verified in this mostly-manual way took years to prove, even for very small and intentionally "dumbed down" code.

I guess my experience that keeping track of more properties in the type system doesn't make coding any harder. Compare Rust - writing Rust programs essentially means proving that things have valid lifecycles and are not used outside of them. This is a complex property that mainstream programmers were not previously proving at all - that many had despaired of ever being able to prove. And yet in practice people who write Rust find that not only can they do it, but the additional proof effort quickly becomes barely noticeable. Likewise with Idris you're proving termination in finite (though possibly unreasonable) time and once you get used to doing that it doesn't actually seem noticeably harder than not doing so. So I'm kind of hopeful that we can just keep improving the type systems used by mainstream programming languages until writing a program naturally includes proving the important properties of that program without even noticing.
>> reasoning by analogy is the core kind of reasoning we do, and logic is just a sort of superficial thing on top of it that happens much later

Well, for some that's certainly the case.
Biography of Dr. Judah Levine http://tf.nist.gov/general/levine/levine.htm
It's open source. Get it?

Nothing all stoping, DIY, in fact encouraged. I agree .ts is great, and who ever desires a lib to be .ts, the only questions is: if you desire it, than make it so.
Life on mars?

http://tinyurl.com/hp9njh7
I'd reccommend also checking out: http://corenlp.run/. It's a running version of the corenlp server. I'm making use of this, just have it running in a container and get parses via the API (which is good but a little odd to use).
No, they don't. Go to the Fortune 500, start at the top, and spot the first company where you can have "open, honest conversations" in the manner of a college dorm.
Why would they pay more?

As long as they can fill the seats they have open, paying "Canadian" rates, why not?

Sure, they are aware that some talent is leaving for greener pastures southward, but there is no "shortage" of talent available in the Vancouver market.

When/if enough of the developer supply has exited, that filling those seats becomes difficult, salaries will increase.

I wouldn't hold my breath.
Show HN: CloudModules – Create Reactive Modules to Your MeteorJS Application
more applicants != more qualified applicants

You leave out the possibility that the smaller pool of female applicants happened to have more of the highest quality applicants. That could potentially be explained by more quality filters being in place on women before ever reaching the application stage. What those filters might be isn't really important, but I could come up with several possibilities. They would be pure guesses, of course.

Edited to add: This effect of course would decrease greatly as you scale up. For instance, imagine there are 700 men and 300 women looking for jobs in your area, and women have been pre-filtered somehow such that they skew to high quality significantly more than men. You can hire the best 50 people and end up with more women than men, but by the time you are hiring the top 600 people, you're going to have more men than women. So, this works for a smaller operation better than a larger one, at least for creating an observable result. That said, perhaps changing the hiring practices of many larger companies would have an eventual secondary impact on these mysterious filters.
Woo! It has a bugfix to qt-webkit that I committed. It fixes a canvas.toDataURL issue with PNGs.
I think you will agree a tyrannical workplace that stifles honest conversation and criticism is a pretty shitty place to work, and perpetuates the unhealthy power imbalance between employers and employees. A workplace shouldn't be a kingdom of the CEO where his word is law, at least not as it applies to your everyday behavior and speech. Exceptions of course to expecting widely accepted professional behavior.
I do. The police shouldn't have access to weaponry that citizens cannot obtain except in very specialized circumstances, like say a particular unit in a city like Detroit or Chicago.
I wouldn't even say it's speculative condo buying - it's more like treating the condo as a piggy bank. It's considered a safer investment because it can be purchased through a shell company (LLC), hiding the true identity of the buyer, and unlike the funds in a bank account, can't easily be seized.

There was a well known phenomenon: http://www.nytimes.com/2015/11/29/business/international/chi...

"In London, Chinese investors are purchasing high-end apartments in wealthy neighborhoods and big skyscrapers in the financial district. In Canada, they are paying $1 million for modest Vancouver bungalows. In Australia, a Chinese sovereign wealth fund bought nine office towers, one of the biggest real estate transactions in that nation’s history."
Okay so that's how I decided to stick with my Windows phone forever.
RC4 will no longer be supported in Microsoft Edge and IE11 beginning in April
I'm not sure there's a correlation between remote work and insane hiring processes. That doesn't sound correct. Also I think that lots of this ridiculous behavior is in S.F. and the Valley. There are plenty of tech companies that exist out side the confines of cliche shallow bubble culture.
No, most businesses will not in fact benefit from a venting of the open and honest feelings of people who strongly believe in prejudices against races, genders, religions, ages, ethnicities, and the like.
I actually think customer service require more skills than it may appear straight away - you have to learn to make angry people like you, or at least think they have been treated fairly.

And I have never seen a successful startup that didn't listen to its users - which you can't do if the people who are supposed to talk with them are in a different continent and don't understand the language really well.
Why not?
It works.

Cops without guns:
https://youtu.be/cX5CPx4RKWw

Cop with gun:
https://youtu.be/RdoeBXt06Bc
British cops do that quite regularly.
If that is the case, there are a few dozen "unicorns" that never had a "hit the gas" period and just grew slowly into billion-dollar companies over decades. I don't see any reason that is not a clear and viable path today, if you have the patience.
Thieves Phish Moneytree Employee Tax Data
> Then copy that file to the smartphone or whatever and send it, with no attempt at security. Done.

They still know who you are communicating with. There are ways to communicate without disclosing with who you are communicating.
I second that observation. I wish the manager at my day job read ANYTHING, at the very least some informercial-laden industry publication.

In my case, I'd like him to read Fred Brooks' "The Mythical Man-Month", to make him understand how a programming system costs a lot more than a simple module.

Summary: http://javatroopers.com/Mythical_Man_Month.html

In second place, I'd place "Peopleware", so he'd understand the importance of communications, and how the current office arrangement is losing the company a lot of money:

Summary: http://javatroopers.com/Peopleware.html

Amazon link to both:

http://www.amazon.com/The-Mythical-Man-Month-Engineering-Ann...

http://www.amazon.com/Peopleware-Productive-Projects-Second-...
If you like this talk, come see him talk about what's even beyond that at GCP Next: https://cloudplatformonline.com/NEXT2016.html

Disclaimer: I will be there freaking out because I work at Google on Cloud and Jeff Dean is rad.
Newsbeat Radio – Great news articles, read to you daily
Making an Array Quack Like a Duck
MoEngage launches NATIV, create native in-app experiences without any coding
I'm not sure how commenting on the colour of a person's skin is discrimination. Perhaps unwise to say someone "blends in with the chair", but I don't think it was racism and more than saying "when I was driving I didn't see you because you were wearing a dark jacket and it was dark outside".

The issue is that Amelie interpreted the comment as "you're black, and therefore you're worthless/invisible". That's not an unreasonable assumption. The main problem IMO seems to be that Kelly is a bit of an asshole/bitch, with zero empathy. Any reasonable person either would have thought twice about making that comment, or would have apologised and explained that she didn't mean that.

It just looks like a typical company with dysfunctional management/HR rather than any kind of discrimination.
Illegal Math
Wouldn't this...(gasp) cost them more money? Going through html/css/js to make sure it isn't hiding anything sketchy in it is why these things make it into ad networks in the first place, and automated review is never perfect, as we see with Google Play and iOS stores. Content providers need to 1) Shut the fuck up 2) Write less clickbait and more high quality shit actually worth subscribing to
I don't know, but I doubt it. Maybe there is knowledge transfer there, but ISPC is a separate language that uses a 'varying' keyword to control whether a variable represents a SIMD 'gang' or not.
Well, the URL signifies that it was published today.
Alas, many many many sites have inanely short password length limitations.
Postgres for ladies
Goodness, no offense taken, it's a completely valid point.

The price point deserves a more thorough write up. For now:

I released SkipCast last July at $2.99. Considering I had video playback, advanced audio effects (including skip silence), and lots more, I thought this was a solid fit for the current marketplace.

The result: In the next 5 months I'd get just 6 sales, 3 of which were from family members (thanks mom!). Total app store revenue: $18.

Of course I did my best to market the little bugger, and even added features as the result of partnerships with the aforementioned RawVoice. Press releases went out, Nada.

And so after 6 months, out of sheer curiosity I went totally free and saw my downloads SKYROCKET to ... 5-6 a day.

--

At this point then I had a choice. I ain't getting sales and I ain't getting free downloads.

And so I did what anyone with a lick of pride would. Charge real money. I literally did it to not get sales, as I wasn't getting them anyway. At least this way I'm not whoring myself out. Honestly, for how many hours I put into this project it felt wonderful to jack that price up!

The kicker: Since the price increase I've finally had enough sales to cover my developer fee, and I've only recently renewed for another year.

The reason? I think it's easy to see why.

For one, it immediately sets you apart in the app store. You're scrolling around and see a $24 app and you're bound to take notice.

Of course most will scoff, but, apparently, enough have not. It at least gets someone on my app store page.

Second, I make specific mention of the price in the very first line of the description, and later, actually mention the fact that I'm trying something different.

Look, the bottom line is in my naiveté I thought that in a potential marketplace of 1 billion users there was room enough for 15 or so Podcast clients. Turns our I was wrong. I can't control that, but what I can do is add my voice to the ranks who should stand up to cheep bastards who expect all software to be free. You want SkipCast, you'll have to pay for it.

Man it feels good to say that : )
Just for the obligatory record: Purescript is basically "Elm evolved". Everything Elm does, Purescript does better (FFI for example is such a chore in Elm). Drawback: the learning curve is basically as steep as Haskell's.
Usability is key.

Once you hit 12+ characters it is extremely likely that the password is vulnerable to dictionary/phrase attacks combining whole words - or you're using a password manager.

The xkcd is funny - but it's also a terrible password suggestion.
We'd probably kill earth before that.
Here's a non-paywalled link to the ratchet explanation:
https://www.cooley.com/files/TechIPOsTriggeringMore'Ratchets...
I think you will agree that active serial rapists make bad receptionists. See how easy it is for us to meet in the middle?
My innovation :) is to prevent users from selecting their own words, so that we can actually guarantee the entropy required. Otherwise a Markov chain will tear it to pieces.
Haha I stopped at the exact same sentence.
All of these systems suffer from the differing password restrictions imposed by the various services you need to register for.

• Some services require both upper and loweracase characters.

• Some services require punctuation characters whilst others prohibit them.

• Some services prohibit repeated characters.

• Some services impose a minimum password length; some impose a maximum password length; some impose both.

Covering all these situations is nearly impossible.
Time, Clock, and Calendar Programming in C
>quality of the film, which this list is ostensibly based on.

No, the list is of "must watch" films for aspiring artists. Certainly quality will be a factor, but artistic diversity is far more important. A crappy film that demonstrates a unique style of direction is far more important than more high quality examples of common styles.

And when seeking artistic diversity, it's not unreasonable to suggest that lack of diversity of artists might indicate oversights.
Introducing fb-util-for-appx: create and sign Microsoft Windows .appx packages
What you should do in your first 5 mins of a new server install
"The company has raised more than $900 million to date from Amazon, J.P. Morgan and Lightspeed Venture Partners."

That's the biggest red flag for me. General rule of thumb is that your VCs won't approve an exit unless it's for at least 10x the funding you've taken, which means they need a minimum exit of about 10 billion.

That's a tough spot to be in, and really changes your thinking. I know of at least one company that had an exit opportunity but it was only 2x funding, so the investors wouldn't allow it. They then slogged along for 8 more years until they finally had an exit that was 0.2x and it all went to the series A investors with their preference. Founders got nothing, angels got nothing, employees got nothing, and series B and beyond (the ones who blocked the 2x exit) got nothing.

Edit to clarify: I'm not saying the VCs are doing anything wrong here or being irrational or anything like that. I'm saying as a founder you need to watch out for this because the VC has a diversified portfolio and the founder doesn't.
The answer to the begged question of the New York key escrow example is that it is impossible to guarantee a backdoor is 100% secured and only accessible by the intended users.

I'm not sure the camera analogy will carry weight. It sounds hyperbolic to most people as it tries to equate actually being recorded in your private affairs to the possibility of materials being accessed when a warrant is issued.

Most people have no problem with law enforcement accessing evidence when a warrant is issued. The only way to win over the general population is to demonstrate encryption is fundamentally different then simple access.
In the Land of Fantasy, Inequality Is Benign
I think its a bit disingenuous to phrase that part like they are just "replacing" those jobs locally. They are lost to the local community, and will never come back. Plus, I wouldn't expect the same level of service (change in stake and incentive), and there is now another possible data breach target.
The special casing for handling a three way split seems clunky at first glance. Why not use a 24-point system rather than 16?
At the moment actually that would be a pretty big problem, the dependencies are very large, mostly because that hasn't been a priority I think.

There has been work released recently which allows programs to be compiled to native binaries if they aren't dynamically evaluating anything however.
I don't think people are advocating for blatant sexism and harassment you see in dorms. They are advocating that a company shouldn't have an essay-length corporate policy on what their personal definition of a "micro-aggression" is and how you need to change your every day speech to remove vocabulary that 0.000001% of the population finds offensive and complains about on their tumblr page.

I am frankly disappointed with how obtuse you are being about this. I expected more from someone like you.
What's even better, you can use preemptible instances in GCE which are a rough equivalent to Spot instances in Amazon, but have fixed pricing (no bidding nightmare). They can live up to 24 hours, but can be shut down earlier, so your processing pipeline should be able to handle it. But with up to 70% lower prices and the same per-minute billing it's a steal!

Keep in mind that GCE has 10 minute minimum, so if you run an instance for less than 10 minutes, you'll be charged for 10 minutes, but after that billing is per-minute.
Cool! Microlibraries FTW, and I see requestAnimationFrame is used, so it must be more performant than most other similar libs. Definitely will try it out. Kudos!
Every time something like this comes up I keep asking.. which will happen first:
1) People with ideas will start refusing to move to that area, because of expense.
2) The capital will FINALLY start seeking other locations where they get more output for their funding.
3) With #2 the capital can come from SF, but allow the company to 'live' outside the valley, or even outside the state.

I've been seeing recent articles comparing the dying/aging VC scenes of Austin, Seattle, etc.

I just don't get why the head isn't being removed from the sand on this. It feels like when a founder gets funded their first concern is living expenses and food, not "how many people can I hire".

It's getting crazy, it's a race to the bottom it feels like.
> For one thing technicaly "w" isn't a latin letter.

Don't be silly. Yes, I know how Romans pronounced 'ave'.
It has been explained to them multiple times in congressional hearings. If you have a long time, the recent House Judiciary Committee Hearing is worth the watch:

The Encryption Tightrope: Balancing Americans’ Security and Privacy
https://www.youtube.com/watch?v=g1GgnbN9oNw

There was another one that I watched back in June, but I cannot find the video at the moment. Should have bookmarked it!

In the rietta.com article, I linked the this hearing, starting with Susan Landau's testimony starting at https://www.youtube.com/watch?v=g1GgnbN9oNw&t=3h35m50s. But there is more must watch portions of the hearing.

I like GnuPG and I use it regularly with work as does my team. And some of our clients do too, but not nearly enough. But my mom and dad are never going to use it. They do both use iPhones though. So being able to protect them is important.
Tangentially, watching the pace of papers coming out in machine learning is insane. It's so fast, people may literally cite powerpoint slides when the paper doesnt exist yet. The culture of openness seems to have fostered this insane pace. Contrasting that with the reclusive culture of life sciences explains why there is slow progress there.
Yes, how horrible of them to restrict expensively-gathered content to those who have signed up for free...
News flash: taking a randomly generated sequence of bytes and treating it as correctly following some encoding may fail.

This is like saying "Why isn't this random sequence of bytes a valid JPEG file?" If you want a random image, you generate the image randomly, then you encode it. Strings are no different — though the encoding is simpler.
Why not base64? Even shorter, readable, typable, copy-pastable (why are you copy-pastung passwords?), and pehaps even memorable.
> require more application and intellect

What? Customer service requires intellect, a lot .
At least with Office and Windows changes (whether you agree with them or not) they had documented and spoke about rational to an insane degree. There's been none of that from Adobe. This reaks of designers just looking for something to justify their jobs.
Thank you for the link. The idea that he "robbed" some Koreans of seeing a slogan and thus lowering morale never crossed my mind.
Relevant links pre-populated in your Google search results
Most commenters seem to be assuming that he took his original criteria seriously and the result happened to be one that some people found offensive. I think that's assuming the best. Meanwhile, those offended seem to be assuming the worst - some sort of bias.
> I don't understand what people mean when they use it today

By now, it often is used to be friendly. There's a subconscious acknowledgement that long words take people's time. The speaker can even be talking about his own work and tell everyone "tldr version: " at the top.

Google uses it a lot in their own docs: https://developers.google.com/s/results/?q=tldr

You can also choose to pronounce it "teal deer" and use images of a green deer animal to signify the same.

...

In some situations, if you want, you can say it to be mean.