Viewing profile — 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 …

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 …

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…

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 impleme…

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,…

> 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 advanc…

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 o…

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 comm…

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