I am a software engineer primarily interested in programming languages, functional programming, program synthesis, type theory, universal algebra and startups (not necessarily in that order!). In the near future, I want to combine as many of these as possible.
Right now I'm an engineer at Esper, an early stage startup in Palo Alto. We use OCaml on the backend, which is pretty neat.
I am always happy to chat: my email is email@example.com.
I am especially interested in questions and projects involving Haskell or interesting PL issues.
Q&A for professional and enthusiast programmers
Q&A for professional programmers interested in conceptual questions about software development
Q&A for for those using, extending or developing emacs
Q&A for users of TeX, LaTeX, ConTeXt, and related typesetting systems
Stack Exchange Network staging zone, where users come together to build new Q&A sites
Q&A for computer enthusiasts and power users
Q&A for programming puzzle enthusiasts and code golfers
Q&A for users of Linux, FreeBSD and other Un*x-like operating systems.
Q&A for meta-discussion of the Stack Exchange family of Q&A websites
Q&A for Ubuntu users and developers
Q&A for academics and those enrolled in higher education
Q&A for professional and independent game developers
Q&A for Graphic Design professionals, students, and enthusiasts
Q&A for professional and amateur chefs
Q&A for theoretical computer scientists and researchers in related fields
Q&A for professional system and network administrators
Q&A for user experience researchers and experts
Q&A for power users of web applications
Q&A for members of the workforce navigating the professional setting
Q&A for linguists, etymologists, and serious English language enthusiasts
Q&A for people studying math at any level and professionals in related fields
Q&A for peer programmer code reviews
Q&A for students, researchers and practitioners of computer science
Q&A for people interested in governments, policies, and political processes