skysight-inc/HackerNews huggingface dataset:
> If you want to reason about all possible values, then you are de-facto reasoning about their types.

True, but a variable can only ever have one value at any given time; knowing a variable is an int is good, knowing a variable is the same int value throughout its extent is better :)

> But sequences and mapping are also types, right?

Yes, but they're not concrete types and don't map to a single interface either. When they do these interfaces are compositions of smaller interfaces anyways and I prefer to reason about these smaller parts.

Which means I'm reasoning more about the shape of the data than the actual type implementing it, and that to me is closer to a value than a type. Its the same with type-classes, you're reasoning about the features of a value rather than the specific type implementing said features.

> ideally you want to have immutable statically typed functions and values

For functions we're talking about purity rather than immutability (which qualifies variables). Type systems also are very leaky abstractions; null pointer exceptions, can't limit the range of value, requiring more code which introduces its own bugs and complexity and more.

From experience I prefer a smaller dynamically typed codebase that has tests for the trickier parts over a statically typed codebase (even if tested). The productivity difference is startling and the resulting quality is about the same.
> Edit: Just as a follow-up I seriously doubt we could feed the entire world if we all adopted a keto diet. Carbs are cheap.

So maybe we need to spend more on agriculture subsidizing healthy foods instead of funding the wrong agriculture subsidies that increase healthcare spending?

And yes, I take every opportunity when its relevant to mention a healthy diet.
> The comment does not present any supporting evidence (even one query where ddg falls over would help, a deep technical analysis of why google is better, with large scale comparisons of result quality would be persuasive).

While these are all true, we're on a message board, not debating in Ancient Greece. I am very sympathetic to calls to improve comment quality, but on the other hand it's unrealistic to expect someone to perform a deep technical analysis of why Google is better... in a message board comment.
Uh oh. I was making a toy skynet and ...
I think VR will see mainstream success, as exposure to the technology hits a critical mass, the (mostly financial) barrier to entry falls, developers get more funding, and they get a better idea of what works and what doesn't.
If the Japanese are working so much that some a literally working themselves to death - why is their economy so bad? My guess is that a lot of that time is getting used up with unnecessary busy work rather than actual productive labor.
That talk was "The Value of Values," which I enjoyed as well.

Links for anyone interested:

https://www.infoq.com/presentations/Value-Values (1 hour version)

https://www.youtube.com/watch?v=-6BsiVyC1kM (1/2 hour version)
I gather that Japan has an ageing population and therefore issues with underemployment among older people. Spreading out the work among more people seems logical.

In some ways, I admire the French approach to work/life balance.
It does what it promises. One thing I miss is the option to un-complete a task. Besides that, it's pretty pretty.

I like the the visual style, very minimalistic.
I've taken this lesson too, and I'm curious about what set of values for $SOMETHING is. In theory it is "everything", but in practice the two common values I see are "marketer" and "scientist". I really can't get excited about marketing, and it's difficult to justify going for a PhD. What are some values for $SOMETHING that others here have seen success with?
I think there were problems behind-the-scene that made a lot of Tumblr people unhappy.

http://www.businessinsider.com/yahoos-plan-to-combine-its-sa...
I don't agree with the premise, but here it is: http://smartquotesjs.com/
I try to use DDG and set it as my default search. But more often than not I end up doing !g. And if I don't, I feel like I'm missing the answer that will really help me work through my coding issues. After awhile, it just gets to be more annoying than anything, and I go back to Google.
Fixed!

Man. Having my code looked at by HN (even if it's a joke) feels like one of those dreams where you show up to school in your underwear.
I'm not the OP but I'm thinking of switching too. My reasons:

Often writing the code for microcontrollers can be overwhelming especially when it's full of bad style or I have to understand a new library. There is often a difficulty mismatch. I find myself hating my programming job for hours, only thinking about money.

I have never tried program management and honestly it sounds easier. I watch my bosses just ask me for time estimates then take credit when I succeed and blame me/fire me if I fail to deliver by that date. I want to put myself in such a favorable position. (Although if I own the company, I'm probably financially responsible for losses too)

Even if I get rejected 9/10 phone calls, is it worse than dealing with compiler errors and run time errors all day? How hard is it to talk to customers and relay it to developers?

It seems the only real hard part with management is 1) estimating the difficulty of tasks, 2) knowing if your programmers are really struggling or if they are just slacking off. 3) trying to extract ideas from customers who don't know what they want
Neat. Seems like a good weekend is coming up. I was wondering how was the gifs/images done? I would really like to see the code if it was done programmatically.
Many developers try to keep track of everything in their head. That won't work as a PM.

It doesn't work as a developer either :)
I've already started this just a few weeks ago... but i'm working on my video production and editing skills as i learn to vlog on YouTube.

http://john.show/

Some other things that I'm excited to learn is how community is created, managed, and sustained in this type of medium.

It's a creative challenge that has been really hard in the past few weeks, but, I've already learned a ton.
The State of Web Applications’ Vulnerabilities in 2016
I cringe remembering when I Googled "developer dick image" instead of "disk image" with colleagues watching.
$120,000 in credit card debt (with interest) for a sale of $215,000 (less taxes)? Something doesn't add up.
Agreed, the UI is very clean and polished. (I use the Android version.)
It is relevant. Imagine everyone wants to use a car. Is everyone going to be using a car at every point during the day? No.

Shared ownership allows you to drastically reduce the number of items that need to be produced. Look around you at the things in your house. How many of those things do you use on a regular basis, and how many things are under utilised for most of the time. Shared ownership means you get access to a much wider range of items whilst reducing the cost of ownership.
Basic income is better because you provide people with the money to feed themselves while preserving the free market and all its benefits (efficiency, choice, etc).

We see over and over that cash assistance is preferable to providing goods (like food or housing) directly.
Top 5 International Places to Find Oil Jobs
I don't mean to lessen the output of muslim scholars, but if their contribution was so significant, then why did the renaissance blossom in Florence, instead of a ME center, e.g. Baghdad? I don't think that preserving existing knowledge is a huge contribution, given there would be no need of preserving without the muslim conquest. And what happened to muslim science since their golden age?
Off-topic: @hacker_9 just saw one of your recent comments (https://news.ycombinator.com/item?id=13267106) and you seem to be thinking along similar lines to me and akkartik (https://news.ycombinator.com/user?id=akkartik). You can read more about our work here (http://akkartik.name/about). Would love to hear any thoughts you have!
I posted it because it was new to me, and I feel I have seen every post with more than 200 votes
We've successfully fought population growth in some areas to the point that we are now making sure to teach folks what to do if they want to have children.

It seems to me that the prudent thing to do would be to extend this stuff to those areas. These things include better sanitation and medical care to lower mortality rates - especially among children - and making sure comprehensive sex education and contraception is both readily available and used.
The rise of the Austrian right wing predates the 'global emergence' by quite a bit. And you can probably connect it to 'Red Vienna' although not directly as a response to progressive policies.
Well, as Google continues dumbing down their search engine, there's certainly room in the market for a search engine with the same kind of power that Google used to have...

...but that being said, DuckDuckGo ain't it. It's in fact, quite far from it. It's roughly as good as old Yahoo Search (pre-Bing), which also nobody used because Google's is vastly superior.

Give me a search engine like Google circa 2010-11 (back before the menagerie of Bird algorithms began trading "fuzzier" results for raw search power) and I'm good.
Please don't diss this community while participating in it.

Your comment actually does the thing it is criticizing. That's indicative of how complex the problem you refer to is.

We detached this comment from https://news.ycombinator.com/item?id=13284556 and marked it off-topic.
All the development will seem to be moving way too slow, and everyone will be doing things that seem unneeded. (Hint: you did the same thing as a developer, but you'll really notice it now)
It was. Differences: Instagram's user base was still growing, mobile-first. Tumblr has plateaued, and still feels more like a web thing in a mobile world.

But anyway Yahoo didn't ruin Tumblr and that's a thing to be grateful for.
I think Warren Buffett is better.
Oh, I'm sorry, I didn't mean to be disrespectul, it may seem as if I had some vitriol in my words, as the totally unrelated muslim achievements are the cause of western cultural success trolling (an educated man cannot believe this seriously) somehow appeared in a thread about 1900s Wienna culture, where to be honest Islam is totally offtopic and irrelevant.
Yep, it's amazing how long things like that go on. Of course, when the objective is "establish guidelines for the One Best Way to Eat", it's sort of a futile venture from the start.
> Some of the business decisions described here are baffling.

Which ones?
MTA Rethinks Approach to Second Avenue Subway
Non-‘smart’ quotes (aka typewriter quotes) exist only because space on typewriter keyboards was limited. If we should get rid of any double-quotes then it would be " which has no semantic meaning (unlike “ and ” which open and close a quotation, and ″ which among other things is the unit mark for inches).
I'm in health care and we use CSVs as outbound file transfers. We also use x12 (EDI) for transfers which is not XML/JSON
The unintended consequences of Google's impending shutdown of Map Maker
Why didn't you listen to your customers and do just that?

I mean, change some puzzles/tests or simply recommend someone to the job if you knew he had the skills?

Wasn't this what you were solving? Matching positions to great devs.
A incognito window doesn't hide your identity from Google. They still get your IP address and your browsers's fingerprint, which is more than enough to identify you.
markets != capitalism
Strong story.
I think we need a single news source in the US that both liberals and conservatives could read. The two sides are living in different worlds, not because one side is reading fake news but because the two sides of the news are given from increasingly different perspectives. Fixing this problem is critical for the well being of our country. I have been waiting for someone to address this.

With that said, I am not sure if the solution you propose fixes that. The small group of curators would just providing a new perspective, probably not one that liberals and conservatives would both like. This is after all what many existing news sources already do. The key is in the group of curators. Maybe a well known group of liberals and conservatives could work on the stories so it fairly addresses the perspectives of both sides?
You would think someone that works at LinkedIn, a company that likely employees hundreds (thousand(s)?), of engineers would have this proof read before sending it off to potential applicants. This is a real turn off.
unintended consequences ...
Lobbying to keep pay down? To what does this refer?
Assuming free food is actually free (to the providers as well as the consumers) is this bad? Humans are a resource, think of us like a lottery. 99% of us may not be that commercially valuable but the other 1% pay it off.

This is one potential post-scarcity future: Big corporations sponsor whole villages, just on the off chance that a genius is born to that population who will then work for the corporation.
> within 5 years alone

Four years ago Google said they would have a driverless car for sale in 3-5 years. That means we'll see it any day now, right? Probably not. What makes you think the next five years will be any different?

Nuclear fusion is always 20 years away and self driving cars are always 5 years away. I don't see that trend stopping any time soon.

> we'll have taxi drivers and hauliers without jobs. Once AI removes these jobs we'll have serious problems on our hands with unemployment.

In the US, truck drivers account for about 1% of the workforce, and there are only ~200,000 taxi drivers in total. Even if the employment rate goes up by several percentage points, it will still be below periods in the past. Serious problem seems a little overdramatic. Worse storms have been weathered.
Giving your browser a resume is both hilarious and creepy - I like this idea a lot more than what Google do though.
Show HN: BioSPPy 0.3.0 released, now supporting Python 3
Thanks for pointing this out! I agree about being very careful in choosing to use such libraries!

One concern I have is how well they integrate with the native exception system of the VM and what stopping on an error waiting for programmer input would mean in a lot of contexts.

For example, stopping in a request handler while the programmer fixes the code will most likely trigger a timeout on the other end completely killing any advantage the condition system had in the first place.

You've effectively bloated your programs with libraries you're not even taking advantage of :)
Tim Ferriss' Tools of Titans – Daily Vlog and Bookclub
I've been using https://www.amazon.co.uk/gp/product/1137031204 to relearn some maths I'd forgotten. Pretty good so far.
I mean, thats what imperative programming ends up being to some extent. But the idea is that the less things you can think about, the better.
Try startpage.com. They fetch the search results from Google without revealing your identity to Google. My primary search engine since more than a year.
i don't want a derivative- I just want pure plain debian or Ubuntu.
And all the times I'm shown ads for girls clothing or stoves because of some site I visited, and I am never interested in girls clothing or stoves, is good advertising?

I beg to differ. What it is, is advertising that makes me install an adblocker.
Is there a price somewhere?
To be clear, this was a recruiter ON LinkedIn, not a recruiter FROM LinkedIn.
Show HN: Redis dump/restore tool as lines of python literals
Maybe drag with a modifier key pressed? I guess that doesn't help for tablets though.
ddg.gg or duckduckgo.com

You can also set it as default in any major browser either manually or using one of the extensions.
I think a crucial difference might be that Industrial Revolution expanded employment, and it's not apparent how AI/automation would do so.
> Please stop accusing people of being 100% confident.

To quote you:

> No. I believe the official version

> What is the alternate hypothesis that's "marginally less likely"?

That Russia didn't hack the DNC. I think it's actually marginally more likely than that Russia didn't hack the DNC than that they did, but I was humoring you.
OH! Haha my mistake, that wording is naturally ambiguous.
Google's marketing term for websites that use Service Workers in a manner that allows the site to function while offline. The sites also have to publish a Manifest file with metadata like icons and a start URL to be considered a "PWA."
Now I understand why neither you or Patrick ever replied to my email asking about some career advice -- I managed to ask at the worst possible time, a bit before closing Starfighter so probably when you were really unhappy.

Sorry about that horrible timing.
I do. It's called Democracy Now. All their news breaks slower than MSM. https://www.democracynow.org
What happens when there are no consumers left to buy the things made in these factories?
Sheesh. If you've got it, don't be afraid to show it. But do so cleanly. Not with something like this

And if you don't have it, than don't bother trying: you're trying to hire those who do: doing this doesn't make you look smart.

Also, use \<newline> to keep your code at 80 columns. I actually don't care if it's exactly 80, but excessively long lines are a pain to read.
Read up on Resistant Starch; nutritionally potatoes can behave more like soluble fiber (eg: indigestible) than they do with wheat and sugar based carbs. Besides not getting digested and turned into glucose, they're also very satiating. That makes it difficult to consume enough of them to exceed your caloric needs.
http://bits.owocki.com/2R0k283a1v0U/Image%202016-12-30%20at%...
Yeah, the failed Google Plus integration with / takeover of YT was so awful to users that they stopped the transition entirely.

Somehow YouTube survived!
I mostly agree. In an increasingly distributed, decoupled, non-monolithic, service-driven world, where service interfaces are dynamically-typed and applications are data-driven, static typing doesn't add much value. And the sophisticated type systems, that can provide better guarantees than relatively primitive type systems like Java, are quite difficult to understand and use correctly. I expect that we'll see more and more type modeling bugs as static type systems become more feature-rich and complicated.

Static typing is extraordinarily useful in large company settings, where you may own a library that is used across the company, and you can quite easily understand how your library is used in other codebases and can confidently make cross-cutting emergent patches.

I'm pretty optimistic in the direction that Clojure is heading with clojure.spec. The ideal that I hope it reaches is "inductive" type safety, where you can prove your program is typesafe with a certain probability. And the tradeoffs you get by relaxing the deductive properties and timeliness of static typing are vastly simpler expressiveness, composability, testing, etc.
That's true but in part because Safari isn't available on Windows anymore (and never was on Linux).

Chrome is still dominant but way less so when you filter down to only OS X users. This is especially true if you filter down to only the US where Macs are more popular than worldwide.

Unfortunately it seems like both that site and StatCounter require a payment to view browser percentage by platform. This info is out there for free somewhere.
That's true, but the story is not that incarceration still exists, but to dispense with the argument that increased incarceration is necessary to reduce the crime rate.
The "free" market with companies under heavy competition looking to make consumers into fatty addicts obvious fails in many ways. The choice which is available is often extremely unhealthy and dominated by a few conglomerates. So though the argument for the free market works for many things, I think there is ample proof that it does not produce good outcomes for food.

It's optimized to produce cheap, addictive food because that's what the people crave. Much like Brawndo.
Perhaps a measure way out on the tail of a distribution can revert most of the way toward the mean without significantly affecting other, nonlinearly correlated measures? In that case, even the grimmest nightmares of racists and prison guard unions could still come to pass, just not yet...
Well, most of that food waste is at the consumer/household level. The distribution chain up to that point wastes very little (indeed, when it comes to things like meat scraps and produce trimmings, it's almost too thrifty.) A big part of this consumer waste is because food is cheap enough to not eat all of. So, do we make it more expensive to encourage less waste? It's an inherently hard problem.
"Four years ago Google said they would have a driverless car for sale in 3-5 years."

This is a side tangent, but do you have a source for that? I'm only curious because it has seemed to me most makers of autonomous vehicles, and in particular google, were overly cautious with their estimates and have been repeatedly beating them.
Wow. It is hard to do that in a way that doesn't come off like... this thing.
No, that's not what we were solving. If we wanted to be conventional dial-for-dollars recruiters, we would have done that.

I understand and appreciate the mentality that your comment comes from. But the premise of our startup wasn't Steve Blank-style customer development, where we started with a vague idea of the space we wanted to be in and then worked with customer prospects to figure out exactly what product we would end up building.

Rather: the company we started was an experiment, a very opinionated one, to see if we could port a hiring model that had worked extremely well for us at one company to a larger set of companies.

I think there's a way to make that model work, but I've become convinced that "contingency recruiter" isn't the way to deliver it.
Url changed from https://9to5mac.com/2016/12/30/foxconn-fully-automated-facto..., which points to this.

Submitters: the HN guidelines ask you to submit original sources in cases like this, where one article is simply cribbed from another. Please do your due diligence on this—it makes HN significantly better.
It might make sense to list officials in a different order. The utility of the top answer, POTUS, is probably lower than the county commissioner or State Agricultural Tsar or Utilities Poobah.

Maybe a multi-column layout?
Anyway, nice work.
Visa requires at least some of their banking/prepaid partners to periodically upload customer data to an Acxiom FTP site. It's considered a "compliance" ask.

Source: helped write a microservice for said FTP upload.
When you do your write-up, I'd be interested to hear more about the mismatch between what you thought your clients wanted and what their eventual actions demonstrated they wanted. Could this mismatch have been detected in the early planning of the company?
As long as you build the proper taxation into bad foods, to pay for their higher healthcare costs (soda tax). Basic income doesn't remove the need for proper economic signaling.
Patrick's product is himself not any of his "real" businesses. In this vein, he reminds me more of a Tim Ferris than someone like Amy Hoy for example. I know this reads negatively, but it's not meant to be a knock on Patrick, just an observation/opinion.
Yes. I can't imagine how you could possibly come to the conclusion that there's supposed to be anything attribution related here.

They explicitly stated this is just indicators of compromise that network administrators should look for.

>DHS recommends that network administrators review the Security Publication for more information and implement the recommendations provided.

not

>DHS recommends that everyone review the irrefutable proof that communists hacked DNC
My first question is... where are they sourcing their data? Bing and Yandex and such like DDG? Do they operate their own crawlers?