halting problem :: Documentation

over the years I happened to write some documentation for myself, or for people like myself, about the tools I use.