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).
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.
(published 2003-07-30, updated 2014-10-25)
Version 0.3.3 released, with
Hunting for bit rot
I examined multiple copies of my personal data for bit rot.
C++ rules for automatic member function generation
I cannot remember the rules according to which C++ automatically generates some class members, so this note serves as a reminder.