skysight-inc/HackerNews huggingface dataset:
I'm 100% with you on supporting the idea of a basic income. Not every problem can be solved by technology alone, though (in fact I'd say there are very few problems that can be solved by technology alone).

I think loumf's suggestion probably is the best way for harnessing technology to achieve a basic income but ultimately it will require political action and political support.

We're talking about a really huge amount of money and a tremendous change in most people's lives here. Even those who'd likely benefit from a basic income often are averse to it (if they know about the concept at all, that is) because it challenges both traditional capitalist and socialist views of how the world should work. So, convincing people really is the problem here. Creating persuasive visualizations and spreading those with the help of technology perhaps is your best bet at contributing your share.

You might want to talk to the people of the local Pirate Party about your ideas. The Pirate Party after all is the only noteworthy party in Germany which supports a basic income (though they admittedly have lost their way since the last elections and need to get their act together if they want to play any role at all again).
Interactive deep neural net hallucinations, with source code
Like many other things in code: you get better information about your design from running code than from thought experiments.

"There is no difference between theory and practice. In theory."
What's your problem with BDSM, as long as it's consensual?
Judge Orders Pentagon to Get Guantanamo Force-Feeding Videos Ready for Release
The raw image resolution isn't that bad [1], just that at that distance the planet is still pretty small. The LORRI instrument actually has an 8 inch mirror which is the best ever ever carried to the outer solar system.

As for receiving the high res images, the full data dump will take months after the flyby to be sent back. I read though as a fail safe in case new horizons were to damaged during the flyby that they will be transferring a high res image early into the flyby.

New Horizons is also unable to face Pluto and talk to earth at the same time, which limits what we can get back at this stage.

[1] http://pluto.jhuapl.edu/soc/Pluto-Encounter/data/pluto/level...
If I'm not mistaken they'll receive low-res versions of the pictures then download the full-sized ones later

From the Planetary Society website

"On September 14, New Horizons will begin downlinking a "browse" version of the entire Pluto data set, in which all images will be lossily compressed. It will take about 10 weeks to get that data set to the ground. There will be compression artifacts, but we'll see the entire data set. Then, around November 16, New Horizons will begin to downlink the entire science data set losslessly compressed. It will take a year to complete that process."
Slow DNS with some configs that involve IPv6 is a known issue on OSX :(
> Maybe we did already, and it wasn't that interesting?

https://en.wikipedia.org/wiki/Clementine_(spacecraft)#Missio...

> The lunar observations made included imaging at various wavelengths in the visible as well as in ultraviolet and infrared, laser ranging altimetry, gravimetry, and charged particle measurements. These observations were for the purposes of obtaining multi-spectral imaging of the entire lunar surface

This mission's result is what you see in "Visible" mode on Google Moon https://www.google.com/moon/
Fallout Terminal on Linux Demo
Try libpuzzle : http://www.pureftpd.org/project/libpuzzle

I'm using it in an erlang wrapper (https://github.com/eraserewind/erlpuzzle) to crawl tumblr & reddit images, and then dedupe it.

Puzzle signatures are easy to index. I'm using ElasticSearch
> He wasn't dealt with. He deleted his account in a frantic and futile attempt to avoid exposure.

Doxxing is doxxing. It doesn't become 'exposure' when people you like do it.
I'm searching for techniques to make my Go bot stronger, not for the language
3- Loose all your users ?

I wouldn't pay USD .01 to access a simple image upload site
For some reason there is still lots of inequality in education, work and culture so some sort of change is still needed. And I really don't think you get seriously labeled a bigot just for any criticism of a minority member.

> Both developed a bad reputation as leaders. Yet, one of these people is being defended and the other is not.

You mean Ballmer?

We know nothing specific and substantial about internal Reddit politics, so the cause for seeing all this hateful scapegoating can only be some kind of mass stupidity.
Hi, can you elaborate more about your carreer path. I'm currently in a simmiliar position.
Not saying they're not excited, just saying that picture is probably not a good indication of their excitement.
Clean Disk Security 8.05 Crack Full Version Free Download
The alternatives are

- shut it down right now

- take a 'wait and see' approach. Then one day during the course of a bigger investigation they find that your server is hosting CP. Also, you apparently knew about it and didn't do anything (admittedly proving this will be quite difficult and unlikely, but still). In that case, they'll come down on you like a hammer.

Better be proactive. And if you're paranoid about the feds jailing an infrastructure provider who actively came to them asking for help (do you have any examples of where this happened? even just an investigation?), then all you have left is option 1.
Most of the high resolution "I can see my car from here" images are from aeroplanes.
Just messaged you on Twitter. Send me your email.
It will only be good if he unban the banned subreddits. If he leaves them banned it means that they did unpopular changes, laid blame on one person, remove the person but leave the changes.
> While leaving up other subreddits that also have organized harassment behavior.

I think "organized harassment" here means, people form the banned subs reached out to harass people in the real life, outside of reddit. Not just posting vile stuff in a sub.
Wow. Replying to myself. What is brought into question is the status of Proof by Contradiction, not the status of the Law of Noncontradiction. Russell seems to have confused these two things. And I don't blame him. It was 1940 after all, and there was a war on.

Another interesting fact. The book is built up from from accumulated material finally delivered over a course of lectures at Harvard University in a series called the William James Lectures in 1940 when England was at war but the USA was not.
> These persons life aren't at risk because they can't express opinions, isn't that what is meant by FoS ?

No. That's the exact opposite of free speech. Free speech is meant to protect the most disgusting, heinous, pointless, hateful, ignorant, foolish speech.

That's the whole freaking point - nobody wants to silence unoffensive opinions.

>ps: I'll add that I was somehow afraid to express my views on Freedom of Speech. Funny.

It is funny. Because it's the people who want silence others' free speech who repeat the "freedom of speech doesn't mean freedom from consequences" meme as justification for their horrible actions.
I wonder how this will pan out with people getting an OEM version with their new laptop. I am fairly certain that most people around me are not changing machine every 2-4 years; more like 5-7 years. I can't see how MSFT will explain to then they have been buying a Windows license all along but now, they need to buy a Windows subscription.

I can see it having an impact of Chromebook for places where WIFI/4G is omni-present.
> bad guys

Do "bad guys" come with special markings so that you can distinguish them from "good guys"?

> millions of lives

Please give on example where torture has saved millions of lives.
something interesting with APIC and power-states was with tick-less kernel starting 2.6.18 and only win8 in NT.

http://lwn.net/Articles/223185/
Congratulations, you were some sort of child prodigy who could code perfectly from day one. Or maybe you just started earlier.

What exactly are you trying to achieve by hating on someone who's done nothing but share what they've learnt with other people. He isn't making you run this. He didn't even make you read it.
Just messaged you on twitter. Send me your email.
Another addendum to the discussion, from an angle more relevant to computer programmers: if we find a computational meaning for the univalence axiom, then it'll be a crazy nuclear weapon of generic programming and code generation.

The univalence axiom says that two types are equal if we can convert their values back and forth (without loss of information). For example, one Boolean type may be defined as an enum containing True and False. But we could rename the values to Foo and Bar and it would be still a fine implementation, because it's easy to convert between the two representations. We can imagine more far-fetched representations too, with more complicated conversion functions.

But in type theory, if two types are equal, then we can freely substitute one for another in any context! For example, if we have a function "Bool -> Bool", and we know that Bool is equal to Bool2, then we can coerce the function to type "Bool2 -> Bool2".

Imagine a complex program that uses a complex piece of data type. If we can provide a correct conversion function to another type (i. e. prove that the type is equivalent to another one), then the univalence axiom can take the conversion function and our program as input, and spits out a new program that uses the new data type, and also preserves all properties of the program. By our current standards of generic programming, this is just insane!

Now, the issue is that currently we don't actually have a computational interpretation for the univalence axiom, so the above magic doesn't yet work. But there is meaningful progress towards that, and there are already some experimental implementations that can do some magic, for example this one:

https://github.com/mortberg/cubicaltt
It's interesting. Instead of censorships I'm fond of the idea (though experiment so far) of shaping the place with costs and plateaus. Make sensitive things possible but with a bit of effort, so only people needing and meaning it will go the distance. The other will `naturally` fall back to their comfort zone.

reddit does that actually, until you're a well known user, you cannot submit more than a few per minute, after that delays kick in, if it really was something you wanted to share, you'll come back. No censor involved.

That's just an idea, but you get the point.
Absolutely. They tried to correct for this by controlling for all the confounding variables they could think of, which is a GIANT red flag for any study.
>> I personally respect freedom of speech, except hate.

I'm sorry. You don't respect freedom of speech then. Drawing an arbitrary line on what you (or anyone else) considers acceptable isn't free speech.

Put it this way: Things that were unacceptable in the 1950s are completely banal and uninteresting now. Things that were considered in poor taste in the past are horribly offensive now (look at Andy Rooney in Breakfast at Tiffany's). Are you going to be some society guardian, constantly updating what is and isn't acceptable to say as our values shift with the times
Variations of this have been tried and studied for decades if not more, and if there is one thing blindingly, unequivocally clear, it's that this does not work to reduce crime. (the debate could be about whether that's the (only) goal, my point is that for crime reduction it does not work)
Off topic, but I wish the New Horizons website's title said NASA - New Image of Pluto.

When I have more than two tabs open, I kept looking at the tab the Pluto photo was in and thinking it was a blank new tab.
Careful!

Here is LEM: ⊢. ~p ∨ p

(one of either p or p's inverse must be true -- and thus the other false -- with no third (truth) value allowed), hence also called principle of bivalence.

What you wrote is the principle of double negation.

In general: (~p ∨ p) ⇒ (¬¬p ⇔ p) but not the other way around if I not mistaken? Please correct me if I am wrong.
Show HN: RankTrendy.com – Amazon Keyword / Product Research Tool
Hi,

I'm currently developing a new tool to track Amazon keywords, products and sales data.

I wanted to see what you guys think and get any feedback with suggestions and/or improvements.

Check it out: http://www.ranktrendy.com
Category listing: http://www.ranktrendy.com/Stats/Category/58/1/DVDBlu-ray
Keyword Listing: http://www.ranktrendy.com/Stats/Keyword/31085/new-releases-2015
Product Listing: http://www.ranktrendy.com/Stats/Product/86484/The-Theory-Of-EverythingDVD2015-

The data is not 100% accurate currently and there are a couple of bugs. This will be resolved in the next release as well as the ability to create accounts so you can watch specific keywords and products as well as track data down to the merchant level.

Would like to know your thoughts :)
Show HN: The pomodoro.cc stack
Wow, Steve Jobs is forgotten so soon?
Distant Pluto finally gets its day in the sun
Reddit doesn't flag your admin/modship next to your post unless you explicitly opt in for that post.
The standard visualization for the Mandelbrot set (which is used here) colors pixels according to the number of iterations it takes for the corresponding point to get far enough away from zero that it can no longer be part of the set. It's worth noting that coloring pixels according to the estimated distance to the fractal instead (using a technique like http://iquilezles.org/www/articles/distancefractals/distance...) can produce a more detailed image: pixels very close to a thin edge of the fractal are included in a distance-estimation visualization but can be missed by an escape-time coloring.
Chrome Blocks Major Torrent Sites Over "Harmful Programs"
And Greeks are dancing to it.
Sounds very interesting!

When the project is ready - feel free to send me an email, and you have one early adopter.

I wish you luck =)
nice website! thanks :)
Yes, that's correct, the technology used is generally much older and specifically hardened against radiation.

To give an example, IIRC the CPU used in New Horizons is a radiation-hardened version of the CPU found in the PlayStation 1.
I'm scraping the site and generating lots of 11000x11000-resolution images in PNG format, available for you to download here [0].

Refer to filenames for date and time when the photos are taken. The file size of the images (taken at around 0300 UTC each day) is up to ~ 150MB.

[0]: https://mega.nz/#F!r4JTxYJT!NAzBOkuBt2tuyYdnz8hXQg
On IRC plenty of people who cry about getting a ban or K-line are ridiculed and told to go elsewhere. There is drama there as well, but it's a smaller and less exposed thing.
" Does the author really believe that people reading that are going to assume that Watt knew nothing of steam engines, this idea hit him out of the blue, and he built a working model the next day?"

This is how many people who have never build or invented anything think these things happen.
We've mapped the Moon and Mars to 0.5m resolution or so.
Have you seen how Norway terrain looks? https://en.wikipedia.org/wiki/Mountain_ranges_of_Norway
Good luck putting enough hydro capacity in western Europe.
Are you putting off trying CBT?
> You can raise "reasonable" concerns while harassing someone?

Yep. You can write two paragraphs of well-articulated critique and then write something like "this bitch should die and rot in hell" in the end.
Ask HN: Healthcare startups. Who are you?
Hi.
I am fascinated about the healthcare sector how small changes could really help tons of people.

Who is working in the healthcare sector with their startup?
What do you enjoy the most working in this sector?
What was your driving motivation for starting your company in healthcare?

Really curious about
also: search for "hacker news"
What is the state of the art of the research on the computational interpretation of univalence? What's working, what's not working? I seem to remember that A Jeffrey said not too long ago that he had a working interpretation.
> the agenda used to rule the masses by fear and security
> the wild west of the interwebs
> clamp down on everything

This is, joking or not, way out of proportion to what happened, which is, a single harassment-focused group was disbanded.
Eh? Your very own link says that there is debate within the mathematical community about whether Cantor's uncountability proof is constructive or not.

I just realised that in my mind uncountable (not in a one-to-one correspondence with the natural numbers) means non-constructive. For me countability just says that we have a (constructive) method for generating a sequence of what would be all the terms in the sequence (if it were ever to terminate which it doesn't) and no term outside the sequence in a non-repeating fashion that is unbounded.

Clearly if some sequence is uncountable it means that one of these criteria fails to hold. Which one? Not the non-repeating stipulation. Not the no term outside the sequence stipulation. It must be the stipulation that every term will be encountered during the generation. So there isn't a (constructive) method for generating uncountable sequences. The reals are uncountable, ergo there is no constructive method for generating the reals.

Where am I going wrong?

NB: I am not saying that you can't have a method for constructing individual reals like e and pi and so on.
Ask HN: Can you share your favorite short stories on sci/tech/hacking topics?
I setup continuous delivery with my Meteor app and wanted to share this. Here is a blog post I wrote to go with it: https://sungwoncho.io/meteorjs-continuous-delivery/
You send the response as json and act upon it. Have a look at this - http://jsbin.com/depuvelixu/edit?html,js,output

The json the code fetches is static but it can be served by a rails app. The DOM manipulation gets painful which is the reason people adopt JS frameworks.
Personally, I was often curious how much of 'global warming' is due to human energy generation (30%~40% efficiency), which all ends up as heat anyway.
Also, the average temperature in cities is way way higher than it is in more natural locations.
the NSA doesn't even know exactly WHAT he got or not...

Or so they say.
OPA in Italian is IPO in English (actually not only Initial, any of them). Definitely a good omen for startups :-)
> There's a clear need of AWS-like features for bio/biomedical > informatics specifically enabling sharing,
> security, reuse and anonymization of data (PHI), libraries
> (like R's bioconductor) and infrastructure (IaaS/PaaS/SaaS).

I tried to build a startup like this, basically a Heroku for bioinformatics, with a bunch of experienced biologist / genome folks. They just didn't get it and on my part, I guess I couldn't sell it to them. Part of it was snobbery, and institutionalized thinking. It was a big disappointment. Some one will do it, but until then it will crappy bioperl scripts, with no version control etc.
Refactoring my own comment above (I apologize but I can't delete it anymore).

Everything in the material world within our knowledge can be fixed with enough resources.

Given the current design, maybe for Ruby we could need more resources at the start of this process, but once a good base is layed out it will be easier to make other changes. Or could it all start with a Kickstarter for a new Ruby implementation???

Anyway, at that point, the resources required for successive changes will be comparable with the same needed by other languages.

So far in Ruby we have been profiting from nice syntax and object model, which in the end is what paired the balance and still made us use it.

This article was great in the sense that highlightinged the right approach that we would need in Ruby to make it grow to a better implementation. I really hope this will happen but for some reason I feel a great amount of opposing force to it and I am not sure it only comes from rational mindset. I'd like to see someone have their say on this on a deeper level.
A degree never guaranteed a high paying job, or any job at all.

Back at Caltech in the 70's, lots of students studied to get an AY (Astronomy) degree. It was well known that there was no way to get a job with an AY. The AY students would double major, AY for fun and another degree for a job.

These days with google, there's no excuse for being unaware of the job market for one's chosen major.
Russ, if this is what the talk was answering, is that really the question? I think the simpler answer to the grandparent post is: yes.

The closing keynote to the second GoLang conference, where all the keynotes were Google employees?

Asking about Go's reliance on Google deserves a better answer than your Groups thread, or this HN post. I love your writing in the post you linked, but a technical response on process still doesn't say anything about Google The Corporation's influence. Would you try again?
You would to expect a significant drop in traffic after the ensuing PR nightmares, fbi raids. Followed by years of lawsuits from people who claim PTSD symptoms and what not after being forced to watch CP.
Google open-sourced their own Brazil, or at least parts of it:

http://google-engtools.blogspot.ie/2011/08/build-in-cloud-ho...

http://www.quora.com/Does-Google-consider-releasing-its-buil...

http://bazel.io/
> The Victoria thing was a monumental cluster fuck in one of the most outward facing facets of the company.

The main issue (no one to coordinate AMAs) was dealt with in a matter of hours without serious consequences. The "monumental cluster fuck" image is due to hundreds of people with an axe to grind who piled up on top it, mostly with unrelated "anti-SJW" complaints.
This is bullshit. http://www.niemanlab.org/2009/01/david-ardia-why-news-orgs-c...

> They say “the lawyers” tell them they can’t edit out an obscenity or remove a rude or abusive post without bringing massive legal liability upon themselves [...] That’s not true, and hasn’t been true since 1996.
I'm the only one that see an hexagonal pattern in the image? I don't mean a single hexagon, but several.
When you think about it we do have a computational meaning and interpretation for the univalence axiom. Your very comment was such an exposition!

What we perhaps don't have is an automated implementation of your exposition. What you're talking about is typecasting where all the terms of one type map to all the terms of another type. And that once shown this the machine could perform type substitution kind of like how type inference works now. (And maybe the machine wouldn't always have to be shown??) Neat idea. Automatic type inference is pretty powerful. Automatic type substitution could be just as powerful perhaps.
If you're actually interested in pictures produced by the current Mars rover, I can recommend the interactive New York Times website dedicated to its progress[1]

[1]http://www.nytimes.com/interactive/science/space/mars-curios...