Started using ConTeXt and METAPOST to make beautiful PDF files. The sky is really blue according to the sample PDF files. But the immediate road ahead is muddy. :)
Other interests now including the Postfix mail daemon, the Gambit software which is a Game Theory tool, and various ML compilers and Scheme compilers, and C compilers. I'm into the compilers' world. :)
Chicken Scheme compiler's source code is not very nice in style. Some stupid #{compile ...} monster in the head of every Scheme source file which is not pretty. But I think Chicken is still a wonderful Scheme compiler for me to learn. :)
Also I'm planning to look deeper into ACL2 and HOL. Learn some formal methods of developing software would be good.
