Michael Weber: Random Bits and Pieces

Mindless Link Propagation

via LtU:

I seem to have missed the previously discussed PLT Redex tool, A Visual Environment for Developing Context-Sensitive Term Rewriting Systems.

Threads Cannot be Implemented as a Library

I read Hans Boehm's paper earlier this year, but good to be reminded of it.

Formal semantics for working programmers