liadmat

4 ms·

1.
by liadmat 10y ago
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
2.
by liadmat 10y ago
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
3.
by liadmat 10y ago
I don't think async is currently in the official spec. Last time I checked it was stage 3.
4.
by liadmat 11y ago
Second this. You can also get this as a podcast, which is just as easy to learn from.
5.
by liadmat 11y ago
You should really put some sort of preview before you ask users to sign up.
6.
by liadmat 11y ago
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.
7.
by liadmat 11y ago
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 f
8.
State is an antipattern(reddit.com)
2 points by liadmat 11y ago|1 comments
9.
by liadmat 11y ago
Take a look at Kolmogorov complexity. It's uncomputable.
10.
by liadmat 11y ago
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
11.
by liadmat 11y ago
Automata and Computability (Kozen)
12.
by liadmat 12y ago
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 pira
13.
by liadmat 12y ago
> 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.
14.
by liadmat 12y ago
Don't forget the pigeon guided missile. http://en.wikipedia.org/wiki/Project_Pigeon http://www.youtube.com/watch?v=mnKyOfNuSoo
15.
by liadmat 12y ago
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.
16.
by liadmat 12y ago
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&#x2
17.
by liadmat 12y ago
Cool project. It reminded me of the "Tetris in 140 bytes" project, worth a look: https://gist.github.com/aemkei/1672254