LazerBear

I think this is fantastic, but I couldn't find API docs / tutorial anywhere on your site. Demonstrating use cases is important, but I don't think it's enough to get developers to download / register.

Design could use some more work, but I like the idea. Consider using social plugins for users. Also I love how you chose to show it off with YC's lecture. I guess you had to wait a while for the video to be online but it was probably worth it. That's thinking out of the box.

I always think it's admirable when a CEO offers his help in forums.

I tested it for a tiny project and was very surprised. It's very easy to use, though I wouldn't use it in production because of the price / lack of customizability.

If you accidentally forget to use 'new' when you're supposed to, the "constructor" method will change the global object instead of a new object, it can cause strange behavior that is very hard to trace.

Ah that's fantastic, i've been using them for a while and never noticed.

Douglas Crockford, is that you? Oh the lengths people will go to avoid using 'new'...

I wonder if any linters out there warn when they see something like:

  something = SomeCapitalizedFunction()

Because forgetting to use 'new' is really the only thing I could think of that makes this pattern dangerous.

That's a cool trick, though 'instanceof' won't work in this case.

Looks great. Does the name come from Hebrew? It means small coins, like pennies.

This made me wonder if it's possible to automatically reverse engineer a small binary file into human readable (and understandable) source code. Assuming you know the language and compiler used (and all of its quirks and optimizations), and considering that human written programs aren't so random and their patterns are most likely predictable, I think it should be possible though not at all trivial. Are there any projects attempting this?

Not really the same, but Passport offers easy account authentication.

This is hilarious and spot on. Still love HN though.

GEB is an amazing book, recommended to anyone into CS and logic.

Maybe I'm missing something, but I don't see the problem. If your users submit their proofs one line at a time, then validating each line is O(1) if they give you the assumptions they used and the steps they took.

Edit: In case I wasn't clear, I didn't mean anything like natural language processing (though that would be awesome). I meant very strict formal math where everything is explicit.