skysight-inc/HackerNews huggingface dataset:
10 million events for free is insanity. With Mixpanel, we pay $1,000 for 8. Anyone out there with experience using Amplitude?
It seems to me until we need a real conversation of the ethics of automation and how we can do it without destroying the lives of the workers we are displacing.

A few years ago I made a vow to myself that I wouldn't work on software that puts people out of jobs. When I worked on job automation projects I would get very depressed watching people lose jobs because of me. I can't imagine the damage of something at this scale.
And they do realize it. I mean most people do not live in the Bay Area and don't plan to move there
By doubling the amount of gadgets in the market you are also reducing price of the gadgets (according to offer and demand). The parent's idea is not new, it was already introduced in the first chapter of Marx's Capital. The only capitalistic solution to the devaluation of work introduced by increases in productivity is to increase the demand for things: by increasing peoples consumerism via marketing, reducing the durability of the things, etc.

This vicious circle has to stop, or the planet will stop it for us. We should think about how to work less and consume less.
Yeah, it's a real problem that if you spend your entire education far ahead of the material with no real effort it teaches some very bad habits. Students need to be adequately stretched to remain engaged.
Like all of the best stories, the truth is probably somewhere in between the fantastic and the more plausible. I'm willing to suspend my disbelief for the sake of comedy.
That's what I did. I started off learning LAMP back in high school and found a good job so I didn't bother with college after the first year.

What I got most out of it was math. The CS courses are largely trivial if you're a decent developer who keeps up with learning. However, I would have never learned calc, linear algebra, coding theory, or encryption on my own. So, if I were to go back and talk to pre-college me, I'd tell him to skip CS and just do straight math/physics.
Are you serious? I hope not.

Bitcoin and Ethereum are not stored on the same blockchain and are not compatible or directly convertible.

Your only chance of getting the bitcoins back is to try to create the same wallet address on the bitcoin network (I'm not sure if the backup seed strings are compatible, may not be possible)
What if the number of gadgets produced isn't doubled and the workers do not go on to make something else for another 20 years due to similar automation simultaneously affecting all other jobs that would have otherwise been available to them? It seems to me that this might preserve the GDP rather than increase it (within the 20 year period), but it would also redistribute wealth and create severe inequality.
Simple Rules for Healthy Eating (2015)
Lucky to be born in the United States? Sure! Lucky to not have gotten cancer? Yup. Lucky to have not been hurt in a random automobile accident? I was such a stupid driver in high school. Lucky to have not lost my mind as many males do in their late teens/early 20s? Oh god yes.

Lucky to have the good friends that I have? Still yes. Had I simply sat on the other side of the room of CS101 I'd have joined a different project team and have had different friends in school and to this day.

Lucky to be a gainfully employed programmer on salary? I feel I could do that 10 out of 10 times. Or 9 out of 10 times if it helps the conversation. In different realities I'd work at different companies. Specialized my talents differently. Probably even live in a different city. Definitely have a different partner. But I'd have a good job somewhere. In that I'm confident.

I've been "unlucky" in that no project I've ever worked on has ever blown up. Never seen a fat bonus. I've still drive the same 1999 Volkswagen Jetta I got in 2004. No fancy car for me. No lucky stock options that hit it big.

I'm arguably lucky to be a programmer. Born in a good year for it. But I don't think I'm lucky to have a good job that pays well. If I were born a few years earlier I'd simply have picked a different career. I could have been a lawyer. Or a mechanical engineer. Even a doctor. I find a lot of things interesting. For careers I'd have always picked something interesting that pays well. I like teaching people quite a lot. But it doesn't pay well. So it was never a consideration. If teachers averaged 6 figures it'd have been on my short list as well.
Have you tried Astree Analyzer? Papers I read indicated it was one of best but hard to find industry people to confirm or reject it. Want someone to clone it for FOSS. Meanwhile, I found these free ones for you two that have each found bugs in code with focus on minimal annotations. All are academic prototypes but Saturn was used on Linux kernel.

Saturn
http://saturn.stanford.edu/pages/overviewindex.html

CSolve
http://goto.ucsd.edu/csolve/

Calysto
http://www.domagoj-babic.com/index.php/ResearchProjects/Caly...

Most academics are instead making compilers that translate C code into something mostly or totally safe while pushing the performance hit downward. Here's two of the top for you to try on various codes (or improve):

https://www.cs.rutgers.edu/~santosh.nagarakatte/softbound/

http://sva.cs.illinois.edu/downloads.html
There should be laws on replacing a human worker with a robot. Certain revenue of what the robot generates must be paid to the replaced worker directly.
Hi RUG3Y. From my experience, there are a ton of jobs for the skill-set I have mentioned above in my article. There will be more jobs in metropolitan areas than rural, but you can also find remote friendly workplaces. I've mentioned some places to check out in the article.

As for CS degree I don't have one so you will have to speak with someone that does. In my opinion there is no better learning than when you are employed and working in teams so I prefer that method for practicality purposes.
Again, perhaps I've complicated simple things unnecessarily:

> A proposition is not a set in any conceivable setting.

A proposition can be seen as a predicate over the logic's structures, and therefore a set of structures. TLA is a logic whose structures are abstract state machines (and therefore the machine is implicit). Any proposition in TLA is therefore a predicate over programs, or a set of them, and is, therefore, runnable.

But since I've added this comment, let me give a specific example. The TLA+ statement `A ≜ x = 3 ∧ (x' = x)` says that the value of variable x in the machine's initial state is 3, and it never changes. It can also be viewed as the set of all programs with this behavior. If we add the following statement, `VARIABLES x`, we tell TLA+ that variable x is the only variable we care about (of all infinite variables), and at this point the proposition is runnable, because all (infinitely many) machines would appear to behave in the same way with regards to variable x, so we may as well imagine that x is the only variable. "Running" within this logic, then, means visiting all states of all possible machines where the proposition holds true.

Now, let's define proposition B: `B ≜ x = 3 ∧ y ∈ {-1, 1} ∧ (x' = x ∧ y' ∈ {-1, 1})`. This is a proposition about the behavior of two variables, but also a description of a nondeterministic program (in which at any state, y can take the value 1 or -1), which we can run (once we tell TLA+ `VARIABLES x, y`).

Now we can also write `B ⇒ A` -- we say B implements A -- (which is true) and semantically means that B is a simulation of A (or a trace-subset; I'm not sure, but I think it's the same as far as we're concerned), but this is just a restatement of treating `⇒` as the familiar implication connective within the modal (temporal) logic. "Running" `B ⇒ A` is the same as running B, but visiting all states where `B ⇒ A` is true, which is everywhere. Similarly, we can define `C ≜ x = 3 ∧ y' ∈ {-1, 1} ∧ (x' = x ∧ y' = -y)` which is still nondeterministic but now has only two possible behaviors, and it is true that `C ⇒ B`. If `D ≜ x = 3 ∧ y' = 1 ∧ (x' = x ∧ y' = -y)`, then D is now fully deterministic, and D ⇒ C (and therefore D ⇒ B and D ⇒ A).
Possibly, assuming people don't just buy $500 worth of other random things instead, and that you haven't expanded the market for the gadget to include people who can't or won't pay $1000 but can and will pay $500, and the resources you no longer consume don't go into producing something else, and any number of other factors.

But even if those don't happen and you have lowered GDP, a lower GDP is not a bad thing; it's perfectly acceptable, and desirable, for people to spend a smaller fraction of their income.

As for your company, if you can reduce costs such that instead of making $50 on each $1000 gadget, you make $100 on each $500 gadget, both you and the consumer of your product win. Arguably, GDP seems broken as a metric for not taking that into account.
She got several millions out of it. The engineers might have been buried but hey at least someone came out on top.

The only chance for yahoo was promoting someone from within not bringing a "professional" CEO that will jump ship in a few years.
Welcome to the automated future. As a world we are going to have to adjust to the changes brought about by automation. We need to start talking about how society will be structured with 50% unemployment.
Can we just auto-add a link to Betteridge Law to all topics ending with question mark?
Here you go. Experiment away and give them constructive feedback as they need it. Esp Softbound and SAFECODE.

https://news.ycombinator.com/item?id=11770726
> I wouldn't work on software that puts people out of jobs

how can you tell? what is the heuristic here?
Because my phone wont let me uninstall it [0] and it's not just on my specific phone, other manufacturers do the same. I also cannot uninstall Amazon or the 5 other completely useless apps it brings, Facebook Messenger and Instagram are ingrained into my phone which is annoying. I wish rooting and setting up a custom ROM wasn't a painful experience or I would do both, but I like getting updates, which rooting stops, and I'm not too sure a ROM supports updating properly.

[0]: https://www.reddit.com/r/androidapps/comments/3catb0/i_cant_...
They do this for pretty much every product release
It's interesting that people only get mad about golden parachutes given to "rock star" CEOs when things are going poorly for the company that hired them. I feel like we should do a better job about calling out these agreements whenever they're inked; it's publicly available information in the case of publicly traded companies.

Some kind of severance guarantee for the new CEO in case they get fired, OK, I get it. You need to keep your kids in private school and continue to pay your mortgage for the period of time while you find something else to do, fine, no problem. I'd even be fine with a healthy multiple of what that kind of expensive lifestyle costs for 6 months. In Mayer's case I'd even say that a million bucks might be justified, given that it will probably take her a while to find something else to do.

But an agreement that will likely soon result in a $55mm payment to an outgoing CEO who has spent nearly 4 years pissing money away in bad acquisitions and destroying value across multiple verticals is absurd.
Its richer overall, but is being spread less evenly.
High minimum wage is what prompted this automation in the first place. UBI will solve some problems and create new ones. So we will likely have the same amount of problems or possibly more after UBI as before. How UBI will be funded is another matter, also how much $$$ will it provide? What is a necessity anymore, internet in my home? A cellphone? What a can of worms UBI is.
While the price of oil is an important part, it's not the only cost factor (personal, aircraft leasing, airport fees, etc) also play a part
After reading the other front page article on a possible new Physics force...

Ancient people thought everyday objects had powerful spirits in them or controlling them, subject to whims. Modern science showed almost everything is emergent complexity of very simple rules.

Now, technologists are replacing the gods of old, creating powerful nigh invisible "spirits" that live inside everyday object: radios and batteries and computer chips with microscopic logic, the tiniest pebbles or shreds of fabric could be watching you and talking to you, controlled by an automated or remote maliciously force.
Yes, I agree that a human can (even with massive cuts to minimum wage, and/or subsidies to companies) never catch up to automated workers.

Not only should we not try because we can't win on economic grounds (I think). It'll probably force the people that must compete into inhumane working conditions for negligent compensation before we admit that we lost. Banning automation is also not ethical. Because increased efficiency also indirectly translates into increased quality of life, and directly translates into better health care and lower mortality rates.

You're probably right about the basic income, though I wish we could skip that part. My personal crystal boll says that we'll end up with a system more aching to that in the star trek universe anyway. Where _things_ are free, instead of giving people free money.
I don't talk about mixing spaces and tabs. I talking about why don't we indent with tabs only? Spaces are good for separating tokens in code, but indentation is not for that - indentation is for making the structures visible, sometimes it is easier to read with smaller amount of indent, sometimes it is easier to read with larger amount of indent - based on my experiences. Why then to make the coders life worse than needed?
(On the other hand I do like Go's approach for this: using 'go fmt' you can make your source file well-indented/aligned.
sigh
I think it's conventional to give Mayer the benefit of the doubt, I certainly did for a long time, but if there's one responsibility that lies squarely in the hands of the CEO it's to define a clear, unifying vision for the company that catalyzes employees, users and investors. Mayer failed to do this, I'm not sure she even tried. This whole time she's been fixated on minutia while remaining casually oblivious to the big picture.

Let's compare mission statements. Google's mission is to "organize the world's information and make it universally accessible and useful". Absolutely. Makes sense. Tesla's mission is to "accelerate the world's transition to sustainable transport". Yes, I can get behind that. Every move Tesla makes reflects their mission.

But what's Yahoo's Mission? (and now that I Google it, it has changed again, for the 25th time) "Yahoo is a guide focused on informing, connecting, and entertaining our users".

I'm Really not sure how to connect that with the sick parade of misfit properties circling the drain we call 'Yahoo'. Though we can all make our best guess, I'm not sure anyone clearly understands what Yahoo is, or what it's trying to be. Not even Marissa Mayer. That's job #1 for a CEO.
Do you use your own data synchronization solution? It seems to difficult to do it right. We love Realm but we eventually choose couchbase because of its out of the box sync solution. I hope Realm consider this feature as most mobile developers all have to think about this problem.
> If it costs $900 to make a gadget you sell for $1000 and you replace the staff with robots which cost $500 per gadget then there is no effect on GDP as it only tracks value produced.

If you are selling in a competitive market, the price for per gadget will drop with the price of production, reducing GDP before considering other effects (while the purchasers will probably spend their additional cash on some other good, there is no guarantee that good will come from your country, so while world product may not decrease, your domestic product may.)

If that's not the case and you have pure monopoly pricing power, then the effect on GDP depends on how you spend the excess profit: if you spend it in ways that have the same velocity in your domestic economy as your old employees would have (and if the maintenance expenditures for the robots likewise are spent in such a way), the effect is neutral -- if the net of these two things is spending that has less domestic velocity, then GDP could still drop as a fairly direct result of the decision to bring in the robots.
According to Poreto Principle i expect this law to work in 80% of cases. :)
But the GDP is usually measured in money, right? Also, if there is no demand for more gadgets, and those 50 people who are unemployed and can't find new jobs, then what happens to the GDP?
Obviously I don't know anything about these sorts of things, but 20% power may have been all the engines were capable of producing with the much thinner air at cruising altitude.
Kudos on trying something new.

However, please realize that it's a bit naive to think that you get extremely good at anything non-trivial in 6 months.

https://en.wikipedia.org/wiki/Outliers_(book)
Ha! I would like to give that a try.
It'll probably know when you're nervous and maybe place an ad for a sedative in your Facebook or Twitter feed? Or maybe sth like a "who's nervous around" screen on someone's phone will show your name on it. It's really discomforting this thing, there's an infinite possibility of exploitation.
Money. Lack of it.
> A few years ago I made a vow to myself that I wouldn't work on software that puts people out of jobs.

Arguably the whole point of software is to automate tasks that would have been done by humans. How do you avoid this when making useful software?
Well said. Most of us stand on the shoulders of giants.
Open-Sourcing Twitter Heron
This is a neat paper. One of the tricky parts of making a malicious circuit is the fact that you want your behavior to only be triggered on some unlikely condition.

In other words you want:

if (counter == 0x686e686e) { do evil }
else counter++;

But that requires a lot of hardware.

What the authors realized is that essentially a simple capacitor can be used as a counter! Each time you reach the condition it adds a bit of charge to the capacitor, until at the appropriate moment it discharges and changes the state of the chip in some way.

This is a really clever bit of design, getting something general-purpose and malicious out of a single capacitor!
This doesn't prove intent or lack thereof, but the author has posted that the woman who received the laptop has contacted him.

https://www.facebook.com/echeng1/posts/10102303567718623
Ah, now I understand. For others:

Simons Foundations --> James Simons, who is a hedge fund mananger worth ~ $14billion.

Excellent interview with Numberphile here:

https://www.youtube.com/watch?v=QNznD9hMEh0
Related: Adidas to make shoes in Germany again – but using robots http://www.theguardian.com/world/2016/may/25/adidas-to-sell-...
IMHO..It's more efficient to simply partner up. But learning the basics will definitely make you a better coder in the end.

So who want's to partner up? I'm always looking for a talented dev to tag-team on projects. Also helps increase your chances on getting that big client since you can deliver faster with more man-power/experience.
At least in theory no, because GDP growth calculation is inflation-adjusted. If lots of gadgets get a lower price because of lower costs, but with the same features/performance, then this should be accounted for in the GDP deflator [1] and be neutral to GDP growth accounting. Of course, correctly estimating the GDP deflator in practice is very difficult.

[1]https://en.wikipedia.org/wiki/GDP_deflator
Unless they sell gadget oversea, like Samsung.
Who Gets Venture Capital Funding?
> When she was at Google, Mayer oversaw the approval of each daily homepage “doodle.”

I love this new career path. Beats working years just to advance to manage your old team.

Now I can see the logic behind all the attention on emojis at the Google I/O event. They will be our new leaders.
So far, I don't think he's right on all 3
Oh, given the packing, is there any reason to use the property instead of just moving up a size?
You had to buy a robot - that purchase is also reflected in the GDP.
Buddybuild: Introducing Instant Replay
Some might ask; well if this is the case, can we move production (back) to the US? The answer (imo) is no. The Chinese have done an amazing job building the supply chain. Need a part, go right down the street and meet the vendors, need packaging, its just down the other street. The infrastructure built to bring products to market is their real advantage here. Try sourcing a new chip in the states and then try over there. This is true not just for electronics, but also with textile production.
Exactly. Skilled labor and an aged population doesn't help much. What happens to the worker over 50...or even 40 with a family to privide for...there isn't much time to acquire new skills. It's easier said when you don't have a family to provide for or responsibilities. There should be a transition period where people are allowed time to obtain new skills instead of being dropped...and in some cases, left to be picked up by local government - job training programs are not cheap.
Regressive Web Apps
Hi, one of the authors here. It was probably not very clear on our part, but it's meant to train the eye tracking model as naturally you use the website. So it takes advantage of your interactions over time, like if you're using Gmail.

So if you're doing the demo on the blank page, click in a couple of places around the screen (while looking there as you would normally), and you should start seeing the prediction.
Right, the first thing to always remember when you're doing a hybrid is that you're stating up-front, "I want to have two engines in this machine -- that's a weight and space cost that I want to pay up-front." As mentioned by the article, with airplanes when you increase weight everything has to get bigger to accommodate it. That doesn't make it impossible, but does make it a bit tricky.

Another interesting question: the fuel cell design in the original post is probably not reversible, is it? It would be really cool if given 10-20 more years of work we then used variable-pitch propellers with reversible fuel cells allowing for a plane which, during descent, could regenerate most of the energy used to make its ascent. It might also make pilots less worried about limited range, because they'd know that in a pinch they could get some more energy to the battery.
seems like others are having the same issue.
Buddybuild's crash reporting functionality just got even better.

Instant Replay answers a common question amongst development teams - "how did that happen?" - by showing devs a video replay of exactly what a user was doing in the moments leading up to a crash, which means the dev gets an exact set of steps needed to reproduce it.
Why read article if nothing new were found? Betteridge Law is a timesaver. You can get instant answer without reading whole article.
The goal is great, yeah! But the solution is very, very wrong. You don't want to authenticate with a key that you can't change.

E.g. someone copies your face with a 3D printer and you find out. You want to be able to stop him from accessing your secrets. But you don't want to apply plastic surgery for that.

Second e.g. someone captures you and wants to open something you can only access with a part of your body (like a finger, or a face or an eye). In that case you want to be able to give it to him without him cutting off parts of your body. The security is broken, but at least your body doesn't have to be. So yeah, this solution is very very wrong. (It's weird that the physical key has the attribute that someone can steal it is in some cases a feature not a bug, but if you think about it it's true.)
I do full stack development, and my one weak point has always been CSS that works across all the browsers. Most people will just say use bootstrap, but I wanted something leaner like bourbon.io

this toolbox of sass mixins creates really tight css, but you have to know how to use css to get good results.