Some documents have not been sorted and appear on a separate page (which is rather funny because most of the categories contain only a single document anyway, at least for the moment).
RSA-CRT Leak Report for September/October 2015
No More Security
On October 1, 2015, I joined the Red Hat tools team, to work full-time on the GNU C library (glibc). I will spend a significant part of my time contributing to upstream development.
Text-only web sites and mobile browsers
Web browsers on mobile devices tend to treat text-only web sites the same way as they treat sites with visual layout. As a result, small changes are required so that a text-only web site renders properly on mobile browsers.
A Type Safety Hole in Unsafe Rust
There seems to be a widespread belief among Rust programmers that bypassing the borrow checker does not completely compromise type safety. This article attempts to show the converse, that lifetime checks are absolutely essential for type safety, even if no dangling pointers are involved.
Experimental Expat binding for Standard ML
After a long leave of absence, I have taken up programming in Standard ML again. A discussion on the MLton development list prompted me to publish my current software toy.