Salt Lake City, UTUSA 84102
August 8, 2014
Auto-parallelization, performance in FP, architecture of large FP systems, machine learning, formal proof.
Real world applications built with FP. Performance challenges and solutions.
"The things you like about coding are math. The things that make coding suck are the parts that aren't math." I'm a developer and startup guy interested in building better things with better tools.