skysight-inc/HackerNews huggingface dataset:
> If you do not take the axiom of choice, it is simply false

Nitpick: If you do not choose the axiom of choice, then Banach-Tarski is independent, not false. So you can't prove that it's true and you can't prove that it's false.
i love their infographics! it is awesome to see my social graph in an infographic.
i wonder what they will come up with next
If you watch the "Meet the Go team" talk from Google IO, they explicitly mention that almost nothing in Go is particularly new, and most of its ideas have been around for decades: http://www.youtube.com/watch?v=sln-gJaURzk

What makes Go great is not the individual features, but the selection of the features and how well they work together, and also the "features" that were excluded from the language.
Stack ranking doesn't always ensure bottom performers go(If there is lot of politics in the org and managers like their pet employees).

But almost always ensures erosion of team work, and attrition of some good people.

Its great when executed well, horrible if you even get it slightly wrong.
Yes, but that assumes intelligent investors willing and capable of analyzing for long term profits. Research science often incurs short (or even long) term loss for an eventual extreme gain. There will be many failures and lots of money spent before that point. It's like a startup, but less clear of a plan for monetization and even longer time to product. Capitalism tends not to support this.
Call Center Software
Deepjatel.com is a leading provider of Call Center Software Solution today we are go through impressive and sometimes new change in nearly every aspect of the conventional outbound call center from its mission to its position in the enterprise.Deepijatel also offers IVR, Auto Dialer, Predictive Dialer, Outbound Dialer, CTI Integration, Call Center Software/Solution, Contact Center Software/ Solution.
Creazione siti web
Credo che SEO è il miglior servizio per fare business on-line SEO perché attraverso i servizi che possono essere classificate in tutti i principali motori di ricerca. Per raggiungere questi suggerisco keltawebagency perché a mio parere, sono migliori SEO provider in italia, per non perdere il tuo tempo start SEO per il vostro sito
It could certainly be some other factor. It's just that I can't really think of anything besides 4th of July tomorrow, but I'm not convinced that would have such an effect.

Some stories are still getting a lot of upvotes, so it doesn't look like a big decrease in traffic.

So to answer your question: it just that to me it doesn't feel like there's anything different except for the fact that the frontpage seems to decay story slower. But maybe I have just been less busy, thus more on HN in the past few days? :)
Cord Blood Banking Reviews
I say MVC is not dead. I just said it :)
http://goo.gl/kvs7t
Although jsprinkles got slowbanned and hellbanned (still unsure why but cannot be bothered; more on that later), I had to create another account just to respond to this

In my experience, just talking against the hivemind here seems to be enough. Especially if you walk on pg's toes, except your account to be of reduced value in the close future.

I've had my account slowbanned and hellbanned. For what? For arguing against people here on HN who insist that Apple is the only company in the entire world who actually innovates and that everyone else is copying Apple in everything they do. Because seemingly only inside the walls of one very special corperation in the USA can innovation happen.

So I got slowbanned for arguing against that super-rational point of view. Nice.

When I told some people how utterly pathetic they sounded when they claimed here (prior to his death) that "Steve Jobs had touched their lives in a deep and personal way", for buying Apple products, I got hellbanned. With pg himself sending me an email saying how that was not cool.

If I didn't know better, I would think the owner of this site has 99% of his pension invested in Apple shares and cannot afford anyone ruining the image of the shiny Apple-corporation.

Implying that anyone is better, original or first: Start gradual slow-ban, until they wont bother coming back ruining the nice cozy Apple-cuddle we have here.

I think your comment is spot on. HN represents a very marginal part of the world, and there are clear limits to what you are allowed to do within those margins. Deviate too much and you are not welcome.
That's one of the things to do in college. Gaining a shiny degree that will help you get a better job is another. Meeting people who will help you in your career is yet another.

There are many reasons to go to college. Learning interesting stuff is just one of them.
Peano arithmetic has also been proved consistent (by Gödel himself, Gentzen, and others) but all of the proofs necessarily use methods slightly beyond Peano arithmetic. Gentzen proved the consistency of PA from primitive recursive arithmetic (a much weaker theory than PA, lacking quantifiers) combined with transfinite induction up to a particular ordinal. Gentzen also proved that this is more-or-less the best possible.

Similarly, since Presburger arithmetic can't even express its own consistency, never mind attempt to prove it, any proof of the consistency of Presburger arithmetic must use methods beyond Presburger arithmetic, which will probably subsume Presburger Arithmetic itself.

While formal consistency results have some meaningful technical consequences, from afar they often give off an aire of preaching to the converted. Anyone who accepts transfinite induction up to the ordinal in Gentzen's proof will probably have no problem accepting PA itself.
I think you're right on the money. Your comment reminds me of Neal Stephenson's characterization of Windows as the station wagon of operating systems.

http://www.cryptonomicon.com/beginning.html
This is very helpful article specially for families.
MacBook Pro review: 15-in. Retina screen is revolutionary
Those rules I happily agree with. I also think that the original article fits within those rules. And, "Sparks conversation that cannot be found elsewhere on the Internet" is not among those rules.

And that is enough navel gazing for me tonight.
Indeed. I was looking at the progression of logos and realizing "wow, this guy gets it." The visual aspects, the promotional aspects, etc. just go together in a visually appealing, functional, and attention-commanding way.
Buffalo Limousine: Buffalo Limousine Service
Robotic Gripper Runs On Coffee and Balloons
The Higgs bit we know. But the boson?
>>Stack ranking is equivalent to having a finite bonus pool, or having Gold, Silver and Bronze in the Olympics. Yeah the 4th place finisher is an amazing athlete, but there are only three medals.

Aha! That explains why this at most works for individuals and not for teams.

And all the best doing big things without successful teams.
The whole article was mocking Gates, and not very subtly either.
This is why we can't have nice things. Pretty ridiculous that this is happening.
Since DoS attacks are illegal, I guess you might be able to interpret this as a form of that. It could be an unreasonable usage of YouTube resources from a single source.

Maybe this can set a precedent for the PadMapper-Craigslist situation.
Live CERN Higgs Announcement in 20 Mins
A common theme with a lot of stories about great innovators like this is that they had excellent parents who made decisions to put their children ahead of social convention or the "default".
I use this to download from Youtube:

http://rg3.github.com/youtube-dl/
I guess it depends on the person, but I think, many of such people will become bored and unhappy after some time.
Is it the old Scharffenberger factory?
Bill Gates’ Personal Easter Eggs in 8 Bit BASIC « pagetable.com  Bill's comment
So it's like blogging, but you're forced to break everything into pages.

You're trying to emulate an ancient technology (printed pages) with the new technology (html5), which natively doesn't have the limits that printed pages have, but you added these limits for some strange reason.

Don't get me wrong, the samples on the website are nice, but it's a freaking pain to click through pages instead of scrolling.
I think the rise in CS at Stanford is due to a confluence of several factors, not any single one thing:

* The Social Network & The Death of Steve Jobs (capitalized for a reason) & The Rise of Elon Musk, Mr. PayPal-Tesla-SpaceX & the other software billionaires doing exciting things getting media coverage

* the software/startup "bubble" -- the perception of it anyway; the crazy big acquisitions of young one soft-product companies with low/no revenue and only 1-3 years old, etc.

* crappy job market right now for 18 year olds, or even a twenty-something graduate with a non-STEM degree

* iOS & Android app development, the tutorials, how easy it appears you can make money at it. iPhones as a gateway drug leading in that direction for some percentage of it's more ambitious users. Rise of Apple in general and the Mac, an additional vector leading in this direction.

* the recent rise in online "courses" by Stanford, etc.

* the high pay and perceived higher job security of this field, at least right now

* more serious people (or those with smart advisors) who sense the future trend of greater software automation, mobile apps, robots, drones, embedded logic, etc.

It's probably a mix of the above, different for each person. All adds up.
PING K15 Irons
That's comparing with Surface Pro, not a computer
I'd be interested in knowing the advantages (for stationary power storage) vs. pumping water. With water pumping, you do need convenient access to huge amounts of water, and evaporation is a problem, but pumps are pretty efficient.
Amrapali Dream Valley
Amrapali Dream Valley is located at Noida Extension comes plush with Childrens play area, Landscaped gardens etc.
6 Best Ways to Increase Readership through Blogging
Video Game artists are 50 to 1, best to average. I've worked with 4-5 of best and 50-100 of the average. The best are prolific, get stuff done on or ahead of time and follow every technical detail required. They are technical enough to know what's needed to accomplish a given goal without needing to be hand held. Whether it's thinking through all the tiles need for a tile based 3/4 perspective game for making something beautiful with a limited polygon and/or texture budget.

They really do get way more done than the average artist. Unfortunately there just aren't enough of them so we do the best we can to help the average ones be as productive as possible and keep hoping to find more of the amazing ones.
I honestly think people focus too much on pain relief/solving problems vs. making people happy. Most ideas can be described in either paradigm, and there's really no reason to argue about it - just make something people want. Maybe they want it because it makes them happy, or maybe it makes them way less sad.

Take bookmarking. Del.icio.us made people really happy because they could keep track of all the sites they liked. It also made people way less sad because they didn't lose track of sites they liked. Either way, people used it.
You're comparing apples with oranges. MySQL Enterprise Monitor would've automatically noticed the missing index and asked you if it's ok to add.
I feel that Surface brings one single thing to the table: a neat keyboard.

Nothing else about the tablet is innovative; it feels like trying to cram way too much into a single device (or range of devices) at the cost of a clear focus.

The iPad is the standard simply because when you see it - or when you pick it up - you know exactly what to do with it.

Surface feels like a tablet that wants to play at the laptop table, but it doesn't realize all the fun is where it is at right now.
I, disagree with Apple's stance on this issue, but at the same time I would be interested in hearing a valid argument for the continuous stream of comments around the web that essentially say: "Apple is destroying innovation through its Android lawsuits." This is, as far as any rational argument is concerned, false.

Innovation refers to the process by which something is rendered more effective by changing or being different. If we accept this definition, Apple is driving innovation through its aggressive pursuit of its patents. They are forcing competitors to do things different, to change, in order to compete. That's innovation.

What I think people actually mean to say is Apple is destroying IMPROVEMENT via its aggressive use of patents.

There is a subtle and profound difference between innovation and improvement.
Buy Computers Online India
Online Computer Shop India: Buy Laptops, Desktop PCs, Computer Hardware, Accessories, Parts like Printer, Hard Disk, Pen Drives, Mouse & Keyboards, Speakers, Web Cameras etc. at lowest price in India
Are those 13 all software engineering interns? The coverage I've seen doesn't say how many designer interns, community manager interns, or editorial interns Square has. I'm honestly interested in finding out.

Not to mention that in nearly 3 decades of software engineering, I can't think of any team of software engineers that size that I worked in that didn't have at least one woman in it.
> Opera scores 338+9

385+9 to be precise (and 400+9 for me).
That is beside the point. There was an export ban in place from before the deal started. Regardless of whether you agree with it or not it was in place.

Now it appears from this article that China did their best, in bad faith, to do an end-run around these laws.

So I don't really see how the Chinese could be painted in a good light in this article given the above fact that they appeared to be trying to circumvent another country's laws.

I also don't really see the US being depicted as righteous in this article.

(Note, replies of "But America does that to other countries too!!!" or "This happens all the time" is also beside the point, I am talking about China's actions in this specific case, not general global import/export shenanigans )

[EDIT] seanmcdirmid said it better than me: http://news.ycombinator.com/item?id=4197928
Better headline: Apple's share in the PC market increases.

Wikipedia says:

> The Macintosh ( /ˈmækɨntɒʃ/ mak-in-tosh),[1] or Mac, is a series of personal computers (PCs) designed, developed, and marketed by Apple Inc.

And some random quote from a comment here:

> the computer whizzkid who used to fix it says he doesn't know much about PCs now - he's moved to an Apple Mac.

You mean he doesn't know about windows since the Apple Mac is a PC too.
Kids Juke Box For Kids - Kurt Penberg
Motivating Tunes are great for your brain, body and spirit in kids of any age. Kids Juke box is good for kids , hearing inspiring tunes provides me with much wanted pick-me-up in the middle of your day varying my whole mood, getting me to my ft, and inviting me to bop. And most highly, for my childrens, inspirational tunes train precious existence training which will envision capable reminiscences for several years in the future.
Designing Experiences People Love
Here are the actual links instead of the shitty blog spam:

Demo: http://syntensity.com/static/espeak.html

Code: https://github.com/kripken/speak.js
the infographic is really nice.
I wish I could directly ask about my friends advice about a place with a few clicks.
stack ranking actively hinders managers from retaining exceptional performers. if you only have 2 A grades to give out and you have five people deserving of it ALL of them are going to be motivated to switch to lower performing teams or entirely new employers.

any sort of 'objective' evaluation of employees is prone to being gamed and any gaming of evaluation is actively harmful to corporate culture/performance. witness google where lower profile or troubled projects are abandoned en masse by any employees with the ability to turn them around
I would never go so far as to accuse Paul of malice or subterfuge, as the special treatment Y Combinator companies get in posting (i.e., jobs) should make it fairly evident why Paul and YC have invested so much time in Hacker News and curated a community. I also don't believe that purpose, which I honestly understand, factors much into how Paul runs the community. Realistically speaking, I don't think Paul's net worth or the value that Y Combinator produces is threatened or realistically swayed by what goes on here in this forum.

I am unwilling to speculate or suggest that Paul and the unknown moderators act on content or people in the name of financial benefit or positive press for the benefit of the Y Combinator portfolio, because what I do think Paul acts on is his idea of what an ideal Internet community looks like. Paul has definitely been around the block and knows the Internet is chock full of stupid people. Seriously, it is absolutely mind-boggling how the Internet can be so overwhelmingly populated with outright stupidity. (He just shares that opinion with far more elegance than I do.)

Based on many of his actions and comments I have observed that Paul has a very particular idea of what shapes a "good comment", and wandering outside that grassy knoll can open you up to his action. I think jsprinkles was a little too aggressive and that might have caught his eye, but that's a complete guess, as only Paul knows what makes a comment good aside from generalities like "teaching something" and "being civil". Is hellbanning jsprinkles a little overzealous? That isn't for me to say, frankly, and Paul is certainly entitled to run his community the way that he likes. He doesn't owe me anything. Over a year ago, Paul theorized in a discussion with me[1] (under my real name, when I was much younger and much more arrogant) that Hacker News is just reverting to the mean for Internet forums, and based upon knowing HN then and now, he's only been proven correct.

There's always the possibility that jsprinkles tripped something automated, and I never populated an e-mail address so I wouldn't know.

[1]: http://news.ycombinator.com/item?id=2440679
Vestidos de Novia con Cuello en V
Air Jordan Shoes Retro Cheap For Sale
The work at CERN is differentiated when it is performed by westerners or by people from the East:

"The cost [...] has been evaluated, taking into account realistic labor prices in different countries. The total cost is X (with a western equivalent value of Y)" [where Y>X]

source: LHCb calorimeters : Technical Design Report

ISBN: 9290831693 http://cdsweb.cern.ch/record/494264

Western discrimination is firmly in place there.
Initially thought this referred to 'Jetpac' - the 8-bit game by Ultimate Play The Game. This looks cool though too. Good luck!
"... What's wrong with that statement? ..."

It depends what you mean by loss. I consider loss as inability to use an asset, in this case the use of pasture. The pasture might have a value of $1B but is that it's true worth? Could you re-build that particular non-renewable pasture again to it's previous worth at this cost?

Lets use a concrete example. It's quite possible pasture in Fukushima, Japan has sustained a $1B loss. How would a $1B gain in skills ever replace lost pasture in this case? This is a real loss. No asset management shuffling can replace that loss of pasture.

The dollar value given to some assets, in this case natural assets do not reflect the true value, just what the market finds valuable at that time.
This is something that every single person in the valley will tell you as a quick advise. I question it.

For any successful product, you can talk about an underlining problem. Even for Twitter. However that's not the question. Did they really come up with the idea while thinking about the problem? It's not the case for a lot successful entrepreneurs.

Consumer internet business works just like fashion business. It's not about keeping people warm at all. You just want to build something that people desire.
10e6 increase in diamond based quantum computer storage
What if they send a box of dirt, and call it a PS3?
Privacy Invasion? No, Twitter offers free speech, American style
I hit a CIA agent in 1999/9/9 and licked the windshield.
The difference is that Padmapper used the Craigslist API, whereas this site appears to be able to skirt Youtube's API restrictions because it doesn't use the API.

There also is some way it can skirt the general TOS because of a German law that says TOS can only be applied between two companies when a contract is signed, which apparently never happened. I don't quite understand it, but I'm not a German lawyer.

http://edge.youtube-mp3.org/gcase/wbs.pdf

EDIT: I was misread. Padmapper didn't use a Craigslist API. Craigslist's TOS does state that scraping is forbidden and leniency is at their sole discretion. I'm not sure how that would play out in a German court, as they seem to have a different view of how TOS work between companies.
Clear explanation of the leapsecond bug
Mr. Higgs just walked in.
What

That is referring to production costs for the calorimeter, which is part of the ATLAS detector, (it picks up neutral particles IIRC.)

It doesn't refer to differentiating between work done by white people and non white people actually at CERN, which is what you seem to be implying?
International DDoS Blackmailers busted
"If you take the axiom of choice in your system, Banach-Tarski is simply true"

- The exact same is true if you take the continuum hypothesis as an axiom. Both the axiom of choice and the continuum hypothesis are independent of the other standard ZF axioms

"If you do not take the axiom of choice, it is simply false"

- That is incorrect. It is only independent. To say it is false, another axiom(s) would need to contradict it.

"while the axiom of choice may make sense in mathematics, it almost certainly is never used by the real universe"

- neither are the real numbers. would you like to claim that pi, or the square root of 2, for that matter, also don't exist? How about the number 1?
> Meeting people who will help you in your career is yet another.

I predict the Internet will increasingly replace this traditional function of the college experience. And do it for, essentially, just the cost of Internet access service each month. Yes we'll have to use a web browser and click on the right links to the right sites, chat in topic-oriented forums, and then go do "meetups" in meatspace (Dr. Evil saying "lasers") to meet them face-to-face, become friends, learn from each other, collaborate together, micro-projects, trial projects, earn F2F credibility, put things up on our online portfolios, become ambiant, self-promote, self-educate, iterate, rinse, repeat. Goodbye 4-6 years of grinding and $100K in student debt.

I agree that traditionally going to college was a great way to meet people who've been filtered for certain qualities. But this tradition comes from an era when the Internet didn't exist. Computers didn't exist. Even radios and telephony didn't exist for the earliest periods in which universities existed and operated. But we have all that stuff now. We have frickin FaceTime and Skype and Google Hangouts and Reddit and email mailing lists, oh my! Let's all get to meeting each other, and filtering for the qualities we want, while bypassing that big honkin expensive middleman industry. I'm also seeing this trend with hackerspaces and makerspaces. Meetup.com is a big enabler.
Anyone else getting no sound?

edit: Sound is working now!
Unfortunately, this write-up is a load of irresponsible crap, because it can be proven that it can't be proven that two plus two equals five.

This is a load of ivory-tower hogwash, precisely why people get turned away from math and philosophy.
"and Exchange needs to die a quick death"

What do you propose as an alternative to the hundreds of thousands of mid-sized companies who use Exchange/Outlook now?
Sorry, noob, who is this?
The Measured Man (100k TB per gram of poop)
Is this considered creepy in all cultures?
It's just very quiet, you're just hearing the spillover from the room into the main mic. If you crank your speakers you'll hear people talking, but be careful when someone talks into the mic :)
They muting until it starts. ;)
Show HN: Express CDN, deliver optimized and CDN-hosted assets in Node.js