skysight-inc/HackerNews huggingface dataset:
This is not about censoring or discouraging criticism. Often criticism is fair and warranted.

I just want positive comments to appear as the top comment more often.

Negative commenta should have a bit of a higher bar (in other words, need more votes) to get to the top
a fictional story of gay syrian girl prosecuted by syrian government, a similar propaganda to demonize syrian government and promote US imperialist foreign policy

https://en.wikipedia.org/wiki/A_Gay_Girl_In_Damascus

what's missing from article is the IP address of the account used by creator of this fictional girl is from Virginia, USA
Internet access should be a public utility.
Have someone already tried the course? Is it complex enough?
Meditation can go hand in hand with space exploration.

Besides that, Musk is doing two things at the same time. He tries both to protect the earth (Tesla, solar power), and initiate a base in case something happened to our home.

Spirituality alone won't help you survive winter, regardless of how developed your mind is.
uh... that is the point. how do you build the future? you let someone else do it, and shylock a percentage.
I actually think this underscores the importance of doing what he is doing. If he were delivering some address about optimizing mobile websites for mobile, you wouldn't have had those questions. That market is incredibly saturated, with lots of expertise, a well-defined pecking order of companies and celebrities, and filling a packed house just with very competent and technical people would be a breeze.

But how many people do you know ACTUALLY working in Aerospace tech? For better or worse, that constituency is what today probably makes up a good chunk of people caring about this space, which just goes to show how little it is compared to what it probably SHOULD be.

I had some of the same reaction when I went to a lecture at NYU Law on interplanetary legal issues. There was the same mix of people with genuinely interesting and thoughtful questions, and people who I'm pretty sure did not know what Apollo was.

This kind of outreach is one of the many things to admire about Elon's work. Yes, he's kinda dorky and often touts timelines that are woefully inaccurate, but boy, does he get people fired up!

Just a pretty clear example: Yes, the audience there had some pretty awful questions, but think about the debate that the SpaceX telecast alone helped spur on HN!!! Yes, a lot of that audience was pretty unhelpful, but I think that especially by doing things like this, Elon is helping the proportion of those people diminish significantly.
Thus put them into a position where political savviness will be of no use. :-)
Raymond Hettinger highlighted the community aspect for languages very well in this keynote: https://www.youtube.com/watch?v=b_pTxGu2L04&feature=youtu.be... - he of course talks about Python, but the principles apply to any language or ecosystem.
Which immediately suggests a way to help with the Mars plan - in the time SpaceX and (hopefully) others are building the transportation architecture, someone should go out there and try to set up a self-sustaining colony on the pole or in the middle of a desert. Data and experience collected will be invaluable and directly useful for the Mars mission.
How Do London's Buses Get Their Numbers?
I don't think it's impossible. It does take consistent investment, and consistently not screwing things up. Between Windows Phone 8.1 and Windows Mobile 10, Microsoft decided that 'one Windows platform' was more important than a dedicated mobile team, and as a result, Windows Mobile 10 arrived several months late and without polish. Their hardware refresh (Lumia 950, Lumia 550, etc) was held up waiting for the software and as a result, they lost momentum. Additionally, promised upgradability from 8.1 devices to Windows 10 came with a lot of caveats.

A great Windows Phone 10 launch would not have put them in the top two, but it may have solidified them as a third platform.
I think it just comes with the type of person who fits the programmer stereotype. I don't think being cynical makes one a better programmer.
Meaning what, that this guy is attempting something amazing but people like him too much so you need to be disproportionately negative to compensate?
Btw, the blockchain in question is Ethereum. Source: https://twitter.com/HiroMarleyG/status/780713683022442496
> Rich people remaking society in their own image wasn't exactly the space dream I grew up with.

It wasn't the "earth dream" I grew up with either, and yet, here we are.
Just pass a few laws. Outlaw the First Amendment, so people can't spread these dangerous ideas. Put people like yourself in charge of 1st world nations. Then confiscate the wealth of anyone who attempts travel to Mars. Anyone who attempts this dangerous idea in secret would be locked up, of course.

I'm sure you have it all figured out.
Java: The No. 1 Platform for IoT Development
I'm sure this one is a bit old (and incomplete besides), but matches my understanding:

http://searchaws.techtarget.com/IBMSoftLayer/Adding-Up-the-P...

tl;dr: bare metal 2.5x faster for 1/2 the price.
Rewriting Django class-based views

Has caused such pain

Why am I doing this again?
And yet there will be many capable people lining up for a suicide mission to Mars if that's what it comes to. Not just to be the first, but so that their potential sacrifice will change the future of humanity.

My lack of skills necessary as a programmer to help, and my health issues mean that I can't really do anything but cheer from the sidelines. There will be mistakes, but sometimes you have to jump into the river with both feet if you wish to cross.
Given how much they stand to lose if YouTube loses its position, it can't be. It's like Nintendo's LP policy: they're literally throwing away money.
What, you've never heard of H. Ross Perot?
I think this will come eventually. Ultimately I think they want to use the blockchain concept in order to make settlement easier. Ideally this should mean that a bank's retail and commercial customers should never know that settlement is taking place using a blockchain. Though there's always exceptions.

Bitcoin delivers value in that its blockchain is secured by mutual participation among miners, exchanges, buyers and sellers, etc. All of these new commercial, independent "blockchain technology" buzzword press releases can only succeed if they can attract and sustain a critical mass of participants who have mutual interest in its success. It's not for me to say that they can't do that, I'm sure they can. But there will be many offerings over the next few years before a VHS/Beta or HD-DVD/BluRay battle of titans can emerge.

EDIT: disregard most of this, according to comments elsewhere they're using Ethereum. shrug

EDIT: re-regard most of this, apparently it's a private instance of Ethereum (IMO this is similar to Bitcoin's same-PoW altcoins).
HN achieves excellent S/N, even with some negativity. It's run very, very well. I go back to USENET and pre-internet fora. In some cases it was impossible to have intelligent conversations because six users "owned" the list. Nah, this is really good. Negativity and all. I've run into moderators a few times and, in retrospect, it's always fair and justified.
Musk has a, let's say, assorted fan base. Lots of, let's say, unusual personalities tend to come to his shindigs.
Not yet, although that is apparently the plan. If someone argued that it should be entirely privately funded, I'd be fairly sympathetic, although I don't agree.

(It is indirectly funded through some tax dollars with things like their ISS resupply missions, but that's money the company would get with or without a Mars plan, and could easily just take as profit instead.)
The goal is to maximize re-use in order to minimize cost, for a tanker to fuel a tanker in orbit you'd need two tankers. So 1 booster + 1 transporter + 1 tanker, vs. 1 booster + 1 transporter + 2 tankers. If the trip takes 100 days, adding 3 weeks is 20% longer, and you might get it 20% cheaper by saving one spacecraft ... I can see it going either way.
Little wonder everything they do for you is becoming more expensive.

Fair warning: This is a political opinion, but without a tight feedback loop with executive command and a diffusion of power, you are asking for corruption when you spread out responsibility and incentives to too many actors. It becomes like two horses pulling the cart both left and right, you shall inevitably end up in a ditch.

Judging from how the Russians took the chance on Crimea and the Chinese snubbed Obama recently, they think that there is a lack of rulership.
Finance, QA, permie, 5 yrs exp., 56k + ~10k bonus.

I've been longing to go contracting in the last few months, but judging by the sentiment on this thread, it doesn't look like it's a wise choice.
This is a great point. And for convenience, the price you pay is your privacy. Today, anyone is capable of communicating via encrypted email. You can use OpenPGP with an email client, for example.
Don't worry. If anything, space will become the graveyard for the rich and powerful once they realize how poorly the human body fares in high-radiation, low gravity environments.
Blog post says it launched for Chinese/English.
It's a mixed bag. Not hiring good engineers will, ceteris paribus, give bad engineers more chances to luck through your interview process.

IMO, the key thing is that interviews are designed to give political cover for the interviewers to make the hire. If and when bad hires happen, the interviewer can say that their process was technically challenging, even if it did end up rejecting someone like Brendan Eich and passing someone who put 200 hours into Cracking the Coding Interview.
I agree. I also noted in another comment that these things aren't mutually exclusive. Rather than "why try any of these things?", we should ask "why not try all?"
Facebook Says Suspension of Libertarian Groups Was an “Error”
International law (i.e. the Outer Space Treaty[1]) does not cease to apply in the event that it's a corporation that does the exploring.

[1]: https://en.wikisource.org/wiki/Outer_Space_Treaty_of_1967#Ar...
This (almost) as accurately describes the Apollo program. Are you saying we should not have gone to the moon?

*There's criticism: "Maybe it would work better with Type A rather than Type B"
and there's _criticism_: "Thats stupid and you are stupid for thinking its not stupid"
Juxtapose this desire against the fact this is in reply to a user named "goatlover" and it's hard not to laugh.
> Any time any single person does something positive, some armchair "expert" comes out the woodworks to tell you how it won't work or can't work.

All public forums go bad once they reach a certain size. Since everything is on a gaussian curve (fat mediocre middle, and two asymptotes, one for greatness, the other for the opposite end), it's just pure statistics that junk comments will start creeping in once the population grows beyond a certain threshold.
And if someone would like to post those criticisms in an intelligent fashion, I would welcome them. I have nothing against contrary views, I only dislike contrary views presented purely for the sake of being contrary and with nothing interesting presented.
Underwater colonies are more viable and habitable than mars.
Bike shedding.
Having a sustainable transport scheme is a necessity in moving to Mars. I don't think anyone is naive enough to think that in practice transport is the hardest problem. But it's psychologically important - without transport there is nowhere to go. Either we become multiplanetary or not - I don't know - but if we become multiplanetary then transport is a necessary step. Building the transport scheme from economically self sustaining processes is only for the better for the robustness of it.

The fact that something is marketed does not diminish the utility of a thing.
Perfect for my new HackMUD habit!
Feel free to explain it to me, as I consider people to be individual actors who are not subject to mental control
I'm not sure I'd say most anymore. Ten years ago that was the case, but not anymore. People are just use to the idea of CVTs.

A few have the option for virtual gears or a manual shift mode, but default to normal CVT behavior. But there are several that have no option for shifting beyond normal and "low" gearing for engine braking, just like traditional automatics.
I fully understand the complaint. I also understand that this is not up to you to decide.

It is not up to you to decide other people's and teams' workflows. It is not up to you to decide what is or isn't harmful in the context of another team. And it is certainly not up to you to decide that GitHub shouldn't provide features their paying customers are asking for, because of concerns of a completely different context and workflow.

I appreciate that you are more than familiar with git, but that doesn't give you free reign to decide what is and isn't an antipattern for other people. In fact, you should understand far better than the average HN user just how absurd your reasoning is if you'd step back from it a little.

What you call antipattern, a lot of people call feature. If GitHub now clashes with you on a philosophical level, consider moving to GitLab (oh, wait, GL has supported this and far worse for a far longer time).

The developers using rebase flows do not affect your life. They do not affect your work. They, and their "antipatterns", are as harmful to you as an iOS user is to an Android one. And your merge flow does not affect me. What does affect me is reading constant unwarranted negativity on Hacker News, a community where my expectations have so far been above those of reddit's unending stream of cynicism. And it bugs me far, far more that this has been your reaction to a company listening to its customer base, than you or I could ever care about deciding what flow is or isn't an antipattern.

Bloody hell.
> It has been really difficult to come up with questions that don't end up turning into "guess my magic answer".

Yeah, that's a really hard thing to do. I try to think of many solutions to the problem I'm giving ahead of time, but that takes a lot of time and I know I'm not going get each one.
I guess I was grading on a curve when I said "very secure".
That presumes that the negative comments are always the ones derailing the discussion. For example:

"I think these questions at IAC are great, it's good that people get a chance to <self promote thing> at a technical conference"

"Wtf is with these stupid questions at IAC? They should be asking about <fascinating technical detail>"
Being cynical comes with experience. You get exposed to tons of ideas and hype over time. Some of it is warranted, and some of it isn't. You realize that marketing and lowest common denominator play a big role.
Thanks for clarifying "white-box testing".

Some comments:

* the operations in the mathematical spec are mostly well defined, but e.g. division by zero is not defined. However, the verification handles this by checking that all operations are well-defined on all possible inputs.

* yes, identifying the "edge cases" is not something you can do easily, and hard to make formal. In some sense, the fact the non-edge-case inputs are treated in a uniform way is probably what allows the verification to succeed at all.

* a short summary of the answer you already found in the third blog post: what we actually verify is the LLVM assembly that Clang produces when compiling the C program. Much of the potentially undefined behavior in a C program is translated away by the compiler on the way to LLVM assembly. For any potential undefined behavior that remains in the LLVM assembly, the verification checks that it cannot happen at runtime.
I agree, if this turns out to be a historic announcement, this Q&A will definitely not make humanity look very intelligent to future viewers.

I guess the reason for inviting non-technical press (and being so patient with their silly questions) is to get access to a non-technical audience. Like he said, part of the challenge is to get more people to want to go to Mars (maybe not personally, but as a species), so appealing to people of all sorts, not just people to who read science & engineering reporting, would contribute to that. My best guess, but still, wow, at those questions.
> Use Google if it's so damn inconvenient for you.

Having to look it up is the inconvenience.
I think funding mass media is less interesting than finding a way to have sustainable investigative journalism, both at the local and national levels. Investigative journalism, especially at the local level, has been hit hard by local newspapers getting shut down and the media forced to either pull out of unprofitable areas or focus on money-making ventures. Most media outlets are not the New York Times or Washington Post; they can't afford to send reporters out for months to put together enough evidence to run a long-form story. The end result though is that most media outlets focus on what attracts viewers and makes them money: partisan commentary, stories that spread FUD, and feel-good stories. The end result is that government and business officials can run amok without anyone holding them accountable.

Let mass media focus on general-interest stories and slowly become reality TV for reality. If we instead focus on investigative journalism, we'll have a way for journalists to provide unbiased content without depending on the mass media to provide the funding to do so.
Bad hires are not disastrous unless new people are put in charge of critical projects. I continue to take chances on people who might not workout - sure I fire a lot (never fun), but I have also found amazing people that are overlooked by everyone else.
Farming is an interesting one, particularly with regards to the quoted statistic of 40%.

From a technological perspective this has already been largely solved. Developed countries typically have 1-3% of the population working in agriculture. This is only possible because of large scale efficiencies, that allow 1-3% of the population to feed the rest.

So am genuinely curious: what are you envisaging? How to market this technology to the world or make it more accessible? Or make agriculture even more efficient and even further reduce the number of people in farming?
I think it's the opposite trend actually over the last two years. HN has become a lot more positive. Frankly I think it's reduced discussion quality a lot; people are unwilling to be frank and point out flaws.
For the record, we already do this on a surprisingly regular basis in the developed world. It's called preimplantation genetic diagnostics and is a relatively cheap addition to regular IVF since companies like Counsyl and Qwest have sub-$1000 genetic tests for thousands of genetic factors. Gender selection is already easily done and some Jewish communities have had great success eliminating Tay-Sachs this way. It's "only" a matter of identifying the genes responsible for the characteristics you desire but you may never be able to select 100% of the traits you want if you're trying to select for many of them at the same time. It's not useful for top to bottom designer babies since the probabilities of getting the right mutations and chromosomal combinations is nearly infinitesimal.

I have yet to hear any loud controversy regarding PDG IVF so I think it's one of those situations where genetic engineering will slowly creep up on society and by the time we have a public debate about the ethics it'll be way too late.
I'm not saying "don't try", I'm just saying "I think what you are attempting is foolish and that you are just going to kill a bunch of people", that's all. I can express an opinion about a potentially deadly venture, can't I?
> Given that, I would expect employers to pay particular attention to putting their best foot forward in interviews

"Best" (in doing interviews) is not a criterion that lies on an ordinal scale, but is a multicriterial property.
Where the hell did they get this audience from? Is this hosted on a frat house with some academic invites?

The announcement was held at the "International Astronautical Congress". "The IAC is attended by the agency heads and senior executives of the world's space agencies." [1]

[0] http://www.iac2016.org/

[1] https://en.wikipedia.org/wiki/International_Astronautical_Co...
Liz:

I'm sorry. You have a problem with the science of Hot Tub Time Machine?

Wesley Snipes:

Yeah, not the time travel. It's the hot tub. You don't just turn one on and it's immediately hot. I should know, I've been in a hot tub two times.
YouTube-MP3 Ripping Site Sued by IFPI, RIAA and BPI
Also keep in mind that almost no-one is using edge: 4 till 5% browser market share (depending on the source used for such data). Whereas Chrome has a 25-35% market share (again, depending on source). It's just plain obvious that people don't want to put in a lot of effort to find a vulnerability as their target audience/ ROI is only so little...
I'm not sure the premise is correct. Why can't it be coincidence?
Strange Dark Galaxy Puzzles Astrophysicists
How do you pay for the audits without a conflict of interest? Unless it is crowdfunded in some way, the auditors would have incentives to not find anything.
Decentralized Ticket Issuing Platform and Resale Market
This is a fun read on that topic http://multivax.com/last_question.html
One feature I'm loving in the new Azure CLI is a new command (`az ad sp create-for-rbac`) that will create a new Service Principal and grant it a RBAC Role assignment in a single shot. It should make the first step of setting up CI/CD scenarios a bit easier.
How is an opinion dictating anything other than expressing someone's skepticism?
Bingo! Aside from his dot-com successes, his other ventures are still in the early stages with uncertain futures. History could prove him a visionary or merely foolhardy. I don't get the hero-worship.
One smaller but related effort in that direction is the year-long Mars habitat simulation in Hawaii that concluded a month ago: http://www.npr.org/sections/thetwo-way/2016/08/29/491794937/...
Merrill Lynch Sold Some Stocks Too Fast
Interesting, Brave browser blocks this method.
Visual «proofs» are dangerous. Counter-example: Missing square puzzle: https://en.wikipedia.org/wiki/Missing_square_puzzle
Personally I don't have any experience with working with neither of AWS,Azure,GCP,etc.

But I am so curious to know how people who have worked with them find them? Which one is better ? What is advantage of each one?

I couldn't find any useful information in web either.

Update: I am familiar with basic stuff. But I am so curious about heavy load, for example why Spotify chose gcp or etc. Was there technical reason or it was preference.
Get yourself a big computer screen instead? That's what I use.
The policy wasn't universally mocked. Maybe you're in some specific subcommunity, but browse around a little. The opinion I heard most was that the policy is understandable (there is such a thing as advertiser-unfriendly content) but people want more transparency from YouTube so they can work the system effectively.
You want a free-as-in-freedom portable device so you can play a closed source Microsoft product?
The chicken on his shoulder is not lending much credibility either.

However, 'some guy' is perfectly fine if the idea is good. One would think that DARPA would be very interested in throwing some money at this idea, if it was a good one. While they are funding electric airplane research, it appears that they are not funding this. Ergo ...
> Stopped reading after no transactions

Ironically, back in the day, the core MySQL team argued that was a feature, not a bug.
Do you find that having so much positivity in your retros silences voices that might be going against the status quo? Serious question.

We've been struggling in our recent retros to find any negatives to talk about, and I've been trying to make sure we're not averse to making suggestions that might feel like complaints.
SpaceX successfully tests Raptor engine it plans to send to Mars
tldr; Author doesn't like writing in javascript and fears that Facebook may some day decide to stop supporting React Native.