February 8, 2014
Compilers, graphics, parallel and distributed, all insofar as they fit within my algebraic system of code transformations.
Actually, I need to write my own editor (literate structure/text editor) and compiler combo. Transform Coq proofs into C++ code.
"Code choreographer". I manipulate code to traverse various boundaries in (computer) "space and time". Redoing the two major compilers (LLVM and GCC, both written in C++).