skysight-inc/HackerNews huggingface dataset:
Diagonalization is a poor example -- though I don't think Cantor's logic was widely accepted until the early 20th century -- but I think there are examples of proofs where mathematicians will accept the logic, but argue with it none the less:

The Banach-Tarski paradox comes to mind first. I don't think anyone argues that the proof is wrong, but you'll easily find people to argue that that very fact means that the full axiom of choice should be held in deep suspicion.

The 4-color map coloring theorem is more interesting in this thread, though; I think it's the best known example of a proof that offers little to no insight into why the theorem is true. I don't think any solution that requires breaking a problem into 1,936 special cases, and then mechanically checking each one of those cases, will ever lead to an understanding that makes the theorem "obvious".
There is a specific black t-shirt which is probably a worthwhile goal for a YC startup.

It should be solid orange for the IPO equivalent shirt, though.
The article is wrong about t-mobile. Quoting directly from their site (shop->plans->mobile broadband) (and note how all of them are described as "overage free")

"No overages! (After 10 GB, data speeds are slowed until the next billing cycle)"

e.g. http://www.t-mobile.com/shop/plans/cell-phone-plans-detail.a...

So there is not unlimited access at the highest network speeds, but the plan is nevertheless unlimited data -- as in you don't have to watch your consumption to avoid getting dinged with $$$/GB charges.
www.23andme.com - DNA profiler for ancestry and common gene related diseases/conditions
Tell HN: false alarms from Pingdom
We were changing some settings in the servers today when all of sudden Pingdom sent a flood of messages alerting that servers were done. I was like OMG-we-are-dead! Thankfully, it was false alarm. Just wanted to tell Pingdom users on HN to not worry about those false alarms. Although the irony of false alarms and non availability of Pingdom.com hasn't been lost on me.

PS: users tweets show the seriousness of this error. Sample a few:

> SysAdmins across the world are having heart attacks due to @Pingdom issues. #pingdom

> Thanks Pingdom. We haven't had a good fire drill in a while. I didn't need to finish lunch anyway. #pingdom @pingdom

> @pingdom - you're killing me with the false positive alerts @ 5am

> @pingdom just got an alert that my sites are down since Jan 1, 1970. My website is older than I am!

Because of this serious goof up, we are thinking of switching monitoring service. Do you know any good alternative to Pingdom? Heard Watchmouse is good.
Confirmed - it's down here, and also using:

http://www.downforeveryoneorjustme.com/pingdom.com
Interesting.

For the example cited, you could also use ActiveRecord::Dirty

def clean_summary
self.summary = summary.squish if self.summary_changed?
end
The problem here is documentation.

Consider: a field, from research to development to supporters and advocates is a series of concentric circles. The innermost is the smallest and most knowledgeable: cutting edge and long-standing researchers. The mid-circles are commercial developers. The outermost circle is largest and least knowledgeable: end users, advocates, etc.

The purpose of documentation in this model is to inform and educate the next circle out. The definition of documentation in this model is the process by which the next circle out is informed and educated.

Now the mid-circles are pretty good at documentation, but the inner circles, the researchers, are very, very bad at it. Institutionally bad. So bad, that the whole function of documentation to bridge the moat that has grown between researchers and developers is taken over by other groups where it is done vaguely well. Now in applied physics and mathematics, especially related to computation, you don't see much of that moat. Discoveries echo the world pretty rapidly: there are open communities and open publishing forums, and the interesting stuff is picked up pretty quickly - anyone out there who might want to develop in those areas has ample opportunity to learn about it and make the decision to participate. Think about memristors and quantum computing as good examples.

This is far from the case for the life sciences: the gulf there is huge and yawning, and there is no comparable open community large enough to close it (DIYbio and open biotech movements are still too small). That's one of the reasons I started Open Cures:

https://www.opencures.org

As I think there is a great deal to be done here to make biotech and the life sciences look much more like physics in their documentation - and here I mean documentation in the sense above, the propagation of information and learning from the circles of research to the circles of development.
Thank you for pointing this out. Addressed in the comments:
http://collectiveidea.com/blog/archives/2011/06/21/the-billy...
[Feminine Itching Remedies - Best Way To Relief]
looks awesome! keep up the good work!
LulzSec "Mastermind" Arrested
How does a German adapt? Poorly. I nearly stopped reading because of that.

It freakes out my wetware text parser to have two spaces before punctuation and no capitalization at the beginning of sentences. At least he did not put punctuation inside quotes...
How to Get Rid of Feminine Itching with These Natural Remedies
Are you ashamed to consult your gynecologist for your feminine itching?
I know many of us are terrified of hospitals, but this is a health issue which causes not only discomfort, but other serious complications if you don't care for it properly.
Man robs bank for $1 + Health Care
Cheap Air Jordan Sneaker 2011,Wholesale Nike Air Max Sneaker
Buy Cheap Air Jordan Sneaker 2011,Wholesale Nike Air Max Sneaker,Discount Air Max 24-7 men Sneaker,Nike Dunk Sneaker,Nike Air Force,Basketball Sneaker,Nike Air Jordan Shoes online. In stock and ready to ship. We accept mixed order & drop shipping, fast and safe delivery.
AllBitcoin - preview of our new Bitcoin client
Hi HN, I'm finally de-activating the lurk mode to get your opinion on my new venture.

Given the turbulent past few days in the world of Bitcoin you may think it's foolish to be betting on the long term viability of the system but I do believe it has a terrific potential that we haven't even began to properly explore yet.

Each of our brainstorming sessions yields a bunch of game changing ideas that can be built on top of the Bitcoin network. While everyone else is busy cranking out blocks with their Radeons, day trading or trying to defraud the system - we believe we're a smidgen ahead of the curve by building a legitimate software business around it.

I would very much appreciate your opinion on our first product - a Windows Bitcoin client (built on top of the official one) aimed at a more casual user. We feel this is the first step towards a more mainstream adoption of Bitcoin.

(I hope that I don't have to remind anyone to be careful about binaries from an untrusted source, check out the quick tour instead or play with the client on a test PC / VM)

Thanks!

-AllBitcoin
I'm sure that felt good to write, but it really didn't say a single thing about your first 125 days that was valuable to hear.
Not quite because the summary could change to nil, but it brings up a good point. There's often a better way in Rails, but &&= is native Ruby so it's especially useful in non-Rails applications.
This is why downforeveryoneorjustme.com was invented. Not of general HN interest.
I like viewing the handwritten note, but for those who want something cut/pastable:

http://www.cs.utexas.edu/users/EWD/transcriptions/EWD08xx/EW...
I used a Norwegian friend's Spotify account for a bit, and I'm now using rdio. I don't see any significant difference between them, other than the client, which ... eh? Rdio works in my web browser, and it works on my phone. That's pretty much all I care about.

The only advantage an actual app could have is responding to my hardware play/pause/next buttons, I think.
Got a source for that? I'm always fascinated at how Apple teams seem to work on several projects serially instead of forever working on the next version of some product.
A friend of mine has posted a more in depth take on it:
http://chrisduke.tv/1127/final-cut-pro-x-migration-final-cut...

Summary: FCP7 projects won't uprade/import to FCP X. Be careful if you're in the middle of something or use certain 3rd Party plugins.
Extensions! Lots of extensions (in my case anyway). But that's what I love firefox for :)
I love my virgin mobile 25$ for unlimited data/text and 300 minutes with no contract.
If writing less code is the objective, use Clojure.
I am not sure about FF5, but on FF4 though the search bar kinda seems to be related to the particular tab, it is still the common search bar and the things I searched while at one tab are displayed in every other tab. I am using Ubuntu 11.04/Firefox 4.0.1
Streaming services to phones and tablets are becoming more popular. Wireless companies are trying to make this switch before the average user starts consuming large amounts of data so no one notices a difference at the time of the switch. Fast forward a year or 2 when streaming netflix or sports to your phone is commonplace and people will hit that 2gig mark without breaking a sweat.
Mobile TSA teams now groping you at your local bus/train/subway station
There's of course also the point that, duh, heavily focused work is mostly read by peers. It's equivalent to saying HN is only read by software engineers/startup types, so it's insular.

Yes, it is. By design.
I'm not sure a comparison to mass media is necessarily appropriate. It's probably more important for engineers and entrepreneurs to bring relevant scientific knowledge to the market than it is for scientific papers to be published in mass media.

But it would be nice if peer-reviewed scientific papers were easier to obtain and read.
I'm not sure this article is a particularly well-informed summary of the state of things.

For one thing, the acronym is RTB (Real-Time Bidding), not RBT, and the analogy to HFT is rather thin. For another, Google's existing Ad Exchange already has extremely substantial impression volume. Google isn't so much "jumping into a market" as the article claims but rather bolstering and broadening their existing position.

The market is decidedly emerging but it's further ahead of what this article portrays.
CareerFriend - Facebook App
Quickly tap into the valuable career info available from your friends. Learn about careers and jobs directly from your network of friends.
From what I recall, Python (2.6) dictionaries do not necessarily preserve the order of items in the underlying structure. Eg. if "x = {1:1, 2:2, -1:5}", then x.items() will not necessaryily return "[(1, 1), (2, 2), (-1, 5)]"

However, in Python 2.7+ ordered dictionaries in the collections library do preserve order. Perhaps this achieves the desired behavior?
Amahi Invaders: An HTML5 remix parody of Space Invaders and Asteroids
I appreciate what you're saying, but unfortunately my clients pay by the hour, and they aren't paying me to be a beta tester for your organisation. Even if I wanted to help you, it would be deeply unethical for me to do so while charging my clients for the time. And even if it weren't, please consider what a huge amount of time it would take to download and install development builds of every major browser regularly enough for this to matter. It's just not practical for me, and I don't see how it ever could be for any other professional web developer in a similar position.

Maybe if we were talking about a team of in-house developers responsible for a single application or something it would be more realistic, but not for freelancers or small agencies who get paid time and materials, which seems to be most of us these days if my experience is at all representative.
Microsoft's own skydrive drops silverlight
I just found out about Virgin Mobile USA this month and can't believe that it's so relatively unknown, given how much better of a deal it is compared to the major carriers for most people.

$25/month, unlimited data/text, no contract. Downsides are that you only get 300 voice minutes (can upgrade to 1200 for $40/mo), that it only uses the Sprint network (no roaming), and that they have a limited phone selection (although the LG Optimus V that I got seems pretty awesome so far). For me, and I would guess many others, the downsides pale in comparison to the benefits.

I've been recommending it to all my friends, and a few of them have started making the switch. Although one girl was opposed because she thought no-contract phones were for poor people.
That's being worked on, yes.
Practically, what does HFT actually mean to ad business? Am I correct that it's about being able to bid for ad placements according to real-time CTR/CPA analytics?

That would be neat, I can imagine writing automated robots distributing your ads in sub-optimal ways, moving with your target audience from website to website during the day.
another firefox since early beta user here.
i do not remember the number of machines i installed firefox on to, but i really like that there is competition now and every version gets faster and better.
I think it is fair to say that one of the biggest reasons that people like Scala more than Java is that while it certainly improves A LOT of things that Java needed to fix, it also allows a clean break from some legacy Java baggage in terms of platforms.

For example, if you are doing a Java web project, most teams go with the Java EE platform simply because that is what is standard and so most of the things around Java in terms of the web are usually somehow in the vein of Java EE in terms of being big, kludgy, slow moving web frameworks.

So, even though nicer MVC frameworks like Play exist in Javaland, simply switching to Scala opens your eyes to the opportunities that exist in other frameworks like Lift and Play and scalatra.

In the end Scala is a nice mix of improving the language and revealing potentially better platforms at the same time.
Pinboard.in service limited - FBI raided hosting company and pulled equpiment
Heh, yeah, but...

The problem is that Libya consented not to have nuclear weapons. Now everyone does what they want with Libya.

Nuclear weapons do work as a deterrent, but small countries profit orders of magnitude more from this than big ones, which are hard to attack anyway. That small countries are able to defend themselves against the US is the main reason for the US to exert so much pressure against "proliferation".
Yeah I have made couple people switch to VM as well this month. Not sure if you are aware but you can enable wifi hotstop by downloading Quick Settings app. VM seems to have just hide the option for now and Quick Settings makes it available. VM is amazing for the price.
Worked for the SawStop, oh wait, no it didn't. Despite their intense lobbying to get congress to mandate that all table saw manufactures use their patented tech, congress never went for it.
What the hell is going on? Is USA turning into a communist country? How can they DO this?
Add free survey widget by kiss metrics and ask visitors what do they want from your web app. This way you'll be able get insights from visitors

Get it here : http://www.kissinsights.com/
There's also My Simple Mobile which uses GSM (using T-Mobile's prepaid network). The prices aren't as good as Virgin, but they're still better than the big 4 and being GSM you can bring over any phone that works on T-Mobile 3G.
I think Mr. Olea lays it on a little thick, but I like the gesture.

A lot of domainers feel like our domains are a bit like our ‘children’. I saw that name as one of his ‘kids’ that was about to wander onto the digital highway. Sort of like taking a wayward kid by the hand and gently bringing it back to their front porch. Domaining is still a pretty small community, and many of us actually look after each other.
I am a mathematician. My research concerns the distribution of discriminants of cubic fields. I doubt exceedingly that anyone without extensive training in math (other than my mom) would have any interest whatsoever in looking at my papers.

I have heard it complained that we scientists don't "talk to the general public" enough. I would very much welcome specific suggestions for how to do this. I would cheerfully invest time and effort in this kind of thing if I felt like people would be interested.
Yes, many citizen groups stand up for the 1st Amendment and tell our representatives that Internet censorship is not feasible in a functioning democracy. The problem is that the Big Six (GE, News Corp., Disney, Time Warner, Viacom, & CBS) have a megaphone and bags of cash... so often the voices of the citizen groups get drowned out.

Couple that with the fact that the vast majority Americans form their world view from the television or the websites that the Big Six own. Sex scandals and Hollywood gossip is discussed, Internet censorship? Not so much.

And this is increasingly not just an American problem, as many people on this thread are pointing out. We live in a global society (thanks largely to the Internet), the challenges of the U.S. are increasingly the challenges of France.

The Internet has done a tremendous amount of good over the past 20+ years, but there is a flip side to this coin as well.

Check out this five minute documentary trailer (on KickStarter) that seeks to tackle some of these Internet censorship issues:

http://www.kickstarter.com/projects/akorn/killswitch-a-docum...

This documentary project is looking to get crowd-funded by small individual donations from the same citizens with the most to lose if we moved to a censored and centralized Internet.
Quite surprised there has been no comment yet. Cool project.
Is the Rise of Wearable Electronics Finally Here?
Exactly, and it's cross-device, cross-service. What about browser built-in search? Or mobile? Or not wanting cookies or having to log in? I see my browser having a preferred language setting...
ICANN is less than 13 years old. The Internet only went fully commercial 16 years ago.
There is a small issue with your tricks and that is that the end user...you or I, knows about the paper in the first place and are trying to gain access to it.

The broader issue as I see it, is that for a layperson or a hobbyist in a scientific field it is near impossible to find papers that you did not hear about through the media or by being in proximity to the authors.

If you do happen upon them, it's usually by pure dumb luck and happenstance. More centralized and open locations for discourse are required.

How about a ycombinator for scientific research?

o.
We're not down. Our main DB server is unreachable and there is limited service (no API, search or feeds) while we run off a smaller backup server.

See http://status.pinboard.in/ or @pinboard on Twitter for updates.
I doubt you'll find much legal precedent (or published rules on the exchanges) supporting your theory, except in the case where a broker makes unauthorized trades on a seller's behalf. Feel free to prove me wrong...
Foursquare’s New Growth Strategy as it Hits 10 M.? Users who Don’t Check In
Probably worth noting that the vertical tab UI you end up with looks pretty weird (on Mac OS, at least), as it's literally just moving the existing tabs over to the side without changing the graphics at all.
Well, he's right, you know. Who needs the method of loci anymore?
To me, this is kind of like saying "I won't use OkCupid again because the person I met through it was a real jerk."
Erik Naggum is/was the quintessential pedant. He has rants a lot more entertaining than this one.
> You have to write to your customers. If your customers are the lowest common denominator I would advice rethinking your business plan.

The most popular operating system in the world today is Windows XP, and the most popular browser on Windows XP is Internet Explorer. If you can afford to rule out anyone using IE below version 9, I envy you your business plan, but most of us can't.

It is bad enough that Microsoft creates this problem for us for unrelated commercial reasons. There is no need for the Firefox and Chrome teams to sink to the same level.

> People around here think it is a perfectly viable business plan to write to only iOS

People around here think a lot of things are perfectly viable business plans. Most of them will fail, often because they overlooked some obvious, common sense test they should have considered on day one but didn't.

> The idea that we have to write to the lowest common denominator is the one aspect of web development that I wish would go away. You don't have to, you choose to.

We all wish it would go away, but on my planet the web developer is rarely in a position to determine the requirements of a job for a paying client, nor to dictate the browsing software to be used by the general public. If you are one of the lucky ones, please understand that you in a very small niche. Somehow I doubt the guys working hard on all these new features for Firefox and Chrome and Safari want their work to be useful to only a tiny fraction of the web-using world.
There was a Google I/O session which detailed a lot of the same tips in this blog post. However, thankfully, this post was a lot more succinct.

If anyone's interested though, here's a link to the session:
http://www.google.com/events/io/2011/sessions/designing-and-...
This is something that I'm trying to solve with a project of mine: http://www.tiris.org

For example, you can comment on this paper right here:
http://tiris.org/papers/15

If you are a user you can then follow what goes on with the paper (new comments, tags, etc.), you can follow the user who submitted it, seeing as he is likely to have similar interests, you can follow the tags the paper is tagged with and so on.

It is dream for Tiris to be embeddable into various scientific sites (blogs, project pages, etc.), with a system similar to Disqus, but with a knack for science (for example, latex is supported with $$ math $$).

We're slowly but surely getting there, if there is anyone reading this who feels passionate about opening up scientific communication, drop me a note.
Just so you know, apparently Pingdom had a hardware failure at their datacenter, so the site is unavailable (though no data will be lost)[1]. And, if your site was down in the past hour, then you'll be getting delayed alerts[2].

[1] https://twitter.com/#!/pingdom/status/83191625874018306

[2] https://twitter.com/#!/pingdom/status/83253096096088064
Same here! Though "unlimited" here is constrained by their no-tethering policy. And their phones are not very well suited for eating lots of data. (I know that I tend to be hesitant to use data on my phone because I know it's just kinda sluggish, from the UI to the network. Kinda reminds me of early keyboards which mechanically limited the keystroke rate in order to prevent errors.)

<plug>
And, if you are using one of their Android phones, you absolutely need my app for keeping track of remaining minutes and due dates. :)

https://market.android.com/details?id=com.jaygoel.virginminu...
</plug>