skysight-inc/HackerNews huggingface dataset:
> You're most likely thinking of Kurzweil's school of thought around a singularity, which is nowadays far from the "norm".

I wish this were true, but it's gotten a new lease on life with Nick Bostrom's book and the various high-profile people who have been influenced by it (like Elon Musk and Bill Gates), so there's a bit of a boomlet around singularity speculation again.
The proof is hard to read for non-statistician. Is anyone willing to give a short human-readable summary of how it works?

Also, the conjecture seems fairly simple, so it'd be great to understand what made it hard to prove.
Thanks. What you said definitely exemplifies the problem we were trying to solve. People often look through one or two of our GitHub organizations, but don't realize that we actually have over 100 of them. Plus many of our projects aren't actually on GitHub (or at least only mirrored to GitHub). The goal of this directory was to help discover those projects.
Looks interesting and I see that some of the solutions use static analysis, too, but your links are all academic projects. Are there any production quality memory-safe compilers yet?
A year ago it looked like Tensorflow might dominate, but most papers I read still publish their code in Caffe, so we've done a lot more with Caffe than Tensorflow.

Our own work calls cudnn/cublas directly because we're C++ programmers and its just more convenient for our use case.
Are there jobs at any skill level that are immune to automation?
I beg to disagree. My car is a 2009 Volvo S60. The climate controls are far superior to all the tactile screen unusable crap I see on all current cars. I'm not much confident that the new displays replacing the old dials will last as long, too. OK, the GPS in my car is useless, but nobody uses the built-in GPS anyway, but Google maps or Waze so who cares?
The only lacking feature is a highly automated cruise-control. That's too bad, but when I see the horrible, horrible UI in my colleague's brand new Mercedes GLC (and the bugs! the bugs! in a 70K€ car!) I don't regret it :)
Looking at revenue instead of market cap, GM and Ford earn about twice what Microsoft and Google do (160B ea) and employ about twice as many people (200K ea).
The 1st one (ratio of sales to development) is not a problem, assuming that the sales people aren't individually dead wood. Any reasonable sales organization rewards the good ones and purges the non-performers periodically.
Those who have used kubernetes so far, what is your opinion on the kubernetes ecosystem? Is this the holy grail? Is there anything missing that you would like to have?

I have found kubernetes hard to learn. There are a lot of concepts. That in itself isn't bad, but I have found that the quality of the documentation is variable. Once I get past the basics tutorial, I have the feeling that I have landed in a big information dump that require expert knowledge ala the git man pages.
Life in general is abusive. Our Western lifestyle with a steadily increasing standard of living has been on a steady march away from this for quite some time. Most people still don't have the luxury to pass on physically dangerous and repetitive labor.
Have you made use of that feature yet? I've poked at it on the nav system, but haven't had to use any Superchargers since it came out.
I don't know about other states, but California provides up to 6 weeks of Paid Family Leave. "Benefit amounts range from $50 to $1,173 per week and represent about 55 percent of your previous weekly earnings (maximum reimbursement amount is $1,173 per week)."

http://edd.ca.gov/Disability/About_PFL.htm

I wish it were longer, and I wish it paid more, and I wish it were federal, but it's better than nothing.
Ask HN: Which companies have the greatest potential to do good?
Which companies are having a large positive impact on the world or have the potential to have such an impact?
Ford doesn't do batteries, solar, supercharging stations, autopilot tech, etc. Delorean produced 8,583 vehicles. :) But I get your point.
I use Discord every day and I disagree with you. I will go wherever the communities I interact with go. If Twitch starts to incentive streamers to move their communities to Twitch Desktop, it is going to be difficult for Discord to do anything about it.

Of course, there are plenty of Discord servers not associated with specific streamers or related to Twitch. Those will be harder to touch but I don't think Twitch cares about them anyway.
susskind described entanglement in a bit different way than I'd heard - "that entanglement allows one to know everything there is to know about a system of particles (the whole), while knowing nothing about it's parts."

In the classical version of an information experiment, if i randomize placement of objects A and B into 2 boxes, and send one of those boxes to someone else - upon opening my box I instantly know whether the other box contains object A or B. The Quantum Mechanical version of the above experiment is very similar, except there could be several different degreees of freedom to measure on upon opening my box (what angle of spin measure on, etc..)

So to me, that doesn't suggest that something "traveled" to the other box, just like in the Classical version.

Rather, somehow I only "knew" the system at the beginning without knowing "any of it's parts" (due to entanglement & superposition).

Then, just observing a degree of freedom in one the parts finally reveals what the corresponding degree of freedom in the other part was.

This (intuitively) makes more sense to me than saying "information traveled" and "action at a distance"
The guy doesn't fit the narrative that's currently oh-so-trendy, thus he is not deemed valuable to the media. Makes you realize how much intentional selective bias there is in these publications' portrayals of the world.

"Can we cause outrage with this? Nope? Ok, discard this dude, find someone who supports our hypothesis so we get more page views"

Remember, the media are not in the business of keeping the public informed, they're first and foremost interested in putting bread on their own tables, like any other business out there. They like having a job, and these days, given how high our tolerance for absurdity has become, their job requires they come up with the most dramatic and outrageous content they can in order to keep people hooked.
3500 after Otzi is late Iron age. Otzi was pre Bronze-age. Borderline neolithic.
You can replace "Common Lisp" with any other language and these points still stand (at least in a tautological, nonsensical way).
Doesn't matter either way, the skills that I gained are mine and anyone needing those skills will be paying for them.
What about a crowdfunding campaign to purchase this data? I wonder if they'd have second thoughts.
This is happening to Discord today:

http://gizmodo.com/discord-has-a-child-porn-problem-17936822...

To our knowledge, the only recourse users currently have is to disallow direct messaging

https://blog.discordapp.com/discord-safety-boost-2d592ea3b14...

By default, Discord allows any two people who share a server to direct message each other. Unfortunately, the baddies can use this behavior to send you stuff that you don’t want to see — everything from Harry Potter spoiler memes (Snape killed who!??) to much worse. To keep the baddies at bay, we’re adding Safe Direct Messaging.
The "robot" generated CSS the author ends the article with looks clever. I'll ignore the logic that since CSS is bad we should write Javascript instead. Rarely is the answer "write more javascript" or "find a way to make javascript the answer."

I digress. The example at the end of the article suggests that each element would have its own unique class, and the CSS will be compiled and duplicated across all elements. This could have the side effect of increasing the bloat of both the HTML and the CSS, although it can be forgivable in some situations.

But now you have HTML and CSS hidden in the complexity, and all of it is managed via Javascript.

Makes me wonder.
The Common Lisp library ecosystem isn't as polished as it is in Python from what I know. Nor is the documentation for many libraries up to scratch, even the stellar ones. Some libraries merely document the functions provided and don't go into how to use the library. Even stellar libraries such as Hunchentoot do this, which I find rather annoying after using Python libraries which seem to make it an important point to tell you how to use things.

I love CL and the idea of Lisp in general, but its modern unpopularity makes it hard to ask questions (because chances are you won't get a response any time soon) and the library situation is a real downer.
The problem McNeill discussed was related to 3rd party body shops. Tesla does not do any body work in its repair centers.
I'm not too familiar with these people as they're scattered over different offices. They seem competent though.

But in my mind (and i may be biased) I believe that you should invest in the team building the actual product before investing in the team selling it.
What other ideologies allow for other possibilities?
https://trust-in-soft.com/products/ (a commercial product from the people who've built Frama-C)

Sound static analyzers are not 100% automatic. They require user help in the form of annotations in cases where they can't prove everything automatically. But the work required is similar -- probably less -- than writing tests.

Also, note that it's very easy to find all memory safety errors in a sound way -- you just report every pointer and array access that's unsafe. The problem isn't identifying all errors, but proving the memory safety of the cases that aren't (and that's where they may ask for help in the form of annotation -- to convince them of the absence of an error).
I've been telling people for years to just use Clozure CL on windows. It might be a bit slower, but it's still blazing fast and you don't have to deal with compatibility issues.
you can use mailgun for that. it has an api and concepts of "routes". you will be able to intercept email from seller@seller_domain.com to buyer@your_domain.com, handle it in your app (mailgun will POST to your web app), and then send from seller@your_domain.com to buyer@buyer_domain.com. really transparent. you can tweak any part of the workflow. have all conversations and all stats in your app.
The definition of what "I" in "IaaS" is slowly changes over time.
A big problem today is that managers and executives are optimised for short-term gains at the expense of everything else (including long term outlook, ethics and even sanity).

People move up the ranks by making random, crazy one-off bets that turn out great in the short term. Nobody notices people who consistently make good long term bets.

This is compounded by the fact that people who have power these days tend to overlook failure and only consider good outcomes.
nothing good is ever associated with alabama.
The machines are already doing everything they are safely capable of.
I can understand you being emotional about it, but you are overestimating the current value of machines in medicine by a huge margin. The medical system will have to change a lot before the clinical environment is machine-friendly enough. It will happen. But it is not doable as of today.
I agree. I've worked at a number of big name tech companies and smaller companies, and I always unplug from work email when I'm on vacation. It's not an issue, you just have to do it. If it is an issue where you work, I encourge you to look for a new job. It's not universal.
I never thought of the UK as being particularly puritanical or me as being particularly kinky, but I've participated in a surprising number of the acts on that banned list, and most of them seem pretty tame.
Indeed. If anyone ask me if they should start trading, my reaction is "DON'T DO IT". But that is for the average person and maybe software developer. For people who have a fighter personality, good mathematical skills, good programming skills, good economic skills, no kids/family and a nice pile of cash, I think they have a chance.
The FMLA also allows your employer to require you to use PTO before unpaid leave, so you don't have the option to save your PTO for an actual vacation after your medical leave.
This blogger is spreading FUD about Wikipedia because she was banned from it several years ago.
My new blog about .NET technologies
Fair enough but there are many foreigners who do not have a tax credit and still made a reservation.
Ad is throwing an error in console. OP should check it out
Peaceful uses of nuclear devices was a thing in the 60s.
Check the console. The Google script throws an error related to availableWidth=0.
into believing there is competition where there is none

It feels like you're validating the original point here. These secret arrangements are not competition and instead consolidation. If market competition did exist, free from illegal practices, the product that provides the most value for a given consumer will win that customer's business.

You're instead talking about why anti-competitive practices are bad... Which is why we have the sometimes-inept DOJ.
For a long time now the wisdom was that only suckers make (or fix) real things. Slightly less suckery were the people designing things to be built; but the real winners are the ones that make a living allocating vast sums of other people's money across many firms (often abstracted through derivative instruments). This is a pure information operation, with no expectation of concrete productivity.

Business owners, and sometimes leaders, can also be winners in the sense that they make socio-economic decisions related to a given firm. They set high level policy like "culture" and stay aware of the "winner" landscape of flush firms who might be looking to buy you - and the poor performing firms who may about to shed talent.

Then there is the professional class, primarily inside lawyers and accountants. The remainder are mostly office drones, who's value is mostly emotional and social. They are the fat that demonstrates health.

We all are trying hard to make a living from pure information, but the finance guys are doing it with the most honestly. Engineering guys make things (electron states), so its messy and we can fail. And we affect the real world, with its constant scary existential threat from government, making it even more risky.

I mean, it's nice when the money is flowing wide and deep, and you really all you do is give some speeches, keep an eye on projects, make a strategic decision twice a year, and play golf with investors and other CEOs. Sign me up!
Bitcoin: 'Blood Diamonds' of the Digital Era
Show HN: Analysis of Machine Learning Methods
IATA acknowledges silliness of cabin laptop ban
Firefox – Notes (52.0.2) – Mozilla
So, the next step should be to tax executives and their bonuses accordingly.
You're not wrong, that would be the next best play Amazon could do.
Have not come across a off the shelf testing platform that would do this. It looks like that you might have to custom build the solution.
Are you also testing the inputs and outputs as well? This can get complicated really fast as you may have to create the physical inputs as well as the receiving the physical outputs from the controllers.
2 spaces for indentation.
I don't think it's as binary as that. Many large prosperous countries (e.g Germany) rely heavily on exports but are still more heavily interventionist and protectionist than the United States.

While I'm largely in favor of free trade, it would be somewhat foolish at this point to deny that a trade policy such as ours, so exclusively focused on returns for the Capital class, has pretty bad political consequences. We either have to develop a better education system and social safety net, or subject ourselves to dangerous populist tantrums.
Haxe – target multiple architectures with one toolkit
Indeed, and sabbaticals are not limited to taking leave for children. They are something entirely different from maternity or paternity leave. Something of that nature is what I am proposing.
Actually, insanity is whatever the state/authority says it is.

Runaway slaves were considered insane because they had Drapetomania. Sexual deviancy (i.e. masturbation) has also long been considered a form of insanity. Have you used cannbis multiple times? Then you have a mental illness, according to the DSM.

Basically anything that goes against the stereotypical social order can be deemed insanity to some degree.
I've noticed these guys "Baqend" have an impressive content marketing campaign going on right now. It's a pity they are so expensive.
FOMO seems to be a huge aspect of the draw. You can see it in teen social media usage, online gaming, etc.
I die a little bit inside when I see stuff like this, I mean, what sort of cowards are afraid of free speech? Geez.

As long as everyone is consenting, it's all fair. In fact, my guess is this crap does more harm than good by pathologizing sex. There's enough people out there shamed by their sexuality. We don't need more.

And how did they come up with such a weird list? Caning, female ejaculation, and facesitting in the same list? ???
I perceive a bleak future.

I was suprised to learn that the main reason Coal Miners are out of work is because of mining automation.

I perceive a world where people just stop buying. Yes--the wealthy will still buy their toys, but their will be a time where so much missery/homelessness; they won't be able to enjoy the luxuries of wealth. Even right now--I feel weird eating in a resturant while a guy outside is hungry.

I feel we will need to open up federal, state, and county land; and allow free camping. (They have made it literally a crime to be homeless.)

I feel a Basic Income will need to be seriously looked into.

I hope we never turn into a country that just overlooks the misery around them. Some days, I feel we have crossed that line.
Similarly - when reading an article that has a single-line quote from a magazine - people can read all sorts of nefarious motivations into it which conveniently fit their worldview.
How do I kill "com.kite.KiteHelper" from memory? It keeps reviving.
Yes, choice of VPS provider matters if that's what you're going for. I would bet that Netflix has a fairly complete inventory of all the IP addresses that Amazon owns at this point...
Thanks for the reply. The controllers have digital and analog I/O that can be looped back with test plugs. That will likely be the approach for closing the I/O circuits.

I am aware of systems like Test Complete, but I don't know if they can deploy to embedded controllers out of the box, as you've said.
Thats not insansanity, that's devops
Unless all they have to do is keep taking dark money via the markets to continue to fund the millennial spying machine.
Professor Brian Cox: “It's Very Difficult to Argue with an Idiot”
I made https://comments.network/ to integrate HN comments into your static page. If it takes off I hope to get money either through subscriptions or from advertising (it is clearly explained there). So far a couple of sites used it that got into the front-page and it handles them a lot better than expected, so there's a really low cost associated to it.
It's been tried at the congressional level (COPA, and probably a few others that didn't make it very far). COPA was found to be unconstitutional.
Oracle considering acquiring Accenture
a side note, there isn't a universal "spin orientation detector" that reveals a spin orientation on the unit circle. You have to choose how to align the magnets so that the spin measured is either "up" or "down"; you could align the magnets any way you like, but they are fixed along an axis for the duration of the observation
So I wonder if DNA sequence data could help Google AI (at some point) to better predict behavior.
Discussion when they were announced: https://news.ycombinator.com/item?id=13072432
Grade up (or grade down) returns the index of an array in sorted order. So >"weasels" would return: 0 3 6 5 1 4 2.
Hedge-Fund Manager Wants to Rearrange GM's Stock
This policy makes sense in the context of veteran employees: if a department is given a block allocation of funds instead of a headcount, it becomes much more lucrative to get rid of a senior employee and hire two individually somewhat less efficient, but together more productive, new guys than to keep the one experienced guy on. Headcounts protect the old guard and allow managers to say "I will keep x people on my software team" rather than "I will spend x dollars, so you're all getting a pay cut/fired".
Twitch was the tipping point though. Their twitch advertising they started doing in late 2014 early 2015 was key to their rapid growth.
Data 8: The Foundations of Data Science (UC-Berkeley Course)
Prices have little to do with costs. The iphone, for example, costs $800 every year because this is the optimal price to sell a premium phone at. They build the phone to be $800, not the other way around. If costs go down in a way that the competition can't replicate, that becomes more profit for apple, not a lower price. If automation reduces costs industry-wide, companies will often/likely add more features and services (i.e. better chip in the iphone) to compete at that optimal price that they previously discovered.
There was a time in my life when I was willing to go through the entire interview process only to reject the offer demanding 45h work weeks. There was even a time when I would ask about hours per week up front and walk away from answers I didn't like.

Now, I'll say point blank that if you're telling your salaried employees to work more than an average of 40 hours a week, you're just an asshole. Even more so than if you're just saying those who would otherwise be skilled wage laborers are salaried exempt as a dodge around relevant labor laws.

The only people who should be living at the office are those with an actual, significant equity stake in the success of the company.

Here's how you detect 40h-or-unhappy. First, check to see if the person has a normal, cocaine-free, methamphetamine-free pulse rate. Then, pat them down and check their pockets for fully vested stock in your company. If you find the first, and not the second, that person will be unhappy working extra-long hours for your benefit.

Parent is absolutely correct. Paying fewer people to work longer hours will absolutely cost you more in the long run. Just hire another person.
To author: custom metrics link is broken.

Looking forward to compare that with an autoscale solution I'm working on.
Who started this Robots are Stealing our Jobs narrative? I feel like it's not a coincidence that in the past few years everyone has been talking about it, despite automation increasing apace for the past century or so.

Who's behind it, and who benefits? UBI proponents?
The app was again pulled from the app store almost immediately...
Health is relevant. The sense in which you used the word "paid" is not.
I don't think there is even an open issue for this. You should file one!
Ok, natural gas is cheaper. Great, we've just moved the goal posts from "hell" to "purgatory", since fracking is still very harmful for the environment.

My main point was that a centralized environment comes with its own downsides, the main one being inertia.
do you guys have any benchmarks where the dom tree is not mostly static?

uptime-boxes suffers from the same problems as the original dbmon - the tree is static and the diffing engine has little to do while the DOM mutations are only nodeValue/textContent and className.
Pretty sure the us is the world leader in factory automation. We export robots to build washing machines, and import washing machines.
It's only cheaper because you don't account for social and environmental costs, and simply get rid of them as "externalities". But they're not externalities anymore, and their effects are coming down on us, and badly.
Actually, I fail to see the point you are making. I'm arguing that people should be active in shaping popular discourse of their societies while honing and validating their opinions as they clash those with other opinions.

Is your argument "oh, but racists are also shaping discourse of their societes"?