Viewing profile — wvs

Ahaha, I agree. Abstract monad derivations are quite a foreboding introduction.

"half 8 >>= half" might look a lot different from "half . half $ 8", but they're actually identical in underlying structure! The monad version is just using the wrong operator for …

http://www.impredicative.com/ur/ has a very strong type system that claims to statically prevent any kind of code injection outright.

The main issue I have with singletons is that any mutable global state prevents your application from being first-class within its own runtime environment. This is of course useful…

The core issue is that encryption is useless without authentication. A MITM could just replace the original self-signed certificate with his own and read the decrypted plaintext wh…

Coming from a *nix background, it seems odd to me that a kernel null dereference would be exploitable from userland. Or that kernel functions be directly addressable from userland.…

Most file references in Apple's frameworks track by both the target's path and inode, with the inode considered "more canonical". This is used in NSDocument apps where when you mov…

https://tahoe-lafs.org/

http://globulation2.org/ is an interesting RTS that tries to reduce micromanagement. It doesn't use a macro system, but a guidable AI.

Finding dropped words in coherent sentences is trivially easy given a large enough corpus of the language. Just looking at the occurrence probabilities of the surrounding words wou…

At least there's full disk encryption with FileVault, if you want encryption.

The thing with round rect buttons is not that they're irreconcilably ugly, but that they're only meant to be used in pinstriped table views. It's rare to see them used correctly an…

That looping construct in LESS is rather reminiscent of C++ template metaprogramming. Or ML/Haskell without higher order functions.

Only if they're unsustainable. If they are sustainable, then that's disruption.

Privacy doesn't, but encryption does. You don't want to set up Tor or I2P only to find out later that traffic you thought was encrypted actually wasn't.

Key-value accessors aren't exactly the shining moment of verbose method names (It's even been leaked that 10.8 has dict[key] sugar), but for methods with more parameters, it's much…

You may already know this, but properties are just sugar for messages and instance variables. Their only difference is a shorter syntax. (...plus some extra runtime data, but you d…

Disable new version checks in the preference pane (on the About tab).

The private memory column is likely a better measure when looking for memory hogs.

Licensing most likely. Apple's runtime is under their own custom license (APSL) which is GPL-incompatible.

Later, Steve. May your vision live on.