skysight-inc/HackerNews huggingface dataset:
Other tech companies should be very worried about Google. The future of tech will only work with lots of data (emails, contacts, calls, location etc.). Google is best placed to take advantage of this. People have been giving Google this info for years. Even if Apple or Microsoft came up with a great new email system and people started switching it's only one part of the puzzle. If ordinary users like this contextual future Microsoft and Apple look screwed (unless Apple is working on something secretly). And I say this as a Mac user and an iPhone user/developer.
Utest, Now Called Applause, Secures $43M Series E Round Led By Goldman Sachs
namecheap and gandi do it for me.
Because programming and technology is a current source of good jobs that pay well and provide social prestige. Women and racial minorities want a larger cut of that action.

You can sugar coat it in any fancy words you like, but ultimately it comes down to this.
I don't know. I guess they do but most probably not in the way we do it.
> The question is, does any good physics come from the axiom of choice?

In the first place, this isn't the question.

In the second place, obviously, no good physics comes from the axiom of choice, just as no good physics comes from denying the axiom of choice. If there were any known practical applications, they would be mentioned as soon as you heard of the thing.
Pirate Bay Founder Gets Access to His Books After Public Outcry
The software is ugly because the problem is ugly
Since animal's size is encoded in a few genes that are specifically marked to evolve very quickly, any ill effects (for non-extreme settings) would be extremely unlikely. Besides, mutations in those genes exist without manipulation too, you have small tigers, and you have large cats. Those animals don't go crazy, so ...

Even in humans you have everything. From people who grow 2-3 centimeters from when they are born, to people who grow to 2.5 meters. While most examples have a somewhat short lifespan, it's not drastically short. Even though our skeleton clearly has problems with anything over 2 meters.

And you do see that happening. There are a lot of species that have changed size in documented history. The trend seems to be that anything that lives in cities, from tigers to rats, evolves to the size of a large cat, which seems to be optimal for survival. Also their colors change to very dark patterns that are bloody hard to see in the dark (and they only come out in the dark in cities). In nature there is more variation, but as habitats have generally become smaller, animals have shrunk too.

References :

http://en.wikipedia.org/wiki/List_of_tallest_people

http://en.wikipedia.org/wiki/List_of_shortest_people

Oh and this is just too cute not to mention :

https://www.google.com.au/search?q=falabella+horses&source=l...

(these are neither ponys nor foals, they're fully grown adult horses, no if you're not a baby you can't ride them. They come in sizes varying from 30cm to 120cm. You also have horse races that have a "port"height (meaning their shoulders) of 2m)
> Without the axiom of choice, the product of infinitely many non-empty sets could be empty.

This sounds like a stupid question, but I can't really figure it out: How could it be empty, given your above formula?

(Math level: Engineer)

Edit: Wait, is it because every set contains the empty set? And without choosing you could end up with the empty set?
This also relies on a similar cultural background. You'd be surprised at the cultural differences between US/California (a lot of the posters here) and Eastern Europe (my case). And my situation is mild - imagine how this scales between US/California and someone from a completely different culture (China, Africa, India). Actually it doesn't scale at all :)
Facebook "partners" with several large 3rd party advertisers.

I'm not sure how you would define "sell data", but other advertisers are using that data for targeting at scale already.
Yup! This is the basis for Fourier analysis: http://en.wikipedia.org/wiki/Fourier_analysis
> Hm, I see, so this can output the virtual miplevels quickly?

Yes: when you see the tiles on (say) http://www.nanocubes.net/view.html#twitter, what you're getting is not a precomputed tile: the server is actually visiting the datastructure every time (and I hope I can convince you that at that speed, it is not touching 210 million points :). The reason you can't precompute all choices is simply that there's too many of them and you'd run out of bits in the universe (the paper, http://www.nanocubes.net/assets/pdf/nanocubes_paper.pdf, has details).

> Also, would it work with a "full" dataset (i.e. no empty cells)?

Not exactly. We get away with an in-memory data cube exactly because in many practical cases the data is sparse over the address space. With dense data you'll take a much more significant memory hit (but it's one you'll have to take with any aggregation scheme. The paper, again, has details)

> Also consider miplevel interpolation, makes the transitions between levels much easier on the eye (doesn't work well with nearest sampling).

That's fair, although again we're hoping to keep the WebGL version feature-compatible with the leaflet.js version (that does canvas-only, and has no zoom transition at all); the smooth version looks nicer, as you can see in the (bit on the PR-heavy side, sorry) following video https://www.youtube.com/watch?v=8P9QA6TJwys#t=69
That's still 2x the work to shoot. You have to do every scene with the actors not speaking at the appropriate times, then you have to bring them all back in to the sound studio to do the neural interface scenes.

That eats into shooting days a lot, and costs a lot potentially.
Doesn't change the fact that Hotz was working on the crack before otheros was removed. So, the removal of otheros was not the seminal moment that the op described. That is, the ps3 did not take so long to crack due to insufficient motivation. It took as long as it did, because it was a more difficult platform. There are similar trends in other areas as well like rooting/jailbreaking phones and installing Linux on UEFI machines.
Sadly, there is no known method of constructing such a Hamel basis — but we know there is one contained in the Cantor set [1].

[1] http://en.wikipedia.org/wiki/Cantor_set
There is no 'Security through obscurity'. At best, you will have the illusion of security, wich is worse than no security at all.
Carnegie Mellon Students’ Game Demo Blows Internet’s Collective Mind
The interesting thing is that India has one of lowest costs for electricity.
True, however large corporations take large risks also. When you invest in services like this its around 1000 USD. Imagine when companies are willing to take upward of 2 billion USD risk they won't do that unless they are sure.
Simulate a slow network connection on Mac OS X
While it's a valid question, I suppose other payment solutions like Stripe Checkout (https://stripe.com/docs/checkout) and Braintree.js (https://www.braintreepayments.com/docs/javascript) also work on a similar principle and hence pose the same vulnerability.
Without knowing him or his details specifically, but considering the range of possibilities generically:

A person in such a situation could be the victim of a crime or accident, or of a health episode – physical or mental – that's caused temporary incapacitation. That incapacitation might mean they're still ambulatory, but confused and in need of help, or alternatively trapped/disabled/unconscious somewhere – perhaps even not far from help, if people were just perceptive enough to notice.

Consider, for example, the case of the patient lost and deceased in the stairwell of the SF General Hospital last year: http://www.sfgate.com/bayarea/article/How-S-F-General-lost-t...

A slightly more thorough search, rather than the assumption "she's an adult, she must have wandered off the grounds for her own purposes", might have discovered her unconscious in time to save her life.

Of course, if in any such case the person truly is a competent adult devoutly not wanting to be found, they won't be. But if friends/family are concerned, it's better to trust their particular knowledge.
Inequality and the Masters of Money
XtremIO co-founder dives back into flash storage pool with Elastifile
This is what the axiom of choice is about. It says:

Given a collection of non-empty sets, there exists
a "choice function" that chooses one element from
each set. (AC)

The problem is, AC can be used to prove all sorts of counter-intuitive results. The example that turns up here on HN all the time is Banach-Tarski[0][1], but this submission about x^2 being the sum of three periodic functions is another.

AC has been proven to be independent of the usual axioms of set theory, so in some sense you can choose whether to believe it or not. If it's true then Banach-Tarski is true. If it's false then you can have infinitely many non-empty sets with an empty Cartesian product. (corrected to read "an empty" instead of the error "a non-empty" - thanks thaumasiotes)

Pure math be crazy. And cool.

[0] http://en.wikipedia.org/wiki/Banach%E2%80%93Tarski_paradox

[1] https://www.hnsearch.com/search#request/all&q=banach+tarski

----

Edit: No, it's not because of your edit:

> ... is it because every set contains the empty set?
> And without choosing you could end up with the empty set?

Not every set contains the empty set as an element, but every set has the empty set as a subset. We are talking about choosing elements, and the it that says "non-empty set" means that for every individual set we can choose one of its elements. The problem comes in that when there are infinitely many, including possibly uncountably infinitely many, we need to do all these choices "at once" (in some sense).
Exactly, thats why we are able to be so cheap
AWS can’t keep its new SSD-backed instances in stock
From the article: if I want to use Arch Linux without banging my head with the terminal, I should be able to do that

Look, I got burned by Arch a couple of times and I finally dropped it after 2 years after some crazy nuts updates that broke my system even following the news section.

HOWEVER, everybody does what they want, that's the point of linux and linux distros. You can't think like that, you simply can't. If a distro wants you to do crazy updates, you either do it or you go find another distro. The only thing I can say in your favor is that if somebody makes a derivative for simple folks like us, say Chakra, then it's mother distro community should not ditch on them, it's linux after all.
That did speed things up a bit further: https://github.com/atomicobject/heatshrink/commit/38b8025895...
As the article notes, this did happen eariler: Bing has the same level of access.
Don't forget that the difficulty [1] will increase over time. By using the calculator [2] with only a 5% increase, zero electricity costs etc. we don't see any return at all.

[1] http://bitcoinwisdom.com/litecoin/difficulty

[2] http://bitcoinwisdom.com/litecoin/calculator
lets hope their less constrained ethics result in some good for the poor and needy.

the idea of cute mini pets with their growth hormones gimped is all well and good and i'm sure will be fantastically popular... but its not exactly a noble use of the technology.

I'm thinking more like golden rice v2 - except without being crippled by the infantile kind of controversy that it sparked in the west :)
Even if you could not explicitly breed for loyalty and obedience, simply reducing the variance in the expressed phenotype would make managing and controlling the general population much more straightforward. If everybody responded to stress and fear in a similar way, it would make it much easier to use these tools as instruments of control.
Linux doesn't need more Linux Distributions, Linux needs new Desktop Environments.
> But leaving us behind? That Ai would still be limited by our original design. Limited by it's capabilities - it's exposure to us. It's creators.

Isn't that a bit like asserting that it's impossible to program a computer to play chess better than the programmer -- something that is demonstrably untrue.
What is missing from the available DEs?
I think you find that these "top" creatives might well have a laptop or two for on site work but will have big traditional PC back at base.

For example in music a proper studio will use a desktop pc (or multipel PC's) as the heart of its DAW - with the laptop used for performance/playback rather than creation.

I bet Air Studios or Abbey Road will be using MAC pros's and not Laptops
Hmm, not sure today's china government is aiming at making "the world" a better place. They seem pretty focused on China only interest at the moment (and not everyone in China i would add)...
Yeah, from hardware trade POV but not from the consensual user base point of view.
Sherlock did not use deduction, he used Abduction
Easier to make the bookmark vs installing an app, but not easier to use.

Compare # of clicks from the home screen for an app icon vs a bookmark.
It was pretty common for people to save letters in my parents' and grandparents' generation. When my grandmother died we found hundreds of them.
Again this is assuming the price of LTC also does not increase. That is unlikely if the difficulty increases.
When tech companies won’t provide service manuals, this guy writes his own
Why is this on HN again?
You're just excluding yourself from the pool of data that the future people have available when they archeologise our present day.

Please, think of them poor sods having to trawl through YouTube comments and the worst Reddit threads.
Do you operate on a bigcorp-IT-style "all email older than 90 days gets deleted" policy as well?
NSA Files: Decoded (The Guardian)
Hey man, you were pretty fast trying out all those distros already!
That's a lot. I was looking at $50-$75 price point. Don't care about screen resolution. It can be resistive touch. One can skip on storage too. But it needs to light up when you touch & make sounds. Most of all, handle all the abuse :)
Weird things happen when you go from "every" to "all" for uncountable infinities. Loosing ability to pick elements wouldn't be the weirdest.

Physics matters. But since math is purely intelectual thing of course you are welcomed to pursue both paths. After all physics is not the only game we play. If someting is not useful in the real world it can be useful in virtual worlds we construct. All math is eventually applied math is a self fullfilling prophecy.

Most mathematitians choose to accept axiom of choice because it makes lots of things easier and lots even possible. It isn't better in any other sense than the oposite.
Meta search engines could be infringing database rights says EU
The Axiom of Choice defeats all intuition.
Yes, that is true. My post was assuming the price of LTC did not change, although over the past 2 weeks it hasn't ventured very far north of of $24 or even very far south $22.

http://www.ltc-charts.com/period-charts.php?period=2-weeks&r...
Toxic dust storms in the southwestern USA are killing people via infections
along these lines i'd highly recommend: http://socialsafe.net/
For science, I'd put silica gel crystals in it and take it to the shower before I dunk my tablet :)
Personally as one of those pirates they are trying to stop piracy is only an issue when your content is not easily accessible the legal way or it is too expensive.

I have experienced both. For instance songs are very cheap when your monthly income over £1,500 but when your monthly income is £300 (that's the equivalent in pounds in the country i grew up in) that's a bit too much for just one song.

Same for everything else since they're all price for the US,UK,etc market.

Now that i can afford it i choose to pay for the content i like (it's my way of encouraging the people creating the things i like) even though i could still pirate it.

Then again I'm still forced to pirate some things that can't get legally.

Wish i didn't have to but it's not like their giving me a choice.
How do you feel about well ordering the reals? Because the Axiom of Choice gives you that too and so much more. I'm not a zealot one way or another, but don't argue for it based on intuition, it plays both ways.
I remember hearing about Singularity a few years back - it sounded promising. Looking at the linked page, there doesn't seem to be anything published or presented since 2009. Anyone know what's going on with Singularity these days?
> Lowering the barriers to entry can be a great strategy for something

It's considered that Wikipedia works because the barriers are high to contribute. (Learning mark up)
Typically same part that includes such complex terms as "access" and "third party".
It's very interesting but why isn't there any practical example? What are the equations of three periodic functions that would add up to y = x^2 for instance?

How would one even construct those three equations? If I'm not mistaken TFA demonstrates that these functions exist, not how to find them.

I wish I hadn't stopped with maths in high school...
Get Scandinavian Company in 60 Seconds
A year ago Yandex made an iOS app "Wonder" that could search in Facebook and other social networks. Facebook blocked this app one month later.

Good to know that now Yandex and Facebook have signed an agreement.
As the old joke goes: We all know that the Axiom of Choice is true, Well-Ordering of the Reals is false, and who knows about Zorn's Lemma.

I use AC when I need it, avoid it when I can do without it, and sometimes look at what it allows versus what it implies.
I would say nothing, but they can be refined. This might get me hate, but the thing with using Windows for work and Linux for my personal projects: the GUI feels much more "refined" for Windows, even though that can be highly subjective...
Ask HN: Diploma thesis in information security
Hello!
I am a master student in the field of information security, and in nearest future I need to select theme for my thesis.
I want to do a really good job, but I can not yet determine the topic.

I want to work with something associated with the analysis of public information, social networking, data analysis and things like that. Perhaps - security of web or mobile devices.

And I want to ask the community for help, maybe you can suggest interesting from your perspective directions for research.

Thank you!
I'm on Gentoo Linux and had my Skype settings set to never delete chat logs. After a couple of months these logs were in the tens of gigabytes. The strange thing is that I rarely even chat on Skype. This should be tens of gigabytes of just text chat. Well it's not any format that I can understand (and Skype lags badly and becomes pretty much unusable if I type /history to look at the logs) so I've had to delete them and for a while now Skype only stores the last month of chat. I can't think why the logs got so big. Perhaps Skype trys to optimize them for quick searches or something?

Anyway, does anyone know of a way to back up Skype text chats? They shouldn't have to use up this much space. (And ideally I should actually be able to load them up and read them too!)
First things first:

> Wait, is it because every set contains the empty set?

No. For example, the set {1} contains only one element, the integer 1, and does not contain the empty set.

> This sounds like a stupid question, but I can't really figure it out: How could it be empty, given your above formula?

The axiom of choice is called an axiom for a reason. It states that the cartesian product of infinitely many non-empty sets contains at least one element. So under the assumption that the axiom of choice is true, obviously, the product of non-empty sets cannot be empty, because that's the definition of the axiom of choice.

Conversely, under the assumption that the axiom of choice is false, there must be some infinite collection of non-empty sets for which the cartesian product is empty. Many people (like you!) find this absurd; thinking it's absurd doesn't indicate any problems with your intuition.

Now, there's a saying about the axiom of choice:

The axiom of choice is obviously true,
the well-ordering principle is obviously false,
and who can tell about Zorn's lemma?

It's a joke; the three items mentioned are all known to be equivalent.

The axiom of choice is known to have equally "absurd" consequences. One, referenced in the above joke, is that it is equivalent to the statement

All sets have a well-ordering

Which can be rephrased:

For any set S, all subsets of S contain a least element

You might want to reflect on what the least element of the open interval (0,1) would be. (Note, "least" refers to the well-ordering of the set guaranteed to exist by the axiom of choice; it does not refer to the numeric sense in which 3 is less than 4.)

The axiom of choice also gives us the Banach-Tarski theorem, which says that a sphere can be divided into a finite number of pieces which can then be rearranged without deformation into two spheres of the same radius.

I generally lump anti-choice mathematicians into the same group as constructivists, but theoretically there could be a distinction. There are no known consequences (outside of the various theorems proved using the axiom, all rather abstruse) to believing one way or the other, but it's a rather emotional subject for many people. Why, I couldn't tell you.
One of the first questions I asked myself years ago in C was what's the difference between open, read, write and fopen, fread, fwrite. Buffering.
i don't think the internet is free. Everything has a price. For example if you blog you've to pay for hosting, for a domain. Although $10 is nothing for for some asian countries it's a big communt.

If you get it free still you can only do that until their money runs out like what happened to tumblr or else they'll put ads like what yahoo is about to do to tumblr. And wordpress ads that suck.

So the internet is not free as people think it is.
DJB on crypto api design, ChaCha20 in OpenSSL
The poor bastards would have to act through what appears to be a romcom without opening their mouths as well.
I'm intrigued enough by the Timeline view of ROSA that I'm downloading it now and preparing to boot it on the linuxhack machine I've got just for the purpose .. this is something I've wanted in a Desktop GUI for decades, and I'm quite interested in the implementation in ROSA - anyone used it yet, got an opinion based on experience?

For me, a Temporal interface to the work I've done on the computer is the One thing missing from modern computer use interfaces. I've always thought that the primary index key for all data created on the computer should be date/time, and better tools for querying/navigating on that index should be developed for users .. but it seems there is some work to be done on making this interface mechanic sensible to the average user. It'd sure be beneficial to me anyway - I'm often thinking "what is that file I made last week .. name forgotten, but I remember when it was, roughly .." while looking for things - if a Time-weighted interface were oriented towards usability, it would be quite useful, imho.
The barrier to wikipedia are the arseholes who revert good faith edits to a page while doing nothing to fix the rest ofthe errors on that page. They drive away new people while leaving bad pages in lousy condition.

Mark up is not a high barrier to entry.
Probably the most amazing all in one calendar app I've used
Getting Financial Data in R
ROSA looks like exactly what you're complaining about.
Ouch. Thanks for the information.

In addition, that second link helps us work out what equivalent hardware at home we could use to accomplish a similar (non)return. Purchasing an AMD HD7970 graphics card, with a hash rate of 0.7MH/s, and mining with that could arguably be cheaper in the long run
Brief answer: the author invokes the Axiom of Choice, so the three equations will be really screwball and there will be no way to write them down explicitly.

This is, in some sense, regarded as cheating. (The Axiom of Choice is generally accepted as a legitimate mathematical axiom, but not universally.)

http://en.wikipedia.org/wiki/Axiom_of_choice