Cambridge, MAUSA 02139
June 15, 2012
I started programming with python in 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.
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
Fun. Informative. Open