skysight-inc/HackerNews huggingface dataset:
That logic is inherently flawed because luck plays a part in each of those aspects, too. To have learned the "relevant skills" means you need to have been fortunate enough to have been provided an education. To build a network that matters you need to have access to the right people. Looking for new business opportunities is only possible if you have the resources to do.

Eventually, it all goes back to who you were born as and who you were born to. Your odds of "success" are much higher if you're born as a white male in the US than if you're born as an female in rural India. No amount of effort can change those odds.

That's not to say that effort doesn't play a part, it absolutely does. But a significant amount of success is supported by good fortune layered on more good fortune.
Chapo Trap House 186 with Richard Wolff
When I was applying to universities I came to realize all they actually care about is how you will look in a slide or pamphlet about diversity. They don't care about your story or experience or upbringing. Diversity as they use it only means physical appearance

A side note I also had a real existential crisis as a half white half asian male. What do you put down in order to be fucked over the least? Asian? White? Both if they let you or would that make you twice as screwed? Why should I have to make that decision at all?
And yet people still do it. I guess the drivers still find it useful, if they didn't, why would they continue driving?
Right on the money. I wouldn't be in the position I am today without a dose of luck/chance, I was in the right place at the right time and knew the right people - but at the same time none of this matters if I was unable to execute and take advantage of the opportunities I was presented.
My understanding is that the flag button merely makes it more likely the discussion will vanish off the front page, and there is no punishment for the participants.
The article address this: "Only once this period is over can they sell — and they typically do, to diversify their personal investments."

CEO's have a great deal of exposure to the upside of their company doing well, they want protection from the downside of it doing poorly.
How do you shop for life insurance if you are dead?
It's not ALL luck. It's just that luck can push you over the edge towards success. If you and an equally qualified person interview for the same position, the person that gets the position may just be the person who happened to go to the same college as the interviewer or that has the same hobby as the interviewer (so they really hit it off and have a great conversation). In that case, one person was lucky and the other was unlucky. They were both equally qualified, but one person just had something extra to talk about with the interviewer and made a good connection.
IIRC that works only if you never got a bad performance rating, then nobody would touch you internally and your chance to transfer within Google is lower than to move to another company to a better level.
I had faith in the legal system to a degree as well before my experiences started. The doctors have more expensive lawyers and theirs and the hospital's insurance and business lobbies have succeeded in getting legal conditions set in their favor. Low award caps making contingency unavailable to clients, short statutes of limitations etc. It's why surgery centers often cluster in certain counties etc. Those places have more amenable courts and juries. It's a LOT harder than people think from TV etc to win at a malpractice case. There are doctors who have negligently killed people still doing surgeries etc and in one case I read the hospital isn't legally allowed to inform patients of his censure and past.
Oh ok that makes more sense. Yes the standard mileage deduction of 54c/ mile and other deductions makes Uber profitable if done in a right market with an old car. Few years back my deduction made it seem like I was in loss and didn't have to pay any taxes.
You're already lucky if you have a couch to sit on. Plenty of people have no house, let alone couch to sit on.

Who you are is substantially a matter of luck, too. Somebody who has two driven parents that spend enormous amounts of time and effort raising them is far more likely to be driven and competitive than a person whose parents lay around smoking weed all day.
All of those languages have an option to pass in arguments as an array and bypass the shell completely. PHP does not. It's much safer with no shell (though not perfect).
One of the interesting things which has egged on the current bull run has been the abundance of cash. I need to find the exact link but it seems lot of companies are buying back stocks which then masks the nonperformance under the garb of market beating EPS growth.
> 1. Don't put your internal libraries in /pkg. /pkg has special GOPATH meaning as "compilation cache". Its not an actual name conflict, but why bother risking it.

It's a little too late for this because it's pretty much an unofficial standard for library code :-) Just look at Kubernetes, Docker or many other major Go-based applications/tools.
We don't, or we can't? As a country, we can do things to force people to avoid the risk factors and take mitigating actions.
>By design, the answer is no. Toposes are models of intuitionistic bounded ZF. However, in general dependent type theories, including observational type theory, don't have (and don't want!) the powerset axiom.

Why wouldn't you want the powerset axiom? Which categories do you have in mind which are, for example, locally cartesian closed and finitely cocomplete but do not have subobject classifiers? (Apart from the initial such category.) Honestly curious here, I can't come up with one.

> From the point of view of a category theorist, the way to understand type theory is that it is a methodology for giving explicit presentations of free structures, in such a way that the morphisms make no explicit reference to composition.

The basic method of categorical logic is to compute a result in a syntax corresponding to a free structure, and then sending it to whichever non-free structure you like by the universal property of that structure. Most people initially find this a bizarre thing to do, since intuitively it seems like any proof that works in a free structure should work in any structure.

I don't find it bizarre at all, but I think this view point is not mainstream in the community. I was certainly looked at weirdly when I asked whether, for example, the "interpretation theorem" is essentially the initiality property of the syntactic model of type theory. Well, good to know that at least some people seem to have come to their senses.

I don't understand what properties about categories can be proved from properties of the syntax, e.g. canonicity. Take cartesian closed categories with natural numbers object. I can see that you can prove, for example, that 0 + n = n holds in every such category by verifying the equality in the simply typed lambda calculus. But what does canonicity tell me about these categories?

Shulman writes (p. 12 of the notes you've linked to) that it's worth knowing about canonicity and other logical properties so that one can talk with type theorists about them. That suggests to me that it really isn't worth knowing about. The question why type theory is the "best" presentation of initial XY-categories remains open. It's basically impossible to construct the terms in raw type theory needed for non-trivial proofs by hand. All proof assistants I know of still use some kind of elaboration so that you can emit some parameters of operations, and most are based on tactics. Why can't we simply use these mechanisms for the tautological presentation of initial XY-categories?
You think the prevailing viewpoint around here is pro-diversity efforts? I must be reading a different HN.
The 2nd Amendment is going to make the inevitable underclass revolution a bloodbath indeed.
And how does a CS student vs an EE student know how computers "work". CS as I understand it is just the math not the underlying technology.
This is good for Bitcoin.

(such thin skin from the Bitcoin True Believers)
Alan Greenspan, on his way out, famously said

> he had made a "mistake" in believing that banks in operating in their self-interest would be sufficient to protect their shareholders and the equity in their institutions. Greenspan said that he had found "a flaw in the model that I perceived is the critical functioning structure that defines how the world works."

It's not a stretch to apply it to all C-levels at all public companies: they will absolutely manipulate the company to benefit themselves at the expense of the shareholder.

https://www.cbsnews.com/news/greenspan-my-faith-in-banks-a-m...
The forum and the discussions there get 3x the pageviews the interviews do, and that gap is widening every day.
IIRC when Uber & Lyft were started, it was never supposed to be a full time job, or even a taxi service. You were supposed to make some easy money by offering a ride along a route you were already taking for your normal activities.

Any job that has no barriers (difficulty, education, licensing) to entry will be eventually driven to zero profit.
There are no distributed exchanges for exchanging cryptocurrency to/from fiat. (Unless you use localbitcoins, but that has other issues like being mugged for all your money).
Theoretically, you almost could (with quite a bit of difficulty), but then there's the problem of "eval".

You can "solve" that by embedding an interpreter (or a copy of your compiler) into your runtime, but most interpreted platforms in that situation consider the interpreter "good enough" and work on making optimizations (e.g. JIT compilation to native code) on it rather than making a static compiler.
We definitely need more developers who can't leverage more than 10% of the CPU's actual power.</sarcasm>

Its literally impossible to have any clue about performance without understanding the hardware. Sure you can profile and gain 5-10% after micro-optimizing what the profiler tells you.

But you will never, ever get the 200-1000% performance gains you can only get by accounting for the hardware at the very architecture level, something you can't fix by just profiling later on.

What even is the point of having programming classes if alls they do is teach what you can learn yourself with an online tutorial?
No, I mean being outcompete by other businesses, in China and locally.
That's what they said, but I don't think it's ever been used that way.
I don't know why you're getting downvoted. The single member S-Corp is a very common setup for individual freelancers/consultants precisely for this reason. FICA taxes aren't paid on distributions.

To do this, the single member has to pay themselves a "reasonable salary", but there aren't strict guidelines on this. It's a gray area, and some people push it (and lose), but it's a very common setup.
Honestly I'm not sure, but based my comment off this page I read years ago:

http://www.badastronomy.com/bad/misc/badstarlight.html

It doesn't seem so unreasonable. I have also read the human eye can detect a single photon and 450 photons per cm³ is about 3e10 photons per second.
In a world of agricultural monocultures, it's not really surprising that languages fade while others become increasingly dominant.

Language is really an artifact of isolation and distance. In an incredibly connected world, the pressure changes from divergence to convergence.

Like other commenters, I have mixed feelings about this. Another used the word "balkanized" (which is a great word) to describe a world divided by incomprehensible language.

Others note that a monoculture isn't the only solution. (Bi|multi)lingualism is another alternative. Multilingualism was the historical response to a world becoming increasingly connected. My great-grandfather grew up in an area where he spoke Russian, French, German and Latvian... by necessity. Depending on which way the political winds were blowing his generation could be conscripted into the Russian or German (maybe Prussian at this point) armies.

That works fine when your sphere is your country and neighbouring countries. But now the sphere is increasingly "the world".

Multilingualism seems to be somewhat cultural and, more importantly, is something that's passed down from one generation to the next. Older children and adults can (and do) acquire new languages with varying success (some are adept, others are not). It seems like if you don't have this from birth you're kinda screwed. If there's no pressure for you to use another language, you're also kinda screwed.

This comes up particularly in the English speaking world where those countries that have English as the predominant first language tend to have no pressure to use another language nor the cultural heritage of multilingualism.

It seems inevitable to me that the world is heading towards a future with a handful of remaining languages. Obvious candidates include English, Arabic, Mandarin, Spanish, Hindi and Russian.
The public ownership model is awesome at raising capital.
> The study's not published and expecting the two page preview of the working paper to have a 'discussion of potential problems with methodology' section is utterly unrealistic.

In that case, it's grossly irresponsible to publish what little they have. Society is still struggling to correct the "statistic" that a woman earns 70 cents for every dollar a man earns. This new statistic about how much TNC drivers make is going to be accepted as fact from here on out, when it's grossly misleading.

> "the vast majority of drivers report that the bulk of the miles they drive are for ride-hailing"

That doesn't change the fact that the vast majority of the drivers would already have that car as a sunk cost whether they drove the vast majority of those miles for ridesharing or not.
This is my sister's observation after 20 years in manufacturing. All her experiences at the executive level were of folks manipulating the company to get their bonuses regardless of the damage they did. They'd simply move on when a company failed.

She got sick of it all after 20 years, and now runs a chocolate shop in semi-retirement.
And you won't see them being used for systems programming because of their overhead. So without Rust, we'll be stuck with stupid, avoidable security vulnerabilities at the base of all our software, forever. On top of that, Rust's ownership system also prevents data races and none of those other languages are capable of that.
As opposed to jumping into C++ in all its OO glory?
"A third party will be required in some way, be it a CA or the Web of Trust or something else."
- nuance
I've always used the sed style edits over the IRC gateway. Then someone let me know that they don't work. I always thought that people just read them and parsed the correction manually rather than relying on their client to do it. It's not like I use very complext sed substitutions.

s/complext/complex/
I don't think anyone expects a BS to be high status. It's one path. I know plenty of successful people in the trades. One thing with the trades though is that it can be hard on your body so you have to move to management/ownership as you age. But yes, education is too expensive. I think of student loans as a direct tax on education paid to universities to offset their direct loss in state funds. What I feel is immoral is that the interest is captured by private corporations when the loans are guaranteed by the Feds.
This shouldn't be a surprise to governments, it won a Nobel prize in 2001.
> If we recognize a pattern and make an attempt to improve our situation, it's not "luck" or "randomness" its a probability of success. Combine that over a life time and persistence will lead to success, not just one random event. It's a series of events that lead to success, each one moving you one way or the other. It's typically your "choice" which path you take.

What's success? Often all it takes to improve your situation is a change of perception. Some of the happiest people I've ever met were living in what Americans would consider to be absolute poverty. And some of the most miserable people I've met were the most 'successful'. Sometimes persistence at failure isn't the answer, but rather learning to appreciate what you have in front of you. My dad spent 40 years checking groceries. Most people here wouldn't consider that being a 'success', but he raised two kids and retired and now he's living in Florida and working on his 66 Chevy Malibu convertible, and he's as happy as I've seen him.

On the other hand, you have Trump, who is a billionaire and the president of the US and from all outside appearances seems to be living in a hell of his own creation.
I think there is something to be said for Scheme as an intro language. Knowing the "full stack" of computation doesn't need to end at NAND gates, it could just as easily end at the lambda calculus. In fact, I personally would prefer it that way.
Emergency Plan Spends Modestly on Signals, NYC Subway’s Biggest Woe
Well that was a waste of 30 seconds of my life. Neither funny nor insightful.
Perhaps to bastardise an old quote.

"When luck turns up it better find you with a bag of cash"
Realistically though, is it luck? If you identify that you are exactly where you are today by happenstance, then sure. You are exactly where you are today because of 1,000 decisions you made, or not made; opportunities you've exploited, people you've met.

But just because one turn of "fate" if you want to call it that meant that one of those pieces may not have lined up and you'd been somewhere else doesn't make you a different person entirely... you could've exploited some other opportunity and ended up somewhere else, that doesn't mean you wouldn't have been equally or even more successful at it. Where one door closes, another opens... if the first door had opened, you probably wouldn't have opened the second door, but you might have. Who knows?

I think your success is a matter of hard work, discipline, paying attention, being what you need to be in the moment to exploit the opportunities in front of you and having the tenacity to turn them into something useful.

Would you call any of that luck? The specifics may be, sure, but the overall pattern of success is not.
Not like they are pumping around the ashes. It's worse to think about than it really is. It's just heat. Every now and then you think about where the water you're drinking have been in the past too, right?

https://news.vattenfall.com/en/article/immortal-heat
Except Uber & Lyft will punish you if you turn down too many jobs. That doesn't sound like absolute control.

And you never got the opportunity to try and negotiate with either company to start with.
Of course after someone has achieved success they put it down entirely to innate worth, effort, skill and so forth. Likewise plenty who have deserved success have been wiped out by unlucky timing of the dot com bust, credit crunch, fraud.

Yes persistence pays, but however unpopular it might be around here, we are nearly all one or two rolls from disaster - be that business failure, major illness, or whatever, that can easily escalate into life ruining proportions.

I am far less inclined to simply spout "work hard and make your own luck" now than I would certainly have done in my 20s. Thirty more years of experiencing life, and seeing what sheer luck, good and bad, has done to friends, family and their businesses has changed my perspective on luck quite dramatically.

You need hard work and luck.
A little off topic, but I recently found out that you essentially can't buy plain old legos+ anymore. I wanted to buy some as a gift and I ended up having to buy knock offs because the lego company effectively doesn't sell them anymore.

+ I.e. full height 2x2, 2x3, 2x4
These kind of articles and discussions almost invariably lead to defeatists and cynical attitudes. It's akin to saying "Unless you're born with good genes, you'll never be an Olympic athlete, so don't bother training and exercising".

You may not ever be wealthy by trying and working hard because of the role luck plays. But there's value in working hard at it that everyone should know, just like there's value in physical training that everyone should know. It takes training and (very importantly) discipline to stick with it.
It isn't luck, it's money. Successful entrepreneurs aren't lucky or hard-working, they're just people who have enough cash to operate at a loss while they pursue an idea.
Even if that is correct it does not make it a just way of fighting for your cause. Voting for articles on the front-page of HN is equivalent to a vote in a democracy. If you removed the opposing party candidate from the ballot you might reach your short-term goal, but at the cost of a functioning democracy.

In this case the article was marked as a dupe, but this specific article was not posted twice and previous articles on the subject was quickly voted off the frontpage by people like you despite high interest. This didn't happen to articles critical of Damore, so this seems to be exclusively a social justice tactic.

Edit: explained better why talking about voting is relevant as an analogy
Peter Thiel had an interesting analysis on the higher-education issues [1].

https://www.youtube.com/watch?v=rzdiWDw4teo
A little, but mostly just as a casual interest these days.
well that is not a Universities Job is it
There are some developments, for example "Globular": https://arxiv.org/abs/1612.01093

I don't think there is a proof assistant that's really based on categorical foundations. I'd love to see something like that though.
You would quickly change your mind about that, while you read death treats sent to your daughter by trolls.
Trustless Machine Learning Contracts; Evaluating ML Models on the Blockchain
1. Try get resources -> (luck roll) -> fail

2. Try get resources -> (luck roll) -> fail

3. Try get resources -> (luck roll) -> fail

4. Try get resources -> (luck roll) -> fail

5. Try get resources -> (luck roll) -> fail

6. Try get resources -> (luck roll) -> success!
> Esperanto was invented to be an easy auxiliary language to easily allow the world to communicate. It is against language imperialism.

It is only a rather recent development, since roughly the 1960s, that the Esperanto movement has advertised itself as a force against language imperialism and as purely an international second language for everyone, one that supposedly “protects” their native languages. Some Esperantists have criticized this change in marketing as simply trying to jump on the anti-imperialism and anti-globalization bandwagon just to get more attention for Esperanto.

L. L. Zamenhof himself hoped that Esperanto – or at least something like it – would eventually replace all world languages, because he saw those differences between peoples as purely a negative thing. (Just like his Homaranismo was an attempt to level out religious differences with a single spirituality that hopefully would be taken up by all.) Zamenhof’s own writings and his lifelong efforts show that he did not really care for cultural diversity as many people today would understand it and hope for.
our jira cloud instance remains down at 17:37 UTC
> it was never supposed to be a full time job

Im not sure if this is true, they offered a lot of bonuses if you completed 20 rides within a certain amount of time you get a bonus. They wanted people to drive a lot.
The reason is that not teaching those lower-level concepts continues to allow them to be magical. No one expects to get into Reference Counting vs. Tracing Garbage Collectors, but understanding that lower-level construct exists partially removes the mystery of the underlying mechanics. An analogous example would be Cars: you press the accelerator and gas gets sucked in from the gas tank to the engine. Most people don't care to understand if it is EFI or Carburetor.
> It does! Open about:config and switch security.webauth.u2f to true. It'll Just Work.

Unfortunately for a large number of users that effectively means it doesn't work.
Enterprise Information Security (OpenSSH, IAM, Fundamentals, and More)
How generics were added to .NET