skysight-inc/HackerNews huggingface dataset:
You are correct that creating a program that verifies any other program is mathematically impossible. However, given some critical assumptions regarding the scope of the problem, we can use formal verification techniques to generate proofs for some programs. People in formal verification (https://en.m.wikipedia.org/wiki/Formal_verification) do research to find better ways of creating proofs for programs automatically.
I replaced react-router with route-recognizer. The later is a simple tool your code is using, has proper documentation and stability, and do not get in the way of automated tests with jest. But react-router changed too much (i.e. removed named routes), has a lot of dependencies (browserhistory, etc), has very poor documentation, and did not allow me to do automated testing at the levels I wanted to. Moreover, it is a "framework": you're code lives inside of it, breathes through it, and that's something I dislike greatly (for such a moderate usefulness).
Sounds good, but what concrete, objective measure of simplicity do you use? And how do you justify your choice?
1) well look at that! I guess i've gotten a bit spoiled relying on lodash as much as I do!

2) There are aspects of prototypes that JS makes much worse (mainly the whole "this" clusterfuck), but the base is pretty sane and easy to understand. But at that point i'm not even talking about javascript any more, so I guess you are right here too.

3) I still disagree with you here. Yeah, there should be a way for the stdlib to do simple low level things (like isNumber()), but for others "one true way" isn't the best. I'd love a better stdlib, but I don't want something like Go's stdlib. I'd rather the language define a "bare minimum" and let libraries take over the rest. Now, as with anything in life this should be taken in moderation, if there are massive gains to be had by including something, then it probably should be included.

Maybe this is stockholm syndrome setting in, but I'd rather have the choice of implementation of something in-language, because there are so many different engine implementations.

4) I was more speaking of things like a python library that only runs on 2.7, or a java application that only works on 6. For the most part, those things just don't happen in javascript. Yeah, you need to not use newer features until they roll out everywhere, but once they do, you are safe in using them for a pretty damn long time. In your example, you can't use const/let right now because safari is the last big holdout here. iOS 10 was just released, and with it Safari 10. In another month, i'd feel comfortable using const/let without transpiling it, and I won't need to worry about it again.

But another benefit of multiple different implementations is they are free to optimize for different things. For example, Espruino is a JS engine that runs on microcontrollers and is EXTREMELY low power. Chakra (Edge's engine) shoots for really fast startup speed. V8 is pretty much the king in terms of raw execution speed. Contrast this with the Java way of having a million settings, knobs, options, and flags in the engine to tune the system the way you want. Yeah, you can do that, but most don't because of the complexity and risk involved. And there is only so much that you can do while having to support every option in the same engine.

Like i said earlier, i'm not sure if it's stockholm syndrome taking effect, but JS is by far my favorite language, and despite all it's flaws, issues, problems, and mistakes, it's also the language i'm most productive in. And with ES2015+ it's only getting better. (although i'm dreading the time when modules start getting into implementations, and how they conflict with current solutions, that's going to be a NIGHTMARE in just about every way).
“Inspiration or plagiarism?” – music from two movies at once, one in each ear
Analytical Flavor Systems[0].

We built a AI for beer flavor profile consistency and quality optimization. NVIDIA wrote an awesome article about us here[1].

More Info

Analytical Flavor Systems uses machine learning and artificial intelligence to build tools for the food & beverage industry. Our Quality, Process, and Market Intelligence services create real-time predictive decisions metrics at each stage of a products life-cycle. We leverage our predictive models across products & industries for flavor profile optimization, production process optimization, demographic targeting & cognitive marketing - helping companies create and sell the best product to their highest value consumers with every batch.

Our Services

__Quality Intelligence__: Real-time predictive quality control, assurance, and improvement from human sensory data.

__Process Intelligence__: Real-time predictive process control and optimization from human sensory data + manufacturing & LIMS data.

__Market Intelligence__: Linking flavor-profile, demographics, and sales data to find the highest value consumer demographics for a product's flavor-profile.

[0]www.Gastrograph.com

[1] http://blogs.nvidia.com/blog/2015/09/02/beer/
Headphone jack very useful. I use it everyday.
They did the same thing when a woman plowed into the side of the building at 30MPH. Obviously Tesla said it wasn't enabled, but reporters didn't wait to hear back from Tesla.
"No matter how you spin it, (Autopilot) is not designed for that. It is a driver assistance system and not a driverless system," Shashua said.
This implies that Tesla's customers were not using the system as designer and possibly didn't want negative publicly of such affecting its business

The article never stated anything about Tesla dropping Mobileye either but implied the opposite.
Probably. But Java, growing up as a language at this time, was IMO influenced by this fad more than other (older or newer) languages.
I have to agree with you.

HTML5, CSS3, and Javascript have matured to the point where they are very powerful and flexible. I don't always see the point of over-complicating things with frameworks.
The Marvel Symphonic Universe, and the problems with movie temp music
The value of the browser sandbox is often dismissed but it's doing a great job at allowing people to run untrusted code from the web without much thought behind it. I also strongly believe users are much more willing to try websites than download entire app anyways just to see if it's any good.
The idea of fermentation to kill bugs and what not is mentioned in the documentary How Beer Saved the World.

If I remember rightly, they make a brew out of pond water towards the end

https://vimeo.com/23278902
ordered through drinkeasy's SMS bot for the first time (sits on top of ezras.com) a little while ago. Great service!
> but anyone who put their life on the hand of an immature technology is beyond my comprehension.

Because humans are flawed.

The real question is why is our regulatory framework so weak that they can ship "immature technology" that's safety critical in a consumer vehicle.
Extremely dangerous. In the US there are entire convoys with giant flashing lights and crash barricades attached to the rear of work vehicles. They'd be blocking the entire left lane. This is a bigger failure for safety standards in China than it is a failing of Tesla. The rear-end collisions like this happen all the time without autopilot.
I don't think they are specific to Java technically but they do seem to be part of Java culture.
dedicated IPs for shared hosting is a thing too (commonly needed for SSL virtualhosting when clients don't do SNI)
If I'm remembering correctly this article seems to mostly paraphrase what the various developers Robert C. Martin interviewed for this book ("Clean Code: A Handbook of Agile Software Craftsmanship") said...in mostly the same order.
“Metamaterial Mechanisms” – 3D print complex mechanisms as a single object
I'm a dude, he's a dude, she's a dude, we're all dudes
It's interesting that he says location is the cause. I think I agree, but then I think about DC, where most of the tech jobs (aside from some government ones) seem to be located outside of the city
Bear in mind that the BMGF is a separate entity from Bill Gates and Melinda Gates, albeit nominally controlled by them. It may control funds that do not even come from the Gates family (most notably Warren Buffett).

It isn't clear to me that establishing yet another donor-advised trust is making the world a better place, and it seems to me as though the foundation funded by the trust is not taking action on its own initiative, but instead just giving money to those people and organizations who are already actually expending the effort in making the world a better place.

Yes, it is a good thing, but don't go overestimating the wattage of that halo on Bill Gates's head. I give most of the credit to the people who actually uproot their lives, go to Pakistan and similar environments, and try to administer vaccines to people who deeply mistrust their motives.
I've been messing around with a RealSense depth cam lately and it's been somewhat interesting. In the past I played around with an old gen1 Kinect using stuff like TouchDesigner and ZVector but had to hold off on picking up a gen2 Kinect when the adapter needed for PC hookup was somewhat pricey and always on back order.

I haven't gotten into the gritty details yet and have only been using it with TouchDesigner and ZVector Touch so far but it's fairly promising as a low cost, decent quality RGB+depth camera.
Got a source on that? I can't find any PA laws that support your statements.
I wonder if the 5G limitation on the avoidance system is to allow pilot a chance to recover from GLOC, or if it is due to other concerns like the structural integrity of the aircraft or more unpredictable handling at more than 5Gs. Can more than 5 sustained Gs kill someone if they aren't conscious and able to counteract the blood pooling in their lower extremities?
I just re-read this thread and realized there was a miscommunication.

My comment was intended to be a real world example of someone choosing life in slavery over dying in response to the idea of "give me liberty or give me death"...

I reread my comment and can see how someone might misinterpret it as invoking the holocaust to defend the state of Israel. That was never my intention and does not reflect my viewpoints on Israel. I dont believe the holocaust or antisemitism has anything to do with the right of the state of Israel to exist.

I do however believe in Good and Evil.
> if a 40+ developer (who ships product and gets things done rather than a "coder" as you refer to them), works for less than market rate, there is a reason, and usually not a good one.

I'm only 36, but my personal experience would bias me to assume it is because the companies that would pay market rate aren't willing to even talk to them. It's hella illegal, but I would not be surprised if a company basing their product on technologies that are only 3 - 4 years old is silently, perhaps even unconsciously, ignoring resumes from people with 15+ years of work experience, even if they have the experience in those recent technologies.
MVP App Development Starting at $1k
That has been my thought exactly! And they'd still have the opportunity to then use the autopilot brand once the appropriate level of autonomy was reached. Co-pilot --> Autopilot feels much stronger than Autopilot --> Autopilot Plus™ or similar.
I do pro audio. Nobody serious is using the built-in audio interface. If you're recording, you're probably using some hardware from Apogee. If your DJing, you're probably using some hardware from Native Instruments.
You might be underestimating how much inertia the Angular name has in larger enterprise dev shops. They're still creating new projects in Angular 1.x, and will eventually starting using Angular 2 just because it is called Angular.
Election hacking: Sowing doubt is prime danger
Microsoft stuff not allowed in my stack...
Bird commerce would be much more interesting than tool usage. AFAIK, we are the only species that does it.
It's capital flight property. The owners want it available to move in when SHTF in China.

Besides, not having tenants helps increase the upward pressure on property prices. Like trying to corner the silver market.
Dude is unisex these days, and i think the original claim is also ignoring non-binary people who conform neither to male or female gender stereotypes (wrt wanting more women in tech). we should also want to increase visibility of non binary people
That's a strange example. An automatic transmission needs no human input at all. You put it in D, and leave it in D, until you stop driving most of the time.

Did you mean manual transmissions?
Recovering an iPhone 5c Passcode
Check out nativescript, it's TS/angular 2 equivalent to React Native.
Restaurant Spotlight: Delmonico Steakhouse in Las Vegas
Yet now we're breathlessly anticipating the new age of self-driving vehicles that will be learning as they go....
> to include homes owned and occupied by able-bodied people who don't work for a living and never earned the kind of money that would be needed to afford such a home.

That sort of means testing isn't required (and would be open to system-gaming / perverse incentive creation anyway). You just apply capital gains tax to all properties with the exception of one primary residence per person, and you could even cap the primary-residence exemption at the median value of a home in a particular area. So if you own property and rent it out rather than living there yourself, it gets taxed as an investment, period.

So that this cost isn't just passed on to renters, you should make the rental payments for your primary residence tax deductible, again perhaps capped at a median level so as not to perversely encourage higher rents.

I think you could construct a tax regime that was revenue neutral pretty easily this way.
a lot of people also move north to orange county or los angeles.
Captain America - Civil War
You’re Not Safe in Your Cubicle: Middle-Skilled Workers Will Be Left Behind
Making no effort is not OK.
Making effort with little to no insight to things wont help either.

For example that fish bladder comes from fish. That fish was probably killed for it's meat. So even if you're not using fish bladder in the beer clearing procedure, that fish will be killed and that part thrown away.
Than you use some kind of substitute which has to be grown, or manufactured. That needs land, energy etc...

In short you will have a bigger impact on the environment, because the fish will be killed anyway. And now you have to produce extra filtering agents for the beer, because you will lose customers who like clear beer.

And all of this for a couple of vegan beer drinkers.

Well done.
> Ubiquitus video/audio recording and real time processing. ... So what are we left with in terms of privacy?

A new sense of what privacy is. It is increasingly rare that someone should have a sense of privacy or anonymity while in a public place.

It's reasonable to worry about government abuse of power from monopoly access to the full aggregation of surveillance data (even if that data was not originally intended as surveillance). Many people advocate for damming the flood of data, but this is futile. A more effective solution is to end the monopoly of access -- public aggregation of surveillance data. Twitch for everything.

Don't worry quite yet. Wait until we all have wearable cameras.
'Super agers' offer clue to keeping a sharp memory
What an idiotic argument. It's been proven again and again that electronic voting machines have shit security and can be hacked. Maybe not over the Internet, but Russia is not the one and only danger as the NYT seems to think it is.

We shouldn't argue that voting machines are vulnerable, because that would "sow doubt"? Fuck off, NYT! By that logic voting machines should never be audited either, because that could also "sow doubt" about their integrity if people see them being analyzed.

This election has proven to me that NYT has no integrity left, and would support whatever argument "its camp" supports, regardless of the facts, and Washington Post is basically the Breitbart of the left now.
[New Data] 7 of the Top Marketing Challenges Marketers Face Today
Feed a virus, starve a bacterium??
I've seen this worshipping of "ship soon" many times. It always ended with a buggy and messy software, an unhappy customer and a stressed development team.
The headline is plain wrong. The wifi part will still work, only the tablet-like screen interface will be disabled.
Let the meaningless metrics wars begin.
The new trackpad can be continuously plugged in. Same with the new keyboard. FYI.
It's amazing what you can achieve just by using HTML and CSS, but still I wonder why we mostly see websites with generic design and layout that only use common HTML and CSS elements.
You seem to be confused. Tesla was the one who got dropped by Mobileye.

Maybe you should read the article (or heck even the headline).
Not really. Now you need to charge the Macbook with MagSafe and connect the dock to it. It's still two cables. USB-C allows you to charge your mac through the same cord it transfers data to/from.

Not like it matters too much, but I see some point in it — I come to my desk, plug in only one cable from the dock and have it all set. Also I can easily see how demoing it from the stage falls under what Tim Cook calls "innovation" nowadays. Which seems to become more and more important to him.
I think it is likely a (perverse) indication that the NYT is more successfully adapting and competing in the news market. But headlines have always been written with the primary intention of grabbing attention, modern web clickbait style headlines might be another evolution of that approach.

I've thought that Times article headlines have been more clickbaity over time. Some articles, especially if they aren't related to current events, are becoming more casual in their voice as well.

If they can maintain quality journalism by only sacrificing headline quality, that is probably a good and necessary tradeoff to make.
What happens when children don't have magazines for a whole day.

Is what this article would be titled in 1740.
Yeah, try finding a decent one on Amazon that will actually work with a Mac Mini or Macbook Pro. Had to buy 3-4 of them to find one and the build quality was absolute garbage on all of them.
My understanding is that this sort of thing is pretty common. Traditionally, "rape" required the victim to resist "to the utmost." Our idea of what constitutes rape has broadened considerably, but the law is sometimes slow to catch up. According to this, five US states still have such requirements in their laws:

http://www.womenslawproject.org/resources/Rape%20and%20Sexua...

Many others make no mention either way, and I suspect many of them would then fall back to the traditional requirement.
That's because Microsoft doesn't pay well and the benefits aren't as nice as goog or FB.
In general: if everyone is telling you not to do something, then there's probably a good reason. Even if you're 100% sure that you're right and everyone is wrong.
It all stems from the Chinese tradition of competitive examinations.

https://en.wikipedia.org/wiki/Imperial_examination
What are the challenges of migrating to https only protocol? I have done it before, not on wired.com scale though. We use AWS and it's not that difficult to start supporting https and have all http requests redirected to https. Can someone explain why it took them a year to do this?
Let's take a page from the Orange Book days. Simplicity means you can:

1. Clearly map the code/functions to the specs of what it does almost line by line.

2. The code is expressed in a way simple enough for one person to understand it and verify it by hand.

3. The code is expressed in a way simple enough for a machine to verify it should someone want to try.

4. Minimal to no global effects/state happening in the local code.

These principles tend to result in code that's correct and easy to modify. I say they're a start on some objective measure of simplicity. We could empirically [dis]prove them as well with tests of various coding styles on people and tooling.
It's pretty common that you need to shift it to R. Nobody leaves it in D while backing out of a parking spot and then complains that the automatic transmission didn't do its job when they collide with the wall in front of them.
Clearly the common theme through history that adults have issue with is learning and socialization.
The question here isn't their actions. It's their motives.

There's a South Park sketch where the kids are out camping with the local gun nut, and he explains that they're not allowed to hunt most these animals - but they can act in self-defense. So he teaches them to shout "it's coming right for us!" before firing. ( https://www.youtube.com/watch?v=Nt6kKhlX8vU )

So what the grandparent is alluding to, isn't whether it's correct to act appropriately if "it's coming right for us!". It's the culture of "stop resisting" used as robotically as your Miranda rights to later justify an escalation of violence.

No-one's saying an officer shouldn't be allowed to respond to threats appropriately. We are saying we should be able to trust officers not to imagine threats for the sole purpose of justifying such an escalation (which, if taken at face value, is what the OP article describes).

And yes, you're right; other than taking the protagonist's word for it, it is exceptionally difficult to prove one from the other. That's what makes the prospect so troubling.
Most people learn by direct interaction

I'll have to disagree here. I've been a university teacher for over a decade, and the number of students who interact with me is small. Most students don't actually interact with others all that much in learning. Neither did I as an undergraduate or pupil. I'm not saying that's a good thing, but that's a fact. Most learning is auto-didactic in some form or shape.

What universities offer is deadlines and penalities for missed deadlines. Those are anti-procrastionation scaffolds that most people (including myself) need for effective long-term learning. MOOCs mostly lack this, and that why MOOCs have not yet replaced conventional schools and universities.
Of interesting note: ThinkPads have (had?) independent mute, volume and microphone buttons with LEDs to indicate volume or microphone muting. It's clearly at least partially software or driver driven, because with Windows 10 microphone muting is no longer functional.

The warm and fuzzy feeling that discovery gave me is why my daily driver is still on Win7 since I almost always have both audio directions muted.
Calling it "tax evasion" is probably incorrect, since foreign owners are exploiting the rules in a way that is technically correct, but not anticipated. The solution is first to fix the rules, and then, of course, to enforce them.

Obviously the long-term solution is to assume that people will always exploit any tax law as aggressively as they can, and that there's a basically-unlimited supply of people looking to park money in low-tax jurisdictions if they are allowed to do so. I don't think this was necessarily widely appreciated when many jurisdictions' tax laws were written.
The carbonation is a little unusual and the mouthfeel is a little different because of the lack of ethanol but after doing a few weeks dry I developed a taste for it and often have it in preference to 'normal' beer at home now.

It is a mid-brown, nicely hoppy ale, highly flavoured as you would expect from brewdog, best enjoyed good and cold.
Cable wear, probably. I've replaced the cable in my AKG k702s four times since I bought them in march 2014. So about twice a year.
good point - are you more worried about the cars with drivers or without?
Don't you think the people who coined the term autopilot envisioned an eventual future when it was fully autonomous or "fully automatic?"

It seems your major sticking point is about the state of the art of autopilots in other fields.