skysight-inc/HackerNews huggingface dataset:
If we are shortly going to have that kind of resolution of Pluto, I'm a little curious that we haven't mapped nearer objects down to almost Google maps level detail. I would think that with Cold-War spy satellite technology, even, orbiting the moon, we could have every inch mapped in short order.

Maybe we did already, and it wasn't that interesting? I remember the Google Earth desktop client having a Moon mode at one time, but that may have been a tie-in when Curiosity landed on Mars.
> No, I would argue that the shitty reactor designs from the 1960s (and 1950s, actually) never endure even normal levels of competence and systemic corruption.

That is a statistically impossible assertion. Plenty of these shitty designs managed to endure normal levels of competence and systemic corruption for the entirety of their planned life span and have been decommissioned without catastrophe.
The thing you have to understand about Denmark is, there is no "off the grid". If you have a house that it's legal to live in, it's connected to public utilities. There are no unnamed roads or unnumbered houses here. (Or unnumbered citizens, for that matter.)

What happens if you install a solar array is that your meter stops running or runs backwards when you're generating more than you're using (and you're selling back power). Even if you don't draw anything from the grid, you're still paying to be connected.
They did, but I don't think most people realised that FPH brigaded because the details didn't make it into the news and weren't mentioned in the admin response. So for anyone who didn't dig deeply into it themselves, it looked like the admins had just banned it at random. Then rather than explaining it, the admins made a bullshit PR non-statement about how they were "banning actions not ideas". Really badly handled.
http://queue.acm.org/detail.cfm?id=2721993 perhaps?
Indeed. Hoping they do the right thing and take it down quickly. Don't particularly want to go the legal route, but will do so if I have to.
This would indeed be a problem at the start. But after some time it could weed out. People wanting to share illegal images would go away from the site if they ger rejected. We could expect a significant drop in nasty images.
DWANGO v2.0 (c) 1994
It will take the pictures when it gets there.

Do you get disappointed at 5am that sunrise is overpromised and underdelivered because it didn't happen yet?
If this is ready for testing and something you want feedback on from HN, then you really should edit the title of this post so it starts with "Show HN:" You can access of the existing "Show HN" posts from the "show" link in the top menu. The rules for doing your own "Show HN" submissions are here:

https://news.ycombinator.com/showhn.html
If IDC's numbers are close to correct, non-Mac PC shipments fell 15% yoy.
I really don't understand what your point is. Are you saying we should not be exploring the solar system? It took almost a decade for this spacecraft to get where it is now. I think you are purposefully ignoring the technical difficulties, which we've manage to address mind you, of transmitting data over that kind of (almost inconceivable) distance.

For the sake of giving you the benefit of the doubt that you're not, in fact, trolling, please elaborate on what you think NASA should be doing instead of exploring the last unexplored major celestial body in our solar system.
Emily Lakdawalla has written an excellent guide explaining what can be expected to be seen over the next several days:

http://www.planetary.org/blogs/emily-lakdawalla/2015/0624055...
One point the article should have made, IMHO, is that for any kind of personality disorder, it is a continuum, not a discrete true-or-false distinction. A medical doctor can clearly and unambiguously diagnose whether or not you have, say, Type-1-diabetes or a broken leg, there is no wiggle-room, it is not open to interpretation.

With personality disorders, the definition is usually a list of symptoms of which a person has to show at least a certain number (e.g. 5 out of 9) to "qualify". But a person that shows, say, 4 out of 9 symptoms of Antisocial Personality Disorder, would still be very unpleasant to be around, even if he or she is not a sociopath from a clinical point of view. (I am making the numbers up to make a point - the actual length of the list and the number of symptoms one has to show for APD is probably different, but not radically so.)
Every German speaker will read this as "The Grandpa Language".
It can be if you represent them correctly.

I count mismatches between sequences using bitwise operators by representing the strings as two binary numbers. One number stores a 1 for an A/C, 0 for G/T and one number with 1's A/G as 0 for C/T. And it was at least an order of magnitude faster. I benchmarked it. (It wasn't just comparing one sequence to another, but also other factors, such as having a red or green lazer in a particular position).
I recently bought a 5tb hdd for $130. I don't think storage is going to be the issue.
I doubt she tries to prove anything. It is probably rather the peace of mind of not having ads stabbing in your eyes, subscribe popups appearing as you scroll, things wiggling around, images fading up in a popup instead of loading directly, protection against exploits and saving bandwidth just to name a few benefits.
Thank you for making these points, I'm just disappointed at how often they need repeating for some people, do you know of a website that explains the reasoning behind not relying 100% on JavaScript for your website?

There's motherfuckingwebsite.com but the tone of that site is very adversarial, I think one that lays out the reasoning in a noncombative way would be more successful at reaching some of these people.
Adding authentication/login, cacheing, processing or modifying pages on the fly (eg poersonalisation) are all things that people start with in general.
It's grainy because it's a few pixels across.

It's a few pixels across because it's not a telescope, it's a probe.

It's not about "this day and age", it's about designing something that can do a lot of science when it's close, instead of something that can do a fraction as much from farther away.

Even the best camera in the world would give you results that are pretty much the same.

If you want to ignore distance, then you should probably look at the entire frame of the camera. I'm sure it can take some wonderful snapshots of the stars that aren't grainy at all.

But if you zoom via cropping, your image quality goes away. That's not a failure of design in any way.
I call this 'the treadmill'. I don't know if its intentional or just a by product of greed but pretty much all 'gatekeeper' industries have financing the raises the end price of a product (Don't have car, can't get to work. Don't have an education, can't get a job. Don't have a house, live on the street). If this sort of loan was much more difficult to obtain imagine the change in the end cost of these items.
JSON Configurable Personal Site
You forgot the bit where she tried to blackmail KPCB or she would appeal. She also owed them nearly 1m in legal fees which they waived.
Does anyone know what kind of capacity the internal storage on NH has? I hope that it's not going to run into issues buffering across space and filling up it's SD card like the remote game cameras that I've put up, that get punked by overactive squirrels.
Antalya escort ciftler
Your comment is a good first approximation to the motivation for HoTT! However, let me add a couple of remarks.

Firstly, HoTT can also be used with classical logic, i.e. where you freely use the law of excluded middle. This does not impact the ability to check proofs with the computer in any way.

Secondly, HoTT is the first foundation with which computer-formalized proofs of nontrivial theorems in a subject called "homotopy theory" are possible. In theory, this is possible with any foundational theory; but in practice, the necessary encodings to, for instance, Zermelo--Fraenkel set theory, are too involved for computer formalization.

In HoTT, one can define (and reason about) the basic concepts of homotopy theory straight from "day one". In contrast, with a more traditional foundation, one needs to setup a host of intermediate concepts first (like the real numbers, topological spaces, homotopies, ...). This is no problem for a trained mathematician, but becomes a nuisance when working with proof assistants.

Thirdly, one intriguing aspect of HoTT is that it might be possible to "run" proofs (this is the objective of current research). For example, if you prove that some group contains finitely many elements, the vision is that you could run this proof to find out how many elements it contains. This "computational interpretation" is not unique to HoTT; in fact, this is what the linked nLab article is about. But because of the second point, many more theorems are amenable to such an approach.

A last remark, not pertaining to HoTT but constructive mathematics. A simple reason why one might be interested in restricting oneself to constructive arguments is that thereby they are applicable to more general situations. There is a metatheorem to the effect that "a statement with a constructive proof holds in any topos", where "topos" is a precise formulation of "alternative mathematical universe". Such universes are routinely used in several subjects of mathematics, for instance algebraic geometry (after Grothendieck's revolution).

There are also other reasons for why it's fun to argue constructively. See for instance these slides: https://github.com/iblech/talk-constructive-mathematics/raw/... (PDF pages 8ff.)
I tried to play GTAV when the first article came out, and while it wasn't unplayable, the latency was frustrating at best. Driving was futile, and I have a muc, much lower latency to aws than 120ms:

> ping -c 4 sdb.amazonaws.com
PING sdb.amazonaws.com (176.32.102.211) 56(84) bytes of data.
64 bytes from 176.32.102.211: icmp_seq=1 ttl=239 time=7.35 ms
64 bytes from 176.32.102.211: icmp_seq=2 ttl=239 time=7.51 ms
64 bytes from 176.32.102.211: icmp_seq=3 ttl=239 time=7.11 ms
64 bytes from 176.32.102.211: icmp_seq=4 ttl=239 time=7.15 ms

--- sdb.amazonaws.com ping statistics ---
4 packets transmitted, 4 received, 0% packet loss, time 3003ms
rtt min/avg/max/mdev = 7.119/7.285/7.512/0.180 ms
“Star Wars: The Force Awakens” Teases Fans at Comic-Con
As long as reported images were removed, it wouldn't.
Interesting question!

"For data storage, New Horizons carries two low-power solid-state recorders (one backup) that can hold up to 8 gigabytes (64 gigabits) each." (From [1] linked above.)
Also Dutch speakers :P
Another possibility is to add a service to label/tag images.

See if if you could turn it into a game where people would gain karma points by properly labelling/tagging images. Make it peoples choice to participate in it instead of forcing them into it with a captcha.

Your image stack would gain significant value by being labelled and searchable by label.

See https://www.cs.cmu.edu/~biglou/ESP.pdf
The author mentions he uses grunt for ui build/optimization without caveating that it hasn't seen a release in over a year: https://github.com/gruntjs/grunt/releases.

The project team has gone radio silent and even the mainline "contrib" plugins have unanswered issues and pull requests.

TL;DR If you are starting a new project, don't use grunt.
Undocumented extension point for notifications in OS X El Capitan
Thanks, sorry, did not read TFLs in any depth... Pre-coffee
> What you're saying is that you saved 10% electricity and helped the environment at no cost to you.

That's not what I'm saying. We're aren't talking about just changing light bulbs, most people I know did that years ago. All the easy stuff was done years ago, it's trying to eliminate standby power consumption, turning of the oven early cooking on the residual heat, buying a new fridge and so on. Expensive and cumbersome things. Sure people want to help the environment, but it would be more motivating if all your investments and vigilance was reflected on your electric bill.

A typical Danish electric bill is:
10% transport, paying for the grid.
45% electric tax (Just a tax, not really clear what it's for).
20% sales tax
10% PSO tax, for securing electrical supply, support for green energy production and research.
15% Actual energy usage.

I'm concerned that people will stop trying to save energy, if it's not reflected on their bill. Most people will say that they want to help the environment, but honestly I don't think it's a motivating factor for remembering to turn of the light, the direct impact is simply to small.
1 - Charge a one-time fee of USD .01 to your users payable only via PayPal.
2 - Report to the police any child pornography issue handing them the PayPal coordinates.
They should be transparent.

Fix the obvious problems. You can go get an iphone with more bandwidth and better hardware than the equipment we send into space.

If we spent NASA's budget on just that, then swung back to mass-fabricating automated robots to explore the cosmos - we'd be economical and efficient.
Very nice work pulling this sort of thing up - but honestly? This looks terrible to actually use in code.

Even if they do commit to working on this language - and it offers advantages over Meteor (which it looks to be inspired a lot from) - they have a lot of design choices I don't understand:

- Inventing a new language over JS is problematic, a dependency, and you don't get goodies as they land in JS.

- The fact IO is implicit and not explicit means you don't know where you're paying - and is a very leaky abstraction.

- jQuery as a default part of the standard library? Really?

- Anything that "automates the database" terrifies me, anything that wraps PostgreSQL and MongoDB with the same wrapper means I'm paying for impedence mismatch _somewhere_ but they're not telling me where.

- Their "MVC support" section is really about scaffolding, and MVC on the server doesn't make sense anyway in this scenario.

I like the JSXish'ness of some of it but honestly not sure why anyone would use it - the fact there are no strong backing companies is also worrying.

That said - that's just my impression so as always I recommend you try it yourself rather than take my criticism :)
Wonderfully accessible synopsis. One ever so _minor_ point. Did you really mean to say "The former and the latter are not the same thing" or "The former and the latter are not _formally_ the same thing" ???

Here's a fun fact for you, you might enjoy this. I picked up a copy of a 1943, second edition, hardback copy of Bertrand Russell's An Inquiry into Meaning and Truth. (In an antiquarian bookstore for €25, as one does... the colophon even states BOOK PRODUCTION WAR ECONOMY STANDARD)

Anyway, chapter XX is titled "The Law of The Excluded Middle" and in it Russell states, "[…] As everyone knows, Brouwer has challenged the law, and has done so on epistemological grounds. He, in common with many others, holds that “truth” can only be defined in terms of “verifiability”, which is obviously a concept belonging to the theory of knowledge. If he is right, it follows that the law of the excluded middle, and the law of contradiction also, belong to epistemology, and must be reconsidered in the light of whatever definition of truth and falsehood epistemology permits."

What strikes me about this (apart from the fact that I did not know previously that Russell tackled the question of constructivism/intuitionism so directly) is that he claims that everyone! knows this. If we are being charitable by everyone he means mathematicians, and perhaps logicians, maybe even philosophers, I still think it's quite a broad statement. It shows that the school of the logical positivists springs from Brouwer -- which firstly I was never taught, and which secondly does not appear in, for instance, Language, Truth, and Logic[1] by A.J. Ayer. Finally I can see how the law of double negation becomes an epistemological matter, but not the law of what he calls here contradiction (noncontradiction?).

He goes on to disprove the verifiability claim over many pages, and thus constructivism. There's a swipe at Wittgenstein further on still. It's a fascinating text. Russell grapples with mathematical and logical issues in a clear fashion using everyday language. Kind of like what you might get if you took the intro to HoTT and lengthened it and made it more philosophical.

[1] https://archive.org/stream/AlfredAyer/LanguageTruthAndLogic_...

ps: is there markup for blockquote on HN?

EDIT: clarity, markup, prose style
Don't get me wrong, I feel this is an awesome project, but this looks pretty weird:

#msg = <div>Thank you, user number {/counter}!</div>

... especially when everything is moving into an MVC direction. I like keeping my logic separate from my template. I may be too hasty. I'll definitely download and check it out in more detail sometime this weekend.
if you can do all the shiny web things by writing grandpa code, this might be a good thing :)
By limiting encryption government is increasing terrorists ability to sabotage?
So there are multiple reasons to post it here. Primarily being HN with its set of users can likely prolong this point further and make law makers aware of it.

Governments are well meaning in terms trying to protect the citizens. Intention seems right. But by weakening the encryption and likely other security measures (phone encryption etc) aren't governments leaving the door for terrorists to do the same. Status quo and governments understanding is that terrorists will never have as much resources as them. To me it seems shortsighted and preposterous stand. And can result in some massive security compromised by rogue elements down the line. Your views?
I'd like to see this for a network trained for more neutral images like places. See for instance the bottom image of [1]. I imagine it would be cool to continuously zoom and iterate through this image in a video.

[1] http://googleresearch.blogspot.ch/2015/06/inceptionism-going...
What if you want to search algorithms related to the game?
"Released in June 2011" they have been working on it for a long time, which might also explain some of the choices you pointed out.
Here is an "introduction for coders" on GH - I think it explains it better than the website https://github.com/MLstate/opalang/wiki/A-tour-of-Opa
Or use all of those CP databases, and just report images flagged by some subset of them.

I am curious how this gets handled. Having been goatse'd a few times with CP, I cannot imagine reviewing that crap on a regular basis.
Also Indonesian speakers :P (we got it from you Dutch)
"Problem is that scientists get paid pretty terrible wages"

I can't claim to know the situation everywhere, but apart from the postdocs (and I guess the 'adjunct' temp positions endemic in the US), assistant and full professors actually get paid quite well (I know of Western Europe, AU/NZ, Canada, and I think it's the same in most places in the US too - although I don't know first hand there). Funding agencies would fund software people. There is no will to change it though, because hey I wrote 5000 lines of C or Fortran back in the 80's when I was a grad student, so why can't you do the same today? I have a CD-Rom with a very good C++ compiler I've been using since the early 1990's, I'll send you a copy, you should try it out! (I paraphrased that last line, but I was actually told this less than 4 months ago).
Seriously, saying "this plan required two different rare events to coincide before it failed" is very different from saying "this plan required a rare event to happen before it failed". The implications are not the same.

And while a boxer may want to hit his opponent with both hands, hitting with the left definitely doesn't cause hitting with the right. Most punches are not one-two punches. Tsunamis (or, as wikipedia would have it, "seismic sea waves") are generated by earthquakes, not by some mysterious root cause that might or might not also put off earthquakes.
Wow, that totally got me, thanks. 2011 definitely explains a lot of the choices like including jQuery and 'almost jsx' syntax. They have some interesting projects with it (the end to end encrypted chat) but I think they might have missed the train. This also explains not mentioning meteor.
I don't know, I more stumbled into it - I'll admit that my wording made it sound like it was premeditated in my case...
Funny that the original eevee post to HN was a personal blog last month and said "my job at yelp". The one on Vox says "a bay area tech company".
Find Ways to fail fast
Main problem with space stuff is radiation if you send up consumer electronics like iphones. The small transistors in consumer electronics would break from a single hit.

You could ofcorse just send more of them.
But as we can see NASA has gone the other way. Hard to say which is the better way.
Counterpoint: Censorship is awesome. It creates and shapes places that are just great and pleasant all around. Being an excellent censor is a great ability and there are sadly way too few out there who can give a clear voice (not in the sense of being one voice, necessarily, though that can also be great!) to something and be really excellently opinionated about their censorship.

I want more great censorship, not less. If it’s done by people and organisations, at least. Because that’s what we are talking about here, right? Reddit, not governments?

Censors are just editors and that job is not some inscrutable thing. It can be done and it can be done excellently.

I mean, to me this only gets tricky when we are talking about basic infrastructure, i.e. should a paper mill be allowed to refuse to sell their paper to Neo Nazis because of ideological reasons? Should a web hoster be allowed to refuse to sell to Neo Nazis?

But Reddit? That’s easy and I don’t really get what the fuss is about. Nothing would be lost at all if the admins were much, much, much more ban happy and much more pro-censorship. They should be, 100%.
Indeed excellent, thanks! TLDR: Yes! "Pluto at 3.8 kilometers per pixel (~630 pixels across disk)."
But a 'diverse' team is code for a team with both black and white people, men and women, straight and gay, etc.

So when you say that 'groups of different people with different thinking styles' you are implying that, for example, black people think differently from white people for the sole reason that they are black and other people are white. Or in other words, that if you get a random black person off the street you can assume his views will be different from a white person's?

Isn't that kind of grouping and assumption exactly what we don't want to promote? I can't reconcile this in my mind.

Anonymous because I don't want to be shamed as a racist when I'm not, but a genuine question.
> I don't see one of the inventors of Go having produced a rough version one before pulling other people in

Well, Ken Thompson did create B...
I have a question about the design of the garbage collector of Go. Does it also clean up goroutines that are waiting on a "forgotten" channel? And does this apply for processes waiting for each other in a cycle?
This is really cool, but honestly, I'm getting a bit tired of seeing all those "eyes". I want to feed it my own training image set. Is that possible?

Alternatively, is there a way to specify I don't want to enhance on certain outputs, like "dogs" and "faces"?
Not so interesting really, just that funding is structured in such a way that there are ways to get funded to convert research prototypes into production-quality software, and as long as you have researchers willing to include it in their proposals, domain knowledge to have credibility and hold your ground in your consortium, and a network within which you're known for this; then you can make a living as an independent researcher/software consultant. I'll add to this that I stumbled into some peculiar, non-replicable circumstances which let me bypass the 'only eat ramen for several years' phase that is the rite of passage in the academic world. The opportunity cost of that would have made it non-rational for me to do this. So I don't have actionable career advice on this line of work, I'm afraid.