skysight-inc/HackerNews huggingface dataset:
Ha! That's great to know. Thenardier was a real jerk, I kind of wondered whether he had a real-life analog (well, most of the characters, really).
I use Verilog, so I'm not as familiar with the state of VHDL tools. I've found Verilator to be much faster (although it cuts some corners) than the free versions of Modelsim. It's fairly stable and supports most of the core synthesizable SystemVerilog constructs.
Best Credit Cards for Traveling
Your medical example has happened before. And, it gives us the answer! People will believe the people who have better access to the media, which, in this case, was tobacco companies hiring hacks to push a certain line of evidence demanding that the media teach the debate and give equal time. And as a result we got hundreds of thousands of excess deaths.

Ironically, many of the same tobacco-cancer link deniers are now working in the service of the global warming denialist bloc. I guess oil barons pay better than southern planters.
Same thing happened in Germany. Spying on citizens was not a big problem but tapping Merkel's mobile was...
Awesome! Love the idea and implementation. Are you planning on building more clients around this?

I've been interested in building a private, low-friction photo sharing app for a while, and I might start on one with your server code as the jumping off point.
the issue is that you are now entering a different sector of technology, where there are already standards in place, and those standards are x, y, z ordering:

* mongodb geospatial extensions - http://docs.mongodb.org/manual/core/geospatial-indexes/

* postgresql geospatial extensions - http://postgis.net/docs/manual-2.1/

* geocouch - https://github.com/couchbase/geocouch/wiki/Spatial-Views-API

so, it isn't just GIS users who are doing this, it is also the convention across databases that support geo functionality.

i hope that you reconsider this, and don't go against what is both standard by committee and standard by implementation.
> Proof-of-point: I have a copy of Linux, without telling you what the distro is, tell me how to disable the firewall (just an example of background software on most Linux distros).

This isn't comparing operating systems to operating systems. "Linux" could refer to a number of operating systems, such as Yellow Dog, Ubuntu and Fire OS. The Microsoft version of this question would be more like: "I have a copy of a Microsoft OS. Without telling you what version it is, tell me how to disable the firewall."
If humans are causing it and it is going to be very bad for humans, humans might do some long term planning and make decisions that are less desirable in the short term in order to obtain a more desirable long term outcome.

The best way to short circuit this if you personally profit from behavior with extremely negative long term impacts is to prevent recognition that the bad behavior has those impacts.

This turns out to be so easy to achieve in a free society that a solution to any large scale, long term problem is no solution at all unless it also solves the problem of people not wanting to accept the pain of implementing that solution.

IE, either the solution to global warming must be very desirable in the short term, or we fight a civil war to stamp out dissent against the solution, or the problem happens.
> I want solid proof ... or , uh "almost proof".

Proofs don't exist in sciences concerned with the physical world. For proofs to work in the real world, you'd need certainty that you have recognised and correctly measured every variable that could affect the outcome of an observation/experiment.

The last philosophy of science that allowed proofs was positivism. For the natural sciences, it has been replaced by critical rationalism (https://en.wikipedia.org/wiki/Critical_rationalism). CR gave a solution to the proof problem: While positive proofs like in your quote don't work, you can still falsify a theory. By continuously falsifying theory after theory about an observed outcome, something resembling truth remains. Truth, but never certainty. Hence the talk about likelihood and probability.
This doesn't seem like a database in the traditional sense - more like a blackbox PaaS for building apps. Unfortunately there's precious little actual info on the page.
> when people find a non-working marker... and then put it back! No! Throw it away!

I trained myself to, whenever I found a non-working whiteboard marker, literally throw it into a back corner to pick up later.

Similarly, when I take off a sock with holes, I tear the hole a lot bigger so I don't feel tempted to keep it in use.
* Has the most habitable atmosphere of any planet save Earth

* Has billions of tons of water

* Is exposed to unconcerning amounts of radiation

* Has every economic justification for colonization

FTFY
The science is settled, in the sense that the vast majority of people working in the field think this is probably what's happening. I think people who object to "settled" want it to mean "absolute certainty" but that's just a quibble over wording.

Deniers are morons. That's not the same as saying that there's no room for debate. There's always room for debate. But it's also a fact that the loud public face of the deniers is a bunch of politically motivated faith-based science illiterates peddling terrible rationalizations. Now, the fact that one side is full of idiots doesn't make the other side correct. But neither does the lack of complete definitive proof for one side mean that the other side isn't full of idiots.

And I've never seen anyone say that the Earth will be hell in 100 years. I have seen a lot of deniers say that this is said, in order to discredit climate change. What's actually said is that there will be a lot of disruption and chaos from changes, but of course there will always be lots of nice places to live, climate-wise. They just may not be where they are today.
Good idea, I'll add LIMIT. Makes sense to say I want N nearest elements with max distance of Y.
Which Tesla model? There are 2: the Powerwall for home use, and the Powerpack, for businesses. The Powerpack starts at 100kWh, and goes as big as you have money for. Initial reservations are mainly for the Powerpack.

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

Grid storage that stabilizes a grid is much more valuable than storage of power to shift production to non-peak times.
OTOH, here in Connecticut they didn't have a lobbyist firm, and they almost got banned in the state (after already running for a few months), because the taxi companies were lobbying the politicians. So they hired a lobbyist, and got actual hearings on the subject. Which seems a bit more fair.
Why Insecurity Affects Sites' Search Rankings
It's exacerbated when it's less someone reading it for themselves, than reading it in a blog post by someone who's motivated to try to strip context and mislead about results.
> We can't give those deniers anything else to hang their hat on.

Is this sarcasm? I can understand this kind of nonsense on r/politics but we should be speaking plainly and of facts at HN. I hope HN isn't turning into another propaganda machine hivemind.
That would probably help. "Your password, xxxx, has been compromised." Even if they think it's spam, they should immediately realize they do need to change their password.
I highly doubt that. Microsoft has been embracing a lot of things lately. Moving towards Open source and open platforms. I don't believe it has anything to do with LibreOffice but everything to do with change in their attitude.
Also if DNA is the only thing linking the suspect to the crime, it's possible that something like a national DNA database just becomes a way to convict people for having been in places where crimes later occurred. If you have DNA, it's going to "match" some set of people.
I think he was responding to the HN headline, it read "A Serious Conversation with Elon Musk about the Future in Space" before being edited (it isn't a conversation with Musk).
I've been using google docs instead of office on PC and android for 6 months now, no regrets.
The French government may well believe it's wrong when it's done to them...
Apparently on HN we can now be condescending, insulting, narrow-minded, and straw-man those with whom we disagree with, so long as we're aligned with conventional wisdom.
CoreSpotlight in iOS 9
Netherlands loses landmark global warming case, ordered to cut emissions
Marcus Whitney writing a book to demystify business-building
I think option 2 is the obvious solution. You offer basic income to your citizens and provide a rational process for acquiring citizenship that allows the naturalization of individuals who have contributed value to the country. We already have many different rules and obligations for citizens and I don't see this as a problem. Our currently problematic means of allowing naturalization is much more of an issue.

I do think that basic income needs to introduced gradually and needs to be paired with reductions in the minimum wage.

This reduction in the bottom range of wages will make more jobs economically viable (Since they have to produce less value to make a profit beyond the cost of the wages). It makes immigration less attractive to people earning the bottom range of wages without leaving our working poor in the lurch. This combined with the provision of basic income to citizens makes citizens more able to compete for low income jobs since they are being subsidized.
Thanks :)
Since it says "Error establishing a database connection", I wonder if someone misused the password of their database?
I assumed it was a thing all over. Is here in Ottawa as well, at least.
Large Scale Deep neural net falling down the rabbit hole
Did you track open rates? I would be curious to see what those numbers look like.
No, it was a thought experiment I made up, not an exercise I've ever seen performed: how abbreviated a description of quantum mechanics could I get away with and still convey the idea to on-the-eve-of-QM scientists?

The QM equations are naturally very short, the stuff that I would worry about expressing concisely are concepts like what probability amplitude is, how it connects to prior-to-QM concepts of probability, the interpretation of what it means to make an ideal measurement, stuff like that. I don't know of any bright concise formulation of that stuff, and I'm not sure how I'd do it. I am fairly sure, though, that 5 pages could get the job done well enough to connect to spectroscopic observations.

Note also in the original story it was intended to be given to Einstein and Planck, deeply knowledgeable in classical physics, so it'd be natural to use analogies that would be more meaningful to them than to the typical CS/EE-oriented HN reader. For example, I'd probably try to motivate the probability amplitude by detailed mathematical analogy to the wave amplitudes described by the classical wave PDEs that E. and P. knew backwards and forwards, and I don't think a concise version written that way would work as well for a typical member of the HN audience.
A vaccine against Chlamydia generates two waves of protective memory T cells
Every often, we see folks that started with python, php, or ruby, deciding that the language is their limit, and they move to "cooler" stuff like Scala, Go, Clojure, etc.
Sending unsolicited automated emails, even for good, may be considered rude as well.
> There is also the obvious difficulty of limited chances for local expansion: the country closest to them in cultural terms are Korea, which they historically see as inferior and poorer, and China, which they know they simply cannot match on equal terms.

I'm not so sure about this analysis.

Korea is a much smaller market than Japan and also has regulations hostile foreign products in general (high import tariffs and so on) or to Japanese products in particular (such as limitations on how much Japanese-language material can be broadcast). I don't know what it means to say that they "simply cannot match China on equal terms;" it's only recently that Japan's economy's size was surpassed by that of China and even then it has a number of advantages that China does not (much higher per-capita income, a more stable regulatory environment, lower levels of corruption, etc., you get the idea).
Some meat is "mechanically recovered". There are various levels of this.

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

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

https://en.wikipedia.org/wiki/Mechanically_separated_meat
When you email over 97,000 people at once, you're bound to get some strange responses.
Exactly, we don't even know if a 2F degree rise over a 125 year period is statistically significant, in may well be within a one standard deviation.

Also the global mean surface temperature has not been well defined during this time period, it has changed as stations close and new ones are added, and as new technology is introduced.
If you can link to the raw data so that I can wget it I will take a look at it.
Review: REST United Automatically Generates SDKs for REST APIs
A slight tangent but is anyone else disappointed with the Chrome permissions system? The granularity of what you can allow is often inappropriate for what you really need to do. Example, the author of uBlock Origin needed to be able to turn off prefetching for obvious reasons. But the permission for it was grouped into the label "Control Security Settings". This confused a lot of people who became suspicious of what the extension was actually doing.

It makes me think of how Windows with it's very comprehensive mandatory access control remained vulnerable to simple attacks because the ACLs were too complicated. Thus application developers would request overly broad permissions, defeating the usefulness of the security model.

Seems to me that having too many difficult to use security features can be as bad as or worse than too little security.
At my first internship, I handled the GUI for an application used to simulate networks on a large scale (I remember 20,000 machines being the "small" test-case we used). There was a view where you could watch all of the devices in the network, and could zoom in/out to see the entire network at once, or individual devices.

I remember playing a lot of SupCom to help me get an idea of how to zoom smoothly and how to handle the overlays/information density at every scale (also because it was a badass game).
> The problem with private prisons is the conflict of interest.

And ought to be outlawed for this very reason, IMO.
And now the worst Office version is on Windows Phone.

I'm sure Windows 10 will improve that...eventually.
The following is literally the first Google result for "why does CO2 concentration lag behind temperature".

http://www.skepticalscience.com/co2-lags-temperature.htm

> ... This statement does not tell the whole story. The initial changes in temperature during this period are explained by changes in the Earth’s orbit around the sun, which affects the amount of seasonal sunlight reaching the Earth’s surface. In the case of warming, the lag between temperature and CO2 is explained as follows: as ocean temperatures rise, oceans release CO2 into the atmosphere. In turn, this release amplifies the warming trend, leading to yet more CO2 being released. In other words, increasing CO2 levels become both the cause and effect of further warming. This positive feedback is necessary to trigger the shifts between glacials and interglacials as the effect of orbital changes is too weak to cause such variation.
The idea of a "trickle-down illusion" really struck a chord for me:

> Software developers often buy into the idea of advancement by individual merit--either through a liberal lens in which meritocracy is an ideal we still need to work toward, or a libertarian one in which everyone is already where they deserve to be, top or bottom.

And:

> In this context, it's easy for those who believe they are being mistreated to feel isolated and even personally inadequate, rather than seeking solidarity from co-workers.

Software development, like other skilled trades, is a place where a worker can use her personal qualities (ie training, experience, interest) to create something of value and have a sense of pride about it. Combined with the notion, as stated in this essay, of an individualistic "garage-to-riches" outcome for dedicated and/or brilliant developers, it's not hard to picture a culture that characterizes the boss more as a peer than as a regulating influence, personal affability notwithstanding. This characterization can undermine a developer's consideration of themselves as, well, a worker, with all of the associated social and historical implications.

Anyways, thanks for the post, I always appreciate well-thought articles that cast the software industry in a broader perspective.
I think the parent post was asking if you could swap out the default sphere for another. Like, Mars. That way this could be used for geo queries on any planet.

Or is it just assuming that the earth is a perfect sphere?
I'm not sure humanity deserves to be the species that settles the Milky Way

What does that even mean? Especially in the context of how much we've changed to get us this far and how much we would have to change to colonize a galaxy?

You might as well have looked at Homo habilis 2.8M years ago and said, "these creatures don't deserve to surf the Internet."
Not really.
But this isn't about the JIT, GCC doesn't support all of GCC's targets, and rightfully so. They couldn't if they wanted to :)

They have some primary and secondary platforms:
https://gcc.gnu.org/gcc-4.9/criteria.html

Primary platforms are what you care about. It means they won't do a release if these have regressed.

The primary platforms are the usual suspects (and LLVM has backends for all of them).

The secondary platforms are mildly interesting. LLVM has backends for those, too.
In GCC land, only the majority of tests have to pass for a release for the secondary platforms.

The secondary platforms only have two arches over the primary ones:

s390
aarch64

This is a really long way of saying: I don't think it works on all targets, i don't think it will ever work on all targets, and i wouldn't use it expecting it does.
If you stick to the supported platforms, you aren't buying anything over the alternatives. If you don't stick to the supported platforms, why start with GCC, when they aren't going to support it?
But at $100 dollars a night a tremendous amount of people more can afford to stay maybe edging out the hotel if there's enough availability on AirBnB.

I'd also say, yes, the percentage is important in general.
They're definitely unsolicited. If they are also promotional, that would make them illegal -- at least in the EU.
In the Los Angeles area, the food court at the Westfield Topanaga Mall has high counters and tables with outlets at each seat, including USB chargers. It's an upscale food court with real plates and silverware if you get hungry, and there is plenty of people watching. It's also on the second floor, with plenty of natural light.
"Is there any reason to believe that private prisons are significantly worse than publicly run prisons?"

They have a profit motive to lobby for harsher penalties, and to do the absolute bare minimum for prisoner housing and health.

"but is there any reason to believe that society is better off with exclusively publicly run prisons?"

Yes. I, for one, do no buy the bullshit that says that private entities are always better than public ones.
It's only a matter of time before Google shuts down Google docs as well.
GoFundMe Founders Sell a Majority Stake
Sharing is owned by the community without middle-men deriving rent.

By this definition, virtually nothing is sharing beyond maybe volunteer operated community gardens. Virtually every service involves some sort of middle men getting a cut. Even a volunteer run community garden would if gardening supplies are purchased rather than wrought from supplies indigenous to the land.
Mori-ext, a LINQ-like API for mori
If for no other reason, I doubt that because Office for iOS came first, and there's no impending LibreOffice for iOS.

(I doubt it for a lot of other reasons as well.)
The database error is such a touche right now in this post :)
The People Who Can't Not Run
The first post on here lists a lot of cool things it would be nice to be able to do... https://www.reddit.com/r/programming/comments/36d190/h2o_is_...
We are losing about 10 million people per year to starvation, and there are close to 800 million undernourished people in the world. I am not talking about a random guy not finding his way to an opulent dinner, but about a systemic proplem.
gotta figure out of every 97,000 people one person is probably intoxicated / on bath salts
People-Focused Engineering Culture
Given that the essay links approvingly to Crichton's Aliens Cause Global Warming address, I think you might understand it better if you read the whole thing again.
These are still crippled and written from scratch "mobile" apps, that don't share many of the desktop Office's features, right?
Send Cards or Gifts on Birthdays Automatically
I don't believe you can throw production efficiency by the wayside until the world is fed. While any population starves the utmost priority is feeding them. True believers of 'organic' food and its massively lower crop yields should not have children and probably should commit suicide to make their dream even a remote possibility.
There's also a small group of people who
are rebooting the Ferriana film line.

In typical Kickstarter fashion, yes maybe, if we're lucky and they don't run out of cash first. They just sent out an update yesterday saying that the hardware they thought would satisfy their needs won't do anything of the sort, and that they're now months behind on their schedule.

I hope to, at some point, receive my rolls of 135 and 120 film, but I'm not holding my breath.
(Back in the day I had a three-year X session, and that was on an AIX RS-6000; couldn't hardly believe it.)
Science once labeled gay as a mental disease.
Science once said that neutrinos have no mass.
Science once thought that the universe was the Milky Way only.

"Virtual certainty" may not always be "settled science".

I do think we should curtail pollution; regardless of the scientific certainty on man as primary cause of global warming.
Specify bending strength, the chalk must not snap under specified force. Next define a writing pressure, angle and stroke speed and require fewer than x blank areas in the line. Require that the line width be within a specific tolerance, not too thick not too thin.

Maybe a spec like this doesn't exist now, but you could use the good chalk and write the spec based on how it did.
Go careful. This is probably against the ToS of whatever internet services you're using.

> The thank you notes I got were sincere. One of them validated the entire effort when the person indicated that they use the same password for everything and wanted to know which account had been compromised

I hope they don't only change the password on that one site!
Oh dear. This again.
You know, I've personally never needed to use the floor-planning tools. It seems like a pretty advanced option. Of course, using open source simulators/command line flow doesn't preclude opening the floor planning tool in the GUI when you need it (my command line based synthesis flow just invokes the same tools that the GUI does).

I find the post place-and-route netlist viewer inscrutable. I have debugged some synthesis issues by generating the post synthesis simulation model in Verilog and digging through that in a text editor. Maybe that's a weird way to do it, but I find it much faster and easier, especially when I know the signal names I'm looking for.

My main problem is with the Altera GUI tools. It's a personal preference thing obviously, but I'm pretty attached to my editor, as are most people.
Do read this criticism of Roy Spencer's methods, which to me do not appear credible:
http://blog.hotwhopper.com/2014/02/roy-spencers-latest-decei...
http://blog.hotwhopper.com/2014/05/roy-spencer-grows-even-we...
Is there any reliable way to do this? Most mail clients will block receipt-type stuff by default...