skysight-inc/HackerNews huggingface dataset:
Gentzen's proof relies on transfinite induction up to epsilon_0, which is not a principle liable to be accepted by someone with Nelson's foundational views. A good primer on these can be found in his book Predicative Arithmetic.

http://www.math.princeton.edu/~nelson/books/pa.pdf
Because programming in a suit is uncomfortable.

Not really. Are you assuming that or speaking from experience?
Uebersetzungsbuero
I can't give up e-ink for the putative benefits of buying into Amazon's "media ecosystem" (their MP3s play fine on my iPad, and I don't rent or stream movies); but the controls of the current Kindle are so pissweak wretched, the Touch seems right up my alley. I'll also pay for no ads.
What Not to Download - DB of targeted torrents
News is that the combination of a 25 year old and open source software has basically negated the value proposition of every major IT implementation firm in the world. AND he's hella good looking.
Of course they don't. According to skittles claim, performance is still maximized with 3 sets. It is merely performance/effort which is maximized with one set.

A weekend warrior may wish to optimize performance/effort, but a serious athlete must optimize performance.
Tried a few German sports teams. "Schalke" was a huge hot spot over London... huh.
Tokyo Subway Gets Lightsaber Handrails to Promo Star Wars Blu-ray
Zotac slaps PCI connector on GeForce GT 520
Implantes dentales
Usuario Forex
Great, thanks for the feedback. Glad someone's on top of it :)
Implementing MapReduce as a monad
Few billionaires on this list that dropped out...most didn't go to top-tier universities http://www.twincommas.com/billionaire-college-dropouts
If there's anything else you'd like to know I can post a follow-up or you can download the mdb database here: http://www.flcdatacenter.com/CaseH1B.aspx and the visualization software I used here: http://www.tableausoftware.com/products/desktop/download to check it out yourself.
AFAIK GoogleBot runs a minimum amount of Javascript on the page before parsing.
This is one of the most important articles of the past year.

It's not just about functional programming being powerful and concise and awesome, even though it is those things. (Mostly, that is. Functional programming, taken too far, can be incomprehensible.)

Ocaml's a very simple language: a bare-bones skeleton for what a 2020 language will look like, a functional C. I don't intend to claim that everyone should drop their favorite languages and switch to ML, but it's important to grok the idea of ML to get a taste for: (1) higher-order functions (instead of objects) as the default abstraction when mutability's not needed, and (2) the power of strong, static typing. The actual "language of 2020" won't be this Ocaml (no multicore support) implementation and probably not Ocaml at all, but it will look a lot like Ocaml, Haskell, and Scala.

Let me bring out one snippet:

Reading code was part of the firm's approach to risk from before we had written our first line of OCaml. Early on, a couple of the most senior traders (including one of the founders) committed to reading every line of code that went into the core trading systems, before those systems went into production.

That's not bullshit. A smart person with a general sense of algorithms, but who's not necessarily a full-time programmer, can read and understand most OCaml code. In C++ this would be impossible; you'd need a C++ expert just to make sure you're not going to get impaled by undefined behavior.

What makes OCaml awesome is that it's the only language I've encountered (Haskell and Scala may have this property; insufficient exposure) where reading average-case code is fun. Haskell is a great language as well, but it seems to be optimized for writers of code; Ocaml's optimized for readers. Yes, there's horrid Ocaml code out there and there's beautiful code in lesser languages, but Ocaml is the only language I've ever encountered where 50th-percentile code looks attractive. The consequence is that people do read code. Sometimes, just for fun. (Yes, imagine that.) I learned a hell of a lot about programming when I was working in Ocaml simply because I enjoyed reading the code. Average-case C++ code is never fun to read, and what matters in a professional environment is not what the language makes possible, but what average code actually ends up looking like.

If you're not familiar in detail with the benefits of functional programming and strong static typing, read this article. Read it 3 times, even.
Creating Sublime Text 2 build scripts
Thank you. Since posting the above comment, I've read many other people advocating your approach and I think it makes far more sense. Feeling much better about this! Thanks again.
Then don't read them; the community will figure out over the next few months whether Nelson's proved what he's claimed. The Peano axioms have stood for 120 years, it's probably not imperative that you find out whether they've been shown to be inconsistent right this minute.
I'll wager $200, but first I need to know the odds offered. Also, I will want my payment even if you can prove that $5 == $200 (1 to 1 odds assumed) if Peano arithmetic is inconsistent.
The Benefits of Positive Feedback
Listen to this man, he spits wisdom.
Is The Solar Gold Rush Over?
Nelson's short reply to one of Tao's comments:

http://www.cs.nyu.edu/pipermail/fom/2011-September/015826.ht...
Even if you are careful, all it takes is a kind friend on a site like Facebook to tag you in a photo (you don't even have to be a member to be tagged) and you are back to square one.

On the upside, I am super excited for Facebook Goggles. Augmented reality profiles shown for everyone you look at. Out in the dating scene? Know who is single and who is not just by looking at them. Business convention? Find out who everyone works for at a glance. Okay, maybe it isn't an upside, but it is bound to happen anyway.
Overturning induction is a pretty tall order.
well perhaps somewhat understandable, why should i be happy with an inferior interface because of it? This falls very squarely in the category of "not my problem, but you just made it my problem anyways"

I see this as part of a big trend towards software and software designers that think they know what you want better than you do, and its an endless source of frustration for me, and im sure many others.
??? Vorbis is a lossy audio compression algorithm, much like AAC or MP3. I would be very surprised if in a A/B test anybody could tell the difference between comparable bitrate lossy codecs.

FLAC was a licensing problem -- when Apple wanted to add lossless, they did so, with a clean-room lossless compressed audio codec.
The Kindle Fire has nearly the same resolution as the iPad--1024x768 for the iPad and 1024x600 for the Fire. The Fire is higher res (because it's smaller) so text will appear sharper. There is simply no reason that the iPad is a laptop replacement but the Fire is not.

In fact, there is a good reason that it would be the other way around--the iPad requires a computer but the Fire does not. Open an iPad up new in box and you'll need to find a copy of iTunes to use it. The system requirements for the Fire? "None, because it's wireless and doesn't require a computer."
The main library near downtown Raleigh just added a nice coffee bar during a recent renovation. Someone on the library board is paying attention.
Opera Mini's been doing this for more than five years. The J2ME Mini has been available worldwide since January 24, 2006.
Marco's opinions about pricing products and services are tiresome. No, the Kindle prices are not misleading. The Kindle ads are not uncivilized or lacking self respect. Charging to use a web service is not inherently admirable.
Videos de Risa
lo mejor en videos de risa, video de humor chistosos y muchos mas, entra y veras mas videos de risa
US Gov to consider Google Apps as alternative to Microsoft products
Peru vs Paraguay Preview
> Android has tons of premium apps too

Kindle Fire is built off the Android 2.1 phone OS and lacks the speed improvements of 2.2 and 2.3, as well as the tablet interface elements added in 3.X. I would hesitate to call the compatible Apps in the Amazon Appstore "premium" for those reasons. Games will work comparably, but for anything else people there is distinct difference.
1. If you aren’t getting rejected on a daily basis, your goals aren’t ambitious enough

Easier said than balanced, I'd say. I've tried to do things that almost exclusively get me rejected. Sure it fulfills the above. But looking back, it did more to hurt my operational life than make me progress.

Just wanted to point out that you can be rejected too much at which point it may help to score a small victory here and there.
The rendering server is pretty much the definition of the man in the middle. I don't see how Silk could not have the same issue.
Andy Rooney sometimes offers solutions.
My point is that mindless copy-and-paste should be limited to when you're learning your first language. C is not a very good first language and at this point I doubt it's a very common one.
Keurig B70 Coffee Maker Review
1. Running some JS on the server
2. Recompressing images
3. SPDY
4. Better compression than gzip
5. Giant server-side caches
I've read through all the documentation, and researched extensively. I still ran into problems way too often to ever warrant using it over a full framework for larger projects.
People who don't like planned obsolescence when it comes to computing don't understand Moore's law. On the other hand, there is planned obsolescence in stuff like tennis shoes that makes less sense to me. I have to buy new tennis shoes every few months. And why do they call them tennis shoes? Most people these days don't play tennis. My feet stopped growing years ago. I have an uncle whose shoes seem to last forever. He's 65, I'm 28 and most of his shoes are older than me!
Germany Continues Exporting Electricity Despite Closing Reactors
From what I've heard, the iPad WiFi models outsell the 3G models, so it can't be that important. Also, the premium you pay for 3G is more than half of what the entire Fire costs. (And for that matter, the 3G iPad premium fee is also just $9 less than the entire 3G Kindle, which shows you how much of a rip Apple's 3G premium is.)
> Crayon Physics Deluxe, for instance, had binaries crayon and launcher, and if you tried to launch crayon directly you'd get many more complaints than otherwise

Last I checked, Firefox did the same thing :p
Like Lady Gaga bought the Library of Congress – Why new delicious #fail?
I agree that it's silly from a technological point of view, but the libraries are at the mercy of publishers, and what else can the publishers do, really? If they let libraries "lend" out unlimited copies of books, who would buy them?
FWIW, a google for spdy uri gave me this: http://groups.google.com/group/spdy-dev/browse_thread/thread...

Great news! The IANA has approved our application for a dedicated port for non-SSL SPDY. We have been assigned the port number 6121.
And That Maniac Is.... Jeff Bezos
Good luck finding an example of actually using it to serve pages though. My Google-fu isn't normally that weak, but I couldn't find anything helpful. :[
"The iPad and Kindle Fire are emblematic of their makers. Apple’s primary business is selling devices for a healthy profit, and they back that up with a side business of selling digital content for those devices. Amazon’s primary business is as a retailer, including as a retailer of digital content. They back that up with a side business of low-cost digital devices that are optimized for on-the-fly purchasing of anything and everything Amazon sells. The Kindles are to Amazon what the printed catalog was to Sears a century ago."

That's the best articulated philosophical breakdown between the two products and the two companies that I've seen. The two devices look similar at a glance, but the reasoning behind their numerous differences boil down entirely to those two different philosophies. Apple wants you to buy an iPad to buy an iPad -- they get you to do that by pointing out how it has apps and music for sale. Amazon wants you to buy a Fire to buy a ton of Amazon digital content -- they get you to do that by making the Fire itself cheap.
The next big thing will start out looking like a toy = bitcoin
Breville BKC700XL - Best Coffee Makers Review
Cambrian explosion: genetic algorithm experiment
Could be faked, but apparently someone bought a Nexus S with Ice Cream Sandwich off of ebay.

http://www.engadget.com/2011/09/28/ice-cream-sandwich-gets-a...

I was skeptical about the prospect of "unifying" Honeycomb and Gingerbread, but it actually looks pretty great, IMO. The new task switcher looks fantastic.
Ive done the same myself. To me, the real issue was how time consuming it was to "cover my tracks", so to speak. After taking a look at it, I decided there wasnt much to hide. Sure, you may not want everyone to know you were at the movies last night, or that youre a regular at dubstep shows, but what are the possible negative outcomes? Having people know more about me hasnt been as dangerous some make it out to be. On the other hand, its given me plenty of opportunities to connect with similar people. Also, the idea of activities in your personal life interfering with your work image is outdated. Everyones got a personal life, why should we back away from that? Its who you are.
What's interesting is that proof is computer assisted:

The proofs are automatically checked by a program I devised called qea (forquod est absurdum, since all the proofs are indirect). Most proof checkers require one to trust that the program is correct, something that is notoriously difficult to verify. But qea, from a very concise input, prints out full proofs that a mathematician can quickly check simply by inspection. To date there are 733 axioms, definitions, and theorems, and qea checked the work in 93 seconds of user time, writing to files 23 megabytes of full proofs that are available from hyperlinks in the book.
Reminds me the overweight people on the WALL-E spaceship
All good points. Where do you stand, on an ethical basis, with how far is too far for any entity to knowingly take this kind of info and manipulate your life for your (and their) 'benefit'. I like Google, but when you mention 'textual fingerprinting' it's already the case that Google does some of this when you search, and for use in Adsense, right? Maybe not reading your texts/posts yet but Google has 100's of millions of people's search and browsing fingerprints, whether they know it or not...
How Hacked MYSQL.COM Host Malware – 5 Minutes of Action
Thanks very much--we'll dig into these.
>...there is a more general theorem that essentially says that you can't know in general if a program enjoys any non-trivial property....

That would be Rice's theorem. http://en.wikipedia.org/wiki/Rice%27s_theorem
I also think the iPad requiring hooking up to a computer is an odd requirement, but a) any Apple Store will do that step for you and b) I expect it to go away now that iOS 5 has over-the-air patching.
I don't know of a single jurisdiction that I would call a capitalism. Even the US has socialism mixed in. And for the record, I consider this to be a good thing.don't think I would want to live in a purely capitalist area. I

I've heard Hong Kong was or is a pure capitalist society, but I don't know enough about Hong Kong to evaluate that.
Keep in mind that there is a strong tradition in political discourse (in the U.S. at least) that using the word "freedom" is a signal that we are in favor of something, and thus, that "giving up freedom" is a negative thing.

While that's true, this is a discussion about negotiating in a game-theoretic context. "Giving up freedom" is usually associated with the game of chicken, whereby one party improves their outcomes by "removing their freedom" to select the chicken option. The ggp implies that this was the operating principle, when it in fact is not.

Saying that I have given up the freedom to give other people the copyright to my research, when that was precisely my goal in the first place, is IMHO a clear abuse of language. It's like saying a superbowl team has given up their freedom to lose the playoffs because they decided to practice too much. It's just ridiculous.
> I'm curious, what happens if you can't return stock that you've borrowed in order to short it?

It's similar to what happens when you can't pay your mortgage. If you are shorting you'll have to put up some margin( cash or cash equivalents representing some percentage of the dollar amount you shorted.)

if the short starts to move against you, you'll get a margin call and be required to put up more collateral.

Eventually if you can't pay you go bankrupt and your counterparty get's what they can in bankruptcy court.

Not surprisingly this is called counterparty risk and has become a big area of focus for risk managers recently.
Peluang bisnis online tanpa ribet sesungguhnya adalah
For those who are wondering if this is a crank. He is a notable mathematician. He is most notable for his work on http://en.wikipedia.org/wiki/Internal_set_theory which is a way to simplify the handling of non-standard analysis (calculus with infinitesimals - hyperreals on a rigorous footing).

He also wrote this book http://www.math.princeton.edu/~nelson/books/rept.pdf that studies probability theory without measure theory - I've only been through a couple chapters but I recommend it as interesting. Different perspectives help to allow one to understand things more fully.
SeaTwirl puts a new spin on offshore wind turbines
> Amazing the times we live in, that page turning has become an effort that becomes annoying.

Or it always was, and people just didn't have a choice.
Can u share the exact experience you had? I always view this advice to be true when the people your asking stuff from don't know each other and can't talk about u... Ie it would work well in dating and in job interviews but it wouldn't work well in say angel funding int valley where everyone knows each other or hitting on all the women who are friends with each other.
Fake iPhone Manufacturing Ring Busted
would you be able to provide the average programmer salary for the biggest visa spenders
Show HN: Interactive device control from a browser
I just launched a landing page for my startup CNTRLLR.

http://cntrllr.com

In a few words, CNTRLLR is a new open platform for device control. Its similar to what you can do with AMX and Crestron except that our platform is built using web standards so apps run directly in the browser. We are working on a low cost hardware controller along with the system software.

We are still working on the product but we want to gauge the market interest and start collecting emails from potential customers and anyone interested in joining the project.

I'm looking for feedback on the landing page and any advice from anyone with experience at this early stage.
I think it's because we start to feel more pressure to succeed and to succeed quickly, so we stop playing and tinkering.
Agreed. There's an implicit assumption that a hidden div at some point should turn to a viewable div otherwise there's no point in having it on the page to begin with.
Become a Javascript Console Power-User
Upvote for not only interesting data analysis, but also for being objective about it. I clicked on the story, expecting a rant for one or the other, but found numbers speaking loudly than opinion ever could. Thanks.
Why not work at home? :\
You do know that he (not them) called Daring Fireball a "Mac column"? What did you expect him to write about, oranges?

Not to mention that this post is a pretty bad example, since writing about a new tablet without talking about the one with the huge slice of the market would would be very strange.
We only include accounts that Tweet primarily (really exclusively for practical purposes) in English. So it may be that there are more English language accounts in the UK that are fans of that team than in Germany. Just a guess. I think the various data normalization and other enhancements discussed throughout this thread would also help.
It's going to be odd to see Microsoft, Google and Samsung in one stage, celebrating Android.

Don't be surprised if Microsoft placed HTC and Samsung Android smartphone ads on their homepage, it's very lucrative.
Old school Kindle 3G usage is minimal, though. Downloading books, awkward web browsing.

iPad 3G usage is a whole different thing.
As developers, we've sort of earned the right to dress however we like. Why not dress well? Looking like a slob is not a badge of honor. It's the badge of a slob.
Good list of Haskell resources from Stanford CS240h
Thank you for the input, do you have any suggestions as to how I could find a consultant?
When you say approvals, do you mean prior purchase approvals?

By the way, our expense tracking service, CostJar, is in beta. Please signup for an early invite at http://www.costjar.com
HP is Touching Your Car
Maldives Dive Sites
"Sure, he's very complimentary, in an "imma let you finish, but the iPad is the best laptop replacement of ALL TIME!" sort of way, which is to say rather derogatory at the same time."

This is nonsense. It's a 21 paragraph, 1500 word piece and he spends exactly one on "laptop replacement", you're clearly the one hung up on those two sentences.

"He tries to place the iPad and the Fire as distinctly different products serving distinctly different market segments"

No he says they're attacking the market from different ends. Consumers in the middle would clearly have to choose between one or the other. That's distinctly different :p from what you're saying.

"That's not terribly complimentary when you boil it down."

Did you read the other 20 paragraphs? The article on the whole is very complimentary of Amazon's effort, his experience with the e-ink Kindle, even the ads (a lot of people seem up in arms that Amazon's keynote prices are for the ad-supported versions, compare Marco.org).
Its interesting how the top H1B companies are IT consultancy companies.

There are far too many enterprise I.T. consultants and I'm all for B2B adoption of software. I question how much value these consultants add sometimes. I hear so many stories of failed deployments and spending millions on projects a few competent individuals could of accomplished.
Sorry - I was talking about the OP, you were talking about that commenter.

That said, in your view is there simply no relevant standard for personal maintenance? Is everything relative? If I show up to your wedding in a t-shirt and ripped jeans, is that ok as long as I don't mean any disrespect?

The unfortunate fact is that you don't have to intend to be disrespectful in order to be disrespectful or inconsiderate. It's generally the reverse - one ends up being disrespectful, offensive or inconsiderate because they didn't adequately consider the sensitivities of other parties. It's about cultural norms.

If you're in a society where folks expect you to wear deodorant, and you don't, you're going to have to be willing to be judged for it negatively, right or wrong.

Similarly, if you dress like you don't care, don't be annoyed if some folks think you don't care. That's your right, but I'd argue it's also his right to judge you for it.
I bet you two would like Alan Kay and Christopher Alexander. Google'm.
Disney launches two new Android smartphones, mouse ears not included
Gamo Air Rifles
Don't blame your Google Fu, blame Google for calling it Go.