skysight-inc/HackerNews huggingface dataset:
I didn't know hoogle, thanks for sharing. For statically typed languages that make sense and especially so for functional languages like Haskell. Test-driven search is much more suitable for dynamically typed languages where you exploit duck-typing to your favour, e.g. you don't really care if the parse_bool function in the example takes a str or a bytes type as input and even more importantly you don't care about the type of the returned value as long as it evaluates to True and False.
Read this article for some perspective:

http://deadline.com/2014/03/mel-gibson-career-hollywood-dese...

In short, the man has had his share of troubles including alcoholism, and he had some extremely inappropriate outbursts in response to the negative criticism he received after making Passion of the Christ. But while a more savvy public figure would respond by going on a highly-publicized "apology tour" to repair his public image, he chose to address his problems privately and tried to make amends for his actions without bringing a film crew to capture every moment. Just because you weren't invited along for the spectacle doesn't mean it didn't happen.

For comparison: filmmaker Woody Allen, who does a great job of publicly portraying himself as a lovably bumbling and nervous little guy, has been repeatedly accused by Mia Farrow's daughter of raping her when she was 13. He also cheated on Mia Farrow with her own adopted daughter, who was 21 at the time. Mike Tyson, as the article mentions, is a convicted rapist. Yet these men have done a better job than Gibson at repairing their public image, but this says nothing about what goes on in their hearts and minds. Everybody knows Roman Polanski is a child rapist, and that's why he fled the country. But Jack Nicholson was clearly involved in that incident as well, and even if he didn't rape a child, it's clear that at the very least he knew what was happening and in some capacity shared some responsibility. Again, he's one of the most beloved actors of our time.

I'm not saying that just because those men got away with bad things that Mel Gibson should also be given a free pass. But you can't call him an anti-semite just because he was blackout drunk and said some nasty things about the jews at at time when his life was in the dumps.

If the world was privy to every nasty and embarrassing thing you've ever said or done, what would we think of you?
I think you're vastly underestimating the amount of effort that would be involved in comprehensively judging an entire field.[0]

Sure he's a professor, but he only has so much time in the day. At some point he has to say "Right, I think that covers everything important" and get on with teaching.

Not to mention, according to a quote in this thread Spike himself disagrees with you:

>He also asks backers to send in their suggestions for the list "because of course there's going to be stuff I left out."

[0] Although I might just about expect such a thing from Knuth...
> Im not exactly sure where you are getting that GTX 660 will barely run stuff

I'm taking this from Witcher 3's minimum system requirements. I'm assuming that anyone investing in a gaming system wishes to be able to play new releases as they come out. My point is that a GPU from 2013 is right on the edge of losing support of a game released in 2015, just 2 years after it was launched. Meanwhile, this game only just dropped support for consoles released around 2005.
Have you looked at Google's Preemptible VMs? The big difference is that it's a flat 70% off fee, rather than a volatile market, and Google has relatively few but versatile VM types, which makes it easier to architect infrastructure (ex. no need for a high-IO VM or a high-network VM.. just attach a high-IO disk to a regular VM and networking is world-class).
> If we enact rent controls and mandate the construction of below-market rate housing units, it'll help people afford housing.

To be fair, this does in fact help many people afford housing. It just doesn't fix the endemic issue.
Meanwhile, in this universe, travel inside the Schengen area (which covers an impressive chunk of Europe) does not require a passport, but any kind of national ID, regardless how many borders it crosses. Coincidentally, it's the same as for internal air travel.
Establishment bias still matters a lot. Voters over 65 make up a shockingly high fraction of overall turnout, and they get more of their information from old media. (Converselt, the median CNN viewer is 68 years old...)

This election showed the new and unprecedented power of social media and grassroots democracy. But at least on the democratic side, it looks like the establishment will prevail.

I think in a few years, party elites will have even less control than they do now, for better or worse.
Show HN: Search Instagram and use real life photos
I'm very skeptical of this causation hypothesis. I think it's much more likely that there is a common-causal variable that causes people to both spend more time on the internet and be more likely to support Sanders.
Great, 10GB file filled with random data will be illegal in another country.
>This question ignores the possibility that their worthiness was simply never considered at all in the creation of the initial list.

And why would their worthiness not be considered at all in the creation of the initial list? The whole point of the initial (and the second) list was to list worthy films for filmmakers to see.

Obviously, either a film comes to your mind when you're creating a list of what you consider the best films, or it doesn't. Whether the director was a woman doesn't come into play in this, unless you're a misogynist purposefully avoiding to list film by women filmmakers.

Since (I assume) Lee is not the latter, here's what seems is the case.

When Spike Lee thinks (on his own) of what the best films are, the first list is what comes to his mind.

But after he was questioned about it, and to appease the "crowds", he subsequently added some films by women to balance the list. In other words he added them to meet some quota (regardless of the films inherent quality, which after is all is not to be judged by Spike Lee only. E.g. the might be masterpieces too -- just not Lee's original masterpieces, but some that he had to be nudged to list).
What US Software Developers Should Understand About the Rest of the World
Show them the world is watching. Stop the Hollyweb
I see a constant flux of features, but the whole Google Cloud ecosystem is well thought of and coherent as if the ease of use is primary thing. App Engine, after 8 years, is still as easy to use as the day it was released.
I poked bytes into memory too (directly typing numbers from console or using BASIC), but I use everything my team wants to use (make, build scripts, docker, vagrant, grunt, gulp, cmake, autotools, rake, ant, maven, npm, bower, etc.) because it is easier to learn new stuff for me than to couch each member. Moreover, it makes my brain better.
If you know your stuff deeply, then you will be able to achieve your goal with any of these tools.
> Other end-to-end open-source systems are more widely used like Signal are the same, not exactly easy to insert a backdoor into a system that is a) open and b) completely distributed with no central key authority.

If Signal weren't available from any of the major app stores, such that it didn't work on iOS at all and didn't work on Android devices without turning on the intimidating option to allow non-Play-Store apps, how much usage do you think it would get compared to today?

Making real security hard to get would cause far fewer people to actually use it.
They're not. But you need to accept the reality of the real world.
Ah, yes, loyalty to a company. Because a modern-day public company would never stab its employees in the back or lay them off if Wall Street was unhappy, right?
They might as well build the Renraku Arcology and get it over with. As a bonus, it fits in with the recent AI theme.
In my limited experience working with JavaScript, I've found the lack of the following to cause more problems when writing modular, reusable code than the lack of type annotations:

* a single, definitive method for creating namespaces without using a framework or library

* a single, definitive method for defining classes and using inheritance without using a framework or library

* a single, definitive method of allowing async functions to modify the state of an object without having to declare that object in the global scope, without using a framework or library

If these problems are already solved, please let me know!
n = 1 then?
How about sanely responding to price signals by looking for places other than San Francisco and the like to set up shop in? If your response to the situation is this, why should anyone take your business seriously?
I don't know about the universe; I think it's rather a weird sort of overly-strong faith in the capacity of other humans. Legislation at every level seems to treat the people implementing and enforcing the legislation as a fleet of magic genies, who will Do What You Mean and achieve exactly your goal with no side-effects.

Though also, do note, if you apply systems thinking to legislators, establishing that they're "doing something that pattern-matches to helping" is exactly in line with their current incentives. You need much more direct oversight to give them an effective feedback loop for the consequences of their actions, rather than just the "optics" of the actions themselves.

Things like https://www.trudeaumetre.ca/, but done by an opposition-minded third party who won't give them an inch but won't like like campaign ads, would be a good start. Ultimately, something like prediction markets on the upholding of each elected candidate's campaign promises during their tenure would be amazing, in the sense that sufficiently-large bets would be a form of lobbying without lobbying.
Pretty accurate except YYJ does have direct flights to SF. It's been getting better in recent years.
> What's the end game?

"I owe my soul to the company store." We've been here before: https://www.youtube.com/watch?v=2zE1-48AAYc
> Nothing Snowden alleges is illegal or unconstitutional...

First, I did not claim it was unconstitutional or strictly illegal (since secret things can't be considered by normal courts or legislatures, everything is in a sense extralegal, which is itself a big problem).

There are protections against unlawful search and seizure. Seizure in this case is data capture, search is viewing by a human (with or without a warrant). There was not any law granting the NSA the power to do domestic surveillance unless there was some suspected behavior involving foreign nationals or international circuits.

But it's more relevant that our leaders repeatedly assured us that no such surveillance was going on. Blatant lies told to the public is as serious a breach of trust as an unconstitutional program. Thus I think the technical constitutionality (or even strict legality) of the program is more of a detail than the core issue.

My suggestion of giving keys to each member of congress is simply for Apple to force the issue into the most democratic institution, effectively giving any member of congress veto power against unlocking the data. While this doesn't fit the exact delegation of powers that we're used to for such things, it does address the terrorism/kiddie-porn argument that Obama recently made... in other words, it addresses the meat of the emotional argument that our leaders are making.

>But we're a long, long way from enforced smart contracts which do things like handle succession of new members &c. I can't wait until we're there, someday, but it'll take a good long while.

I agree, but I think it might be a good strategic move for Apple if things start to look bad for Apple offering an unfettered secure-hardware / strong encryption platform. Apple could then claim that it had offered enough of a back door to prevent any interim attack should one occur.

The government's strategy is to leverage public outrage about any attacks (large or small) to get back doors into everything. Apple does not want to be accused of stonewalling if an attack occurs and the government subsequently claims that decrypting one or two phones a few weeks ago could have prevented it.
Method overloading interview questions
well, no. a predictable pattern would be "every time the password starts with 0100101 they are not compatible". its not about the number having a pattern
> Which of course remains an open question.

Technically yes, but as Scott Aaronson says, a universe where P=NP would probably look very different from ours (and PSPACE is harder than NP). In any event, verifying effectively Turing-complete languages (even total ones) is much harder than EXPTIME (and we know that EXPTIME > P).

> I find it very hard to reason about finite state machines in programs as a human

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.

> it eliminates the class of errors where one has "implemented" something by an infinite loop. It helps for concrete programs in the same way that it helps for theorems, no?

No, because when you prove a program property A you know that you've really proven "A or no-termination". So being able to prove any property is not an inconsistency. This is not the case for mathematical theorems that don't have running time, and where "no termination" is meaningless. If running time is 0, then A just means A, and if A is a contradiction then you have a real problem.

Now, what about eliminating non-termination from programs? Well, you're not really doing that either, because as far as we're concerned, a program that takes 10^100 steps doesn't really terminate at all. 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.

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.
The new tabbed interface of Stack Overflow (in alpha) is all pure jQuery and it's fairly complex. I don't think it "crumbles" at all.

http://meta.stackoverflow.com/questions/308875/new-navigatio...

Disclaimer: I was one of the developers.
What Steve Jobs Taught Me About Customer Feedback
CoffeeScript has the worst tooling ever.
QBasic in the 90s had better tooling than CoffeeScript: an integrated editor, debugger, compiler, type validation... let's give it all up to code in vomitscript.
Qt is easily the best cross-platform UI kit that I have used, especially in combination with Python, which turns it into THE rapid prototyping tool.

For my research I used PyQt/PySide to build lots of UI components for controlling my lab equipment, visualizing my data and running code in an interactive way. While doing this kind of thing using a native toolkit (MFC, GTK) would have been possible, it would probably have been much difficult and time-consuming.

For me, Qt is a great example of beautiful and very good software architecture: Creating a cross-platform UI kit that works on platforms as diverse as Linux, Windows, MacOS, Android and Symbian and integrates well with the peculiar set of features of each platform is a daunting task. Qt as a UI abstraction layer solves this really beautifully, and both the philosophy and the architecture of the code is very well thought through. And in the last five years the developers added many interesting ideas (QML, Javascript support) that compete with and sometimes go beyond what's available in many native toolkits. So if you like reading good code you should have a look at Qt.
Super interesting video! I love seeing entrepreneurship flourish within regulatory constraints. There is so much innovation going on with those micro apartments and public spaces, it's really exciting.
http://www.instanceofjava.com/p/interview-questions.html
You're replying to the comment that quite accurately makes the case "deserve's got NOTHING to do with it", and your only argument is that he doesn't deserve it.

O…k?
How to Start a Blog – 14,000+ words long tutorial
Thanks for the concrete description. Can I still use dynamic constructs such as string subscripts to associative arrays and code generation via eval()?
http://www.instanceofjava.com/p/frequently-asked-java-progra...
John Oliver Explains Why Apple Needs Encryption
That's what being politician means. This job isn't about solving problems, it's about making an appearance that you solve them.

Suppose a terrorist did something with his shoe that he wasn't supposed to. Here is how it should be solved:

"Based on our research, the probability of dying because of the terrorist attack is XXX, which we can reduce by YYY using blah-blah, therefore we should allocate ZZZ funds in that area."

Would you vote for this guy? Well, most people won't even understand what he is talking about.

So here is what happens in practice:

"Okay, I don't know how to decrease national debt or prevent poverty, so let's find something else. Oh hey, terrorism! I know how to solve it. Forbid shoes at the airport. Sounds simple enough. So we can say 'we successfully fight terrorism'. And just in case people don't care enough, make this issue the most important one and add 'hey, think of the children' into the mix."

So the general population becomes scared of terrorism 'cause guys running for office told them they should be.

It's not politicians who are stupid, it's people who vote for them.
Go-trigger:: suggestion needed how can multi handler parameter can be handled
Lambda is great though at handling services that see unpredictable spikes of traffic throughout the day where its difficult to provision quickly. Its also really good at reducing machine-management issues where your software doesn't utilize resources very well on a given machine. While its a bandaid on writing well-designed scalable software, it does allow you in the interim to take somewhat inflexible software and scale parts of it independently of physical machines.

edit: To clarify, I mean if you're running software that does something on a given set of physical machines and you cant get job throughput higher than some number, n, on a given machine it can be prohibitively expensive to scale machines ahead of time or during load. With Lambda we have the option to run a ton of independent processes on theoretically independent machines to vastly increase throughput while we slog through improving our design to improve per-machine throughput on our legacy EC2 infrastructure. Lambda allows you to isolate your scale problem to 1 job per container at a time instead of looking at machines as capable of only `n` jobs at a time.
I'm actually running Debian testing with Plasma 5.4.3, and Plasma 5 has no hard build deps on Qt 5.6 yet. They also have 5.5.4 in experimental. So it's mostly that the Debian Qt/KDE team has a bit of a conservative approach to updating Plasma in unstable.
The reason it irks me is because it has nothing to do with the quality of the film, which this list is ostensibly based on. What if the suggestion was, "There aren't enough movies that start with the letter F, Spike you should add some so as not seem letterist."

Taking the sex of the director, or writer, or lighting tech, into account weakens the list because you're introducing noise into your criteria.
Yes, that's the definition of unicorn. There's companies like Avast on here because they stayed private for a long time before hitting the gas and getting to that.

Because of the way the equity markets have been recently, there's not a clear path to becoming a unicorn without hitting most of the other markets we tend to think of as startup-y: VC-backed, high growth, scalable into a big market.
News doesn't have to be surprising to make headlines.
That link only applies to consumers.

My bank generally charges 0.225% on bank notes deposits and 2.25% on coins deposit for commercial customers. The max per month without fees is 1000$, coins always have fees.

My bank is one of the big 5 canadian bank with assets in management over 500B$.

If you need to contract an armored courrier to move that cash, that's an extra very significant fee.
Reply because I can't find your mail in the profile. Advanced Math consulting sounds like a job I'd like to work. I'm a pure maths postdoc turned data scientist, more info on request. Can you hook me up?
Chrome has a convenient way to add exemptions. I wish they had slightly richer features, like temporary exemptions or exemptions for first party scripts only.
I wonder if "Deep Learning" could be applied to something like interstellar travel to figure out how exactly it could be done.
Defensive coding in JavaScript? That's absolutely not how most libraries are implemented.
The high DPI changes sound very promising. I experimented with Qt on Android around 18 months ago and, at the time, had to do a bunch of JNI calls to get an accurate device dpi, and do hacky workarounds, like scaling in the QML, just to get things to look half right.

Qt 5.6 will be on my todo list for further experiments.
The device in question is insecure. For example, if the proper subset of Apple employees' children were kidnapped, they'd be using their backdoor.

As such, Apple could have acted how courts expect a commercial third party to act [0], issued a security advisory for the vulnerability, and made damn sure future devices were secure. Alas, doing so would undermine their model of maintaining a backdoor to owners' devices but only wanting to use it for commercial purposes.

[0] A locksmith doesn't editorialize about which warrants to facilitate, and when he does, the government simply changes locksmiths. The novelty here is that Apple is supposedly the only locksmith that can unlock this lock, so USG wishes to compel them to engage. Given that they're an incorporated commercial entity, I don't hold out hope.
There's a lot of productized services out there. This list looks like it's the circle of people and services that you hear about if you listen to popular internet marketing / bootstrapper podcasts. (not a criticism of those services; I'm a fan of many of those podcasters/frequent guests, but I'd look at this list thinking if I want to start a productized service it's supposed to be in the Wordpress or marketing space)
The Predictions Steve Jobs Made About the Internet That Turned Out to Be Correct
> "I also actually did interview at times just for giggles."

Then you are an asshole. Seriously you wasted how many people's time for your own amusement? If you want practice or informational interviews there are ways to achieve those without being completely inconsiderate and disrespectful of peoples time.

It fits that you are suspicious of other people based on your own questionable practices. Most normal people don't do this however.
You can fudge it, probably 2-3x, with liquidation, but a $300mil actual valuation is nothing to sneeze at.
The funny thing is that if you transport firearms you CAN'T use TSA locks. Which I find very funny, it is as if they are saying we don't trust our own people.
Thanks! Asset pipeline for Brigade is Octane.
What Americans Don’t Get About Nordic Countries
Garena is on the list, and they are in the gaming industry.
Deming, data and observational studies: A process out of control [pdf]
Stargate Physics 101: A comedy about the importance of software testing
Elephants and Mammoths: Can Ice Ivory Save Blood Ivory? [pdf]
I care ;) I agree it's too fashionable and not just plain old good engineering. And thanks for the clarity! Now we have to live with too many engineers whose mind have been demented by the 'move fast and break things' philosophy.