Viewing profile — emillon

When I used pwsafe and keepassx they had this option.

You might want to filter local and unroutable URLs, for example entering 127.0.0.1 renders a MAMP Pro page.

It's a common feature of password managers.

There are no semantic problems with this, but typing will get in the way: you can express it fairly easily if all the functions have the same type (such as Int -> Int): actually it…

It's more like the pipe operator in ocaml ( http://blog.shaynefletcher.org/2013/12/pipelining-with-opera... ). The lisp version has the extra advantage that you don't have to repea…

I'm hoping to make them fashionable again! http://webring.club/ :)

This kind of proofs usually are separated in two steps: - correction: define a loop invariant. Assuming the loop terminates , it will hold when the program exits the loop. - termin…

This is correct, I missed this!

That's assuming that this particular string was already present somewhere in the binary. Since it is only present as a reference, you would not see the string in a binary patch.

That is my opinion too, but I would go even further and say that this change could have been made on the compiled binary. This kind of statement must take 10-15 bytes max to patch …

The letters in this password spell "sun su".

Thanks for the heads-up! For some reason mailchimp was returning 403s from heroku, this must be related to this morning's outage. This is fixed and I added the emails that failed.

(shameless plug) I totally agree, that was awesome to discover random websites. I think that there's still a place for webrings these days, so I'm creating the webring club. Feel f…

This kind of compiler has already be done: http://gergo.erdi.hu/projects/metafun/

Yes, it's not very formal and as others said it would need some definitions to make a useful result. But actually I don't think that this duality is related to types: in a static l…

I like to see this as a sort of duality: closures are objects that have a single method (call) and objects are made of functions that can only capture one variable (this).