skysight-inc/HackerNews huggingface dataset:
I don't agree at all.

Let's be honest about why conservatives have this "healthy skepticism": because the fossil-fuel industry has successfully linked belief in anthropogenic global warming with liberalism. It's a correct association to some degree in that part of the solution would mean more regulation of business, but the value of such an association is that it becomes an us-versus-them situation. You don't have to understand it to disagree with it. And to be quite frank, that's the case - the majority of people who hold a disbelief in climate change are ignorant of the basic premise. In fairness, the majority of people who hold a belief in climate change are also ignorant of the basic premise. This is because, as mentioned above, it's no longer a scientific issue in the mainstream view, it's a political one.

Anecdotally, every "skeptic" I've ever met has used arguments to justify their disbelief such as:

- "scientists are not always right"
- "the climate changes all the time"
- "the Earth is so big, how could we have any effect"
- "if global warming is happening then how come it's so cold"
- "CO2 rises and falls regularly"

...and on and on. These are not examples of "healthy skepticism", they are examples of ignorance. It's ludicrous to think that I could hold a "healthy skepticism" on the efficacy of heart transplants when I don't know the first thing about human anatomy, biology or medicine, but this is exactly what is happening with an equally complex scientific issue.

I will treat an informed dissent respectfully, but let's not shit ourselves about how many opinions meet that bar.
Pokémon no-go: game's exercise effects short-lived in most players
Earth saving technology is developed and pioneered in space exploration so... yeah, Mars.
Conservatism could potentially be a red herring here, with the underlying colluding factor here being age. The older generations of Americans have seen amazing feats of scientific analysis and engineering since WWII and the proceeding decades of booming innovation, typically unparalleled by other nations that eventually came to assimilate technologies born out of US-led wartime R&D. Iron-clad theories of physics and chemistry were refined during these times and tested for durability with rigorous predictive precision and straightforward practical applications.

The older American worldview of science is nostalgic for an era of unprecedented modeling accuracy that gave a compact summary of how the near-atomic world worked, consequently fueling a backlash against the rise of disciplines that intend to study far more complex systems albeit with the inability to perform experiments in the fashion of the basic sciences.

Nutrition, psychology, economics, and climate research all tout the banner of at least using some parts of the scientific method, which to those Americans who have been spoiled by the awesome forecasting of more reductive studies, are left to question the legitimacy of fields that fundamentally cannot perform experiments with the same exacting repeatability and direct hypothesis testability that was so blazing branded into the public zeitgeist for what American STEM should be capable of accomplishing.

In addition, given that at least the first three of those disciples mentioned above are notoriously abused in the US by governments and corporations as retroactive justifications for legal, social, and economic policies by paying for expert testimony and directly funding questionable studies on condition of flattering results, it is extremely hard for the American public to trust any hard-to-swallow policy-advocating scientific communities without (ir)rational skepticism.

Americans dealing with science are like romantically-oblivious nerds dealing with a heart-wrenching series of rejections and betrayals. If as a scientist you want to court these delicate creatures, please proceed with gentle and loving care building trust and helping them heal from the toxic relationships that soured their faith in domain experts. Denigrading them that they should just get over the past already and put their faith in the absolute consensus of the world is truly not helpful.
How do I become a first-time conference speaker?
Say you have a house, you've owned it for 40 years. Winter and summer comes and goes, the house warms up and cools down regularly. To argue by analogy, you are then saying that the acute changes a human occupant could make to that environment are irrelevant as the seasons will still come and go? It's ridiculous.

Humans can affect the global habitat. The short-term extreme changes we are making via industry can easily overcome the slow long-term natural changes.

If you light a fire in your living room during the winter, it heats your house up. derp.
While conventional C++ is a vast improvement in memory safety, it does not, at the moment, fully address the problem. Complete memory safety may be achieved if/when the "Core Guidelines Lifetime Checker"[1] is completed, but in the mean time SaferCPlusPlus[2] can be used to achieve memory safety. SaferCPlusPlus can, of course, be used with C code as well (if you're willing to use a C++ compiler), but will typically be slower than with the corresponding C++ code.

[1] https://blogs.msdn.microsoft.com/vcblog/2016/03/31/c-core-gu...

[2] shameless plug: https://github.com/duneroadrunner/SaferCPlusPlus
Even if humans cannot affect change in the climate, we are still going to need to prepare for that change. investing in renewables etc affects much more than climate. Good investments for the future tend to overlap with solutions to human-driven climate change.
Because then it would be Django-specific.

There are a few approaches that would work better for specific environments. I could make a gigantic Bloom filter for example, with lookup functions in a few languages.

But my goal was to make something that any programmer could use in any environment. Substring searching is a basic programming skill and just about everything supports it. (COBOL74 needs external functions to do it.)
They do if you don't strip the results before publishing, which seems to be what happened here.
I guess I phrased that wrong - I think server candidates should know vi or emacs. No need for both.
Show HN: Paperdocs, better documentation for the web
Delivery vehicles that can be replaced by drones are what, 0.1% to 1% of all vehicles maybe? So you'll have both the same car traffic and the noise from drones ;-)
There is no speed advantage. The anecdotal evidence saying otherwise has nothing to do with the layout, but with the effort put into learning to type properly. The rest is confirmation bias.
Author here, I have been struggling for long time to get decent documentation across devices so I decided to get the best I had, improve it, package it and release it. Please let me know what you think and what is missing for your documentation needs.
I'm not sure the evidence suggests that price is the limiting factor for EV adoption.

http://insideevs.com/monthly-plug-in-sales-scorecard/

The best selling EV is also one of the more expensive options. As is the third best selling. And there are lots of BMWs selling as many units as Fiats and Kias.

The current market for EVs seems to be full of luxury or image-conscious buyers. Probably due to other factors that limit EV adoption, like needing to own a garage with a charger.
So according to google a 747 can through 36,000 gallons of fuel in a 10 hour trip. Being conservative and you only need half as much for 2 engines at full throttle, that means that you would need ~40K gallons of fuel a day?

Google tells me that jet fuel ranges from $4-$8 a gallon, therefore the operating costs for a single truck is around a quarter million dollars a day ($250,000)? Even if the operating cost is only 1/5 of this ($50,000 a day), that's 20 million dollars a year in fuel costs.

If India has 20 million a year to spend on fuel for this contraption, why wouldn't they just spend that money to clean up the power plants instead?

My guess is that the operating costs of this terrible idea are so large, they would hardly ever turn it on. I agree that this seems like a PR stunt rather than a real idea.
How Fake Is Fake News? We Need a Rating System
I'd guess that the airflow through the engine is greater than the output of the chimney. So if you put it directly over the chimney, it'd draw more from the chimney than the power plant is designed for, throwing off efficiency. With the jet away from the chimney, it will naturally draw from surrounding air without messing up the exhaust flow.
There are already ongoing efforts that are trying to get rid of that dependency too:

- https://github.com/kelseyhightower/cri-o-tutorial

- Mesos already has something called UCR that allows one to run docker images minus the dependency on the docker runtime. (http://mesos.apache.org/documentation/latest/mesos-container...)

Disclaimer: I work at Mesosphere on Mesos.
Selling votes is obviously a problem, but more practically, is it even possible to make something possible to sell publicly, but impossible to sell secretly?
It has to slide (more like roll along) before it can float, doesn't it? It doesn't take off like a chopper, you know?
But they do not, in general, use professional journalists who record footage using cell phones.

If you get a good angle of the Trump assassination you can record it on whatever device you want and people will want it. If you're recording interviews with civilians while nobody's being bombed or shot at, they'll want reasonably professional looking footage.
They were probably using Eye-Fi SD cards. Didn't the cards send your data through a third-party server? I think they cards are now obsolete or unsupported.
It seemed like a sarcastic comment to me. Why would that ever be used?
I have a plug-in electric leaf blower, and it is very loud. Enough that I'm self conscious about using it, unless there is other noise around to drown it out.
Except that this isn't the Government doing anything - it's an externality of industry operating in the area. The Government would have to do something to prevent people from seeing the issue, which is the moral opposite of what you're suggesting - it's the Government tricking people into failing to see the results of industry.
Metric and Log Monitoring: Do You Really Need Both?
Ask HN: Does anyone still use RSS readers?
SQLite virtual tables for git would be phenomenal - you could join your git history against data from other sources! And you wouldn't need to run a huge MySQL/Postgres server process to do it.

A very cursory search suggests no one has built this yet.
The first link in the post is a 404 for me: https://coq.inria.fr/coq-86
I found that it was possible to retain two layouts when switching, but at the expense of efficiency. I could not make significant progress until I abandoned any effort to retain my former layout. Having switched three times now, I found this to be the case every time. I'm up in the 120s at this point.
Check out textacy, a higher-level text library built on top of spaCy, for better keywords extraction:

https://github.com/chartbeat-labs/textacy

https://textacy.readthedocs.io/en/latest/api_reference.html#...
s/asshole/volunteer pentester/
Wow, seriously Microsoft? How the hell do you create a dependency chain where one service bug knocks out another service that's critical for daily use? Reboots should frankly be unacceptable, right up there with re-installing the OS. This is the general problem with a lot of today's software (barring OSS stuff). No company gives you a stable, reliable point where you can just use their tools for what they are intended. Every company wants you on their update treadmill and you're forced to use some horrendous UX that some designer thought up while eating a granola bar during their 14 hour work week /s. The only solution that I've found to get a reliable system is to avoid web apps like the plague, disable updates on the OS and all installed software. Don't update unless you have to.
Globular: graphical theorem prover for higher categories
They forgot to run the notebook before uploading the file to github, so there are no results. What a shame.

Anyway, this is the 2nd part of a 3 part tutorial. Full setup instructions and the 2 other parts are available here: https://github.com/cytora/pycon-nlp-in-10-lines
The genitalia.
Thanks for the link, that's a pretty neat project.

I'm not a huge fan of Docker's runtime because it tends to be rather sluggish. I haven't used it in quite a while, though.
http://science.sciencemag.org/content/352/6281/aac7341.full....
I've always wondered how much that brought in, and how much they depended on it. AMD (ATI) have been in every Nintendo console since Gamecube until now (but not Switch), and they also were in the Xbox 360.
Application Security and Software Development: Quick Answers
Writing Declaration Files for @types
cheap is relative right? I mean a multiplication can be spread over shift and add/sub instructions whereas a mask is just one instruction I think right?
You've seen Sociology textbooks? Guilty as charged.

I don't mind people doing this at a private university, but I think it questionable that we accept this at public universities. Imagine most economic programs were taught by Moldbug about Ludwig von Mises's doctrines.
> You shouldn't just take one currency. You should take in as many currencies as you can understand.

This is a business feature request.

The "Being liberal about what you accept" is a technical guideline for protocol/format design and input processing/sanitation. Don't apply that rule to feature requests, it's not meant for that :(
I switched in college to Colemak when I wanted to learn how to properly touch type. Turns out that unlearning a weird QWERTY typing style developed to talk shit during Age of Empires 2 games as a kid.. is hard. While trying to learn QWERTY proper I also got frustrated by how inconvenient it felt. So I did some research and decided that it was the perfect opportunity to try a different layout.

If you already touch type quickly on QWERTY, I only think it would be worth it if you wanted to potentially help with RSI.. although I'd try an ergonomic keyboard first.
any reason to prefer Coq to Agda? And remind me what is the advantage over Haskell?
>If an organization is in a position to confiscate the camera from a journalist, they're almost certainly ALSO in a position to extract the encryption password from the journalist.

Usually its not even that. "Authorities" almost always simply destroy everything if there's even a hint of suspicion that something they didn't want filmed was. Having the camera be encrypted would simply guarantee that everything was trashed no matter the contents.

As mentioned, a "satellite camera" that transmitted all pictures somewhere else and stored nothing is a much more worthwhile goal.
The FSF has a list of community-nominated High Priority Projects, but GNUpg isn't among them.[0] They have their own struggle to raise money each year, so it's hard for them to support every worthy project.

[0] http://www.fsf.org/campaigns/priority-projects/
If the robocab revolution happens, a lean ride broker where local community pools can offer spare capacity, within well defined availability goals for their members could be the Uber killer. Or Uber itself could be exactly that, given their roots in the claim that their drivers were not taxi operators but just ordinary people who occasionally give someone a lift for money in the cars they own primarily for personal use.
Ride Fair Wants to Make It Easy to Compare Uber and Lyft Prices
The Shanghai Maglev isn't much more than a novelty at this point. Originally it was a somewhat useful way to travel to the airport instead of a bus, but now that the metro runs there that seems to be the better option (you don't have to deal with the maglev transfer or with buying another ticket). They had planned to extend it to Hangzhou, but the high speed rail between Shanghai and Hangzhou ended those plans.
M Suggestions Laying Groundwork for More AI in Messenger
Nanobox – A micro-platform for devs – Introduction and Demo
Such an organization might investigate the use of stored tokens so that all users don't have to be authenticated simultaneously.
A lot of traffic jams are so called shockwave/phantom traffic jams and a lot of other ones are where lanes have to merge in each other. Those could be avoided with self driving cars. Maybe in the beginning they will be too cautious for that, but after some time and experience, I'm sure these optimizations will be implemented.

It may not make the traffic in downtown SF faster, but it sure will make the traffic on the 101 from SF to San Jose faster. And good luck walking that.
Have you ever messed with a friend by locking out their phone?

I was specifically addressing the DoS vulnerability of locking an organization out en masse by taking advantage of account lockout or timeout policy. A list of emails and a six line script could take a whole company offline.

MFA can be used to address that by requiring pre-auth before you can enter a password.
If your code is bad, then there's risk of making security vulnerabilities more visible. Not that that's a good reason to avoid open sourcing, but it's a reason.
It is colossally stupid to do this jet engine experiment rather than spend their $20 million on, say, preventing the city's poor from burning trash.

But why address the root cause of a problem when you can treat the symptom in an extremely stupid, expensive, and temporary way?
Nginx v1.11.7 Released
We can tolerate errors in banking that we cannot in voting. Banking can be good enough, voting must be trusted to the most absolute degree.
Ah yep, I forgot about that one which is normally the stream source on a youtube video. This is the additional global rule I use:

* googlevideo.com * allow
*) Change: now in case of a client certificate verification error the
$ssl_client_verify variable contains a string with the failure
reason, for example, "FAILED:certificate has expired".

*) Feature: the $ssl_ciphers, $ssl_curves, $ssl_client_v_start,
$ssl_client_v_end, and $ssl_client_v_remain variables.

*) Feature: the "volatile" parameter of the "map" directive.

*) Bugfix: dependencies specified for a module were ignored while
building dynamic modules.

*) Bugfix: when using HTTP/2 and the "limit_req" or "auth_request"
directives client request body might be corrupted; the bug had
appeared in 1.11.0.

*) Bugfix: a segmentation fault might occur in a worker process when
using HTTP/2; the bug had appeared in 1.11.3.

*) Bugfix: in the ngx_http_mp4_module.
Thanks to Congcong Hu.

*) Bugfix: in the ngx_http_perl_module.
I was also an AMD fan back in the day. I'm due for a new system, and I'm eagerly waiting for Zen reviews. If it hold up, I'll happily buy one.
Why Thailand Should Worry About an Improved(?) Computer Crime Act
Which is also a good reason to open your code and let those that know better help you fix it.
Kudos to them. Compared to the web it's rather cumbersome to poke into packaged and released mobile apps, so I really appreciate access to the source of a real world app for learning and comparison.

The Android codebase looks very modern and well structured. I think it makes great use of many of the goodies (gradle, rxjava, retrofit, dagger, android support lib, ...) and learnings (bring your own MV*; use Fragments when you need them, stick to Activities if you can) that is state of the art in Android development.
I think it's a great thing to skim through if you are interested in developing for Android or to compare it to you own app.

I can only assume that the same is true for I iOS. I'll certainly check it out should I start developing for that platform.
I do!

If you are making something that would make sense to include an rss feed, please include an rss feed.

Rss is great!

Edit:
It is a standard useful format for a common purpose/use.

You know every irritating thing that some websites with their own dashboard feed system thing do, like rearranging the order of things, or only showing the things that /they/ think are important, and ignoring user stated preferences?

With rss you don't have those problems.

Rss respects user choice.

It allows users to follow their stated preferences, instead of what the website thinks are their revealed preferences.
Seems you're right. I could have sworn there were personal attacks. Guess my memory is faulty. I put a note in my comment to reflect that.

I think it was jackassery to presume the ability to use the name Standard Markdown without affermative consent from Gruber.

They sent two emails and Gruber didn't reply. Maybe he ignored them, maybe they got lost in a torrent. I don't remember what Gruber said on his podcast (if anything, I seem to remember he didn't want to talk about it much).

They took a 'ask for forgiveness' (because we don't like what you are doing/not doing) approach when I think decorum dictates an 'ask for permission' approach. If you don't get it (they didn't) then call it something else. Stack Overflow Markdown, Spolsky-down, Easymark, whatever.

The implication of the term Standard Markdown is clear. WE own it, WE control it, WE'RE in charge. They didn't have permission/authority for that and did it anyway.

I found that a very jackass move. I stopped following Spolsky because I lost respect for him for doing it.
There's no conspiracy about it - that is exactly what happened, and it happened right out in the open, in the form of the DARPA Grand Challenge races in 2004-2007. The explicitly stated goal of those races was to motivate research into autonomous vehicles that would enable the US military to begin converting its ground vehicles to autonomous operation. The much-hyped commercial applications are a spin-off.
Yeah, definitely! Another cool example is the pre-alpha for Linode's new management UI:

https://github.com/linode/manager
They sound like mosquitoes in my head, have to agree.
yeah this falls under "that isn't exactly the same product," above. I'm not sure, for instance, why you left 'can use either headphone independently' off the Gear IconX entry, because you can. I'm not sure why about half of these entries leave out the charge-case entry, because a lot of them have it.

But it's irrelevant. You can say "apple's product is better." You can say "these other products are terrible." You can even say "I hate everything that is not from Cupertino." But the claim here is that these things are some kind of revolution. The claim we are trying to rebut is not "apple airpods suck and are not worth buying." I, and many others, are merely explaining that there is nothing magical or even particularly new about airpods. They are an iteration on an existing product segment.

You, so far, have done nothing to demonstrate otherwise.
Streaming movies to the browser is surprisingly so simple :o
A few mid 20s post grade writers of one of my sites recently asked me if I could implement RSS feeds for their blog posts. I asked the same thing.

Easy enough to code the feeds - if someone has a need for it, why not.
Coq is more of a proof assistant than it is a general purpose programming language.
The video you linked to was interesting - thanks for sharing - but I didn't follow how that's related at all to self-driving cars driving around looking for parking. The video seems like more an example of what happens when individual households all own cars and don't carpool when taking their kids to school.

If the kids being dropped off at that school started using self-driving Uber Pools, then that video would be better described as "Welcome to your traffic jam of the past."
How Might the Internet Democratize Democracy?
On one hand, the pool of likely suspects is rather small, and the punishment can actually be rather big if it's USPS, since it's a federal crime. I see that mail fraud laws apply to other carriers such as UPS/Fedex, but I'm not sure if that also extends to mail theft. That said, the reason it applies is because they cross state lines, so I'm not sure if the specific case has to include that as well, which if we're talking about drone delivery, is unlikely.