skysight-inc/HackerNews huggingface dataset:
Properly we limit what you are allowed to contract away all the time. This isnt any different. You want to retain control see leasing.

Regarding trade secrets you misunderstand them. Please see

https://www.law.cornell.edu/wex/trade_secret

The Uniform Trade Secrets Act ("UTSA") defines a trade secret as: information, including a formula, pattern, compilation, program, device, method, technique, or process, that derives independent economic value, actual or potential, from not being generally known to or readily ascertainable through appropriate means by other persons who might obtain economic value from its disclosure or use; and is the subject of efforts that are reasonable under the circumstances to maintain its secrecy

There are two basic situations in which obtaining the use of a trade secret is illegal; where it is acquired through improper means, or where it involves a breach of confidence. Trade secrets may be obtained by lawful means such as independent discovery, reverse engineering, and inadvertent disclosure resulting from the trade secret holder's failure to take reasonable protective measures.

Anything that can be gleaned from tearing your product to pieces that isn't suitable for patenting gets zero protection.
From the github repo looks like raw public keys are supported but openpgp not :

https://github.com/tlswg/tls13-spec/issues/929

https://github.com/tlswg/tls13-spec/issues/937
I recently built a NAS with 4x 4TB 2.5 inch drives
This is exactly what happens when you don't bother to have any coherent architecture.

And is why you shouldn't get a job at Facebook if you really care about what kind of work you do.
US Administration Considers Far-Reaching Steps for ‘Extreme Vetting’
Your original comment seemed to me to leave no room for the non-ideal case, where you have no choice but to take the kid to the store and no one is in shape for a teachable moment. That's hardly the 'opportunity' you invoked. It's more of a pain in the ass.

Of course, reality is more like your most recent paragraph, where we do what we can and every little counts. We don't disagree.
> That's not quite the same — there's no relationship between you voluntarily paying more on your taxes and tax rates. If we agree that tax revenue is too low, then yeah, you're doing a bad thing by not paying more.

Wanting to raise taxes and wanting higher tax revenue is the same thing. And that does not mean I should pay more in tax voluntarily. I want tax rates to be higher across the board in a way that is fair to everyone.

Of course it's not reasonable to 'just pay more tax voluntarily'. That's ridiculous. That's just taxing the people that want tax rates on everyone to be higher. By that logic we should all just pay however much we want. That's stupid.

>Here's a better analogy still. Candidate X won a recent election, and you voted for them. If we agree that we knew that candidate was bad before the election, then you, individually, did a bad thing! No one person's vote decides an election, but the fact that millions of other people voted for the same candidate doesn't absolve you of your role in electing them.

No, that's a terrible analogy, that's not at all the same thing. I want fair government policy affecting all carbon producers to fight global warming. I don't want to never eat meat, I want meat to be priced taking into account the negative externalities of meat production. If a steak costs $20 because that's how much all the water costs and repairing the environmental damage costs, then that's fair.

I don't want just the people that care about the environment to volunteer to do tiny, irrelevant amounts to help. I want the people that are actually causing significant environmental damage to be held responsible. I'm sick of hearing about how to fight climate change. Climate change isn't a person, the people we should be fighting are the people CAUSING climate change, and that isn't me or you.
I have seen some solar companies in my region, but I honestly am not convinced yet that solar is the way to go.
Does anyone know if solar can sustain itself? (Does a photovoltaic panel produce more electric energy during its lifetime than was required to produce it?)
Is that (kiwix) really going offline? I don't think it's the 'active internet connection' that's the crux of the problem, it's the trawling through pages and pages of stuff, which Wikipedia is very good at allowing.

Obligatory XKCD:

https://xkcd.com/214/
Flipkart raises $1.4B, acquires eBay India
I don't think so.
Work-a-holic comes to mind and it has the some suffix has alco-holic.
Probably I would say netaholic.
I know Google Keep and use it, but I'm talking about physical text input. Virtual keyboards for non-daily-vocab are awful, and devices with physical keyboards are getting rare, plus they're not getting better -- I've tried multiple Blackberry models, what a disapointment, it's hard to believe they had such a following for so long. I miss my Nokia E70 and Droid 3 :-/

And before someone weighs in with the inevitable "but virtual keyboards are totally cool, bro": I get it, they can be quick, but no they're not. Not when you switch between languages, not when you use a lot of technical or uncommon terms, and not when you appreciate a low typo-oops-correction rate.
Brain cell therapy 'promising' for Parkinson's disease
10x Cheaper Video Encoding
The New York Times published a visualization of estimated number of extreme temperature days over the next 80 years which may be useful for you. https://www.nytimes.com/interactive/2016/08/20/sunday-review...

You can also find maps of areas affected by sea level rise. As you would expect these are mostly low-lying coastal areas. Here's some maps of the effect of a 25 foot rise in sea level on San Francisco: https://urbanlifesigns.blogspot.com/2012/12/the-streets-of-f... (This is beyond most estimates for the 21st century, anyway, but interesting to look at.)
The police, and common culture, protect capital above all else. This is a capitalist society first and foremost. The status quo, the police state, and the corporation are all protected before the innocent individual. It's policy.
Drupal is a Burning Platform?
Miami Beach has already spent about $400 million to keep the ocean at bay. At some point, it becomes unsustainable.
10 steps we took for the first sale and 11k downloads
It is not only a fun parody; it also lightheartedly demonstrates a useful type-level programming technique. It is not obvious how to use functional dependencies to write code like that and before type families came along it was the only option. The problem is a toy problem but the technique is serious
Yes, I was a bit surprised at the way the title hinted that this was a new 'trick' thing, when I have been familiar with Fast Fourier Transforms since forever when it comes to audio processing and reverb convolution etc., but then I realised that this is domain specific knowledge that is entirely due to me working in this capacity for so long. To someone in another industry or engineering capacity, FFTs may be an unknown entity, and indeed be an 'interesting discovery'.
Had they not brought in a bunch of good engineers with the lure of IPO, they would likely still be at the fail whale state.
I agree. I didn't like the original title, but changing it to "The Fourier transform, a widely applicable mathematical discovery" is ridiculous.
Please, please write to your local party reps in all those parties explaining your dilemma! This will probably have as much or more value in terms of policy change as a vote. Parties lump so many disparate issues together, they need to hear what individual issues are actually important to the rest of us.
"could be forced to provide cellphone contacts and social-media passwords and answer questions about their ideology,... The changes being considered could apply to visitors from America’s closest allies as well as other nations and include subjecting more visa applicants to intense security reviews. "

and

"We want to say for instance, ‘What sites do you visit? And give us your passwords,’ so that we can see what they do on the internet,” Mr. Kelly said at the February hearing. "If they don’t want to give us that information then they don’t come.'"

So you leave your phone at home, ^they^ want to peer through your public Internet? The US is becoming a very difficult place to visit even for ^closest allies^. This viewpoint is going to be really interesting in the competitive, international VC/Startup scene.
Salt from icy roads is contaminating North America’s lakes
Beware of Stephen J. Gould (2007)
All that illustrates is the author needed a bit of help with time management and found it difficult to tear themselves away from their on-tap Internet comfort zone without taking firm action to remove the temptation.
This is silly. In a tit for tat, other counties can enforce​the same. People will lose privacy, and will be subject to framing by governments, with little added security benefits
Yes, a solar panel is net positive energy-wise, and will produce more power over its lifetime then required to manufacture it. If in the US, there are both federal tax credits and state incentives (depending on the state).
1187 Ideas
Probably not direct consequences, more indirect ones like riots. And if things get that bad, then maybe erasing half or 75% human activities WOULD be the only way, don't need a Trump to declare that.
Material Design Color Tool
The problem with these NAS is noise. I see on the pictures that the NAS is just next to his desk. Even if you get a quiet chassis (rack servers tend to be noisy as hell, but synology chassis are pretty quiet), having 12+ disks running next to you is very noisy too. I am looking forward the time SSD will be cheap enough to be used for mass storage.
Psychedelics are a tool. Use them or don't. They do have the potential to open and widen one's mind, and also the opposite. Not all are suited for this kind of tool, or even for mind exploration. They can also be very dangerous, it depends on the mind (what doesn't?).
This post has over 470 comments and was posted 14 hours ago, yet I wasn't able to find it on HN from the first 3 pages.

On the third page I see lots of posts with lower number of comments and an earlier post time.

I had to use the search at the bottom to find this story.

Why?
Honestly, the result hinted at in the wikipedia article caught me by surprise as well: There are some flavors of constructive mathematics (notably CZF), that are still consistent if you also add the statement "There is a subset A of the natural numbers such that there is a surjection from A onto the real numbers". Note that this does not imply that you can prove this in CZF, it only means that you cannot disprove it. See http://www1.maths.leeds.ac.uk/~rathjen/acend.pdf prop. 8.2 if you're interested.

Wikipedia says that the Cantor argument shows "no more" than that there is no bijection between the natural numbers and the real numbers. As far as I can tell, it also proves that there is no surjection from the natural numbers onto the reals in every system of constructive mathematics I know of, so I think this is slightly misleading.

What do you mean by "distinguishable"? In constructivism, a set A such that x = y or x != y for all x, y in A is sometimes called decidable. And yes, it is indeed not true that the real numbers are decidable. This would imply that there is an algorithm that decides whether two infinite sequences of ones and zeroes will differ at some point or agree indefinitely, which is pretty much equivalent to solving the halting problem.
On the other hand, the natural numbers, integers, rational numbers and every finite algebraic extension of the rational numbers (for example Q[i], "rational imaginary numbers") is decidable.
Name some of those problems please?

Meanwhile LCOE of wind/solar is challenging that of coal power and closing to nuclear. In 15-20 years it would be way lower.
Support for v1 was dropped earlier this year. v2 is still actively developed and worked on. It's even mentioned in the blog post.

Obligatory disclaimer that I'm an engineer @ Deis working on Workflow daily.
I understand they don't get legal protection. That's not my point. My point is that companies don't just dump out information on how they operate. They protect their trade secrets, which as the definition you provided says, are worthy of protection. Thanks.
Not at 10 cents a kWh, and if we want the lights to turn on when we want.
> Experienced COBOL programmers can earn more than $100 an hour

Sounds low? That's what I'm charging as a web dev consultant.
Microsoft will patch Office zero day revealed by McAfee, FireEye
I wonder when we will see 10GbE ports on laptops though!
See also: Fraud in the Imputation of Fraud:
The Mis-measure of Stephen Jay Gould, 04 October 2012

https://www.psychologytoday.com/blog/the-folly-fools/201210/...
I've worked with many contracting companies in gaming, not always, but it's not uncommon for contractors to produce higher quality work than employees and normally are more productive. I think employees tend to think that culture is what they're there for instead of producing IP, that's very common in gaming and perhaps one of the reasons execs need to bolster productivity with contractors.
I'll offer my view. First, I absolutely agree that it should have been limited to primary residences -- extending it to rental and commercial property is lunacy that wasn't even justified by the primary selling point (keeping fixed-income seniors in their homes).

Secondly, I contend that the limit should never have been on the amount of tax levied, only on the amount of tax that actually had to be paid in a given year. The locality would receive a lien on the balance which would be paid only when the property was sold. (The lien could also be capped at 1/3 the selling price, to answer objections that it might become so large as to make it uneconomic to sell the property at all. I suggest this because whenever I float this proposal on HN, someone comes along and fixates on that possibility, which is actually extremely unlikely; the market would have to tank very severely for this cap to come into play.)

This way, fixed-income seniors could stay in their homes just as long as Prop. 13 allows them to, but localities would still get their money.
I think Steve Jobs and Bill Gates saying they took LSD has you covered.
The reason that the real number being defined can be defined in terms of the function is because, that is the situation being considered in the statement.

For any way of doing the mapping, there is a real number that the mapping misses. Alternative statement: "there is no such mapping that doesn't miss any of the reals".

This is shown because, given a mapping, I can find a real that the mapping misses.

When one says "for all x, there exists a y such that P(x,y)", the y is allowed to depend on the x.

That's what this is.

Why wouldn't your objection apply to the proof that the halting problem is uncomputable ? The program that the halting checker can't check is defined in terms of the halting checker. Why is that allowed? Because that is what the statement is saying. For any purported halting checker, there exists a program it doesn't decide the halting of.

Similarly here, for any purported bijection between the integers and the reals, there is a real that the purported bijection misses.

I don't know if you are using the word "countable" in the standard way, so I don't know what you mean by that last sentence.
It can't. This is not reasonable English, it's (presumably) a misspeak by the OP. People make these kinds of mistakes in every language.

It is highly unlikely that that the OP is making $800k/yr consulting as a programmer. That's $400/hr sustained for more than a year of fulltime work.
That such a function f exists is pretty standard, right? I know we discussed it during my undergrad studies. See e.g. Counterexamples in Analysis.

Also, a point is a closed set, so you probably want non-empty interior.
What's wrong with that JavaScript world?
Hi, fellow remote worker here. I am in somewhat the same boat, as I'm not really working on large scale software projects, more just plumbing for our frontend devs (I am a backend developer for a design company). As a result I often find myself creating my own priorities and requirements, which can relieve some of the boredom.

If you have the opportunity and the clout you could suggest new tech or new processes that might help alleviate some of the pain points you're feeling. It's at least worth a shot. You might end up getting to do some new dev work as a result.
Uranium/Plutonium reactors are a dead technology. Toshiba lost vast sums of money when Westinghouse Electric went bankrupt recently, mostly for not being able to compete with more economical sources of energy.

That is not to rule out better (safer, simpler) forms of nuclear power, such as Thorium reactors, which is what India is promoting.

Imho, anyone starting a major new nuclear power project today, with the existing Uranium technology, has not done their sums right.
Heights of irony for Apple to complain about unfair practices, when it not only acts as a gate keeper to it's platform via the app store, but also takes a 30% cut on revenues - neither ever done before.

And then there's​ Qualcomm, which is truly monopolistic. They deserve each other
Do you know of any cleantech-relevant open source projects that a software engineer could contribute to outside of paid employment?
If he lost his mind, what is expressing through his body right now?
French banks are actually doing that! SG/Société Générale, a brick and mortar bank that costs a hundred dollars a year, built Boursorama, an e-bank that's free and that gives you $200 if you subscribe. Advantage: SG has too many manned agencies and can't justify preemptively mass-firing them yet – they first need the customer base to dwindle. Better IT, usage of Internet techniques at the core, and drastically simplifying the product line is an intended consequence.

Same happens with other French banks. As a personal PoV, banks' manned agencies provide bad service (from 20x delays to plain mistakes), so I won't cry for them.
Ok, let's find some common ground: we agree current nuclear reactors "could be a lot better". With very finite uranium, coal, and oil deposits on earth these forms of energy generation are only a short-term solution. As an aside, it would also be great to save those energy supplies for a dark and rainy day.

My prediction is based on Econ 101: the cheapest solution will win.

Nuclear reactors (and coal plants) are long-term investment projects with payback over decades. If you're close to the equator, it doesn't even make sense today. And the increasing cost differential between solar and nuclear/coal will mean that zone is expanding towards the poles.

I'm sorry if you're financially or intellectually invested in nuclear, but that's what i think will happen.
Has nobody worked on a decent sized, agile project before ?

Facebook updates their iOS app on a pretty regular cadence which means it is quite likely that removing duplicate assets (if it's even an issue) could simply have trickled across to the next sprint. You just can't make broad generalisations based on a particular snapshot in time.

But I suspect it isn't even an issue anyway. It seems clear they have one lightweight framework that is required during startup and another which gets dynamically loaded later (FBNotOnStartupPathFramework).
The vision of nuclear holocaust in Threads (1984) remains visceral and urgent
BI Tool Superset Overview for DataAnalysis (japanese)
Interesting, I've always known them as Karush–Kuhn–Tucker conditions. Karush had them in his master's thesis like a decade earlier.
All bad trips are good trips in hindsight, since you came out them alive and... sane. And hopefully learned something very deep about yourself.
No, what they should have done is exactly what other airlines do when they are overbooked: keep raising the voucher amount until someone volunteers to get off.

Or do what European airlines are mandated to do by law:

Offer cash!

I, for one, am absolutely not interested in any vouchers that probably come with a shit ton of fine print, which makes them either unatractive, or impossible to redeem. Or probably both.
This is a side-effect of the current app business model, which sacrifices software quality to deploy it fast to the market... who expends 1 month optimization while a new app comes every 6 months ?
You could maybe write three sentences on "still a lot of Apache". It's the changes that you need to learn about.
That's funny, because Canonical's business model is based on anti-social behavior.
I wouldn't assume anyone is responsible for keeping them up to date.

This could just be the build tool looking at dependencies and including them multiple times in seperate frameworks. No different to how in big Java apps you often will see duplicate code amongst shaded JARs.
I get angry whenever people use the words "fully funded" to describe CPP. On one hand it's true--but it's also very misleading.

After considering investment returns/time value of money/"net present value" of contributions:

If you were a baby boomer, you'll get ~2x what you put in.

If you were born in the 80's, you'll get half what you put in.

So yes, they "fixed" CPP by changing it so that younger people are legally obligated to "invest" their money in a pension fund that returns half of what it should return based on the contributions younger people are making.

I think CPP is in danger. The danger is that someone will create a clear enough explanation of how CPP was "fixed" and young people will decide that there is no reason for them to allow being screwed the way CPP does.
This is pretty standard "C-with-classes" style of coding. You see it a lot in embedded systems too. Ok in this case it's more like "C with the STL", but it's close enough. Those would exactly be the two things I'd want to add if I were a C programmer longing for a little more power.

All your critique would also apply if this were written in idiomatic C. C pointers are exception unsafe by definition because there are no exceptions. STL containers don't throw exceptions other than out-of-range exceptions, which isn't much better or worse than the access violation you'd get for the same bug in plain C.

One good reason why the code might be like this is the author doesn't know all 2568287 C++ features that are required to write modern idiomatic C++ - but the author does know C and std::map.
Worse, I now agree that my complacency with this argument has been a large part of worsening things. :(

It sucks right now to finally be speaking up and having folks just assume I somewhat agreed with them in the past. No. I just didn't realize how misguided you were. All people are highly likely to make mistakes. This does not excuse the brazen bullshit we have gotten from the right.
http://nature.com/articles/doi:10.1038/ncomms13728

As a result, we show a break-even between the cumulative disadvantages and benefits of photovoltaics, for both energy use and greenhouse gas emissions, occurs between 1997 and 2018, depending on photovoltaic performance and model uncertainties.
>Be constructive, be creative.

Ok, solution time. Let's immediately ban everyone who denies that climate change is human made from all positions of power. That implies stripping them of both titles and wealth.
Autodesk Homestyler products discontinued
Autodesk® announced that on April 30, they will be permanently shutting down both their Homestyler online and Homestyler mobile applications -
https://knowledge.autodesk.com/search-result/caas/sfdcarticles/sfdcarticles/Autodesk-Homestyler-products-discontinued.html

Fortunately, Planner 5D has you covered for easy to use online and mobile interior design - https://planner5d.com/blog/cZOG/disappointed-to-see-autodesk%C2%AE-homestyler-go?-planner-5d-has-you-covered
I was surprised they got that much. About $3.50 and some Arby's coupons would have been more typical.
Plus, of course: http://jdebp.eu./FGA/law-copyright-all-rights-reserved.html