I'm a heavy user of Linux (Python/Bash) and Emacs, I've done professional Web dev (PHP/JS/Java/etc.), I like functional programming (Lisp/Scheme/ML/Haskell/etc.) and formal verification (Coq/Agda/Idris/etc.). I also like AI (GOFAI and machine learning).
Hi! I'm Curtis. I like to coach, mentor, teach, and write curriculum. Please check out my LinkedIn for background and references. https://www.linkedin.com/in/cschlak