skysight-inc/HackerNews huggingface dataset:
Yeah, that's the third response to cite the halting problem. I think that's a pretty good response.

The guarantee that it is not an output from possible programs part is an assumption.

Actually, it isn't an assumption. I've constructed the requested response such that it can't be a response from any of the programs on the list. It's like the Cantor diagonalization argument.

Since it is also an assumption to take for granted that even though the possible programs is countable it is a practically enumerable finity.

Not really. If I take the mapping to be the trivial one -- any number maps to the program the binary representation of that number would be in machine code -- then getting a runnable program from a number in input is pretty trivial. Of course, most of them would do nothing but crash.

It is also an assumption that there is no 1:1 mapping from the list of programs to something that could perfectly emulate a human.

I neither assume, affirm, attempt to prove, or attempt to deny that. I haven't said anything about programs that can emulate a human other than that there can't be any. ;)

It is also does not follow that just because the AI could theoretically be stymied by this conundrum, the set of its computations would not include those that utterly outperformed humanity in all their cognitive useful tasks.

Yes, I suppose not. But Sal can't comprehend and execute such a simple request, I don't really have much hope for her ability to do things like advance set theory. ;)

It is also an assumption to believe that a human could not just construct such a program but construct one that gave an output

Well, actually, I just asked them to give a response different than what the program gave. I would expect most humans, after a few seconds, to say, "It seems to be hanging. I have better things to do." Which is probably not what the AI was going to say. Or if I really want to go down that path, a human can talk long enough that its response is vanishingly unlikely to be what the program was going to say.

But I think the halting really is a pretty good objection. Especially because the problematic case -- feeding the program its own source code -- really would hang on infinite recursion.

I'm still thinking about that. But I do have this to say: I wouldn't consider hanging on a simple question to be a very human response. It's definitely something done in science fiction to identify the AIs. ;)
Hear, hear. It's a completely fact-free, anti-union rant.

The plural of anecdote is not data. And the singular of anecdote is definitely not data. The GP does not, of course, have any idea whatever about whether Chicago teachers care about kids.
1. Speed limits are slow and people are impatient. 55 MPH on a highway feels quite pokey in clear conditions when 75 MPH is easily possible with no appreciable loss in safety. And 30 MPH on surface streets is positively crawling. They are designed low knowing that the average user will exceed them, similar to the MPAA's tax on blank recording media where the expectation of violating is built into the product.

2. Blending in with the crowd. If the speed limit is 55 but everybody is going 75, it is safer for you to drive at 75 in smooth traffic flow rather than go 55 and create waves of darting and merging traffic trying to go around you.

3. Speed limits are sometimes applied dishonestly in the name of safety, when the real goal is revenue generation from violators. Such a law is immoral and unjust - government abusing its monopoly cartel power - and breaking it represents civil disobedience. This is more what the ancestor posts are getting at.
+1 for launching an MVP

I have a little experience of the "polishing of presentations" industry (if someone is in a bank in London at 2am, odds are its one of the army of powerpoint polishers working for the sales teams 9am meeting)

The presentation here:

http://kpcb.com/insights/2012-internet-trends

covers most of the major "modes" for a PPT. I would suggest each of these is a "feature" that you could sell. I would guess your ideal brief would be

"I want to review 2012, talk about the foobar project
and predictions for 2013. Alice, Bob and charlie did one
each. Please put a bookend in between all three, take
the data in the enbedded excel and make it animated, and
find me a picture of a foobar that succeeded and one that
is dead and covered in an oil slick"

* bookends (plain slide, concept in words, introduces next few slides conceptually)

* Graphs - this was the main cause of problems - twenty excel sheets and the instructions to pull out "sales". I would make this time and materials, but it will be a really powerful area - the above example from one of SVs biggest investors has boring Excel produced slides. Animate them, hgihlight the graphs with zooms, make them OSX not win98 and people will really pay. Trust me.

* expositiory images - pictures tell a story - the before and after images here are a good example, but they take time and effort to find.

And thats before we get onto the idea that really most PPTs need an editor to tease out the story (dont let your 1:1 people get dragged into understanding the whole presentation unless they are on Time and Materials), and interactivity (pygame is a good one here) really can work well.

Sorry for the rambling - its late. Good luck
(And yes, I'm perfectly aware of how silly it is to claim to overturn an entire field of research for fun on a Saturday morning, like some reincarnation of Bertrand Russell...)
I've had a lot of success forcing my parents to Linux. I used to waste a lot of time helping them with technical problems. It was usually viruses, anti viruses or sneak ware causing problem. After Linux they have no more need for me and do all they need. My last victim was my girlfriend, if you ask her what her OS is, she has no clue. But she still use face book, games and "the spread sheet thing" with no problem.

I'm sure not only Linux has become user friendly enough for main stream. But it's actually the best option for it. Maybe losing to chrome books, I still have to try those out.
people should feel bad for posting their stories here

Ad hominem or shoot the messenger? Take your pick...
You have to have two side by side.
Umm, no.

The very first bittorrent torrent was a 100 MB pirated porn video. I still have it.

The client was a .py script. And it was hardcoded with said video.
Show HN: HasComponentViews — child view handling for Backbone
The next official term will inevitably become another epithet. Moving further along the euphemism treadmill doesn't change whether the underlying idea is right or wrong.
More about ESI http://i.imgur.com/KNvg0.jpg From a slidedeck presentation here http://lanyrd.com/2012/codeigniter-conference-us/coverage/?c...
Eh, as much as I want to agree with you (and I do, reddit is a cesspool at times) you still can't argue with this:
http://query.nytimes.com/search/sitesearch/#/trapwire/since1...
and this:
http://query.nytimes.com/search/sitesearch/#/flame

Trapwire: funded by rich people who don't want to get noticed
Flame: software showing off the usa's capability for cryptovirology and basically saying our most public stuff beats your best secret shit
I have absolutely no doubt there is some PR behind the decision, but it should also be cost-effective in the long term.
Why journalists love Reddit for its brains, not just its beauty
Most likely, you would still have lots of video and music files on your computer. If you want to enjoy them using iPad or iPhone, this app allows you to stream the contents from your computer to your iPad without worrying about file compatibility and lengthy iTunes sync process. Also, you can share these media files to any iPads even though the iPad may not homed with your computer.
The new opportunity for PaaS vendors: cloud services curation
> I assume because of the legal complications given the nature of their work.

Unfortunately, yes. Google "ITAR aerospace" for why :\

Still, the American aerospace industry has a long and illustrious tradition of bringing in experts from around the world and getting them citizenship. Get an internship somewhere that isn't ITAR-restricted and get yourself on the fast track for a green card.
Here's a userstyle that turns off -webkit-text-size-adjust:none on all sites:

http://userstyles.org/styles/54719/ctrl-plus-text-zoom-fix
There are some important fundamental differences between X apps and Web apps.

The "display side" of Web apps can do a lot of useful processing which cannot be done on the "display side" of X apps. JavaScript is not my favorite technology, and the performance is, at best, mediocre, but you can perform useful computations with it.

Also, well written Web apps can reduce network activity to a minimum.

Consider, for a moment, if ten thousand people were using HN via an X app. HN would need monster servers and monster bandwidth to handle all that load, even if the users were only scrolling through comments or spending minutes typing up replies.

During the time I've been typing this reply, the Web app side of HN is making no network calls and putting no demand on HN's servers at all.

I've seen people vaguely equate X apps and Web apps before, and I'm always bothered by it since they have such important fundamental differences that change everything.
How can we convince Enterprise users to use PostgreSQL instead of SQL Server or Oracle?
"...not enough money to fix the defects."

Not even enough to cover legal fees. Would have been cheaper just to fix it.
Dallas has the largest light rail system in the United States. It's been around since 1996.

DFW access is planned for 2014.

Public transport in Texas is fucked.
"Not only is watching news going to put an out of proportion amount of negative thoughts in your mind, which will affect what you can achieve, it is also valuable time where there are many amazing and meaningful things you could be doing"

Well let's add to this then. What about time wasted sitting in synagogue or church saying the same prayers over and over again? To me that's even a bigger waste of time. What if people got together and actually learned something during that time (if together) or on their own. To me at least the sermons were always interesting (ymmv of course) but they were mainly filed under "entertainment" value.

That said there is a value to main stream news depending on what your business or product is. It is important to have the beat on what others are watching and thinking to me it does have value. Some people say "who cares what the WSJ or NYT thinks"? But the truth is others care and carry that info out to people and it's a good idea to know what others are going to believe and think. That doesn't mean that you have to watch mainstream everyday, but I wouldn't go as far as saying the right approach is to stop watching TV totally as Joel says he has done. Or reading mainstream news.
Also, check out the tour.... it should have more information for you.
I work in the smart grid industry, just a lowly network engineer, but in the last 5-7 years, I've rarely, if ever, see anyone confuse kWh/kW. I would presume that for people who care about MWh, that there is even less likelihood of confusion.

I think the general populace, the industry, and certainly the professionals in Northern California have become pretty well educated on this topic, mostly as a result of the prevalence here of energy startups, solar panel installations, and needing to understand what that "$0.31/kWh" on their PG&E bill means.

Might be different in other places though.
How are you handling translation of exceptions to ObjC given that none of the OS frameworks are themselves exception-safe?
Hundreds. Stop trying to argue that Paul Graham was trying to keep a secret on a mailing list that might hit 1000 people.

The reason for all the drama about Graham's mail wasn't that it was a leaked secret. It's that dishonest tech publications cynically spun it as one. Just like they're doing on this story.
Because it is referred to as Rate X Time, whereas most things, like Km/KPH, are referred to as Quantity per Time. (which is more explicit)

I'm sure no one would be confused by the difference between joules and joules per second.
I'm shooting at the messenger for sure.
i poste the same fucking shit 8 hours ago and NO VOTES, https://news.ycombinator.com/item?id=4525973
WTF?
Buildings are not free after they are paid off. That's just about the time they need major renovations and repairs.
Yes, I realized a while after posting that a 20 MW plant would produce way too much waste heat to fit in such a small volume. My bad. I couldn't get back in time to my comment to edit in a correction.

My gut feeling is still that something is wrong if a 20 MW plant is called "massive". I'd expect a massive power plant to produce gigawatts, not a few megawatts. That's the feeling I tried to convey with my bad example.
Thiel Fellowship draws stellar applicants who I suspect would be successful, college or not. I do wish more regular American high school students got the opportunity to do something similar, i.e., put off college for two years to work and explore passion. I won't go as far as to say college is a waste of time (it's still the most sure-fire route out of poverty for example). But a lot of people go at 18 because it's the next step and end up floundering. I believe we'd get a better return on higher education in the US if there were more regular and accepted opportunities for students to work for a year or two, then decide if college is the right next step.
This makes me wonder: which is more valuable? writing blog posts or reading actual news?
Way too few people know about and understand X forwarding.

I'm not a linux guy at all, and it saddens me when I am the one to teach (supposedly advanced and technical) linux users about X forwarding.
It's actually iOS 4.3+
I think if you're getting data on wifi, then you can receive calls still. If you're on the cell network, I'm guessing you stop getting data and the phone switches over to receiving the call but not sure
Crowd funding didn't work for us. Now we know why.
Yes, but that's also why I said that they didn't "create" the modern smartphone. Everything that they "created" already existed before they came along.

There's no doubt that they packaged things very nicely and have been very successful, but it's not as if they created this market out of thin air. They surely did not invent the general concept that they've been so successful implementing.
Right, Apple bought P.A. Semi, and assuming that those guys stuck around after Apple switched from PowerPC to Intel, Apple has a proven CPU devel team.
I remember lurking on Slashdot during the 1990s. X-Windows partisans did not cease to extol its supposed strengths over Microsoft Windows and the Macintosh.

They said that the separation of mechanism and policy would make inevitable any number of advances in user interfaces that were not possible under closed source models. Look at what actually happened. The overwhelming majority of Linux window systems and desktop environments were Windows 95 work-alikes, NeXTstep work-alikes, or attempts at minimalism based on BlackBox or aewm. Enlightenment was the only major exception, but it went by the wayside due to Rasterman's falling out with RedHat and by that project's attempt to build resources that were not but should have been included in X-Windows.

In the meantime, Microsoft kept improving Windows until, with XP, they had an operating system that even many Slashdotters were forced to admit was usable and productive. In the meantime, Apple went to the brink of ruin and bounced back to usability preeminence using Unix code, but violating -- nay, extravagantly violating -- the Unix philosophy when it comes to user interfaces.

"The year of Linux on the desktop" has long since become a bad joke even among the Slashdot set precisely because they held to their principles. Because they held to their false principles. If one wants to have a good user interface, then mechanism should not always be separated from policy. Configurability should not be paramount. An authority must be in charge to enforce interface consistency, if only imperfectly.

Apple Computer is the existence proof. If the X-Windows partisans were right, then Steve Jobs pulled off the impossible.
College was supposed to prepare me to pursue my dreams.
The last few paragraphs of the article really brought an interesting light onto the subject. Most of the people I know who left college to start a business or to work somewhere in Silicon Valley had a remarkably privileged upbringing. They never had the worries about the financial or temporal investment into an education or any experience taking risks. I'm not trying to berate people who drop out of college for these reasons, but it's an important factor to keep in mind when truly analyzing their success.
Why are majority of undergraduate students in Asia myopic?
http://en.wikipedia.org/wiki/Myopia#Epidemiology
The FBI characterized mortgage fraud in which banks are the victim as an epidemic, according to the only source cited by your blog post.

Criminals attempting to rip off banks via schemes involving mortgages != fraudulent accounting in the financial sector.
That's 6am PST.(where silicon valley is) Not a lot of people are up at that time here reading hacker news. Also, the new page tends to get overrun with new items quite quickly and sometimes an article does not get steam.

But frankly your tone is not one that many here care for so please refrain. Also, please refrain from meta commentary; it's just noise.
Samsung to run a national media campaign against Apple beginning Sunday
> 3. Uses statically Typed Languages

Objective-C is kind of an odd duck there. I think for all intents and purposes, Objective-C can be treated as a duck-typed language and shares many of the same conventions as Ruby, given their shared Smalltalk heritage. Consider the following code:

NSString *string = [NSArray arrayWithObject:@1];
[string isKindOfClass:NSArray.class]; // Returns true

Which compiles and runs just as you would expect the equivalent Ruby code to:

string = [ 1 ]
string.kind_of?(Array) # Returns true

I would even argue that Cocoa (Touch) shares many similarities to Rails. Someone coming from a Ruby on Rails background should feel right at home on iOS, though perhaps less so on other platforms.
Interestingly Giffgaff and Tesco Mobile are both MVNO's based off of the O2 network.
This doesn't prove that a human "can't think". It proves that a human can't provide a logically consistent answer to a question that doesn't have a logically consistent answer.

This isn't quite analogous to the situation in the parent. There exists a logically consistent answer to the question "tell me something other than what [algorithm] would yield from [inputs]" -- it just can't be produced by that algorithm.
Are we getting smarter? (Transcript of Interview with James Flynn)
I would recommend Zoho CRM + Invoice. They have a free plan and it does exactly what you are after.
I believe the main reason Facebook has been negligent on mobile is because of Opera Mini. It has handed Facebook a huge lifeline in mobile. Its been the only bearable way to use the mobile site since Facebook's inception, and chances are its the most common way of access.
Is it just me, or did a lot of this come off as "why can't everything be done for me?"

The fact is, performance can never be ubiquitous, because there's always going to be many manufacturers with many different devices -- that while all implementing the same standards, handle things differently.

This problem is alleviated by the age-old web term "graceful degradation," and when done right, can be exactly that -- graceful. That's too hard though, right?

Developing front-end for the web is hard, and developing for the front-end of the web WELL is much harder. I always hated Facebook's app because it wreaked of shoddiness and flaunted it's lack of thoughtful development.

I can't help but feel that they went and hired a bunch of brilliant programmers that had zero experience developing for the web. Developing a front-end web app can be (and often is) a horrifying thing to any developer, because the environment is so volatile (and really, unlike any other development environment).

I'm extremely disappointed in Facebook because had they done things right, it could have been an awesome thing. Instead, they released a shitty hybrid app that was doing everything wrong, and then gave up and wrote this whiny and semi-ridiculous list of what they want because "things are just too darn hard."
We've not killed it yet because the protocol was/is extensible enough that things like XRender and DRI could be slotted in and fundamentally alter what X "is" to clients without breaking older clients.

The rendering model for most apps is totally different.
"You can accomplish anything you want in life provided you don't mind who gets the credit." - Harry Truman
>Give the developers a smart framebuffer (I'm not sure linux fb has any hw acceleration features, but IIRC it doesn't) or just give a "Pure" OpenGL API to the developers. And build from that

That simplicity is more or less the philosophy behind Wayland. You get a buffer to draw into with OpenGL, some extra stuff for interoperability between programs (drag and drop, window decoration) and that's more or less it.
americans...
"Samsung would not give it to Apple before they used it themselves."

two mistakes in that phrase:

- A15 isn't Samsung's to give to Apple -- they license that from ARM. Yes, Samsung manufactures Apple's chips, but the chip is designed by Apple using IP licensed from ARM, Imagination Technologies and others, but as far as Samsung is concerned the chip is a black box.

- Samsung has given technology to Apple before they used it themselves several times in the past.

I also doubt the first part of your statement. It's early for an A15, but it's certainly within Apple's power to persuade ARM to help them get something they want to market early. Spending their billions to bend supplier's arms is one of the things that Apple does best.
If you care about keeping the World in WWW, and ensuring the content you create is accessible to all, then it will be a reality for you as well. ... If you publish information on the Web, I can’t encourage you enough to try design your site with these devices in mind.

The idealist in me (especially circa 2004 when I had Wikipedia-mania) wants to agree.

It depends on what the goals of a site are. Is it Wikipedia? Yes, it should absolutely look good on 128x160 screens.

Is it a business? Well, then it depends on who your customers are. If your customers are worldwide and from a diversity of economic circumstances, yes, design for the small screen. But if you can reasonably assume that most of your customers use desktops, laptops, high-end smartphones, or tablets, then I don't think it needs to be high on your list of priorities.
Worth pointing out that even though GiffGaff has the lowerst total cost of ownership, you can't get LTE on their (i.e. O2's) network yet.
So, why not have robots send casually written emails sent at random times using Gmail's SMTP servers?
Nice job. - I would suggest re-labling the btm controls to say "Left/RIght for Slower/Faster"
Why go bank down when you can go currency up? bitcoin is opensource, I think it just needs a derivatives market.