skysight-inc/HackerNews huggingface dataset:
Cameras often have wavelength filters to allow recording only certain wave lengths, that can be switched. So taking a colour photo requires three different exposures. Depending on how long you can take a single picture and how much changes in between you may not really get a useful result. A Bayer filter like in common digital cameras these days would also reduce resolution and restrict you at the sensor level to colour photos.

About the only use for colour photos in space is PR with non-scientists anyway. That was one major obstacle the Hubble Space Telescope had to face. It's a useful component, to be sure, but not one to justify adding much more weight or cost to a planned mission in all cases.

In case of Rosetta/Philae the probe was very weight-restricted, taking even a very long course towards the comet to save fuel since it didn't have much.
New Fortune 500 is out. It shows a shift in the world's business landscape
Isn't HN great for pitching your app??
If you believe in western civilizations' principles, there's two ways to handle corruption. The day to day type of corruption is usually treated as a crime, it requires laws, and funding investigations and prosecutors and courts, etc. Some corruptions of civil officers are so bad they qualify for impeachment, one important consequence of which is being barred from holding any elected or appointed office again. So there is a mechanism, if you think civility is busted then a.) help work to fix it, b.) be prepared for violence. Because the only antidote for violence we've come up with so far is civility.
> The hard fact is that, while you can reason about purely functional programs using little more than high-school algebra, reasoning about imperative programs requires bringing in the heavy apparatus of logic right from the start, because imperative programs denote predicate transformers.

1. It is immediately obvious that TLA+ is simpler than SML, yet as powerful as Coq; it is TLA+ that requires little more than high school math. You can reason with it about any kind of algorithm you like, using the same simple, familiar math (FOL, ZF plus three temporal operators, of which only one is really used for safety properties).

2. Imperative/functional is a language concept. In TLA+ there is no such thing as an imperative or a functional program. There is an algorithm that, say, computes a factorial in some sequence of steps. Is that sequence imperative or functional? Hard to say. TLA+ is pure, yet doesn't model an algorithm as a function.

3. Imperative programs do not denote predicate transformers. They denote whatever sound model you decide they do. The whole idea of "denotation" is a semantic one, i.e., tied to a specific language. E.g., in TLA+, all algorithms -- functional, imperative (although there's no difference), parallel, concurrent, quantum -- denote a set of behaviors, where each behavior is an infinite sequence of states.

Lamport's entire idea is that thinking of languages and semantics when reasoning about algorithms complicates things unnecessarily. Think of algorithms as abstract state machines, and reasoning becomes -- if not simple -- then as simple as possible (today, at least).

> Your use of induction on the program counter reveals that you're just using the program as a proxy for a class of computations.

That is what a program reasonably "denotes" (and what it, in fact, does in TLA+). But the proof works on the representation of the program, which is just a logical predicate.

> Um, no. Predicates don't express computation.

Um, yes, they do. In 1994 Leslie Lamport wrote a paper (2500 citations) that shows how they can, and that makes everything simpler. It is one of the best known and most widely used algorithm logics. It's nothing obscure.

> Would you have been able to produce your proof entirely by yourself?

Yes. First I thought of it, then I wrote it, then I added details until it checked. But let me tell you: if a proof assistant would ever make proofs easier than doing them in your head, then I'd be very happy. Usually they make things harder because they need lots of detail. Sometimes they're necessary if the proof is shallow but very big, and requires remembering lots of things. But, unfortunately, proof assistants don't help you uncover a proof. Model checkers can do that sometimes.
edit: Yes, no problem, i understood now what you meant, crdoconnor put me to it.
Wing – A dead-simple, responsive, CSS framework
I once had an analysis book that began the chapter "There exists epsilon < 0", which I found very amusing.
> Self direction is the key here. All you really need is the outcome desired and the 'why?'

This perfectly sums up the life of a developer working for a startup. If this isn't a thing that you're comfortable with then you should probably find a company a bit further down the line where they're able to nicely bundle up tasks for you.
Some decisions are made about what is going to be observed. For example, if the objective is to study the methane atmosphere (as it's being done on Jupiter), you calibrate your camera and filters for that. Then photo is taken, with whiter points indicating more emission or reflection on that wavelength. Black and white is how we see "more / less emissions"
It's called publicity. Books have been serialized and excerpted in periodicals for hundreds of years.

And yeah, to expand on "done really well" it benefits all parties: the periodical, the book, and the reader
- If it fits your macros / basic calorie consciousness that let's you hold a healthy weight.

- Some form of exercise that you do regularly

- Don't drink much

- Don't smoke

- sleep

- Have meaningful relationships

This will get you most of the way towards good health.
How long before Google Maps directions adds these EV-charge stops when you tell it what Electric Vehicle you drive?
to be clear, less of this was a problem with the audit company, and more with the company I was contracting to (who were submitting their system for audit).

However, the audit company only gave us half of what was needed, in a sense. The first half, we'd get back a list of "problems" (which, again, were problems under JAWS, although some were problematic under NVDA as well). The results had links to "best practices", so we could head off some other things ahead of time.

After that was passed, though, they'd just use the system randomly, and determine what was 'good' or 'acceptable' or not. It felt like we had the goalposts constantly moved. I kept getting asked "when will this be 'done'?" and I kept saying "I don't know what done is, and we only get to learn part of what the definition of 'done' is every few weeks, so... effectively, there is no answer. It's done when it's done". Which, of course, no one wanted to hear.

EDIT: and to be clear on your point, it was an absolutely ridiculous way to develop web software. Build a PHP app, but you're not allowed to use composer, or bring in any external/thirdparty code whatsoever (the network was completely blocked from giving us access to even pull down code). They'd gone out of their way to make sure it was not possible to use any external code, so things like security hashing and whatnot were all hand-rolled.
No, it's not. It's also not up to society at large to fund someone's questionably worthless endeavour.
The Building Blocks of Progressive Web Apps
Can someone give some reasons why I might choose to use this or any other JS charting library over Google charts?
Sorry. You are absolutely right. Long day...

I disable Kerberos ticket forwarding here, for this exact same reason. But then you don't have ticket forwarding! I don't know what I was thinking.
Spying allows increased national security at minimal cost compared to higher military preparedness. Thus, it allows the same level of security at lower levels of funding.

In addition, spying can give a leg up to domestic commercial interests over foreign commercial interests.
Effect of connection pooling on Node.js performance
When you lack the information to make a good recommendation, "the best we can guess from really generic or sparse information" tends to be annoying. That's really bad.

Yes, I watched a bunch of Dota replays during a recent tournament. No, I don't normally go on youtube. So I watched a daily show video clip that was linked. All my "watch next" and "recommended" are Dota. That's not smart, that's aggravating. I would have been ok watching a couple more ds clips, but instead exclusively bad recommendations were made based on poor data.

I dislike the idea that my world gets filtered by algorithms, but I really hate when they're obviously bad at it. Although I suppose I should be grateful that it's easily spotted when it's bad?
Agreed that it's a framework, but it's not necessarily that much work, it really depends on what you're trying to do. Sometimes its easier just to use a library if it offers what you needs, other times its easier to use D3 directly -- knowing when to make that call is important.

There a good O'Reilly book on D3 by Scott Murray, the ebook version of which is free that's a great primer:

http://chimera.labs.oreilly.com/books/1230000000345/index.ht...
Very long... 2K in total may not be endangered, but it's still a tiny population.
I was talking about Kerberos, not LDAP. However, that's still not right, see parallel comment.
They weren't just making hardware. Psystar was pre-installing OS X. That's what got them into trouble.
Dongfeng owns just 13% of PSA Peugeot-Citroen. They haven't bought the whole company by any stretch.
Can't you use function overloading? or function pointers? Why do you need to recompile the code? Can someone give an example of where this should be used?
Long time ago I invested all my savings in Tesla stock after having contact(worked) with European and American car manufacturers.

The reason? You can't imagine how big the facilities for building car components are. There are billions and billions invested on facilities with decades to be paid off.

This is a big advantage once cars are standard, and all the same,and don't change, but becomes a huge liability if you change the technology.

If you invest on a plant a billion dollars to build engines to be amortized in 25 years and engines become obsolete by the way... you have thrown to the trash 1.000 million dollars as your expectations for the future became wrong.

Now multiply this billion for 20 or so and there you have the car industry. They don't want change because change means them losing billions.

Then there are other minor issues: electric means no mechanical reviews which is a huge business. Electric means mechanical engineers without work.

Any change has to come from newcomers and the same way Elon did: You do your sales yourself so car manufacturers-dealers(who profit any time a mechanical piece fails) do not sabotage you.

I don't see any conventional car company doing it, maybe Toyota that advanced what the future would wring before the others that are late to the party.
As a serious question: In percentage terms, what's the enjoyment difference for you in using a condom vs. not using one? I ask this as a guy who's been using condoms for the past 14 years.
Even easier, he might have made up the pink light thing after the diagnosis.
Would it help to use data like yearly per capita consumption of gasoline by state [1] (as a proxy for miles driven per person) in addition to the existing data? Would that make a difference and shed any more insight?

[1] http://www.statemaster.com/graph/ene_gas_con_percap-energy-g...
They've added doas to the ramdisk.

Naive Q: Is doas any better than envgiduid and envdir? And if so, how?
Most USB type C connectors are on mobile phones which still use USB 2.0
I meant that she lived in the DDR and knew what others were going through. She herself was most likely doing fine, as she was a scientist, which the DDR desperately needed to keep up their fassade of being more progressive than the Western part of Germany.
The S Class interior looks gaudy, over-the-top, and old-fashioned to me — something from a bygone era:

http://www.arodmercedesbenz.com/wp-content/uploads/2015/04/S...

But I say this as a millennial with an engineering degree, so I don't really know if the marketers particularly care about my opinion on what is stylish or not.
Awesome for the bears (really), but I'm annoyed that China doesn't do more to reduce demand for rhino horn, which is devastating the African rhino population for absolutely no reason. Black rhino population is down 95%+ since 1960.

Other countries can definitely share the blame, but I would imagine China would be more sensitive to the issue since they have their own endangered species that we all celebrate.
I think you're right and i misread it. So if the mini-rewrites in silence equal relentless refactoring, that might equal a rewrite nobody ever observed, excellent.
Half way down http://www.bbc.co.uk/news/science-environment-37276221 is an overlay describing the parts. It sitting on its side, so I think you're referring to one of its three legs jutting out.
Samsung Galaxy S6 Edge
It's small, maybe the chance of anyone finding it in the ocean and him beeing a pirate that want's to deal with that GPS tracker on board are slim.
So how did we get used to iOS 7?
I clearly remember the day we first got a peek at the new look of Apple's 7th iteration of their mobile OS - and I remember the outrage about those icons and the overall design style. Though some things have changed and the tone of the UI was dialed back over time, why doesn't it today look as hideous to anyone as in 2013?
Remember when the CIA managed to finally get even Feinstein to make statements critical about surveillance, after it was clear that the CIA was caught spying on the Senate intelligence committee while they prepared the report on torture?

Snowden is another good example of how poor the oversight is - whether because they didn't think any of what has been revealed was wrong, or because they didn't know. I'm not sure which is worse.
I'm not being a dick, you're being uncharitable.

>The declaration of independence also makes a broad statement that all men are created equal with unalienable rights.

So? The Declaration of Independence is not part of the laws of the United States. Its statements have no bearing on them.

> This is precisely how constitutional protections have been interpreted in other countries, for instance.

Luckily, we're not talking about other countries.

> Or did you forget about "provide for the common defense" aspect of government?

That aspect would argue more that the rights enumerated in the Bill of Rights are applicable by the US government only to US citizens, residents, or visitors, and not to all people everywhere. The Insular Cases support this view.

>No, this is objectively not well-trodden ground, and you're kind of acting like a dick. I recommend not doing that.

Yes, it is well trodden ground. That you refuse to acknowledge it does not make a difference.
I drive a Prius. If you don't jam on the accelerator, it responds instantly. If you try to accelerate very quickly, it pauses to let the engine spool up, causing that sense of hesitation. But a little tap on the pedal at low speeds can provide quite sudden acceleration, something a conventional car really can't do.

However, my mom's (fully-electric) Leaf is worlds apart. No matter how hard you step on the accelerator, it always responds immediately, fully, with seamless, continuous thrust.

A Tesla? I've never driven nor ridden in one, but I can only imagine it being like a launch-type roller coaster: immense, terrifyingly sudden acceleration.

The only way a manual can hope to compare is if you rev the engine and drop the clutch, which probably isn't something you do everyday.
I found ESA's "Rosetta and Philae Cartoons" videos strangely touching: https://www.youtube.com/playlist?list=PLgx5PMpgonqUD1aO3g0bZ...

I hope they finish the series!
$216k...unless she let you get away with that last year and 4 months.
>> "How could the NSA not want to listen in on the person rated by Forbes as the second most powerful person in the world after President Obama?”

>He can rest assured that the USA never saw France as no2 in anything, except maybe gastronomy.

Merkel is the German chancellor...
Right. I guess a lonely truck driver can not do much more than call the cops, a good alarm system might be sufficient.
What's an example of a large German company without any sales or marketing?
Just look at the hype they get on HN.

The God King doesn't need advertising when his disciples spread his words for free.
wow this takes an interesting turn with regard to the slim volume called ‘Orwell’s Dick’. Some A grade conjecture.
Soon we will start seeing cocaine smuggled around the world in one of these.
Ditto in tooling, Hertel bits for instance.
Updates to Our Privacy Statement – GitHub
Show HN: A sudoku game written in React Native
After doing some benchmark or source code reading you'll find out that the author was just lying about its performance, since he even lacks basic knowledge of GPGPU optimization techniques and made wrong use of isl to generate low quality but obfuscated OpenCL kernel code, which is hard to see through at first. Also he mistook "S-expression" for lisp, which is ridiculous.
I really like these, using a different passive propulsion:

https://youtu.be/Hx5sntHLpu4

Also much more low profile :)
As I said, her initial IUD was very uncomfortable (painful) to me during intercourse, so it's not something we're extremely keen about. I realise that things have probably changed since then, and the discomfort might have been an indication of other issues with her IUD (such as bad placement, considering that as far as I know, no other friend has ever "felt" an IUD, other than potentially the strings).

The other thing is that we're getting to a place in our life where we're thinking about kids on a more serious note, so a long-term contraceptive doesn't seem as appealing any more.

I do keep the copper IUD on the shortlist of long-term contraceptives, if required. Thanks.
Engineer who moved Mac to Intel applied to work at Genius Bar and was rejected
I would refactor this.
The more i look at it the more this latest generation of USB seems massively overengineered.

The initial design of the C plugs looks like it was intended as a simple mechanically reversible 3.0 plug.

But then someone decided that if they made both sides active, they could ram video data down it at 4k+ rates.

So now rather than just have pin on one side of the socket side, there are pin on both and the devices have to figure out what way is up by sending handshakes.

Never mind that the C-plug spec have their own little details about power delivery that overlap that of the Power Delivery spec.

Oh, and each OEM can decide if they want to use C ports with or without 3.x speeds and PD...
No, it's not confusing, it's just wrong. You're confusing objectivity, which is understanding how a situation really works, with a moral imperative to take advantage of every situation.

You're also implying that Machivellianism works better for individuals and corporations.

There's absolutely no evidence to support that position, and plenty of evidence to refute it - not least the incredibly stupid and destructive decisions made by corporate "winners" for reasons of political advantage which regularly sink companies and damage their own employment prospects.

If you were truly engaging in critical thinking you'd be able to understand this. In fact all you're doing is projecting the inverse of your own emotional biases onto people who not only have different motivations, but are modelling outcomes as a whole more effectively than you are.

The key question is the size of your predictive horizon. Just because someone is effective at small-scale politics doesn't mean they understand likely outcomes from a broader perspective.

In your system "critical thinkers" would be just as effective in absolutely any political system, including bureaucracy for its own sake, and North Korean dictatorship.

Clearly both of those have fundamental inefficiencies and stupidities which severely limit their practical effectiveness. Playing the game may be expedient if you're trapped inside them, but the inefficiencies and stupidities can only ever be mitigated by individuals who understand what's wrong with them, not by those who conform to them for personal gain.
Flying Wingsuits Through Glaciers – Aiguille Du Midi Warm-Up
I was hoping this article was going to mention about remaining calm and not getting angry on the road. He kind of alluded to it in the beginning with 'What’s wrong with you - are you blind?!!'

My wife has terrible road rage and I'm often suggesting she should be more like a fighter pilot on the road; remain calm, focused and let the stupid shit go. I was hoping I could forward this on to her as an 'I told you so' ;-)
Violence isn't inherently wrong. Nonviolence is less important than ending injustice and continuing to innovate, such as building megaprojects, forming new states or restructuring existing political systems. Those who say otherwise are conservatives or benefit from continued injustice.
That's the only way to have a physical fiat currency. And the alternatives all have much more serious problems.
When and Where Did Dogs Become Man’s Best Friend?
You mean they can't finish their wo
Gyros (Greek version) is more common in the US, in my experience, but that may vary by region. Arabic -> shawarma, Turkish -> doner, Greek -> gyros -- all the same basic idea of meat cooked on a rotating vertical spit, sliced off and served on flat bread.
What I don't understand about doas: Why does it keep some variables by default, and why does that include $USER and $HOME?
This is obviously true. It's equally obvious that the neoliberal consensus is opposed to this and seeks to substitute a globalist fantasy.
To be honest, when the "inspirational" hipster speeches started, I stopped going to the Tor talks at conferences. Roger was the perfect spokesman, nerdy but giving very understandable presentations, more concerned with transporting information than wearing the right scarf to tight pants.
ABB is headquartered in Zurich but is Swedish-Swiss more than just Swiss.
I know. Hopefully not for long, however the way I read it, he was talking about the French PM.
Cholesterol in food is not what almost anybody has been concerned about for the last twenty years. Cholesterol produced in the blood as a result of saturated fat intake, or as a consequence of lipid metabolism in the face of tonically elevated glucose load, is another matter.

Anyway, a starting point for your literature review on a contrary school of thought (which is, at present, the dominant school of thought) can be found at the American Heart Association [1].

[1] http://www.heart.org/HEARTORG/HealthyLiving/HealthyEating/Nu...
I think it's because the deconvolution is a bit tricky (with a few different "knobs" to turn somewhat arbitrarily in the process), and can in some ways be expected to add in more artifacts than it is subtracting.
As a big music listener, my biggest qualm with wireless headphones is having an RF transmitter so close to my brain for so long...

Prepared to be downvoted for this, however the cell phone studies that show possible brain impact involve a phone strapped to your head. RF of course decreases with the square of the distance. And the typical recommendations for mitigation involve using and keeping the phone away from your head (or gonads as well, for the heat and possible RF effects)
I don't mean to tell you how to live your life, but investing all of your savings is very risky - putting all your savings in one company is extremely risky.

Even if everything you state about existing car companies is true, Tesla could fail for a multitude of reasons, leaving you with nothing.
Stop using Webpack for building projects
I love the first image. Panda wants high five! :D

http://ichef-1.bbci.co.uk/news/660/cpsprodpb/7E06/production...
I think that gets it backwards: the universe can move information around and perform computation because it has a level where things become both discrete and stochastic.
The Life (2005)