skysight-inc/HackerNews huggingface dataset:
You are right, this reasoning depends on only allowing formal systems with finitely many symbols. Turing himself actually gave justification for this in a beautiful footnote in his 1936 paper [1]:

page 249:

> I shall also suppose that the number of symbols which may be printed is finite. If we were to allow an infinity of symbols, then there would be symbols differing to an arbitrarily small extent.

And then in the footnote:

> If we regard a symbol as literally printed on a square we may suppose that the square is 0 < x < 1, 0 < y < 1. The symbol is defined as a set of points in this square, viz. the set occupied by printer's ink. If these sets are restricted to be measurable, we can define the "distance" between two symbols as the cost of transforming one symbol into the other if the cost of moving unit area of printer's ink unit distance is unity, and there is an infinite supply of ink at x = 2. y = 0. With this topology the symbols form a conditionally compact space.

[1] https://www.cs.virginia.edu/~robins/Turing_Paper_1936.pdf
It would be a better plug if you linked to your company's blog/website/store than dropbox. ;-)
Yes, very certainly. When the cannibalism stopped, so did instances of Kuru. Although you can get Prion diseases from eating infected pig brain and nervous tissue, the instances discussed in the article were solely caused by ritual cannibalism.
I think its a classic case of herd behaviour. If no one is standing up and stopping it why should I? Just needed one person to stand up and fight the stupidy. Then the entire flight would have gone into a resistance.
Poorer salaries relative to cost of living. San Diego has what we refer to as the "sunshine tax" so employers feel that they can get away with paying less.

The startup scene is pretty much moribund for the 20-something:

The dynamic people left Qualcomm years ago--it currently resembles DEC or IBM of old.

Med/biotech is long term--if you're a 20-something who wants to get rich that isn't a great path. (Side note; biotech salaries seem to suck--it's part of the reasons why we have so many microbreweries--if you're going to be underpaid doing microbiology anyway, you might as well brew beer. LOL.)

Culturally San Diego is kind of a suburban wasteland--that means very little "Social Network Foo Yahooglezonsoft(tm) Buyout Bait". The "cool kids" are going to want to be in NYC, SF, or Austin with possibilities in LA or Chicago.
I lived in Chicago for 8 years. The best decision I ever made was to leave. I moved to Dallas and Chicago is a dump by comparison. San Francisco may be expensive but there are better alternatives (San Diego, Austin, Seattle...)
The scam back in the day* was that they would bid on their retailer's own keywords. Their ads would send that traffic through their own affiliate links and get paid on any revenue generated. The ads looked legit and appeared to point to the retailers so most folks never even knew. So they cannibalized their retailer's own paid traffic and made it more expensive to bid on their own keywords.

*Back in the day was nearly ten years ago. Things may have changed.

I see other folks have already explained what I would call the "pop-under" approach where a new window is opened from RMN's site to the retailer in question. This is nefarious but in a slightly different way than the above.
I think the other complicating piece of compensation is the potential for equity to be worth something someday. It seems to me people in SF are here to take a shot on the startup lottery much more so than other places. It's also a city where you can easily play a few lottery tickets over a few years, which is not the same elsewhere.
First Map-Based Car Navigation System Debuted 14 Years Before GPS
Right, and I generally respect Renaissance.

I think people who actually can beat the market fall into the general category of "knows something others don't". Renaissance probably is one of the very few firms that could qualify as that on purely technocratic means (instead of the usual, which is shades of grey in what's really insider trading). The other category would be simply HFT, but I'm not sure how profitable that is at this point, though.

Most of the people who seem to beat the market, though, are generally just happy benefactors of survival bias (eg. the 10000 monkeys on typewrites effect)
It's also probably undercounting Nginx, because Cloudflare uses Nginx, but returns the headers for whatever it's proxied to.
Visualizing Statistical Mix Effects and Simpson’s Paradox [pdf]
A Neuromorph's Prospectus
But shipping a program using rust != using rust. If that was the case I've used Erlang despite never having written a single line of it because I've shipped rabbitmq.
What do you think of teachers who re-train and get a different job? Around 30% of newly qualified teachers do this.
Huh, totally forgot about that! This was at least partially due to the fact that "WhaleShark Media" had become synonymous with large-scale fraud in some affiliate programs around this time.
Passenger dragged from UAL flight after refusing random bumping
Even more odd is that San Jose is a larger city than San Francisco.
People have different lifestyles and they should choose where they move according to that. Lots of people move to SF from smaller cities and expect to continue living a suburban life.
It actually started as RetailMeNot, a website run by two Australians. Whale shark media bought it, and then renamed their company to RetailMeNot. The website has always been RetailMeNot.com.
If you read it as "don't sell me stuff at retail price" then it makes more sense.
Absolutely. Although in my experience it is a better deal in an already public company than a startup. Even when the stock is going down if you have an employee stock purchase plan where you can set aside money that will buy stock at fixed times for a percentage discount it can be huge win.
As a Kubernetes user, I don't understand the "vibe of an internal tool" comment. It feels nothing like that to me.

Kubernetes is big and complex, to be sure, but to me its state of being unfinished is not because it's "internal" anything, but because — since Google couldn't just open-source Borg and Omega, which presumably have a decade of Google-specific cruft that wouldn't translate to a reusable tool — it had to be built from scratch, and is only slowly accruing the various features needed to approximate the maturity of a full-blown orchestration system of the kind that Google uses already.

In other words, Kubernetes works great and all, but it's also immature in many ways: Ingress is painful, secrets management not secure enough; we're only now getting stateful sets, affinities, federation, role-based security, etc.; we're still waiting for things like scheduled jobs and custom metrics support in the autoscaler; Kubelet is still an awkward SPOF; etc. But those shortcomings have nothing to do with it being an internal tool, but rather because there's just a lot of work left to be done.
Started reading about dual numbers after reading your reply; interesting concept
I was hoping with serde being on stable things would settle down. What's keeping rocket on nightlies?
Ask HN: Is there a pitch a programmer site?
Is there any place that's like the TV Show shark tank but you pitch programmers not VCs?
If you could wave a magic wand to fix housing for teachers, what would the solution look like?
"Specie B (without this disease) eat themselves to the last person... Lower chance of survival as a specie."

That seems unlikely. A bigger risk would be a carnivorous species exterminating its prey species.
Last week I saved ~$400 by googling "Lenovo Coupon Code" and using a few it spit out. So yes, sometimes they're bunk, but sometimes you get lucky.
While I am all for reducing the size of the government this is bad move. This has less to do with science and more to do with overzealous Jeff Sessions.

Good science often helps find the right guy and stop preventing wrongful convictions. Over last few decades advancements in DNA testing etc. have helped several innocent people from being prosecuted wrongly. This is a step in a reverse direction for criminal justice reforms in USA (though totally expected from Jess Sessions).

Rant: I think we as a people are to be blamed here. We are the ones who have often failed to stand up for the rights of the people who are prosecuted. We buy the government's propaganda of partitioning society as "those bad guys" and "we good guys" and then let government treat the former as total shit. Trump has won election using those kind of tactics.
If by non-patent IP you mean: NDAs, Non-compete's, and Trademarks, then it would depend on the particular niche.

Really, if she is working as a lawyer, I don't think a particular certification will give her more credibility. Given what you said, a design certificate might give her a leg up in Trademark law.

If she is going to work with code itself, I would definitely learn as much git as I can. She can diff a few files, and get a feel for how much people borrow and fork when it comes to code.

Those are the ideas I have but she probably knows more about it than I do, from your description.
Personally these type of games have lately revived my identity as a gamer.

Soma, Talos Principle, The Valley, Kona, Firewatch, To the Moon, Everybody Has Gone to the Rapture. Have all been extremely enjoyable experiences.

Really hoping for more to discover in this genre.
Does it need a point? It's well written entertainment, with some neat programming trickery.
Making broken links pointing at your site work (301), without breaking links to the correct URL.

Especially links on sites you have no control over.
I was a grad student in applied math and had done the basic research for my dissertation, solved the KTCQ problem, was polishing the research, and writing the illustrative software when my advisor suggested I take an econ course.

The econ course was in the econ department, not my department, and was not an econ grad course!

But, whatever the course was, the econ prof was apparently just terrified of my question!

One way and another, maybe I've touched on much of what you mentioned. E.g., the optimization I studied, with the math rock solid, was a good start on game theory. Later, while in a part time job, to support us while my wife finished her Ph.D. and basically time-out from my Ph.D., I took a job in military systems analysis with a lot in game theory. So, I dug into parts of G. Owen's book on game theory which did the axiomatic utility function stuff and T. Parthasarathy and T. E. S. Raghavan which did a lot of fixed point theorems, Sion's result, Lemke's proof of Nash's result, etc. Sure, in the relatively general game theory the job had me in, I had to consider saddlepoint results, and apparently that is the core of equilibrium theory in econ.

Once a tried a book on math econ,
and it was just a lot of elementary
regression analysis. Later I saw another such, by Tata?, and more advanced but still regression -- a place to see more about regression than want to know, and maybe the AI people should take a look. Later saw another such book, by Duffie, and early on it was heavily about the Kuhn Tucker conditions. I read the first chapter or two quickly and had some questions, went back, read carefully, and found a counterexample for every statement in that material.

I did want to see a clean, solid, mathematical treatment of the Sharpe idea but didn't find that -- D. Luenberger, a good mathematician, has a book on finance that may have such a treatment.

Thanks for the reference on micro. I copied that in my place for such things and will look at it if I get interested in econ after I exit from my startup!

Well, nil nisi bonum.
Frisco is in Texas, but nothing is in Frisco.
I don't think Silicon Valley startups or whatever can actually absorb the entire displaced workforce. Maybe that'll work for some individuals (although it's a lot easier to pick up and leave when you don't have a family) but it's not a societal solution.
They've even said they were planning on regular upgrades, but were already at the edge of the thermal envelope with the first release.
Around here, deer meat is illegal to sell. You would probably have to farm the meats.
San Fran...the runner up to Chicago about how to not run a city (end of politics).

Complaining about San Fran as a nickname is...odd or idiotic/strange (why the objection?). It's unique, everyone knows what you're referring to, it's not derogatory - merely a truncation, why the objection?

Chicago's nick as the 2nd City is a reference to the rebuilding after the great Chicago Fire of 1871 (and the source of the MLS team of the same name - and a source of pride).

Now, our nicknames for Columbus, OH are intended to be derogatory (Detroit south). But, I don't get the objection to San Fran...
Seems to be making the more modest a reasonable claim that children should be a central concern in parents actions directed at or involving the children.
Echo Cartons
RetailMeNot means don't charge me retail price and rather give me the discounted price by use of coupons found on the RetailMeNot website. It was a wordplay of BugMeNot.
I was thinking, "no way I'm going to try to move a 5 person single income family to SF on a raise that doesn't cover the difference in cost of living"

Then I realized, I'm almost 40, no startup wants to hire my geriatric ass.
Production-Ready React Server Side Rendering with Hypernova
Physics would have something to say about infinite precision.

But yes, with those assumptions, it does not hold. It is not as much that the argument is circular, but that the only tech we know how to use (symbols) limits our expressiveness.
From the cited Microsoft link:

>"the Windows codebase has over 3.5 million files and is over 270 GB in size." //
I agree with you, I would never consider living in a car centric American city. New York is my favorite American city (just as expensive) and I am lucky that lived there before moving to SF. Maybe I will move back one day but for now I am enjoying SF.
Show HN: Simple Uploads Shopify App
I'm working on a saas-based solution to this problem: https://www.envkey.com

It requires no additional ops or key management, protects against unwanted overwrites, has much simpler access controls than IAM, and provides a lightweight UI to manage everything.

It uses language SDKs to decrypt and inject config on process startup, so you don't even need an additional deployment step. You just add the 'envkey' library (on rubygems and npm so far), set a single environment variable, and then you can access all your config as if it was stored in local environment variables. The idea is to make this something that you rarely have to think about.

I have a (desktop-only) demo working if anyone's interested in giving it a try: https://demo.envkey.com/demo

Feedback is very welcome.
It's perfectly normal to use base images and build your own. We do this for most things.

One simple reason is control: You want to be able to follow CVEs and upgrade your images in line with patches. If every image branches off some random Docker Hub image, the only way to do that would be some kind of image vulnerability scanner, which I believe exists, but wouldn't help you actually patch anything easily.

Public images are still super nice to bootstrap things. You can start with a public image, then move to a custom-built one.

Lastly: I wouldn't conflate the Docker image challenge with the operational complexity of using Kubernetes and microservices. They are completely orthogonal in my mind. Docker has all sorts of issues that we need to solve sooner rather than later; Kubernetes' design, on the other hand, is sound.
That, too. Where Frisco is not, however, is anywhere on the California coast.
...No, the point is the most of the world would assume "The City" to be whatever major city they are closest to.
I'm not here to convince anyone that SF is cool. Just sharing my own personal opinion.

FWIW, I have a relatively low "tech" salary, so I don't disagree with you on the relative cost of living.

I understand there are a lot of young professionals here – and you may disproportionately exposed to that demographic – but there is certainly a lot culture and diversity in this city.
90%, not including lunch.

The other 10% is making tea and drinking some, usually looking out the window or chatting with someone.
What you're describing is cookie stuffing (https://en.wikipedia.org/wiki/Cookie_stuffing). People have been prosecuted over this: http://www.businessinsider.com/ebay-the-fbi-shawn-hogan-and-.... I'm surprised about your claims that a public company would be doing this.
"Just to put that growth rate in perspective: this is 70 times the number of sites that switch to Node.js, another fast-growing web server."

I find it hard to believe this could be accurate considering the vast majority of Node.js deployments are also utilizing Nginx as a reverse-proxy in front of it. I think a large portion of nginx's uptake is actually due to Node.js' popularity.
There's an open (and desired) RFC for this. It's not likely to happen soon since it's not a super high priority, but I'd be willing to bet it gets merged in the future.
My stint in computers started back in the DOS days, diverged into *nix, Os/2, and other operating systems, but also knew way too damn much about Windows platforms. By nature, I was a BSD guy, moved to Linux for some things. I've worked for MSFT for 6 years now.

When the Skype buyout was announced, my friends called and laughed at me. The tech evangelist who worked for Microsoft at the time that I ran across while in Stockholm for business was super stoked.

I know and lived the days, I see the stories about the various "reporting back" -- that is outside my purview -- but when it comes to engagement with the OSS community, including Kubernetes, some simple searching will reveal just how much we've been involved in such.

One engineer working for the Azure Container Service team personally wrote most of the Azure Cloud Provider. An engineer from Redhat contributed the initial persistent volume on Azure support. An engineer in DX/TED is helping improve persistent volume support in 1.5.3 and 1.6. These things are easily revealed looking at Github PRs and other activity.

It's easy to post the "knee-jerk" post, I know I see something and think such, but sometimes a bit of searching will reveal surprises.
It would probably make a good subreddit if there isn't one already.
Yeah, I'd think you'd want to take advantage of specifying the image tag as a variable rather than committing the image tag back to the repo. Kind of defeats the point of helm to hard code everything. :) Only bump the chart version when the configure itself (outside of the image tag) changes.
But the premise "not alive => doesn't need resources" is false because there exist things are "not necessarily alive" that need resources. Therefore, the argument is invalid.
This is a common misconception. You may be surprised by the numbers: http://transparentcalifornia.com/salaries/san-francisco/?&s=...
Wouldn't it be simpler to explain it this way: there are infinitely many reals between any two different reals, and thus the theoretical probability of picking any number between them at random is 1/infinity, which we think if as 0.

But in that case, why is is more probable to pick an irrational number?
There's a pretty bad bug on that website. When you open it in Safari on iPhone 6 it jitters badly as you scroll the page down.
Ha, that's nothing. Amazon forces their own employees to sell on their platform if they make anything.

Not that any of their employees try that sort of thing, since they also claim ownership of any products, thoughts, etc produced off-hours.
Our investment follows our educators regardless of what they do afterwards. I do think that less educators would re-train if they had more financial security in their chosen profession.
been thinking of DIYing a freenas mini xl.. can save about $500 by building with the same MB, but don't like the case options.. not sure what case iXSystems uses, or where they get it (probably custom)... but with the same MB and an 8-drive itx case, came out around $900, but concerned about the clock/brick issue with that CPU.
It's easy to forget that most businesses America aren't publicly traded companies.

This guy found a profitable niche, realizes that it isn't sustainable long term, but makes perfect sense for him and his peers. Good for him.
Who gets to define what thought is "toxic" and what is not? I don't see how you can define it algorithmically.
You're absolutely right. You can check out the tests [1] - its a lot of re-ordering and inserting random letters in random places, which basically trying to emulate sloppy user input.

Your comment is also getting at a caveat: this library works better than Levenshtein for long strings (multiple words) but worse than Levenshtein for short strings (e.g. single words) as there is too much overlap in character n-grams.

[1] https://github.com/schollz/closestmatch/blob/master/closestm...
With strong(ish) AI in your pocket (phone) your personal digital assistant would be pinged by the airport AI, then your digital assistant would remind you get get going.

I imagine this sort of transaction going on a lot in the future. It kinda happens now via email and in browsers. My browser sort of organises and filters all sorts of messages from websites. Also some primitive geo-location also happens... this can only get better as the services mature.
I've ran into some pretty gnarly issues vendoring both helm and Kubernetes in the same project. Your luck really depends on the dependency graph for the stuff you are vendoring.
Maintainer of Pidgin Streams on Twitch
The response was to an apparent fear that Sessions will start using the administrative power of the DoJ to imprison political enemies. He can't do that, because separation of powers.

Obviously injustice exists. And it did under Lynch and Holder too.
Yikes, yeah, this is bad. I only went through the readme, I didn't look at the source, and just...no. NULL? no. nullptr, please. And, as you've said, const char* as strings? again, no. I know GLS isn't terribly old, but something like string_view is in order. Arguments as undecorated pointers...no. Are they in or out? optional? C++ has semantics to indicate these things (even without GLS).
Would they want to know for absolute certain the source of it, or if they did know, would they want to acknowledge that? Suppose it is from the CIA, they acknowledge it, and then add removal of it to their tools. They (NASDAQ-listed public company) would have then just knowingly acknowledged interfering with the activities of the intelligence agency in the country in which they operate.

I think it's smart for Symantec to remain completely neutral and unassuming.
you can always upgrade the cpu if you find the performance lagging.
Librarian here...many university libraries here actually have policies against purchasing textbooks.

The reason being, there is just not enough in the materials budgets to purchase textbooks for every class (especially considering that after a year, many will be "outdated" and need to be replaced) and still have enough money to purchase all the other necessary materials (mostly database subscriptions which cost an arm and a leg, but all the other books they need to purchase as well). However, practically speaking, we can often get copies of individual textbooks on an as-needed basis through interlibrary loan. Usually someone somewhere has a copy, but it's not a solution that can be applied on a university-wide level.

Often a professor will put a copy (that they own) on reserve so it may be used within the library, but those can't be checked out and taken home for use for the entire semester.

Personally, I think it's shameful we don't have a better solution, but that's the state of things here. Many schools are turning toward open educational resources (OER) but it's slow to adopt, because many professors have a favorite textbook and OER texts aren't always of the same quality as mainstream texts. It's a really frustrating situation.