skysight-inc/HackerNews huggingface dataset:
> I think we'll have to disagree about whether or not Lisp is a typed language.

That seems like a peculiar position to take in light of your self-avowed and (apparently) carefully cultivated ignorance of Lisp. If you don't know Lisp, how would you know if it's typed or not?

BTW, here's a clue. (Spoiler alert! You may learn something about Lisp by reading the following.):

Welcome to Clozure Common Lisp Version 1.10-r16479M (DarwinX8664)!
? (type-of (sqrt -2))
(COMPLEX (SINGLE-FLOAT 0.0 1.4142135))
? (sqrt 'x)
> Error: The value X is not of the expected type NUMBER.

> anyone writing a new functional language would be best advised to not have that problem.

I am reminded of this koan:

In the days when Sussman was a novice, Minsky once came to him as he sat hacking at the PDP-6.
"What are you doing?", asked Minsky.
"I am training a randomly wired neural net to play Tic-tac-toe", Sussman replied.
"Why is the net wired randomly?", asked Minsky.
"I do not want it to have any preconceptions of how to play", Sussman said.
Minsky then shut his eyes.
"Why do you close your eyes?" Sussman asked his teacher.
"So that the room will be empty."
At that moment, Sussman was enlightened.

> Hoon does not have macros

Most languages don't.

> a pure typed language doesn't need macros.

Of course. No language needs macros. That's why most languages are serviceable despite not having them.

> favor us with a lecture

You should be careful. As you yourself have just observed, losing your ignorance is a one-way street. The more you let me teach you, the closer you get to the edge.
https://news.ycombinator.com/item?id=11809381
Google's AI Art Machine Just Wrote Its First Song Using TensorFlow
Song:
https://cdn2.vox-cdn.com/uploads/chorus_asset/file/6577761/G...
Hi there, is the Support Engineer role remote? I live in Reno (about 200 miles east of San Francisco).
Stylish Romanian Knitwear – The Emporialist│romanian street fashion magazine
Then more people will see that New York provides better bang for the buck (economic opportunities per rent dollar), which will cause population to increase by migration, which will increase demand, which will eventually get us back to where we started.

I'm not saying this proposal is bad. I quite like it. But let's not get the causation backwards. Urban poor aren't poor because of bad access to transit. Urban poor have bad access to transit because they are poor. Building transit ultimately changes the real estate value along the line, temporarily makes everyone's rent cheaper, and permanently increases the population of the city.
I know people of all kinds. People that have blown out their kidneys and livers from drinking excessively until they vomited blood. I also know people that responsibly enjoy maybe one or two glasses of wine daily and have no real health issues.

It really depends on the individual, but amphetamines are no more dangerous than legal drugs. Why is ephedrine easily available OTC but not levo/dextroamphetamine?
Submitter here. This appears new. I find no mention on DDG's blog or subreddit. Nor does it appear in search results --- using filter-by-date on both DDG and Google ;-)

Values are "Today", "This Week", and "This Month" only. More options and flexiblity as well as exclusions would be useful but this is a big step and good start.
iOS build automation and Fastlane
I recently discovered Fastlane(https://goo.gl/Bh5L82) and I couldn't be more excited by it's promise. So for those who do not know about it, well Fastlane seems pretty awesome and just imagine how much time it can save when uploading a new build for your app. My only complain is that Fastlane moves quite fast i.e. it is updated quite frequently and as such some of the online tutorials that focus on an older version become less useful like this one(https://goo.gl/8Q46HY) so if anyone knows a tutorial for a more recent version of Fastlane please mention that in a comment.
General availability on SQL Server 2016 with deep R integration
Good resource, "pro" based of just reading? No. But some nice references in a very narrow area.

"Pro" takes experience and time, and in this profession given how things churn, unless you are specifically working with a static environment, sure "pro" versus someone else, but you need to be continually learning.
No but it'll probably happen anyway.
I think employers have gotten better with adding this information in some of the more recent months. Some of the older results lack a lot of data so it's not truly an accurate comparison.

As an example: May 2016 had only 74 results that were not matched up to a job type (full-time, remote, etc.) compared to Jan 2015 which had over 300.
I wonder what impact this will have on their Accelerated CV library.

http://itseez.com/products/accelerated-cv/

It would be nice if this and whatever iOS equivalent they presumably have in development became free or cheaply available. It seems like this might not be in intels best interest though.
> I think we'll have to disagree about whether or not Lisp is a typed language

Only if you're willing to insert "<qualifier> typed". Without at least one <qualifier>, the debate is meaningless: every party assumes that unqualified "typed" means "<qualified> type" for some different choice of <qualified> and then it's just about asserting word semantics.
The Day the Internet Became “internet”
How virtual reality is transforming healthcare
Location: Denver

Remote: Yes

Willing to relocate: No

Technologies: PHP, AWS, Linux, MySql, codeigniter, some Angualr 2, LAMP stack

Résumé/CV: http://www.strategic-options.com/resume?=hn

Email: chad.humphrey@strategic-options.com
and it becomes especially problematic when prediction becomes conflated with classification
Same, bought the Xiaomi air filter. Was blown away by the quality. Bought the water filter. Bought the pillow of all things from their curated online store. All great.

In my apartment complex you never see the cheap generic style "hoverboard" anymore but there are dozens of the Xiaomi Ninebot scooter in hard daily use. All of the owners love them.

Xiaomi is the only Chinese tech brand I can think of that is competitive with top foreign brands. Much of this is they have great support but only in China. Outside of China if you did not get this support it might not be worth it.
More anecdotes: every single urgent care center I visited is 2hr+ wait; then I opened my Blue Shield CA online doctor registry and called some — do not accept new patients or available in a month.

For rich people/folks with wonderful insurances the other countries with public healthcare have private care in private hospitals, and it's of the same class — with one-on-one nurses and good food.
Or maybe even the most interesting and important project since Xanadu.
You also risk exposing yourself merely to an echo chamber as everything is automatically self reinforcing. This is bad stuff -- socially manipulative dark patterns.
Thank you for the feedback!

I created the list for underclassmen in my college to start learning technologies outside of school work, so a title like this will create incentive for them to start learning on their own. Many students here turned out to like the list so I decided to share it here as well.
RightHand Robotics | Cambridge, MA | full-time onsite

We're a research-driven startup bringing to market fully integrated picking robots for online order fulfillment. These robots handle thousands of different items quickly, accurately, and automatically, using machine learning rather than manual data entry to build models of customers’ inventory. If you are interested in joining a fast-moving team creating robots to solve real problems, we’d love to hear from you! Please send a cover letter and resume to: talent@righthandrobotics.com (Mention HN!)

Job descriptions here! http://www.righthandrobotics.com/#!careers/all6j

We are hiring:
* Senior Scientists
* Senior Software Engineers
* Mechatronics Engineers
If you release your snapshot used for mirroring via rsync right away as part of the cron job, and only take it and maintain it in CoW mode during off-peak hours, then it's usually a good compromise for getting something crash consistent.
Good catch. I've added the year.
I hear what you're saying, but I don't think this is an algorithm made by humans:
http://karpathy.github.io/2016/05/31/rl/

Of course, humans wrote the framework, but nothing to do with how to play the game. Granted, the goals are set by humans.
They just fund radical wahhabi madrassas all over Asia and the Middle East and provide support to terrorist groups like ISIS and Al Quaeda, no biggie...
> I also don't think Uber's biggest competition is cars or taxis, I imagine it is public transport.

Also worth noting: Los Angeles is not like London or Paris or NYC where you can very often walk to a nearby mass transit station. In many parts of Los Angeles, Uber can serve as a useful complement to the public transport system. For example, one can quickly take Uber to a rail station which then travels the rest of your route underground -- thus avoiding traffic jams.

If Uber did not exist in LA, one would be more likely to just get in one's car for the entire journey: buses take too long to get you to the underground station, and taxis are too expensive.

It's also important to keep in mind that, in Los Angeles, Uber cars arrive really promptly by comparison to public transport buses. If your time in, say, the office, is really valuable, then the Uber service offers more value than a bus, because buses require a lot more time to transport you than an Uber car does.

I know this sounds like an ad for Uber, but I have no connection to the company, except as an occasional customer.
That only holds true at peak hours. For off-peak uses, ride-sharing can compete with buses; in an electric car world, cost-effectively as well.
Yup, failure to understand the simplest aspects of public discourse and narcissism to the point of putting one's own desire to spout a bunch of violent racist crap above any consideration for how it might impact people you want to work with is pretty disqualifiying for project leadership. He's incapable of leading a project because he's unwilling to control himself.
F1IPTIX an Auction Platform That Allows Users to Buy and Sell Event Tix in 90Min
> If Hoon did have macros, however, they would be inherently hygienic, without anything like a gensym

Everything we know about hygienic macros is mainly the result of research in Lisp dialects.

Everything that has syntax has macros. Just not necessarily user definable macros.

Syntax takes some clumps of symbols and converts them to some other symbols. When that is user-defined, we call it a macros; when it is hard-wired in some parser, we call it a grammar production.

"You don't need macros" is reminiscent of "why would you need more than 640 Kb of RAM?"

If you don't need macros, it means that the language syntax has provided exactly the right set of hard-coded ones in the parser.

If that is true, why are there different languages without macros with different syntaxes? And which one is right?
No one wants restrictions on free speech here. It's just boring to see the same thing over and over again.

Why continuously bring it up? We've already had this discussion numerous times.
It's been a couple of years since I last talked to them about that. If I remember, I'll ask tomorrow.
A warning is not 'definite UB'
SEEKING WORK - REMOTE

I'm interested in helping companies to organize their monitoring and analytics, to do custom development in this area, etc. Using Kibana/ELK and BigQuery.

I'm a full stack developer, with focus on backend and JVM languages (Java, Groovy and Clojure). Targeting mostly on Google Cloud Platform. Solution Architect or Tech Lead. Specializing in different aspects of working with data, storing and processing, distributed data, big data, fast data, data analytics, as well as data security and encryption. With huge experience of working in distributed teams.

GITHUB: https://github.com/splix

CONTACTS: igor.artamonov@gmail.com
I would go farther and say that the success of deep learning comes mostly from one thing: putting convolution layers in neural nets, instead of just random connections or fully-connected layers.

Google's image and video recognition? Deep Dream? That's all convolution.

Speech-to-text? That's convolution.

AlphaGo? That's convolution.

Convnets are a great advance in machine learning, don't get me wrong. I hope that soon we get a generalizable way to apply convolution layers to text or music.
> There isnt something [edit: a function] they can't learn.

This is way too sloppy. There isn't something neural nets can't be made to represent - but possibility of representation isn't the same as learning. Learning is not a property of neural nets, it is a property of parameter-adjusting algorithms like backpropagation which don't exactly match up with the representational universality of neural nets.

"Neural nets" have nothing to do with brains or "the way we think." This is marketing crapola.
Notes on the PhD Degree (2000)
I'm as cynical as anybody, but by the same token you're making an assumption that the goal was to throw money at it. I chose to take a good-faith interpretation, though I realize the program's results may be lacking regardless.

I think overall my point is to ask whether it makes a difference what their intent was. Do the results indicate that we actually do know how to create jobs? I mean, there's the WPA and that kind of thing, but beyond that, has any politician really ever created jobs in the way that you say we already know how to do? Not trying to be antagonistic, just curious about the details.
> You have had the advantage of seeing the trend those cash flows have taken the past 3 years...

And what exactly are those trends? Dell has been private for three years, how the company is doing is not and has not been public since the deal closed. I see how they're connected and I understand your point in aggregate, but it's 1) not relevant in the first place and 2) even if it were, the positive economic picture you're painting isn't even apparent - Dell could be a disaster right now and nobody would know (and the judge still would have ruled similarly.)
Application sent!
In a non judicial system I would agree with you.

In a judicial system, the decision maker should document the facts and reasoning that were considered to arrive at the conclusion.... some of it is included in the article ....
Cadre | New York, NY | Full-time onsite
Software Engineers & Software Engineers in Test
Email tanya@cadre.com

Cadre is a well funded startup at the intersection of technology and investing. Our mission is to create a more efficient economy by connecting investors with investment opportunities through technology. We are initially focused on investing in high-end commercial estate and are changing how investors find opportunities in this antiquated, massive and opaque industry. We have an incredible team of 30 people. Our culture is engaging, fast-paced, and collaborative. We all very much enjoy each other's company and are looking for individuals who want to love what they do and who they work with.

This is an extraordinary opportunity to be one of the first 30 employees at a very well-funded company where there is massive potential for each individual here. You would be a core member of the engineering team.
More links below that tell the Cadre story.

Cadre.com and https://cadre.com/about http://therealdeal.com/blog/2015/03/24/kushners-launch-real-.... http://techcrunch.com/2015/03/24/cadre/ Funding just under $70M Series B
The degree to which that is true varies not just regionally but by individual church (not just denomination/tradition/sect, but individual parish/congregation.)
then if it 's a continuous function it can be approximated
> The universe didn't care for creating some property called "intelligence".

On the face of it, I would have to disagree. It would seem to me that's exactly what the universe selected for, among many other things of course, in our tiny little corner of it.

Otherwise, we wouldn't be here debating it.
Facebook abandons free speech
Worked offline for over a year?

Did anyone ever think of the crazy solution of having one person properly configure a firewall?
An R Package for Microsoft Cognitive Services Language APIs
Cloud Native Computing Foundation | Remote | Part-time or full-time contractor

Looking for a DevOps person with expertise in Docker/OCI and Kubernetes. Knowledge of Terraform, Ansible and Go is a plus.

The Cloud Native Computing Foundation (CNCF) is a nonprofit organization committed to advancing the development of cloud native applications and services by creating a new set of common container technologies informed by technical merit and end user value, and inspired by Internet-scale computing. As a shared industry effort, CNCF members represent container and cloud technologies, online services, IT services and end user organizations focused on promoting and advancing the state of cloud native computing for the enterprise. For more information about CNCF, please visit: https://cncf.io/.

Please email dan at dankohn.com.
the universal approx theorem is not sloppy. "Learning" and "Representation" are sloppy terms.

Neural nets have a little bit of something "to do with brains". They were inspired by connectionist ideas. I am all for avoiding marketing speak, but i dont find extremes useful.
Amazon sues sellers for buying fake reviews
Woah, what's with tying this all back to open source and drugs? That last part seems tacked on.

Anyways, computers definitely outdo people by orders of magnitude at computation, and its only recently that they've been able to beat us at pattern recognition. Apply some inductive reasoning and see where that goes.

Besides, humans aren't exactly the perfect beings. Just like we can build cars heavier and faster than us, it's no problem building machines that are beginning to take over what we thought were uniquely human things.
New Stamps Honoring NASA Planetary Discoveries
Google docs or a physical unconnected legacy word processing machine. Truly these are the only options.
Seriously, you can't strip out the whitespace and then pretend to make reasonable critiques of readability.
Watch out, next we'll be seeing CoreOS writing their own encryption protocols. As someone that's designed and built storage clusters from the ground up - take it from me: storage is not as easy as it seems if you care about your data and performance at scale. The number of people I've seen using CoreOS and then moving away from it is quite alarming, I feel like CoreOS will become the Ubuntu of the container world.
> We had this argument in person!

Sorry, I didn't recognize your handle. (And just for the record, I wasn't trying to start an argument, just asking a question.)

> it's my fault

OK ;-)

> I'm really not the person to answer that question sufficiently.

OK.

> But I would like to see you and Curtis have this out at greater length.

Well, we're already having something out in another branch of this thread (https://news.ycombinator.com/item?id=11819810). But it's rather hard to get a straight answer out of him. He has this weird theory that the only way to avoid being sucked into the Lisp Failure Vortex is to not learn Lisp. But at the same time he professes his intentional ignorance of Lisp he also takes these weird pot-shots at it. That is, alas, not a good foundation for a constructive discussion, which is why I was hoping (and continue to hope) that you (or someone) might be able to explain it to me.
They do. A "limo" is just a towncar. It's no different from something like UberBlack. Go to any major airport and you'll see a bunch of them lined up waiting for passengers nearby the taxis.

I started using this service before Uber because taxis were extraordinarily unreliable and this service was always spot on. And as time has went on I see no reason to switch to Uber for this particular well-defined and scheduled-in-advance ride.
I' not the OP, but he could have referred to this: http://www.theverge.com/2014/8/26/6067663/this-is-ubers-play...
Debating the anthropic principle will be left for another thread.
Spartan | Chattanooga, TN | full-time REMOTE

Spartan is located in Chattanooga, TN—recently featured in Inc. Magazine as a technology magnet, due in part to our city wide gigabit fiber network. You read right, we have super fast, super cheap internets. Chattanooga is also an outdoor mecca surrounded by mountains and bisected by the Tennessee River. Add to the list a ton of local restaurants, microbreweries, coffee houses, music venues, low cost of living and a walkable metro area with beautiful views and you have a fantastic quality of life.

Are you ready to work with a talented team of passionate designers and engineers in an up-and-coming, self-governed company located in the middle of a perfect city? Let’s make awesome together.

Full time team members at Spartan Systems have access to the following benefits:

Health/Dental/Vision, Life Insurance, Unlimited Personal Days, and Company funded continuing education resources.

Please apply here: http://joinspartan.com/join

We are hiring: Senior Application Engineers | UI / UX Designers

Our current tech stack is mostly Rails, React, React Native, and some Phoenix / Elixir.
> ADHD is a diagnosed medical disorder that affects millions of people in America. Why do we still stigmatize it in the modern age?

ADHD is a meaningless psychiatric diagnostic [1] of symptoms, not cause. The diagnosis is used to put millions of people in America on maintenance doses of addictive psychotropic drugs. Routine use of amphetamines almost always causes people's mental conditions to worsen, eventually.

Tonight one of my regular taxi passengers txt-messaged to ask if I was working. I was exhausted one night, when he was going home from the gay strip club, so I stopped at the coffee shop that was half-way between the strip club and his mother's house. I was like, "so... what's your story?"

When the passenger was in high school, he was diagnosed with ADHD. The doctor got him addicted to Ritalin, or one of the other legal prescription amphetamines. At first the amphetamine was great, but then side effects developed. Then he developed some legal troubles, which led to living in a halfway house, with hostile housemates...

Anyways... He's a bit of a mess... probably early or mid-30's... his mother pays his taxi fares. He had a job at the baseball stadium, but then he got fired. Last I saw him, he was collecting unemployment insurance.

People... people are interesting. This passenger didn't use "ridesharing" because he can't manage his money well enough, iirc.

[1] https://www.commentarymagazine.com/articles/the-doctor-isnt-... and https://www.commentarymagazine.com/articles/how-psychiatry-l...
Another factor is growing awareness of the Who's Hiring thread.

Anecdote:

My company isn't hiring any more or less people than they used to be, but we never considered the Hacker News Who's Hiring thread as a recruiting venue until I pitched it to upper management rather recently. So that's at least one example of new jobs appearing here that aren't necessarily new jobs in the economy, just new to Hacker News.

I'd be willing to bet other employers who began posting job ads here rather recently have similar stories. I doubt all the growth is strictly related to the tech hiring economy growing faster. Much more likely a combination of solid macroeconomic growth with Hacker News' (and similar venues') own growth combined with growing acceptance of advertising jobs this way by employers and employees.
I took a number of math classes, but I've forgotten the overwhelming majority of it. It's hard to remember anything if you never use it for a full decade (my French is gone too). That's not to say I haven't used math, but I just look it up or learn it as needed.

The truth is that I found my math education was a strange liability. I removed my math minor from my resume, as it prompted math based interviews. Having a Google interviewer go: "I see you have a math minor, so I'm going to ask you some math questions!", followed by the guy getting frustrated for 30 minutes, isn't a great experience.