skysight-inc/HackerNews huggingface dataset:
You don't have to be first to market... You just have to be better!
Off the Bench: Career Options for Scientists
Abstract

According to conventional wisdom, a self-interpreter for a
strongly normalizing λ-calculus is impossible. We call this
the normalization barrier. The normalization barrier stems
from a theorem in computability theory that says that a total
universal function for the total computable functions is
impossible. In this paper we break through the normalization
barrier and define a self-interpreter for System F_ω, a
strongly normalizing λ-calculus. After a careful analysis of
the classical theorem, we show that static type checking in
F_ω can exclude the proof’s diagonalization gadget, leaving
open the possibility for a self-interpreter. Along with the
self-interpreter, we program four other operations in F_ω, including
a continuation-passing style transformation. Our operations
rely on a new approach to program representation
that may be useful in theorem provers and compilers.
There's one additional wrinkle that the story, in fact, gets wrong:

> Federal officials allow only one application for each foreign worker.

That isn't the case. An individual may have multiple H-1B petitions filed, provided they're for different, unrelated employers. And indeed, it seems some people do pursue that route, accepting multiple offers, in order to boost their chances in an increasingly uncertain lottery. (In 2014, about half of the applications were selected; this year, about a third) And even if you're lucky in the lottery, you face months of waiting and uncertainty - filing takes place on April 1, with lottery notifications going out in June and July, whereupon processing commences. (If you're lucky enough to find a particularly good employer, they'll add $1,225 to the already substantial fees and lawyer costs, for "premium processing", guaranteeing a decision within 15 calendar days, though you still can't start until Oct 1) Decisions then tend to come through in August and September - but, that's not the end of it yet, as around a third to a half of all applications will hit the "Request for Evidence" status, which may query the company's finances or legitimacy, the candidate's education or experience, and so forth. That can take weeks more to file and then be acknowledged, whereupon processing resumes, for a decision in perhaps October or November.

Bear in mind, this is all for a process that likely started with interviews in January or February, to give enough time for the employer to gather the documentation required for filing.
Does anyone know how it works? Like does it make requests to a service or is it running in the browser, JS style?
Get video from instagram photos
MJ here - founder of Autumn and creator of Leaf.

I can give a quick comparison on Leaf vs. TensorFlow - although this might seem somewhat biased.

We like what the Google engineers did on TensorFlow and share a lot of similar ideas on how future Machine Learning should be structured and implemented. Especially that in the end it is just a performant pipeline for numeric information processing.

We feel that the biggest difference (besides the different stages of the project) is the language and the ecosystem that it embraces. We are strong believers in Rust and think that it might have good chances to succeed in the long run - which we outline in more detail in the Q&A[1].

Due to your question I would recommend picking up on the basic concepts of machine intelligence and then going with whatever ecosystem fits the task/stack. Might become similar to choices of web frameworks in the next couple of years. I think Neon[2] - as a Python framework - seems to be easy and performant as well.

[1]: https://github.com/autumnai/leaf#why-rust
[2]: https://github.com/NervanaSystems/neon
This also kind of makes me sad. My cousin who works for one of the service based companies got the H1B and is now in the US. I consider myself if not better talented, more knowledgeable than him. I worked my ass off in college, got multiple offers from Google/Amazon/Facebook and yet because of H1B, I had to work in India.
The problem is not so much with being in India, but being distanced from the company HQ. I would've been so much better off had I worked at my company's head quarters than in the Indian satellite office.
Scrolling between browsers always seems like an issue for me, even with a mouse. I'll configure Firefox, and then Chrome/IE/Safari will be too fast or not fast enough.
>I'm arguing that we should only consider evidence.

This is false, and borders on an outright lie, as evidenced by the fact that you're actively endorsing the dismissal of documented evidence on accounts of political correctness.

I invite you to re-read this entire conversation, and the absurdity of your comment will be apparent.
Because you don't insult someone when it's his birthday!
That might be true now. Will it be true in the future? As word gets out you can make $$$$$ renting on AirBnB then more and more people will do it until there is competition for renters which will lowering prices.

I don't know that will happen but it's certainly a possibility with the prices now only being possible because supply hasn't yet caught up with demand.
Pro tip: you should always buy Windows laptops, etc. directly from the Microsoft store. Their signature branding for many other manufacturers's products means that they sell for about the same price, but with no crapware.
http://www.goguin.com/en – relocation for free

Great for digital nomads and those who move often. These guys had the most awesome idea to match people in different cities who move, so if you are lucky can save tons of money on renting the apartment and buying/selling the stuff. Will definitely use when I decide to relocate next time.
Oh man, tell me about it. My SO just bought a new Lenovo laptop. We spent the entire first evening with it running Windows updates. And the entire second evening removing all the garbage that comes installed with it. Finally it's day 3 and ready to be used.
The trick is getting the opportunity to sell yourself that way. If you can't get the interview in the first place, how well you can sell yourself is irrelevant.

This begs the question: how did you manage to get those interviews?
Fortunaly that is not an issue for since Amazon Instant Video isn't a viable option for content in my country.
Ask HN: How do you handle internal ops dashboards?
Hi All,
We're currently working on an internal ops dashboard for things like sign ups etc, how do you guys handle displaying that sort of data in a very readable way?

Thanks,
Joe.
>Does our isolated experience represent a trend with, shall I call it, Eastern Europe?

It may well be representative of a larger trend within Slovenia (or eastern Europe). I don't know.

I can only speak for China (and certain parts of Western Europe, i.e. Italy).
M can indeed cancel Comcast accounts. Use this knowledge wisely...
A lot of the current research on EEG headsets concentrates on how to acquire signals with cheaper, lighter and more robust headsets in order to be able to push the technology to general public. There is still quite a way to go, especially since the signal quality coming from headsets with dry electrodes is miles behind the standard medical EEG with electrodes that use conductive gel.
The function lock is actually "smart" even though they don't document it properly, it is actually a toggle and hotkey in one.

Whenever you hold the function key and hit another key while holding function, then release function it will stay in the mode you started in.
I'm suggesting CloudFlare support DNSCrypt of their DNSSEC-signed responses to protect end user privacy.
All done under rules of law.
As an immigrant, I declare this the most "the sky is blue" article of all time.
Next time they probably shouldn't use The Sound and the Fury as an example book. It's got quite a few n-words scattered throughout the text that happen to show up in the video.
Hi! Thanks for your ZFS entries, they've been very useful to me in the past.

I understand the pressure of not having enough time to do things perfectly. But the kernel is a project with widespread use in many domains, and the security features it implements have to provide strong security. We can't let kernel security requirements be dictated by environments that don't believe they require them. It's possible to set up a much less restrictive SELinux environment if you don't need or want to get the full benefit.

This also comes in to my first point, which is that we really need a better abstraction for SELinux configuration. Something that would be simpler to administer for environments that don't require the utmost in security isolation. But it should build on the strong in-kernel MAC implementation that already exists.
Hmm 9 hours ago and some script kid has already performed this on my local vagrant-box? Pretty funny. I was running it behind vpn and I guess that's why it got exposed.

They didnt even bother changing the keyname.
English is the official language of aviation (in the operational sense).

http://www.aviation-esl.com/ICAO_English.htm
Analysis of the H1B visa, and how it really helps big consulting firms, is incomplete without also looking at the perspective of the H1B visa holder. I think I can help, as I used to have one.

Why do people get H1B visas? It's rarely because they want to work in the US for a few years: It's because they want to stay. I know I did. But how can a prospective immigrant move to the US? By getting sponsored, and waiting for the requisite number of years for the Green Card to come back (it varies, but 5+ year waits happen). The best way to do that is to get an H1B, and then, when the company you work for realizes you are actually good at your job, start the permanent immigration process.

The trick is that you have to look for an employer that will take you, and you expect will still be there in 5+ years, and hoping that no layoffs hit you, because layoffs complicate, if not just completely restart, an immigration process.

So what do people do? They go with an outsourcer. The outsources will never lay you off: They just ship you to another client. It's an extra layer of insurance if things go bad. So ultimately, the way the system is set up, getting an H1B through one of those big consulting/outsourcing firms is also in the best interest of the people wanting to move to the US.

While I do not think there's much agreement on how to solve the problem, regardless of whose interests we have in mind, it 's pretty clear that the system is broken, as it has all kinds of perverse incentives, forcing good, honest people into situations nobody likes. But to fix this, we need a major overhaul of how the US employment-based immigration works.

Now, the problem there is of the very diverse interests, which we can see on any tech website: Some people just want us immigrants out of here, thinking that will help them. Others want to increase immigration, thinking that the most qualified people are in the US, the better for the US tech industry. But if there's no sensible compromise, what we get is what we have: A system that doesn't serve anyone very well, much less the people like me who went through it. In my case, I was fortunate enough to come in back when any company could get an H1B if they showed they needed a programmer, and coming from a country with extremely high unemployment, the risks outweighed the rewards. But it was very frustrating to be economically tied to an employer (for about 6 years in my case), and knowing that a job switch in the middle of the green card process, or a layoff, could mean having to go back home.
I would throw notebookcheck.net in there as well for sites that give an abundance of detail and data.
It's the same stuff that powers the playground: http://play.golang.org/

More info here: http://blog.golang.org/playground
I think it's worth remembering that MSFT should consider itself lucky, that it has customers to drive away.

The pro 1 came out only a just few short years ago, and they wrote down a lot of that product.

It's really weird to say this about the guys who once were called the Borg, but I have faith in their design team.

Sadly they seem to be creating an expectation that one should wait for the 3rd device in a series.
Science and Politics in the South China Sea
As other commenters said, you're confusing hype behind Lisp with hype behind FP. They may be related, but are not the same thing.

Almost all currently used languages have some functional programming support. Many "modern" languages are functional in nature, even if it's well hidden behind syntax sugar.

Lisps, and code-as-data, is different, in that it's about compile-time meta-programming and not runtime execution model. There are non-lisp languages which offer similar capabilities, see Elixir and Nimrod for some recent examples.

Anyway, if you want to understand practical advantages of FP you should just use it in practice. It shouldn't really come as a surprise that you can't see practical benefits if you only studied a bit of theory...
It's troubling that this is where the entrepreneurial ethos is heading. But it's hardly surprising with the leaders of the "sharing economy" almost ubiquitously operating illegally, enticing their customers and contractors to be complicit in illegal behavior, and flouting existing regulations. To make matters worse, governments are even letting them get away with it in many cases.
Sometimes creativity is the only thing holding people back from exploiting the natural insects of the web.

Case in point, ever wonder why those captchas include street addresses or 'pick the shape with a hole in it?' Spoiler: you're building training data and validating training data.

How else can we silently retrieve training data?
HN headline is inaccurate: the article headline is simply "Judged by Your Accent".

This article is really a mishmash: "Molly Babel, a linguist at the University of British Columbia in Vancouver, Canada, replicated Rubin's study this year. More than 20 years later, Babel uncovered exactly the same bias that Rubin had. Students actually understood Chinese Canadian and Caucasian Canadian speakers equally as well when they didn't see either of their faces, Babel says. "It's only when listeners saw a picture of the Chinese Canadian speaker that their ability to accurately understand them went down."

In other words, Rubin was right in his hunch. It was the students' own biases, and not the teachers' bad communication, that led to poorer ratings of foreign professors. The students were simply not listening to their teachers."

This really undermines the discussion of the Lev-Ari study that it precedes. It's no surprise to anyone familiar with the McGurk Effect that we're predicting what people are going to say, and this can influence comprehension of different speakers. But the Babel study emphasizes that it's the stereotype that creates that perception, not merely a preference for acoustic similarity to one's own lect.

The discussion of the 2013 study on British/working-class New York accents is also a mess. The author somehow reads it as a preference against foreign accents, when in fact the subject used inference more with the New York accents. Which sounds more like a preference for high-status accents (British) over low-status (working class New York) accents.
Problem is that even exposing Redis via tunnel is not really safe, because you never know what the client could be up to. You probably need a supervisor between the tunnel and the client that will manually approve each request to see if it is appropriate and doesn't contain anything illegal or malicious. That supervisor of course has to be screened by trusted body of government officials.
I know some local landlords and they have started putting in their lease agreements that if the tenant rents out on something like AirBnb they now owe the landlord the full amount of the rental income. So, in the above case it would not just be getting kicked out, but also owing a ton of money with a fairly easy case to have a judgement against. I fully expect this to be standard in all lease agreements going forward.
Promises (which aren't limited to JS) are about far more than pretty syntax. Promises and promise combinators give you guarantees about your code, such as "no promise will ever execute both its success and failure callbacks" and "of the callback that is executed, it will never be executed more than once," and "once a promise is resolved, it's state cannot ever change."

Also, I don't understand the benefit of being able to learn a language in one day. You can learn how promises work in a single day and then apply that to any language that implements them. With Go, you will learn the language but then have to re-implement promises for every type that you have [0].

Consider the use case of issuing two API requests concurrently and assembling their results. You can do this using the fan-out, fan-in pattern described at http://blog.golang.org/pipelines

Search the page for "func merge". Any time you want to fan out and fan in, you will have to write that block of code for the types of the channels you have, or else use interface{} and lose type safety. So the cost of a language that can be learned in one day is that every single time you perform this very common concurrency pattern, you will have to repeat this code and potentially make errors in the process. And if you want to change how this merge pattern works across your codebase, you will have to change it in many places. What happened to DRY and reusability?

[0] There is a Go promises library, but it uses interface{} for all callbacks and does not appear to have been an active project over the past year. https://github.com/fanliao/go-promise
There's a section called A Tour of Go [0] which has a series of code samples with explanations. The last part of the introduction to the tour says a little about what they call the Go playground [1]:

"This tour is built atop the Go Playground, a web service that runs on golang.org's servers.

The service receives a Go program, compiles, links, and runs the program inside a sandbox, then returns the output."

[0] - https://tour.golang.org/welcome/1
[1] - https://tour.golang.org/welcome/4
SpiderOak isn't "better" than DropBox. It supports privacy but the service and support is utterly appalling.

I was getting upload speeds on the order of kilobytes per second on a gigabit fiber connection while my CPU was idling. Filed a support request and they bumbled around a bit and then ceased responding to me entirely until I opened another ticket and demanded a refund. It took 5 __months__ to get to this point, with them not responding for weeks at a time.

I'd recommend something like https://www.syncany.org/ over SpiderOak any day.
1 of N: Gephi, D3.js, and maps
The Middle East Could Face a Historic Crisis by Century’s End
Come off it.

You can't have a fair trial where 99% of the evidence is not allowed to be submitted.

The US has Whistle-Blower laws for a reason, yet the US Government is not allowing them to cover his case.

Until a guarantee of a free trial, he has stated he'll remain where he's at. And that's entirely reasonable.
Wow, I didn't even think about it as I wrote it. I think I wrote it because I needed to remind myself. I guess somehow I have put it in my head that people who oppose anything that the government of Israel does is likely an enemy of Israel. You're right. Reality is not so black and white. I know I criticized George W Bush right here in the US about the "either you're with us or you're against us" dichotomy. Kind of makes me a hypocrite when I don't see my own bias on the same topic when it comes to Israel.

It is absolutely possible to (and indeed we should encourage people to) speak up against the bad actions and policies of the government of Israel. Doing so does not make us enemies of Israel. This is so very simple and logical in any other context but I have to stop and think when it comes to this issue. I think I was trying to convince myself that I am not doing or saying anything that could hurt.

Perhaps by reaffirming my support for the right to exist hurts rather than helps the situation. I didn't think of that. I feel pretty stupid.
I use pretty much all 3 main platforms as daily dev enviroment. Mint for work, Windows for hobby and OSX for when I work outside my house. And I find that they are all pretty equal as dev experience(outside of VS, which I avoid because it locks me too much on windows). What would you classify as a better dev experience on Fedora than on windows? I think it might come down to just being used to it or personal preference. They all have strong/weak points but mostly I can get a productive experience on all of them.
Date: 2010
The conclusion of this article I think is overly simplistic and it's driven by a need to justify various forms of bigotry under the guise of free speech, imo. Certain ideas shouldn't have an airing since their time has come and gone. We no longer need to 'learn' about eugenics since it's been shown to never fit with the scientific evidence.

For example, transphobia has been deliberated in the marketplace of ideas and they lost out to the evidence to the contrary on numerous points (ex. claims that transgender individuals commit more suicide post-GRS has been proven false by numerous studies). There's no more room for debate on such issues. If people want to continue to "teach the controversy" or whatever, they can do it on their own time but not that of other's.
I just love how Intel sells dual core as an "i7".
Hi Shostack,

I wasn't trying to bring you down. Maybe what you're looking for is a visual programming environment, where you can drag and drop functions, data, etc?
Handcrafted notebooks made from vintage paper
> the optimal number of immigrants into the U.S. is over 2 billion (i.e. to match the population density of the U.K.)

You should read beyond the first few sentences.

Edit:

> coming out as gay is still unacceptable, even in educated upper-class circles.

I think it would be difficult and dangerous to try and use the immigration system to select for, say, Obamas over Scalias.
It is a standard language at google. It gets used for things like the download service and other high throughput service which is it's sweet spot. The TensorFlow project in previous iterations predates Go's official stamp of aproval at Google I believe and stopping to rewrite is an unnecessary step. It's possible that now something like Go would be used instead.

[Former Googler around when Go got it's start]
It will remain true in places where there is limited supply due to geography or legal restrictions. Those also happen to be where a lot of major tourist destinations are.
I believe Apple TV does search across all platforms it supports as well.
Google Test Automation Conference 2015 Live [video]