skysight-inc/HackerNews huggingface dataset:
Looks like someone posted on it: https://software-dev-group.org/2016/09/15/old-geek-jobs-figh...

I'm almost 30 and I'm starting to grow concerned about ageism.
Quote: "Galois is a leader in formal verification, a technique that goes beyond testing and evaluation to provide mathematical assurances that a system works only as intended in all cases."

Wait -- mathematical assurances that a system works only as intended in all cases? That's not possible. It pretends that the Turing Halting problem[1] is soluble.

Not that this claim is at all uncommon. I regularly see similar claims about software validation, by people who either do not know, or who don't want to acknowledge, that this problem cannot be solved in the general case.

1. https://en.wikipedia.org/wiki/Halting_problem : "Alan Turing proved in 1936 that a general algorithm to solve the halting problem for all possible program-input pairs cannot exist."
http://ohmbrewer.org/

Open source IoT for homebrewers, designed to replace "sit and watch the temperature" with a cheap PID monitoring system.
No. But it is misleading for media to report "autopilot" caused a crash when we don't know yet.
"Little or no direct human control" is pretty far from "zero human supervision" so the etymological argument doesn't really do it for me.

Lots of cars have "automatic transmissions" but nobody gets upset when it fails to shift into reverse on its own based on contextual clues.
How do you know dudes (male people right?) are downvoting this?
Anything but Angular. ng2 works for me.
Indonesia to investigate Google over possible unpaid taxes
[0] "Anxiety gives way to pleasure and a passion for creative work for which the only condition is solitude."

[1] "I do feel quite convinced that one's creativity is enhanced primarily by the more-or-less single-minded pursuit and development of one's own resources without reference to the trends, tastes, fashions, etc. of the world outside."

[0] Glenn Gould - Selected Letters, page xx.

[1] Glenn Gould - Selected Letters, page xxii.
The problem with keeping your skills up-to-date is that many of the skills listed in laundry list job reqs are in things that have only existed for a few years. They're things that a sharp college kid can be just as knowledgeable about.
Complexity Creep
I imagine that Sebastian is proud of his beard, or embarrassed, or both, and wanted to call attention to it.
Also amusing to me was that Reuters, Politico, and CNBC all scored better than the NYT for the clickbait rating, despite NYT being used as the training data. They wrote headlines more like them than they did.
SPORTS?

Wow, is that really that big of an issue rivaling _politics_ and _religion_?
Yes. It's called empathy, and the lowest effort way of showing something that you acknowledge their bad mood is by saying "hey, cheer up" or "hey, smile buddy!"

Not saying it's tactful but I'm not a psychologist
Here's the correct quote from Charlie Bolden:

"I’m not a big fan of commercial investment in large launch vehicles just yet."

The article can't even pin the title on click-baiting. The quote is simply wrong.
Not to mention: while public libraries are great and I love them, thy are often lacking in-depth knowledge.

My local public library doesn't have a book on advanced logic design, for example. It favors a more 'general' collection, and thus books with heavy reliance on math tend to be omitted. Same with in-depth law books, they just aren't there.
My email is maniandram01@gmail.com

You can discuss it with me.
Hey cool, someone's made one of them.

If only I'd published something in 2012 when I made a start at making a tilt hydrometer but didn't finish it. Silly patents http://www.google.com/patents/US20140260607
Microsoft has chosen a proper license for their audience, yes.
> You seem to be of the opinion that personal discomforts are something that we should avoid causing as a matter of the upmost importance.

It costs you nothing to not say something sexist to women. So it's pretty much a no-brainer to not say something sexist to them.
I believe "irrational" is the word you're looking for.

If the intersection is wide enough that you can turn while maintaining a safe distance, then what purpose would such a law serve? Why increase congestion for little or no benefit?
your response intrigued me, because on the one hand you said we needed to spend endless hours overcoming our mental weaknesses, then described how you'd overcome it by devoting next to no time to it at all. most professionals in the money management business (i happen to be one) work awfully hard and add no value at all.
Life is a continuous deployment setup with an unusual trait where public version auto-increments every N time units.

To preserve versioning semanticity, gotta habitually push out new code. Gotta strike the balance between squashing bugs, polishing UI interactions, testing new features, and self-refactoring. Gotta avoid feature creep, observe deprecation roadmaps, ensure social network integrations are in order… all those routine things.
Or:

http://existentialcomics.com/comic/149
A big part of this is movies. When they show auto-pilot in the movies, people get up and just leave. There are countless times I have seen this play out in the movies and people think cars with the same name should behave the same way.
Top story yesterday and still on the frontpage. https://github.com/blog/2256-a-whole-new-github-universe-ann... (https://news.ycombinator.com/item?id=12499642)

The article has screenshots near the bottom.
CRonstrue – JavaScript library to make cron expressions human readable
I recommend "What Could Possibly Be Worse Than Failure?" by Alex Papadimoulis (http://thedailywtf.com/articles/What_Could_Possibly_Be_Worse...).

An excerpt: We are practically the only industry where completion and success are synonymous. If the foundation of a one-year-old home is crumbling and its roof is plagued with leaks, would anybody actually call that a success? Despite being filmed and produced on budget, is there anyone who would not be ashamed to have Gigli on their filmography? Of course not! So why are the products we create – complex information systems that should last at least fifteen years – be held to a different standard?

Now think back those projects of yours. How many would you say are maintainable by someone with less business knowledge and a weaker grasp of the system’s design? How many will not snowball into an unmaintainable mess? How many do you truly believe could last fifteen years? I’ll bet that number is quite a bit lower than all of them.
People making no effort to be good are ok. But people who are trying to be good but are less than perfect have giant targets on their backs for some reason.
eebriatrade seem really interesting! I signed up to that a while ago, so that I can order a keg for christmas :)
I'm a fifty-year-old developer, and a woman. Apparently, I was hired by my current company a year ago to be a crash test dummy/scapegoat, rather than an agent of righteous refactoring to a dreadful legacy codebase mostly written by "recent grads."

If your management is moving towards stack ranking, you'll find a couple of us around, because we're like the expendables on _Star Trek_: we're easily discarded.
https://www.beermenus.com/ seems to have growing traction. I'm a happy user. Cool email alerts features.

I wish they had an API. I tried to build something on top of Untappd but kept hitting rate limits (note to Untappd: charge me)
Real computers are finite state machines, not Turing machines.
http://www.coachjayjohnson.com/2011/11/eight-week-general-st...

We used a lot of this stuff in college. I don't know if it's perfect, but it's a good place to start.
It's because they're bleeding engineers like crazy. Anyone with offers from Google, FB and MSFT would choose Google or FB 99/100 times
Altitude above sea level is absolute, whereas your altitude above ground depends on the terrain.

So maybe one way to test this on a real plane would be to trick the software into thinking the terrain is 5000 feet higher than it is. Then it can execute the maneuver against a safe fake "ground", still giving the test pilot time to intervene if it doesn't work properly.
It's not just this article. This was triggered way back where vegetarians started to boycott Guinness.

We used this technique for quite a while now and people are shocked.

What about this part:
Brewery owner Tim Bosworth, a long-term vegetarian who went vegan two years ago, said he was shocked when he first learned about the ingredient.

Really? A brewery owner finds out how he makes clear beer?

And he is shocked? Just imagine how shocked he will be when he finds out how much damage he makes to the environment by brewing beer.

And this: "It's kind of disgusting to think about, even to people who eat meat, and it's something that's not talked about," he said.

It is not. I for one, think if you kill an animal you might as well utilize all of it. Skin for clothing, meat for eating, bones for tools and jewelry, swim bladder for beer cleaning. That animal shouldn't die for nothing.

But for the third time. I agree to get rid of the fish bladder, because we have substitutes for it, which might be even better. But let's not grab one particular problem with the whole brewing industry and the rising alcohol consumption issue.

I might be wrong, maybe starting the change through our beer will lead us to a balanced natural lifestyle.
"They're easier to develop."

I don't think that's entirely true, they allow for building experiences that weren't really possible with the previous model of rendering entire pages server side on every action but they aren't easier in all respect to that. If you site is mostly static data, it's probably still easier to use the older model. SPA frameworks start to make more sense when you want to build interactive pages with components that you want to individually update etc...

But they do add complexity that can't be ignored. that's why tooling and frameworks are hugely important as they smooth out that complexity.
I think with all the real and pop science done the past few years on introversion and it's subsequent rise in awareness, far too many people conflate social anxiety and introversion. They may be related but they're not the same thing.
吃瓜群众表示，吓得不敢投简历给大阿里了
If you think it's hard to avoid being sexist to women, just imagine how hard it is to be one and have to deal with this every day for their entire life!
> What I want to know is why people think that

Re-read the first sentence of my post.

Perhaps you could answer my question: why would you assume someone with no knowledge of the aerospace industry would understand what the term auto pilot means in that context?

Why would anyone assume the TCAS specification has a greater effect on public perception than the latest comic book movie?
Do you have an example? The only one that comes to mind is Airplane! where the whole thing is played for laughs. I'm not questioning it, I'm just unfamiliar.
I'm pretty sure the Guardtime product is a Merkle tree of timestamps. I'm also pretty sure whatever protocol they use to maintain it would _not_ be immediately recognized as a "blockchain" protocol. Of course the protocol can be modeled and checked. The question is why does anyone think that this activity can apply to "blockchains" in general. But, welcome to the world of industrial research funding.
So then UWP is basically dead for 99+% of it's use cases.

For mobile: use Xamarin.

For desktop: use win32/.net so you can support pre August 2016 versions of Windows.

For Xbox and ARM where you also need support for desktop and mobile devices: use UWP.
Is "auto" in autopilot short for automatic or automobile? It's just occurred to me it could be either if you want to be strict or pedantic. I automatically assume it's short for automatic pilot, which most people would assume means "it drives - pilots - itself," and that may be reason people assume the technology is more like a chauffeur. But if by autopilot Tesla mean automobile pilot (I admittedly don't think that's the case), then the meaning would probably change.
And then she had to take off time from work to "recover" from the incident. Sounds like someone who might be more fit for their new position than in a stressful environment around other humans.
I mean, I think it's a worthwhile comment even granting this. When people are worrying about the computer scare of the moment, they tend not to realize that the threat surface is so massive that they're certainly, inevitably vulnerable somewhere.

No security habit short of Ludditism was going to keep people safe from Heartbleed. And it does feel a little on the nose for Comey to be pushing a security 'story' that's conveniently removed from crucial steps like "update your software regularly". I was irritated to see him describe that as "caring about people's personal security" when his stance on all other tech topics is to make people give up security for access.

None of which makes taping up a webcam wrong, of course. It's easy, it's nontechnical, and it eliminates a whole (very real) class of threat at a single stroke. That's actually pretty good, and webcam spying/blackmail certainly does happen.
Ask HN: As driverless increases, Uber should disappear, what do you predict?
Uber's defendability lies on the two-sided marketplace they have created. As driverless cars take the streets, then that marketplace will become a single-sided need for a service. This service (transportation) with driverless cars is just a simple utility measured against: price, quality and reliability. These are the same quality measures we use for electricity, gas, water, etc.

I can see an open-market in the future where anyone can buy a driverless car and add it to this open-market much in the same way that we can generate electricity and feed it back into the grid.

I predict the power of future transportation will then fall in the hands of the manufacturers of such cars, and not the market makers (i.e.: Uber).

What are your predictions for 2026? Is my analysis incorrect or on point?
It does drive itself, with human supervision. Just like the automatic transmission shifts gears by itself but still needs human input.
At ISO 400,000, This 6-Minute Film Shows Why We Love the Night Sky
Most people aren't and shouldn't be concerned with the technical details of a consumer product's implementation, especially when it is marketed as Autopilot and, in practice, it creates a false sense of security.

Tesla marketed their immature technology with the name Autopilot, they failed to include safety features their competitors' vehicles had and they knew how people behaved (trusted and crashed) because of it.

I find it hard to fault consumers for naively putting trust in their vehicles.
Conan O'Brien's Apple AirPods Prediction (Video Parody)
Reactive Web Components (RWC)
Well 3 is a preference (as you've indicated), while I have nothing against transpiling I'm not a fan of having a XML DSL in my Javascript. I can't speak for angular, but I much prefer templates along with a build system that bootstraps everything.
> I seem to buy new semi-expensive headphones every other year

Why? Good headphones last tens of years.

The alternative to a headphone jack is not wireless. Bluetooth audio and having more unnecessary batteries to charge suck. The alternative is a USB DAC + amp you can use with any standard pair of headphones.
Indeed. The main reason they weren't replaced sooner was because parameterizing subdiv and poly surfaces for texturing was historically a pain in the neck, whereas NURBS was essentially free. New techniques like PTex and better UV mapping tools removed that issue, essentially nulling the inherent advantage of NURBS for use as an asset authoring surface type.
Others have already run Fedora.

* http://stackoverflow.com/questions/38802362/
Anti-trust laws and governments exist for a reason: such that "the majority of people" don't have to concern themselves with matters that affect them but for which they've got no competency.

You've just made an appeal to popularity, an obvious fallacy.

Microsoft killed BeOS and almost killed Apple through anti-competitive behavior. Whether Windows was superior, that's irrelevant to our discussion, because they engaged in anti-competitive behavior, which hurts the market and consequently the people. And this is a fact, because Microsoft is a convicted monopoly and they got lucky with the Bush administration.

> If I boycotted every company who played hard-ball politics, I would be living alone and naked in the woods.

That's odd, given that consumers exercising choice is how capitalism is supposed to work. If you boycotted every company who played dirty, that's called "voting with your wallet" and it works surprisingly well ;-)

> Scott Hanselman's article is a whole 20 paragraphs long, it wasn't ever supposed to be a comprehensive coverage of every action Microsoft has ever taken.

My point is that Scott Hanselman's article is pure PR bullshit because he never addressed any important problems.
Are your even years stable, and your odd years full of surprises?
Demolition Man, I Robot, or Minority Report
Extensibility is important in some cases and a detriment in others. Most of the rules about extensibility came from environments where the code was running in many places at the same time (ie delivered to customers).

In a SaaS environment the code needn't be extensible as there is only 1 copy of it. It is much more important for the code to be changeable, rather than extensible and in many cases the things you do to make code extensible make it harder to alter fundamentally.

Its important to understand that how you deliver your software is one of the biggest guiding factors in how you design your software and take that into account.
Ask HN: What features make a good blogging platform for you
Its funny that there are so many blogging platforms our there but I (and some people I talked to) still feel that there is no one place that fits all their blogging needs.

One key fact I believe is they are all too concentrated in making one platform and imposing it on all topics while the fact is that different bloggers have completely different need?

If you guys can share your thought on what you think should be a feature of a blogging platform? And do you think there is a need for a new one now?
There is selection bias there, problems that do get settled stop being dragged on.
How Consumer Sentiment Has Changed the Dynamic of Financial Disruption
It's one of the first game I really got into. Ended up finishing it in a little under a week.

It is really is a walk down memory lane.
Do you have examples of this misconception being propagated by entertainment? I'm having trouble thinking of any, but that might just be my low level of knowledge.

I'm not going to answer your question because you're trying to make me defend a position I'm not taking here.
Recruiting Engineers – Facebook's Yoav Shapira and Join.me's Craig Daniel Weigh In
I believe it comes from the fact that, colloquially, being "on autopilot" means doing something mindlessly, without being aware, or without thinking.

So when people engage their car autopilot, they allow themselves to be on autopilot, literally and figuratively.
This is like arguing that people are stupid for thinking that their email is private.

Most people don't know even 1% of the intricacies of the technology products or services that they are using. The responsibility rests almost entirely on the provider to offer a "safe" product (and that means also offering protection against the "stupidity" of users).
How to avoid bugs using modern C++
People got the impression from films where the autopilot is a plot device: a character turns it on and then leaves the controls to go further the plot of the film.

Also, http://www.merriam-webster.com/dictionary/autopilot

"a device that steers a ship, aircraft, or spacecraft in place of a person"

In place of. Not under the constant supervision of.
Add Derrida and other postmodernists to the list of those practicing "obscurantisme terroriste".
It seems that the benefits of majoring in philosophy are confounded by the difficulty of the subject.

Let me explain. There are subjects, say Philosophy or Physics, that are some of the more demanding undergraduate majors and yet have limited job markets. Simply getting through a Philosophy major signals that one is capable of deep thinking, abstract thought, the ability to read book after book of long complex argumentation and understand it in its historical context. Physics places similarly difficult (but differing) demands upon its students.

A major in Philosophy signals to potential employers that this person can read, write, and think clearly; a major in Physics does the same with an emphasis on math and science. Such employees can be valuable because they are almost certainly have high intelligence, they have demonstrated discipline, and have a good work ethic.

The downside is that it isn't entirely obvious of what use they are to an organization; they will require training and time to learn for many potential jobs. I would consider something like a Philosophy or Physics undergraduate degree combined with a Masters in CS to be a perfectly adequate, although drawn out, education for the job market.
There's also the part where the sky doesn't have many obstacles, so once you engage the autopilot you can probably go and take a piss, an alarm will go off if something's weird and the copilot will have more than enough time to get their bearings, if only because you're 30kft up not 5ft away from the obstacle.
+1 for templateUrl. It really should be the de facto way of handling markup.
> How many would you say are maintainable by someone with less business knowledge and a weaker grasp of the system’s design? How many will not snowball into an unmaintainable mess? How many do you truly believe could last fifteen years? I’ll bet that number is quite a bit lower than all of them.

Coincidentally, the number of projects where the client offers to pay for tens of man years is also quite low. This is something I'd recommend to be taken into consideration by armchair philosophers portraying the state of the software industry.
Are you going to name of these "moral justifications"?
We're better off giving up pretending that you can't ride a bike without a helmet, and fix our infrastructure. The feeling of being unsafe on the road is not because you're not wearing a plastic (or paper, in this case) hat. It's cars.
Tesla's Autopilot System Under Scrutiny in Fatal China Crash
Save JSON File from Chrome Dev Tools
Make Your Own Uber or Bunz Competitor with GNU Social
In the long run we are all bread.
Sounds like this person had an injury, didn't treat it, and it got worse. It seems like a pretty huge, unsubstantiated leap to claim that running "causes significant health problems".
True that :)
Which media did ?
GIZMO is the name of the code suite, not the numerical technique. I believe GIZMO contains multiple hydro solvers, including various formulations of SPH, moving mesh, and meshless techniques. But you're right. that the simulation in question wasn't a moving mesh, it was a meshless technique.
Not to mention, they employ many stalwarts of CS, like Simon Peyton Jones and Leslie Lamport.
Many of the generic platforms like wordpress do not handle the popular graph/pinterest/twitter cards well in terms of letting you choose specific photos. That is one feature I think is lacking as it is highly specific. But if you think about it, sharing a blog post on various social media platforms is a good way to get eyes in front of it.
It's also a reasonable quality DAC and more than good enough to do work on the move with. Your statement makes no sense, unless you measure "proness" by the girth of a connector?
Defense Secretary: Government Won't Solve Crypto Problem