liadmat

I meant that there exists a TM which solves HP for programs smaller than a given size. This makes it computable. Now, just because we can prove the existence of a TM, doesn't mean we can find it. It's true that for programs which use a finite amount of storage we can actually describe the algorithm for the TM, but that's not what I meant.

The halting problem also makes an assumption on the program's size. In practice we probably only care about programs under, say, a billion petabytes (or any other finite limit you can think of). In theory you can have a Turing machine that solves this regardless of the program's structure.

I don't think async is currently in the official spec. Last time I checked it was stage 3.

Second this. You can also get this as a podcast, which is just as easy to learn from.

You should really put some sort of preview before you ask users to sign up.

Threadbase is a really cool project. I'd definitely use something like this if it were available in my country. Good luck, I hope you succeed and go global.

I always thought it would be nice to have a GitHub-like thing for formal proofs. Where anyone can define a theory using a set of axioms, and everyone else can build theorems on top of it (and on top of existing theorems), with a series of formal steps that are verified by the system.

Take a look at Kolmogorov complexity. It's uncomputable.

Really glad to see React Native mentioned here, albeit briefly. Hybrid mobile apps like the ones currently supported by Meteor always feel kind of clunky, and the 3rd party implementations of DDP for iOS/Android feel like a workaround and not the Meteor-way of doing things. Would be interesting to see how React Native is integrated into Meteor. Though what I really want to see is Blaze Native.

Automata and Computability (Kozen)

I agree, but my point is this - If you can see it or hear it, then you can record it. Sure, the recording device you'll need in the future might be insanely expensive/rare/illegal, but there's also a lot of money in piracy.

> except for the analog hole

It's a pretty big hole, and it's practically impossible to seal. Which is why I don't think we'll ever see "game over" for piracy, no matter how advanced DRM technology becomes.

At this point, I think censoring the internet is the only way for the movies/music industry to win. Sadly this isn't so far fetched.

Don't forget the pigeon guided missile.

http://en.wikipedia.org/wiki/Project_Pigeon

http://www.youtube.com/watch?v=mnKyOfNuSoo

Looks very promising. I used to draw .nfo's a long time ago, this is a tool I wish I had back then. I would use it today for commenting on code, if only it were web based instead of Mac only.

A little less "we are changing the world", a little more "we offer a JavaScript SDK for file storage accross many services".

That's the short version. I initially wrote a long comment with a list of things I don't like, but I decided I was being too harsh so I removed it. If you're still interested, I can mail it to you.

Cool project. It reminded me of the "Tetris in 140 bytes" project, worth a look: https://gist.github.com/aemkei/1672254