skysight-inc/HackerNews huggingface dataset:
This is a bit ingenious, it should actually be "the theory in which we are working is a lot of bunk" (theory refers to a set of axioms), and maths is a lot broader than one specific theory.

That is, if one proves Peano arithmetic[1] is inconsistent (which would really suck), this would not effect the consistency or otherwise of other independent theories, like, for example, Presburger arithmetic[2] which has actually been proved to be consistent.

[1]: https://en.wikipedia.org/wiki/Peano_arithmetic
[2]: https://en.wikipedia.org/wiki/Presburger_arithmetic
Good stuff, dabent. I agree; Abstractions are valuable tools, but it's important to know whats underneath the abstraction, for when the abstraction leaks, or when it's the wrong tool for the job.
Physical world is preparing for a big announcement about the Higgs particle
I think the only way this is possible is if we invent a new HID... something that will turn the mouse, keyboard and touchpad into something obsolete. In this realm we have a couple contenders which can mostly be seen in Google Glass. Eye tracking, voice commands, motion capturing... All of which is easily many years away from any real world use or adoption. As such, the only way for these devices to converge would be to totally change the game.

(s/HID/output device/ and most of the arguments still hold true)
Pain Management in Orlando FL
Experience our expert pain management in Orlando. Contact National Pain Institute to learn how we can restore your health.
Shows are much more constrained. It's the very specific "skilled labor" involved (only one person can produce a show in only one city, maybe two a night). Imagine if you needed a hard drive factory in each city and only one factory could run at a time.

I can't buy a show for Denver. I might not even be able to buy a show for Friday nights. That severely limits the pool of "supply" I can buy from. Louis might be in my city once a year for a few days if I'm lucky.
I'm in Kansai too. We just need to find a few members to make a core team around here :)
Does this mean that Ticketmaster runs the risk of overextending itself and collapsing in a heap, the way Clear Channel did after buying up hundreds of radio stations throughout the 90s and early 00s? (ihopeihopeihope)
Fake it 'till you make is time and time again proven itself to work, especially when you surround yourself with people smarter than yourself.
There will always be people better than you, no matter how good you are. Realize this, and try to learn from them. While I can't tell you if you have the raw talent, constantly trying to improve is important.

In a way, a bit of neuroticism about your skill will help you. Complacency is a killer.
However, Opera scores 338+9 on html5test.com while Chrome gets 414+13.
Show HN: Founder notepad. ICS app for founders to plan, pitch & launch business.
Founder notepad -- startup editor. ICS app for founders to plan, pitch and launch business.
Captaintacos, anyway to reach you by email ?
Oh well, someone's got to get the ball rolling then, so I guess I'll do just that.

If there are any HNers reading this in KANSAI feel free to drop me a line or if anyone else has heard of any other people down here do let me know.

* update * There! I think I just found one here! :)
I think this blog post by a former Microsoftee (Hal Berenson) is also worth reading - http://hal2020.com/2012/07/03/acknowledging-the-aquantive-mi...
When you just need some CRUD stuff made in various spots of your big company, mediocre will be just fine. Yes, there are people who are sitting around doing this.
Consider superposition, where it is both true and false at the same time (and has been proven)
That's not related to any specific game. It does show up exponentially more in games where you are paired up with an anonymous matchmaking system. The majority of online games on consoles use that type of game finding.

Alternatively, games like Counterstrike or Minecraft are made up of servers that are privately run. Most of these are actively moderated by the owners and/or a consistent group of players. If you don't follow the rules and guidelines of the server you are kicked and banned. It can take a while to find a server you like, but once you do, the gameplay experience is vastly better.
Agree. Financial compensation is actually often much lower on the list of things software developers value at a company, particularly when they are 'A' players. Solving problems, working with other 'A' players, and stretching ones abilities become more important. You do have to pay competitively though.
As ranebo said, it is more of a social event focused on meeting other people in the tech community. My cofounder Jason and I met though Hacker News here in Tokyo so we figured there would be other people who would want to meet up.

We keep it fairly unstructured so that the community can mix and discuss what is important to them. It's a great place to get feedback on a project, find other people to work with, ask questions, and share experiences. If you don't know anyone, just ask around for me (Paul) and introduce yourself.
One fact: that slate trapezoid is wAy better than the new slanted window logo. The entire project is an improvement. Ps, can't wait for winrt, can't type on this stupid iPad (I'm gonna give it to my grandma to read the news on)
Yes that totally makes IOS keyboard and mouse friendly /s
Eh, this doesn't really explain Godel's 2nd Incompleteness theorem; it only describes it in a roundabout way. The entire piece could be shortened down to: in math, all false statements are possible (i.e. their impossibility cannot be proved), and it doesn't go into any reasoning behind it.

I'm not sure about Godel's 2nd, but his 1st theorem can be described and explained with one simple sentence: this statement cannot be proven. If it is proven, then a false statement is proven. If it cannot be proven, then the proving system is flawed.
There, just updated my profile (I thought the email that was in my profile was automatically displayed to everyone):
alcantaranet@gmail.com
I hope iOS doesn't force a FB profile with iOS 6.
Pay is actually quite low on the list of things that a great developer will value when choosing where to work. And I think it's dangerous to just lock the A players in a room amongst themselves; they need to communicate closely with others in the organization, otherwise the value they try and add might be missing the target.
Fishing Miami Charter Boat
There are lots of things & activities to do in Miami like fishing, fishing games, Charter Boat, Nightlife, Restaurants, Attractions, Events, Hotels etc !
HumBio also tended to be the major of no major, the major people declared and the classes they took when they were required to declare a major but hadn't yet figured out what they wanted to major in. The first couple of years of classes were considered relatively easy yet still mostly applicable to many other majors.
I'd argue that Twitter, Angry Birds, and Pinterest type startups solve the problem of a need for entertainment. The bored at work market is massive.
The most successful Soviet camera designs were to one degree or another rip offs of stuff Zeiss was doing before the war; the LTM cameras in the FED and I think ZORKI series, the folder I have that is near on a dead copy with the opposite handedness of the current Zeiss folder in 1930 (speculation is that someone copied the blueprints upside down), the various Kievs. Almost all of these are very close, visually, to what Zeiss was doing before the war, which would make a lot of sense given what the Soviets did with Zeiss (viz. basically relocating everything they could and calling it "Kiev"; this operation is now known as Arsenal, I think, and did and still does do some high quality work). I suspect the reason why Soviet ergonomics doesn't come up more often in these discussions is because people who own Soviet cameras are usually so delighted to find one that e.g. had the flocking painted on the inside or has the right gears in or generally works that they will put up with the generally Brutalist visual styling.

Which is not to say that they're not perfectly servicable cameras; other than being mirror-reversed that folder I have is one of the most sophisticated of its type ever made, with a coupled rangefinder, a coated (!) Tessar-type lens and different masks in case you were mad enough to want more than 8 shots to a roll of 120. But what design aesthetics are present are almost the same as 1930s Zeiss cameras with perhaps some corners cut for manufacturing.
Would someone like to make the argument for hiring B developers to build a great product?

Are you offering that as a poor example of a counterargument? Because I think it's countering the wrong argument here. His point is not to hire A players because A players make great products.

His point is that A players in software development are unexpectedly significantly better than average players, when comparing to A players and average players in other industries. As such, anyone who is able to attract and work with A players in software development get an inordinate advantage over the competition.

I think the key word that defines his intentions is inordinate. If you can't work with A players, you may have already lost.
Yep, ayla has it right, Operations Research. A bit similar to applied math.
I think it's supposed to be social, not socialist.
But it does fit the description. There is absolutely no statement that can be proven in standard math about the integers whose truth depends on the truth or falseness of Banach-Tarski. (More technically there is a theorem that any statement that can be proven about ZFC can be proven in ZF alone - this falls out of the construction that Goedel used to prove that ZFC is consistent if ZF is. The same construction and result falls out for many other axioms that you can add to ZF, including the closure of ZF is consistent, ZF + the consistency of ZF is consistent, ZF + the consistence of ZF plus the consistency of THAT is consistent, etc.)

Therefore the truth of Banach-Tarski has nothing to do with any statement you can readily make about the integers, which would include any statement that you can make about anything that can be done on a Turing machine.

Incidentally the whole debate about constructivism is much more subtle than you likely appreciate. For instance it is trivial to prove that almost all real numbers that exist, cannot be written down. (Proof, I can easily write out a countably infinite set of statements that could define real numbers. So the set of real numbers that can be written down is countable. But there are an uncountable number of real numbers, so almost all cannot be written down.) In what sense do said real numbers actually exist?

If our axioms say that numbers must exist, which have in a very real sense no actual existence, then are those axioms capturing what we want to mean by "exist"?

If you say it does not, then you're a constructivist who hasn't thought carefully enough yet. If you say it does make sense, then you've been brainwashed by decades of standard mathematical presentations into accepting a definition of "existence" that makes no sense to the average lay person. :-P
If you're the only one that adheres to a standard, then there might as well not be a standard.
A quote from Mark Zuckerberg and a question from Joel Gascoigne
Fair.

I'm not sure I agree with you though that emerging markets are niche... I'm not an expert in economics but I suspect there may be a sense in which first worded is niche... Even more so in your several decade time horizon.
You're implying that what's being discussed is a zero sum problem. We're simply saying that 'A' players work best with 'A' players, and if you fight for that in your organization then you'll do great things. 'B' and 'C' players will still exist, absolutely, but you'd do well to avoid them when possible.
England vs Australia 3rd ODI Live Match
This is also how GitHub operates, but it's only viable if you have 100% 'A' players.
This article is actually featured on Apple's website, here:

http://www.apple.com/hotnews/

What blows me away is how bad this "research" is. The news release at EPRI is here:

http://my.epri.com/portal/server.pt/gateway/PTARGS_0_243352_...

Per their blurb:

"The assessment was conducted to determine the load requirements – the amount of power needed to operate the devices -- of the increasingly popular iPad. According to Apple, 67 million of the devices have been purchased worldwide."

"Baskar Vairmohan, the EPRI researcher who conducted the iPad test, said the group is now studying usage to understand whether the explosion of tablets is adding to power consumption, or reducing it."

Of course, they neglect to even attempt to estimate the increased power load due to all of the infrastructure put into place in order to support these devices. The fact that it only costs $1.36 per year to charge (based on some made-up usage pattern) is probably insignificant when compared to the cost of powering the infrastructure serving these devices behind the scenes. From cell towers to home/office networking hardware, ISP networking infrastructure, content servers, app servers and storage.

What's sad is that these kinds of conclusions are parroted by the media as hard science.

EPRI? Hmmmm. Is this tax dollars at work?

C'mon Apple, you don't need to legitimize this kind of junk.
That's why I said "enough", not "a lot". Everybody has to eat food, have a place to sleep, etc.

I know, I was being somewhat facetious. More what I mean is, put them in a tight-knit group, and you are right- it is very important they interact with the rest of the organization too.
Congrats! Rage On!
T-Shirts | Buy T Shirts in Bulk | Men's Womens T-Shirts  
Womens &amp; Men&#39;s T-Shirts - Buy blank t shirts in Bulk in a variety of colors, sizes and designs at Gotapparel.com. We offer best mens &amp; womens t-shirts at discount prices.
I'm most definitely not a designer. :-) If you're interested, it's just the 'Responsive' wordpress theme. http://wordpress.org/extend/themes/responsive
Yes, but I find Krugman's insight on that much more interesting. Hempton did an excellent job to summarize the issues. But Krugman is the one who identified what I believe to be the more important issue after thinking about it: the time bomb of when the savers become dissavers, and the corresponding consequences.
I think theoretically we cannot achieve a state where all players are A. If that happens, our standards would be raised so that there will be a new class of B and C players that used to be A players. The only way for everyone to be A is for everyone to be the same, and in that scenario the classifiers would be meaningless.

This all of course assumes that all humans are created with the same innate potentials, which is definitely not true.

We can encourage everyone to do their best, but you'll get problems if you push people beyond their natural abilities for example by giving a C player the responsibilities and expectations of an A player, which is what I think you're suggesting.

A "B" or "C" player can still be a hard worker, even if she's less capable. I'm not sure why it's necessary to avoid them. Apple still needs janitors, sales people, and other lower salary jobs. I think it applies to their engineering staff as well. Obviously down to a certain level of "C"-ness they probably shouldn't even be an engineer.
Does the punishment match the crime?

Not all countries have the same penal system for copyright infringement. This of course does not favor the US. Where is ACTA when we need it? ;)

Even under US law, criminal copyright infringement only carries a maximum of 5 years. Legal experts correct me if I'm wrong. Can we assume that's not 5 years per item?

Now, assuming that's true, what if he does not get the max penalty? A couple of years is not too severe. Why not just sue him for damages? He has assets. He can pay. It makes a lot more sense. The answer is likely because they are trying to send a message. Why do they need to send a message? Isn't getting sued for millions enough of a message?

Let the readers answer that one.

So, what can we do if a sentence of a few years is not scary enough? We can allege a "conspiracy". A "mega conspiracy". Then we can accuse him of racketeering. And the sentence can be much longer.

The whole thing is just a little over the top.

They should have just sued him, taken his assets and left him a broke hacker.

Instead they want to brand him a serious criminal. Not just a petty one. People are not buying it. What they see is overzealousness. The punishment does not match the crime. So he becomes a hero.

Interesting.
We've had a few requests in the past for throwing a similar event in Osaka. We've considered doing it but haven't gotten any solid momentum.

The meetup we throw in Tokyo is pretty big so it's a fair amount of work to organize. Shoot me an email (you can use the one in my profile) and we'll get something arranged. I would love to come down for a meetup with you guys.
Apple has shown through the software and APIs I've used that they aren't all 'A's. This is just Jobs having spewed his normal visionary talk. It makes for great conversation and something that is nice to consider, and having a goal of hiring someone great is awesome. There is nothing wrong with continuing to utilize his vision to promote good of some sort.

But, I have enough experience to know that there are no 'A' developers that stay that way. People burn out, lose drive, get kids, get sleep apnea, go though a mid-life crisis, and get tired. So, unless you are firing the old 'A's, they will be 'B's then 'C's, etc.

Also, hiring 'A's is incredibly difficult. If you don't have an 'A' company, 'A' benefits, an 'A' location or offer full-time telecommuting, 'A' tools, and 'A' staff working on 'A' products/projects, then if you think you got an 'A', you probably didn't. And you can be 'C' and hire an 'A' and that 'A', if he or she stays, will atrophy and become a 'B', 'C', or worse. 'A's need to be motivated by their work just like anyone else. Jony Ives said recently that what he is working on now is what he is most proud of. He didn't say that because he is an 'A', and because he is inherently motivated on his own and could do that for a 'C' company. For a 'C' company, his work might have been shit and he might have been likely to piss on his designs, because of the bureaucracy and other crap he would've had to have put up with daily.

The point I'm getting at is that you need to hire someone that is a good fit for the work, the hours, the environment, who genuinely likes it and loves what they do and doesn't just have a crush on some ideal in their head about your company. This person can rise the the job you give them, they don't have to be an 'A'. And hire what you need. Don't hire young because they are cheap and expendable if you need experienced and well-networked people, and don't hire someone with loads of experience if you can get an entry/junior/mid-level to do the same job and be more motivated, even if they make more mistakes. The best thing that you can do is to spend a lot of time coming up with a good process to hire. Also, do NOT and I really mean do NOT just get some basic programming test off the net and then use that as the interview, and do NOT totally make the candidate feel like an idiot. Both will make people remember your company as "those idiots/bastards who...", which you don't want. Case in point is Google- their interviews were so hard, people didn't even attempt to interview there after hearing about them. That is not good.
Default Behavior of the Programmer
I has it.

heep://jessecrockett.com
That is a clever professor.

See http://en.wikipedia.org/wiki/Principle_of_explosion for the usual lines of reasoning that get used.
Independence Day Discount Codes
Get Independence Day Coupons, Independence Day Discount Codes, Independence Day Promotional Codes, Independence Day Free Shipping Codes , Independence Day Online Coupons , Coupon Codes,Promotional Codes, printable coupons
Value proposition: one click releases
I would too. they were memorable for me. Different strokes for different folks.
What's wrong with people choosing CS for the money? The more people become literate in our field, the better off we are as a society, probably.
I want to pay this kid to hang around the office and come up with remedies to our questionable design decisions.
It seems far more likely to me that this is the case.
You can make use of dynamic linking with gccgo, as far as I am aware.
Galaxy Nexus no longer available on Google Play Store
Google Maps Head Indoors in the UK
If you’re traveling in the UK, now you can not only find directions to your destination using Google Maps — you can also find directions to things you’re looking for once you’re inside a number of locations.
This is what scared me from the article.

“Two helicopters and 76 heavily armed officers to arrest a man alleged of copyright crimes — think about that,” he wrote. “Hollywood is importing their movie scripts into the real world and sends armed forces to protect their outdated business model.”

What were they thinking when they sent such a large force ?
Pakistan reopens Afghan supply routes as US says sorry
Post Treatments after Thyroid Cancer Surgery
Thyroid cancer is a malign condition that starts in the thyroid, which is a butterfly shaped gland in front of the neck responsible for regulating the metabolism of the body.
Hi hanadave,

I can suggest you an experienced interactive ebook developer. Can you reach me from http://www.giderosmobile.com/about ?
Although I agree with all of your emotions because I share many of them, certain of your comments have me wondering how much time you have spent around big corporates.

Microsoft is to this day, beyond pervasive. I have over a decades worth of experience in data analysis, systems analysis, business intelligence and software design and I have never been in a big corporate office that does not use exchange, Outlook is de facto, period.

Clearly then all of those desktops are windows boxes.

With the release of MSBI as a competitor to all of the top flight BI suites that pretty much comes bundles with MSSQL... Watch this space - MS will be ubiquitous in BI within the next decade, I am an expert in the field and I have zero doubt about that.

The simple fact is that MS is still the 'safe' (define that as you will) choice for the dinosaurs that run corporate IT... The world you assert as real right now is a in my opinion a far future possible state, nothing more.
Automotive Car Dealership Jobs
We are recruiting, training and placing individuals in positions throughout the automotive dealership industry.We work in close partnership with car dealerships across the nation and provides job placement assistance to each graduate.To know more Car Dealership Careers Please visit online.
either that, or you have a rope, or "line", attached to something heavy, such as a barge on a canal, and you have to help "tow the line" to get the cargo moving.
The most important thing when trying to become an 'A' player in anything is to always ensure you're engaging in deliberate practice. The simple truth is that a very large majority of people switch to auto-pilot or stay within their comfort zone as soon as they become proficient at something. It's easy to think that the existing 'A' players were just born that way, when in fact they probably spent thousands of hours in deliberate practice. It's very hard to find an exception to this.

So if you do want to become an 'A' player:

- Figure out a way to always be deliberately practicing.

- Always be aware of whether you're doing something because you've always done it, or whether because it actually is the best way.

- Be around other 'A' players and learn from them.

- Continually stretch beyond your comfort/"knowledge" zone.

- Continually learn new things.

-----

Some reading material on the topic:

Bounce by Matthew Syed

Talent is Overrated by Geoff Colvin
http://jessecrockett.com ? ...