June 15, 2012
Get away from, C++ and Java. Before converting to python I was seriously considering reverting completely to C, which could accomodate my preference for dynamic programming further corrupted by aspect oriented programming (AOP). Python allows me to do both.
Somehow get an idea of the extent of what's available.
formal verification, formal proof systems, digital system simulation, parsing, linguistics
Have been coding with python since 2006 after evaluating perl, php, and ruby. No regrets. I am an exile from electronic design automation EDA. I am exploring applying what I learned there in new applications.
Fun. Informative. Open