halting problem :: Documentation

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