skysight-inc/HackerNews huggingface dataset:
Specs can be made simpler by giving sufficiently high level objectives. Theorems can be very concise, yet can need the introduction of various lemmas to be proven correct. Counter Example Guided Inductive Synthesis (like in Z3) can offer certain guarantees.

Letting the computer the freedom to find those intermediate steps is nothing new (e.g. Koza's Automatically Defined Functions) ; More recently techniques like Open AI Hindsight Experience Replay where the machine is given a strategy to create its own intermediate goals to allow to "learn on his own" to navigate towards the harder objective.

Quite often in the world there is a lot of complexity, but most of the time it either emerges from simple rules (Hi Wolfram :) ), or come bundled from artificial complexity at the boundary (i.e. you need to interface with existing *ware). Artificial complexity will result in complex specifications (2nd principle?), even though you can try either to regularize them (e.g. by putting various constraint on the code size and form), relax them, or approximate them probabilistically by black box where we have the whole literature about searching for neural architecture (AutoML).

Of course, once you wrote it with simple rules, we then call it a game and we already know how to obtain superhuman performance.
Please be civil.

https://news.ycombinator.com/newsguidelines.html
`pipenv install --python ~/.pyenv/versions/3.6.5/bin/python` works for me, and that directory is not on my path. Did you try the more explicit `--python` flag?
Yeah, I lived with someone who had a cat that didn't care for me all that much. One day, I was laying in bed crying, and that cat snuggled right up next to me. I couldn't help but smile.
The chief problem with Brexit is the ambiguity of the referendum question.

"Should the United Kingdom remain a member of the European Union or leave the European Union?"

The problem with this is that if you interpret it literally, the outcome is to leave the European Union, but remain in the EEA (single market), potentially also the ECJ and a number of other treaties.

This is why so many commentators have argued that no one really knows "what kind of Brexit" the public voted for.

The question was proposed with the expectation of a Remain vote. No one expected the Leave result, and as such, hadn't planned for what that even meant, let alone actually executing on it.
I believe it's a typo, and he means 2019.
Show HN: Indieweb.xyz
How to Install GlassFish on Ubuntu 18.04 LTS
Then that's worse, cause now, instead of listening to the people who have actually worked with and studied these things, he's acting like he's some kind of Jesus figure, where "only he can fix things."
The Site Reliability Workbook [pdf]
The issues you mentioned are relatively minor. Drivers will still cross if they are paid enough. The UK can easily recognize EU truck licenses on their own.
Undoubtably Brexit will cause some disruption to UK/EU trade, but it's pretty far fetched that it will completely break down.
Yes, if we had not invested heavily in both highways and airports, we may have invested more in trains (there were other problems with the railroads at the time). But that was over 70 years ago. It's not an "excuse" to explain that things are the way they are, and that it makes no sense today to fund renewed railroad investment.

There's a reason we're flush with self-driving car companies and not railroad companies.
As a Toronto native, who now lives in Silicon Valley (part of the brain drain from Waterloo), there is a reason why everyone leaves Toronto/Canada - the salaries are simply laughable when compared to the bay area.

The only reason you would stay in Toronto for a job in tech is if you wanted to stay close to family, or your girlfriend/boyfriend/spouse.

Or, you just hate money and being at the center of the tech industry...
The comparison is between boats designed by engineers in the last fifty years, and boats not so designed. You're the one who wanted to talk about sailboats, which in support of my point are also safer than ducks. Please educate yourself before promulgating falsehoods: "Pretty much every monohull sailboat ever manufactured will sink immediately if the hull is punctured." Hilarious!
Luckily, in modern C++, defining the copy constructor in this case (where you just want to make the default available) is as simple as:

A::A(const A &other) = default;
> But let's all agree he accomplished them in spite of these flaws, not because of them.

I don't know that you can separate the success from the flaws. It's hard to find truly impactful leaders that didn't have a large number of character flaws.
Your post was a oasis of rational emotions in a dessert of anthropomorphizing sob-storys. Thank you.
Daily Socialist Drivel:

> Charity they feel to be a ridiculously inadequate mode of partial restitution, or a sentimental dole, usually accompanied by some impertinent attempt on the part of the sentimentalist to tyrannise over their private lives. Why should they be grateful for the crumbs that fall from the rich man’s table? They should be seated at the board, and are beginning to know it. As for being discontented, a man who would not be discontented with such surroundings and such a low mode of life would be a perfect brute. Disobedience, in the eyes of anyone who has read history, is man’s original virtue. It is through disobedience that progress has been made, through disobedience and through rebellion. Sometimes the poor are praised for being thrifty. But to recommend thrift to the poor is both grotesque and insulting. It is like advising a man who is starving to eat less. - Oscar Wilde

Be sure to leave your political nonsense in the comments.
A few considerations that may influence this question:

Pressure != compression, and water is otherwise sensitive to pressure. The boiling point of water varies by ambient air pressure, and in fact, the ambient air pressure on the surface of Mars is too low for liquid water, AFAIK; it boils away.

Also, see gmueckl's helpful comment:
https://news.ycombinator.com/item?id=17610197
Do you find that you're CPU limited in your workflow? Apps that are mostly idle don't need a dedicated CPU thread. Firefox playing a Youtube video on a rather old i7-5820K @3.3GHz takes about 20% of one CPU on my machine. Emacs takes a negligible amount of CPU most of the time, so do my terminals. Compilation is really the only situation where I max out my machine.

In general if you only care about raw performance you'll run one heavy app per machine. You won't use the same server to render video and build your code at the same time, it will be more efficient to use two different servers for that.
> but substance used to matter more

I'm pretty sure that clause has been on the lips of every generation that isn't the youngest since the end of subsistence farming.
The anecdote about geography that's summarized in the title isn't as interesting as the photographs themselves. They're magnificent. One of the tasks of great photography is to show an interesting or unique pespective. Composition is everything. These drone photos are awesome.
> """

Python? Scala?
As a child, we had a cat that would do this - any time any of us cried, or even when we were really sad, she would come over and start miaowing and rubbing against us.
Reply button has reappeared so copying my response here for proper flow, but now I can't remove it from my other comment because the edit button disappeared.

>And look at how much it costs, how unreliable the results are, and how even after full batch of successful trials, we have no clue why a drug works.

And yet we still do solid pharmacology that results in reliable medicine, just like we can do solid economics that results in models with high predictive power.

>If you take a large enough sample and apply enough statistics to it, you can see something that looks sort of like evidence to your hypothesis. In the end, you're not much closer to knowing why it happens (and why it happens only some percentage of the time). Compare that to hard sciences, where most of the time, you can design experiments based on first principles, and you can connect the results back to fundamental theories through a string of formal math.

The idea of statistical approximation does not distinguish between controlled experiments and observational study at all. We were able to statistically model the relationship between speed and energy before we could explain gravity, i.e. we were able to figure something out before we could explain why. And most experiments in physics resulted in approximation, such as newtonian physics, that works well enough at low speeds but breaks down at high speeds. Our current model of gravity was made in the 1970s, yet before 1970 we could explain that when you jump you fall to the earth. The fact that approximation is used is not remarkable in the slightest. That's what modeling is. A model that is too complicated is useless, a model that is too simple is inaccurate. All models are approximations to some level.

>Again, "tested" in physics vs. "tested" in economics are apples-to-oranges.

Yeah, that's why newton discovered relativity, right? No, we have areas of clear evidence and areas outside of our ability to measure for every field. Just becomes some areas of a field are difficult doesn't mean every area is difficult. Just because we couldn't model what happens to a ball thrown at 0.9c in the 1700s, doesn't mean we couldn't model a ball thrown at 0.9 m/s.

>Ultimately, my main point is that economics is so hard that even our best results are pretty bad, and marginally useful.

Look on the IGM site for policy recommendations that we have clear economic consensus on. ]If a country chooses to ignore economics, e.g. zimbabwe and greece, the results are very predictable.
I expect will see more of it. Companies, especially public ones, may be regarded as sociopaths of greed. Any and all actions are divided from any morality unless the public acts back with government action. So any act that is a technicality in order to gain more wealth will be done. We've already seen contracts widely used as a way to dissolve the sovereignty of US states and bypass their laws. Further proxying through native american tribes is an easy leap to try to further subvert any morals or justice encoded by the public in law.
Does conda create a lockfile?
Well, right now I’m in college, so I don’t have a great estimate of my yearly spending. But according to the 4% rule, you need a million dollars for every $40,000 you want per year.

I don’t think I’m super materialistic, the only possessions I really find “enjoyable” are probably my tech - best smartphone, tablet, etc. And fortunately these are orders of magnitude cheaper than being a car-guy. The only big expense I imagine from being an adult would be travel, I really like diving into totally different world views.

So my tentative number is about $1.5 million, maybe even $2 million, for somewhere between $60K-$80K. This is obviously crazy a lot of money. But if you compare it to how much some businesses sell for, it seems achievable.
Everyone is forced to have a job.
unquestionably a new phenomenon.

It depends on how you define "new."

If you intend "new" to mean it is exclusive to the current administration, you are incorrect.
The magnetic field keeps the solar winds from stripping away atmosphere, that happens in appreciable amounts on a geological time scale.

It does offer some radiation protection too but it would take centuries with current technological means to raise the temperature enough on Mars to start a runaway greenhouse effect... as it stands now you'd basically have to go set up power plants on Mars then start producing greenhouse gasses from local materials, releasing them into the atmosphere, until you got that estimated 5C average temperature increase which would then start melting the polar caps' dry ice and water ice (as well as what is in the regolith all over the planet) and go runaway. At that point you'd be outpacing what the solar winds are peeling off the atmosphere (IIRC it's something like 100 grams a second which sounds like a lot but not on a planetary scale).
From what I've seen, a bit of reasonably mature humor seems acceptable, it's just multiple posts devoted to jokes derailing the conversation where it's frowned upon. I quite like this system, as it prevents Reddit-esque threads with the same tired memes being repeated back and forth ad nauseum, but still allows for a bit of levity to lighten the conversation and provide some mental refreshment.

And yes, I realize I just called a Monty Python and the Holy Grail reference mature.
What the Latest Mueller Indictment Reveals About WikiLeaks’ Ties to Russia
Rich roll podcast has a lot about WFPB diet. He’s a lawyer turned athlete so his discussions are pretty good.

I enjoy this one about the benefits of ketosis in a plant based diet with Dr Kahn: http://www.richroll.com/podcast/joel-kahn-349/
> At the end of December, Attia quietly resigned from the organization. Sources close to him say he was unhappy being a full-time fund-raiser; he wanted to get back to research.

What exactly makes him untrustworthy?
Or, you know, political reasons. This seems to be a motivator for myself and my peers in the Toronto scene.
Theorem 1 fails to specify what it means to "attack" the cryptosystem; it seems to deal only with complete plaintext recovery. It is possible that an attack can only recover a single bit of the plaintext, something which is not handled by the proof.

Definition 1 is not really a definition; in particular it would not be useful in a proof or logical argument. Likewise with Definition 2.

The authors claim that chosen plaintext attacks are not relevant; then they claim in Theorem 3 that their system is secure against CPA. Over and over in this paper the authors refer to the need to be CPA secure when the plaintext has "insufficient entropy" so it is hard to understand why they would claim CPA security is irrelevant.

The vector version of their scheme appears to be a lattice problem, but the authors do not discuss lattice attacks that might be used against their scheme. The authors state that it is "clear" that the security of the vector version follows from the same arguments used for the integer version.

In the "FHE" section the authors do not actually construct an FHE scheme; instead they have constructed some kind of garbled circuit scheme that uses the encryption schemes proposed in the paper. No proof of security is given for that garbling scheme.

For what it's worth, this is more or less what I would have written if I had to review this for a conference and I would give this paper a "strong reject" score.
Appreciate the info! That's a nice way to look at it
Worth noting that auto_ptr is decidedly not modern, it was deprecated in c++11 because it was error prone and replaced with C++11's unique_ptr (and shared_ptr/weak_ptr too sort of, although they have a different use case -- unique_ptr really is basically the same use case as auto_ptr).

I figure you didn't mean to call it out specifically and more meant general smart pointers, but just felt I'd let you know that searching for that terminology may lead you astray.
The problem is that any launch to Mars is going to be really expensive, even if you adopt the cheapest known means (currently owned by SpaceX).

It might be actually cheaper to solve ancillary problems and actually send humans one than say try 20 unmanned missions... With more benefits too.
> Intel thought that by just releasing a card with a bunch of Xeon cores

Atom cores, actually.

> This isn't unique to Intel either. I'm looking at you AMD. It wasn't until recently that rocm started picking up steam and amd realizing is important -- long after their Enterprise GPUs were out.

Between 2010 and 2016, AMD reverse-mortgaged their headquarters and fired roughly 20% of their staff. The highly successful "Small Cat" line of CPUs was cancelled (basis for PS4 / XBox One / and Laptops). There was a significant chance they'd go bankrupt.

AMD finally makes money these days, which is probably why ROCm is able to get the proper investments that it deserves. But yes, its way late. But their company definitely couldn't afford to compete against NVidia before Ryzen.
It is implemented behind a preferred ATM, IIRC
One-way property binding mechanism in Angular
Google Unveils Titan Security Key, a Yubico-Like Phishing Resistant 2FA Device
Not all bugs are worth fixing and that's okay
Dunno -- I'm still emotionally scarred from dealing with JIS, S-JIS, EUC, etc. in the early 90s. Anyone else remember Ken Lunde's fugu book....?
Get a video from the 1960s of people on a train in NYC.

Of course people don't interact on mass transit.

The media is different, it's a bit more interactive, but it really hasn't changed that much.

It has been a progression. More and more interaction has been mediated electronically, where it's been widely known since at least the 80's that interpersonal cues do not work in the same way. Of course non-interaction on mass transit is going to be a constant. It's socializing in the home, day to day, where things have changed.

Things have changed.
No, I meant to defend it.

I totally agree with Ryuichi here, too - poorly chosen soundtracks to public life can be grating and draining. My least favorite is the same classic rock or pop songs that we’ve all heard hundreds of times.

As an international music star for decades, he appears to live a rather first world life and is simply tending to the environment around him.
v1 is implemented but preffed off in Firefox, IIRC
Introducing Framer X – Interactive design for everyone
What are the contents of your crontab? Anything in the certbot logs?

What server software are you running?
IMHO the best emulation so far is the FPGASID (http://www.fpgasid.de/).
There are a number of YouTube videos where it is compared against the originals.
For those who want to try SPARK, we just launched an interactive learning website: https://learn.adacore.com
There are about a thousand things you use and benefit from everyday that were side effects of other research and spending (primarily military). But you take them for granted and so it is easy for you to make value judgments regarding how money is spent.
JR definitely produces different tickets depending on whether you used the machine in English or Japanese. (Or depending on what the station attendant thought would be most convenient for you; they can pick the output format and I've gotten both.)
Yes, it's useful for the problems that were around when it was invented and useless for the new problems that have arisen since.

I want my old problems back.
Effectively removing it. It has never been unflagged. Nice way to hide opinions.
You shouldn't treat a SOHO or home network, NAT or not, as secure. There are good reasons why we don't trust the network. Getting compromised is not an "if", it's a "when".
They have to get through customs and multi-mile stacks on the M20 even when empty returning from a delivery. If half a EU company's drivers are stuck in the UK for a day or week longer than intended the chaos will quickly spread far beyond just affecting UK exports only.

Given modern approaches to warehousing and logistics (see how quickly KFC completely fell apart when changing chicken supplier recently) there will be shortages and probably issues with fresh produce. If there are some shortages, any shortages, panic buying and last minute stockpiling will commence. Then there will soon be real shortages.
> We have already spent $500B on cancer research[1] and it hasn't cured

That's a pretty absolutist statement. We've spent more preventing murder, but murder still happens. We have developed many treatments for cancer that have added many quality life years for millions of people.
Hah... I remember I went to a tradeshow - I think it was the CeBit and can't remember the year, must've been before '93.

NeXT had a booth there and I remember asking the folks if it ran on Intel processors.

I distinctly the remember all the folks there laughing at me as if that was the most ridiculous thing they had ever heard and asking me to move right along.

Edit: Spelling.
Unfortunately, super plagues still have a chance to propagate and Mars (even more so Moon) still can be bombed in the course of WW3.

That is assuming the colony actually is reasonably self sustainable, which is quite a high bar.
I think it's very ridiculous to suggest that a company immediately replace a thousand-dollar product because an arbitrary link on the internet suggests there might be a problem, without making any sort of diagnostic effort first.

If there were a widespread problem with NFC, and a large pool of internet reportage on it, sure, assume the worst. But at this point, I've heard one report claiming there's an issue, and one comment here suggesting there might be an issue, and my own experience with no issues at all.
It was so coordinated, like a dance, is why.
A letter from an associate director of science at NASA in 1970 answering this question:
http://www.lettersofnote.com/2012/08/why-explore-space.html
In which case you are no longer talking about FHE. With FHE the server receives a ciphertext query and produces a ciphertext output, without ever seeing any plaintexts (not even the result of a reverse index query).
Note that this article is not really about RNGs themselves, but mostly how to use one to generate an unbiased number within a given range from a "raw" RNG output which typically generates a stream of 32 or 64bit integers.

Regarding the performance of RNGs themselves it's mostly bound by how "random" your want your NG to be. If you don't really care about quality and need very good performance, for instance to procedurally generate assets in a videogame, there are extremely fast and somewhat decent PRNGs out there, such as XorShift. Of course you won't use that to generate PGP keys...
The tangible benefits of research in space exploration are real and benefit us all. This infographic describes a list of products who's foundation was based on NASA research. https://www.jpl.nasa.gov/infographics/infographic.view.php?i...
Now SD cards are a security vulnerability? You sound ridiculous.
I'm sure he takes his dog to "dog care" every day, where it's played with constantly (not caged). He would never leave his dog alone in his 500 square foot apartment all day, barking it's loneliness to the delight of his neighbors.

While such dog care can be very expensive, he sacrifices that money even more gladly than a mother would for her child's care. This is what he implies with his statement, and I see no reason he would lie to us.
It seems to be related to some of the methodology used in the study. Apparently it ignores some things?
So apparently a misguided dependency on an obsolete version of a web framework that uses a dodgy polyfill on some browsers is now proof of a dark conspiracy since browsers won't have the same performance.

This a good discovery and certainly an unfortunate result, but do people not know how web development works? Mistakes like this do happen (though usually with less severe consequences).
There are no big companies in Toronto that have tech jobs. Google, Facebook, Airbnb, Uber, etc. don't have tech jobs in Toronto. Amazon just started adding tech jobs in Toronto in the past maybe year or two and Shopify is the only exception to this rule.

If any toronto natives know of some big companies in Toronto with tech jobs please prove me wrong.
You don't need to live downtown. I commute via car from Port Credit where I have an $850/mo bachelor apartment and work at Queen and Bathurst.
It could not save "all of humanity". Humanity would be down there on Earth dying. In the end who you would save would again be individuals -- a few people on the moon. The question is could you save more people in space in a hypothetical end of world scenario than you could people on Earth dying in a very real scenario today.
The modulo approach is biased for all ranges which don't divide the full range but only a small amount of bias at small ranges rather than a large amount of bias at large ranges.