Devil in the details.
I’d like to repeat an example (given my Mark Miller in his work on E), of two different ways to copy a file, and the security implications of each. First,
shell$ cp foo.txt bar.txt
This command invokes a copy program that will:
recognize foo.txt as a filename. recognize bar.txt as another […]
Fat Values. We can extend the native encoding of values to include a pointer to the label attached to that value. In JS, this means […]