"breaking 104 bit wep in less than 60 seconds", erik tews, ralf-philipp weinmann and andrei pyshkin.
spd -- what a bunch of loonies. appendix 4, last sentence. unbelievable.
1ML is a reboot of ML starting from first-class modules, and unifies core and module layer into one small and consistent language.
The LLVM Compiler System. Chris Lattner.
A Critique of the GNU Hurd Multi-server Operating System. Neal H. Walfield, Marcus Brinkmann.