skysight-inc/HackerNews huggingface dataset:
One also has the properties that are iconic of primes: its only factors are one and itself. We went out of are way to exclude it, by using a less natural definition of prime numbers, because of how often we would have to say primes greater than 1.
Doesn't find Tampere, Finland.
I think you're quite right about that.

You need to have a somewhat established online persona before you venture into any sort of thing that requires people 'handing' you money in one form or another. This doesn't apply only to crowdfunding though.

Imagine you plan to offer an ebook for sale on a topic you consider yourself an expert in; you know it, but other people don't. Your book will only sell well if you have verifiable experience (ie: prior blog, maybe guest posts on other blogs, testimonials etc).

I'm a bit familiar with some of Kickstarter's history and I know for instance that they've had at least a few controversial/fraudulent campaigns. This is another reason why people might be reluctant to fund a project, regardless of how awesome/inovative/etc. it seems, if the project founder is almost a mystery as a person.
The problem arises when people make the mistake of thinking that number theory naturally lives in the non-negative integers; its natural embodiment is the entire ring of integers.

Within this ring, the integers are divided into four sets: Zero, a (unique) value which when multiplied by anything yields itself; the Units {1, -1}, which are the elements with multiplicative inverses; the Primes {2, 3, 5, 7, ...}, which are the elements which cannot be written as the product of two non-Zero non-Units; and the Composites {4, 6, 8, 9, ...} consisting of everything else.
Students in the Netherlands unveil a solar-powered family car
I got the link since I follow him on twitter.

However, I disagree this was game theory. It seems more like entrepreneurship and competition. He sees value where others don't see it. Then does something about it. Like the guy who turned cow manure into organic flower pots and sells them to big chains. (Briefly mentioned on: http://www.ted.com/talks/mike_rowe_celebrates_dirty_jobs.htm... )
Ask HN: Would you use simple profit/loss web app?
I'm currently developing a Profit/Loss web app that allows users to see if they are in the red or green. It is in an extremely simple format, easy to use, and provides great insight into how a business is doing. I have plans for adding more robust functionality but want to see if people are interested by the concept. Thanks!
Although there technically are, the after shot is not available for those of us on mobile.

"If you hover the mouse on the image, you'll see the sharpened version."
This is closely related to proof by the probabilistic method, which shows up quite often in pattern recognition literature and combinatorics (Erdös was fond of it). This method says that instead of even proving the exact existence of something (despite missing any examples) you simply prove that the probability of its existence is positive (and thus cannot be zero).

At some level these are just proofs that lower-bound the size of the set of instances, and it may be possible to convert any such argument in to one that is more directly measuring the count of instances. In practice however they tend to go through using bounds which are derived from measurable to arguments on random variables, so the conversion is less obvious to me.

I wish my copy of DGL wasn't 2 hours away or I'd dig up one.

(Edit: Wikipedia to the rescue! The "second example" on this page goes through using Markov's Bound on distributions http://en.wikipedia.org/wiki/Probabilistic_method)
I opted out by refusing to ever do business with AT&T after a hellish few months trying to deal with them over an internet service debacle. Once it became clear that their strategy is to lie to their customers, and then make sure that the time cost for you to get customer service is so high that you give up, I was through with them. I've never dealt with such a dysfunctional, willfully incompetent company.
For my games, I found out that the best thing when scaling is use IM Lancsoz filter.

Granted, my games use high-res hand-drawn vector-ish art (not pixel art, neither photo-style or paint-style art) so I dunno if this is applicable to photos.
I'm saying that their mindshare has been shrinking constantly since the 90's. They really didn't have any serious competition back then, but they have so much competition now, and they don't stand out anymore.

Yes, their stuff is good and competent, and they're serving the needs of their existing customers and developers, but they don't make kids excited to fire up Visual Studio and crank out a Windows Phone app, the same way they made kids excited to fire up Visual Basic and crank out a windows exe back in the day.

There aren't any success stories around the Microsoft ecosystem anymore. Who makes the quick bucks today? Phone game developers. Facebook game developers. That's what people are chasing, so that's what people are wanting to learn how to do on their own time.

Who wants to learn how to make Windows Phone apps? Or Silverlight apps? Or Windows app store apps RT or whatever the hell they called that mess. Noone, except those already being paid to do it. There are lots of steady jobs there, but exciting ones? No.
I agree: that jumped out at me enough that I came here to make the same comment. I can hardly think of a case where I'd want to use a 98 quality setting on a JPEG. Maybe it would be a good choice if I wanted to preserve an almost-pristine copy of an original, but I'd compare the resulting file size to a lossless PNG first. Every quality step from 100 down to 95 gives a huge benefit in file size, and going from 95 to 90 almost always seems like a hefty savings for imperceptible differences, too. I usually save web images at quality settings between 70 and 90, and I've never felt like I'm losing by it.
Most people believe their dogs are less conscious than they are, but more conscious than gold fish, etc. I agree AI will achieve various levels of consciousness at various times, starting well below us and ending up well above us.
Basic income works against the interests of institutional lobbies. Businesses relying on cheap, disposable workers will find them in much shorter supply if nobody is desperate. Unions are also threatened because the right to collective bargaining competes with the right to quit altogether under a basic income benefit. One can find numerous ways in which the social contracts we're familiar with would become obsolete. In each case the benefit counters economic coercion - a promising and scary prospect.
Have you looked at Republic Wireless? I've been thinking about going down that road.
Quoted their website -

7.3 has more than 950 patches, that's too many! Time for a new (minor) release. The plan is to (1) improve Python support, (2) include a faster regexp engine and (3) include pending patches and fix bugs. A test version should be available end of May. The release happens when it appears to work well.
"Ethics" are man-made, but unlike time and mathematics, they do not exist without man. Time and mathematics are tools we created to understand our world; ethics is a code we created to tell us how to live in it.
They aren't necessarily unfindable, there just isn't a generic method of obtaining them.

For example, we do know the minors for 'graph is planar'. We somehow found it and verified it to be correct. So, we know that some of them, at least, exist. The others, I think, would be in "The Book" (https://en.wikipedia.org/wiki/Paul_Erd%C5%91s#Personality) until they are found. So, those answers do exist in the same sense that The Book exists.

And after they are found, they definitley exist and of course will be called trivial :-)
I think you have your argument backwards, we use math to describe reality. So whatever axiom system you choose to build your physical theory, there is then some correspondence between the objects of your axiom system and reality. And if you somehow manage to construct a physical theory with integers alone, then there will only be integers in your description.

Interestingly: Indescribable numbers do not appear in physical theories.

Proof: The number would need to be described by the theory in order to have a correspondence to nature.

( None of the above should be constructed as a statement about the existence of Platonic ideals.)
Some advice, jobs that only hire people based on what language they know, versus your capability to learn and adapt to new things probably wouldn't be a place you'd actually want to work.
You know, I just realized that I've been working with vim for 3 years now and I'm not familiar with it either, haha! I guess I never thought it before. Can anyone give more details about this topic?
Why is Lincoln's behavior the barometer of anything? The validity of our opinions has fuck all to do with whether Abe Lincoln agrees.

Enough with the vapid worship of historical figures. Lincoln is dead. We don't need his permission for anything.
Finding the most recent purchase by each customer with SQL
Yup, I over-sharpened it a little so the effect is more obvious.

Though the amount of sharpening can depend on the context : photographers tend to be annoyed by over-sharp images, while on a marketing website it might be good idea to make the pictures pop.
Wikipedia's Terminal Event Management Policy (2009)
cperciva answered this according to the modern algebraic understanding in response to the parent. 1 is definitely not prime when you more fully categorize the elements of sets by their algebraic properties: the existence of units is a less singular phenomenon in other algebraic structures.
Good, future-proof goal. We'll need better Wi-fi technologies, too. 802.11ac is nice, but 2x faster speed doesn't seem like a huge improvement after 5 years or so of research (802.11ad doesn't count).
JS/CSS package management in Sprockets with Bower
I tested this with a couple of images and you are right. Except for a few errant pixels here and there the images are precisely identical. Sorry for the misinformation.
And the article continues, as if anticipating this isolated quotation:

It would be easy, comments Oakes, “to string such quotations together and show up Lincoln as a run-of-the-mill white supremacist.” But in private, Lincoln was much less racist than most whites of his time. He was “disgusted by the race-baiting of the Douglas Democrats” and he “made the humanity of blacks central to his antislavery argument.” In a speech at Chicago in 1858, Lincoln pleaded: “Let us discard all this quibbling about…this race and that race and the other race being inferior, and therefore they must be placed in an inferior position,” and instead “once more stand up declaring that all men are created equal.”7

Lincoln’s statements expressing opposition to social and political equality, Oakes maintains, were in fact part of his antislavery strategy. Extreme racism was at the core of the proslavery argument: if the slaves were freed they would aspire to equality with whites, therefore slavery was the only bulwark of white supremacy and racial purity. Lincoln “wanted questions about race moved off the table,” writes Oakes, and “the strategy he chose was to agree with the Democrats” in opposition to social equality. Lincoln understood that most Americans—including most Northerners—believed in white supremacy, “and in a democratic society such deeply held prejudices cannot be easily disregarded.” Thus the most effective way to convert whites to an antislavery position, Lincoln believed, was to separate the issue of bondage from that of race.
I would say you are at the point where the next level is learning by doing and reading source code. You mentioned flask which I've been told is high quality code, start reading the bits that you use to find out how they work.
...is your claim really going to come down to, "Taxes make me unhappy"? Because that's what I'm seeing:

"Taxes are either an incentive or a threat." -> "Taxes are a threat because I did not choose them." -> "Taxes stymie my pursuit of happiness."
I have switch to subl for coding, only sometimes on the ssh client to edit some stuff on server need vim
Java has completely different target market to PHP developers. So moving Java to PHP never happened.
Yes please. puneetsmail@gmail.com
The Grandmother Of The Data Center, Evi Nemeth, Is Missing At Sea
Facncy Hacker News
http://yaha.me
HN a better interface just check it ;)
Well that's why I said "apparent". But it is awfully hard to believe that a country would independently take the seemingly unprecedented step of dening landing privileges to a sitting head of state, "just because" -- when Snowden has had nothing to do with either France or Spain.

And it's even harder to believe that two countries both would.
the comparison makes no sense because the diseases are radically different. Ebola kills so quickly and is so infectious that it is self-limiting: patients die before they can spread it very far. Whereas AIDS patients can spread the disease for years, though it is as weakly infectious as as contagious disease can be.
Michael Birch’s Bebo prequel
The future of Ruby, Rubynation 2013
I run into this same issue when creating previews from print comps. You should be able to specify a colorspace to resolve that:
http://blog.rodneyrehm.de/archives/4-CMYK-Images-And-Browser...
True, my app processes around 100,000 images daily and it uses a quality of 85. Never had a problem. But I do keep an archive of the original image just in case
Nice hack. The visualization is well done.

Feature idea: It would be cool if you could sketch the min/max temperatures and rainfall you'd like for your ideal city, and it would tell you what's close to that.
>but can't easily be cheated

does it really matter? the goal is just to discourage mass market consumers. if somebody wants one so badly they're willing to cheat on a test to get one, that isn't really mass market.

and isn't cheating sort of the spirit of hacking that projects like this want to encourage? if you want something, you make it happen without worrying about the "right way" to do it. nothing wrong with a bit of cheating - this is reality, not school.
I should have been more precise by adding in that marketplace.

Last I checked, MTurk disallowed non-human workers, and that's holding back a lot of potential progress, IMNSHO.
>2^(2^(2^...-1)-1)-1 seems prime for all nestings, but the numbers get enormous fast

Can you explain this. I read your expression (with infinite nesting) as x=2^(x-1), whose solutions are 1 and 2.

Looking at it as a series, I see:
2-1=1
2^(2-1)-1=1
2^(2^(2-1)-1)-1=1
2^(2^(2^...-1)-1)-1=1

Also, assuming that a sequence does have the properties you describe (always prime, and gets large very fast), it seems like that sequence would either have to be hard to compute, or unknown to all of the mathematicians working on finding large primes.
In the early 80's, when C was yet to become widely used, there were quite a few languages that offered support for doing systems programming.

Lisp was one of them.
I typed in 3 large US cities and got 3 "no results found". Google map API is your friend.
Yes, unfortunately social plays a larger role than you think. Which is why I prefer to think of all these crowd funding platforms as "social funding" platforms.

It'd be nice to create a true crowd funding platform where your project's success is based off the actual project rather than the creator's "klout".
there's a program called 'grep' that does this, too... >_>
Do a search for 'South Africa' - the cities it returns are all small cities which are just big enough to have airports. In the cases of places like new york, only the airport is returned.

I'm just guessing here, but possibly this is a database of geographical locations with a population figure attached. The author has probably swapped 'only show cities with greater than X population' with 'only show cities with less than X population'. Airports would have very low population, and that's why there are so many airports. It also doesn't handle non-ASCII characters.

It's a guess, anyway.
multiplying by two, and adding I presume. makes sense.

to give some related knowledge, all matrices can be decomposed into direct sums of shifts and scales. this is the base of the jordan normal form [1]. infinite matrices can certainly encapsulate chaos.

[1] http://en.wikipedia.org/wiki/Jordan_normal_form
Unix bc on Twitter
Yeah, but changing the color space to RGB also significantly alters the way it appears. Then I have users who complain that this is not what they uploaded and its a genuine complain.

I was going to suggest that the real problem is people using IE8 but that wouldn't go too well I guess
> Now for the philosophy question: in what sense do those unfindable, unverifiable answers actually exist?

Well, you can't calculate BusyBeaver(n), but they've found the first few Busy Beaver numbers anyway.
Incorporate iAds into your iOS app in less than 5 minutes
grep has a very different purpose. Here's just one use case that it's not good at:

I see a regex in some code that I don't own. What does the regex do?
Gödel's incompleteness theorems came as something of an unwelcome surprise to those who, at the time, were hoping to put David Hilbert's program into practice.
Try the local names. Praha, Wien, and some unknown mystical name the Dubliners use.
What is your actual speed? With a server in Germany? US? Japan?
Distributed power may work in sparsely populated areas, but urban areas have a too high population density for that to work. That is even the case for whole countries, like Germany, where all the available renewable energy resources amounts to no more that 25 % of the current energy uses. That number is even unrealistically high, requiring to cover almost any available surface with solar panels and all usable spots with wind turbines etc.

Thus in such areas, a centralized grid is needed to transport electricity from where it is available to where it can be used. This can be nuclear, but it can also be renewable energy, e.g solar energy from southern Spain and Sahara or wind power from Norway in the case of Germany, but to produce everything locally won't work a lot of places.
"...When I first read Stanton’s requests to Lincoln asking for broad powers, I accepted his information control as a necessary evil. Lincoln was fighting for a cause of the utmost importance in the face of enormous challenges. The benefits of information monitoring, censorship and extrajudicial tactics, though disturbing, were arguably worth their price."

"Mr President, I served with Abe Lincoln. I knew Abe Lincoln. Abe Lincoln was a friend of mine. Mr President, you're no Abe Lincoln." (Prolonged shouts and applause.)
It doesn't know about London?

Results found for: london

EAST LONDON, SOUTH AFRICA
LONDON AIRPORT, CANADA
> But part of the reason this calculus was acceptable to me was that the trade-offs were not permanent. As the war ended, the emergency measures were rolled back. Information — telegraph and otherwise — began to flow freely again.

Even if you agree with that, it shows the problems America has today. Because it has stopped declaring wars through Congress, and defining how the war will end, and letting the president start new wars, either directly or indirectly (arming enemies of other countries), there is now a perpetual war.

The "cyber-war" (if they choose to believe they are in cyber-war) is perpetual by definition - which means all those extra-legal powers that are supposed to be temporary, will be virtually permanent, which means the Constitution and other laws will be applied at a much lower standard than before.
There are lots of ways to approach this topic, but here's my favorite, because it doesn't rely on definitions, just arithmetic...

Javascript:
function q(n,k){ var t = 0; for( var j = 2; j <= n; j++ )t += 1/k - q(Math.floor(n/j),k+1); return t; }
function p(n){ return q(n,1) - q(n-1,1);}

If you check out values of p(n) for n = 1...16, you'll see you get 0,1,1,.5,1,0,1,.3333333,.5,0,1,0,1,0,0,.25

So notice what p returns here - if n is prime, p(n) is 1. If n is a prime power p^a, its 1/a (hence 16 = 2^4 -> 1/4).

And if n is 1? Then p(n) is 0.

In fact, q(n,1) is a tidy (but slow to compute) expression of the Riemann Prime Counting Function: http://mathworld.wolfram.com/RiemannPrimeCountingFunction.ht....

This doesn't prove anything about the "definition of prime numbers", of course - definitions are social things. But 1 does behave differently from the primes in this function that seems to do nothing at all but explicitly identify primes.

Nothing rigorous here, of course, but I think it's a fun, quick-to-code-and-play-with example.
Competition in currency: the potential for private money
UK and Sweden veto espionage talks between US and Europe
He has an example at his github link where he uses a simple bash for loop to do many images at once.
Is this author a self hating male? Lets just appreciate the movement toward better OOP design, why does it have to be attributed based on gender? Grow up already.
I wonder what they have to hide...
For me, the fact that 0.999... = 1, not least because the elementary proofs are easy enough for even me to understand!

http://en.wikipedia.org/wiki/0.999...
sorry, talking rubbish. "local imap directories" should read "local maildir directories". i think getmail can also deliver directly to maildir if you don't want procmail in the middle.

and in case the last part wasn't clear, dovecot can serve imap from those maildir directories for squirrelmail to display.

finally, in my experience, opensuse is the easiest linux distro to get this kind of thing working on. the Yast tool strikes a good balance - it gives you auto-config for simple tasks, but you can still drill down to standard config files when needed.
US request for extradition of Edward Snowden - full text
https://en.wikipedia.org/wiki/National_Weather_Service

in the US the NWS / NOAA operates weather stations at airports, wouldn't be surprised if other countries have similar programs.

my hometown has a much larger population than the next one over, but the next one over is listed because there's an airport there.
Does anyone even use Vim without plugins anymore? I tend to vacillate between vim and nvi. My vim setup is usual vim, with Powerline, NERDTree, CtrlP, TagBar, and omnicomplete, but whenever I use vanilla nvi to edit a config file, it's refreshingly simple and clean (http://www.youtube.com/watch?v=2p1QaS8hzLc).

Anyone use vanilla vim? nvi? Some other visual ex editor that I don't know about?
The issue is that we have no proof that they are primes in general, and they become large so quickly that verifying their primehood is (currently) impossible.
Book Review: The 5 Elements of Effective Thinking
Sounds like a fun idea - is it in use anywhere?
My message to the OP - have a look at Gregory Chaitin work :)
Maybe somebody can give me of workflow tip:

I have collection of regexes, they each have several test cases that they should/should not match. Is there any good app that can do something like:

1. Manage Regexes

2. Create, add and modify test cases

3. Run test cases on change

4. Set different implementation (Javascript do not have lookbehind)

(5.) Sharable Urls

I will be grateful for any tips.
I did this too, but I'm using the Vintageous plugin which has very good vi emulation. Not everything, of course, but it's got some momentum, has a ton of features already(most of the ones I know by muscle memory anyway) and gets frequent updates.

So far it feels awesome, this modal editing with modern features, but I haven't used Sublime Text 3 enough to form a good opinion on why I like it yet. Mostly, I'm like "that minimap is pretty cool!". But I'm also using it like vim, so it's not like it's all sublime anyway.