Ryan Singer walks through his process for solving problems and writing up solutions (shaping and pitching). It’s an incredible example of externalized thinking.
The toolset he describes is like an application of the Unix philosophy to thinking tools.