If you think writing prose solidifies your understanding of a subject, try formalizing its findings as knowledge .. in code. Most specifications can be turned

If you think writing prose solidifies your understanding of a subject, try formalizing its findings as knowledge .. in code. Most specifications can be turned into a database for some form of Prolog, play with it. At the very least, you might get yourself a type or model checker, or you might get lucky and actually get an expert system out of it.