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 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 people who like playing board games, designing board games or modifying the rules of existing board games
Q&A for Graphic Design professionals, students, and enthusiasts
Q&A for academics and those enrolled in higher education
Q&A for road warriors and seasoned travelers
Q&A for Ubuntu users and developers
Q&A for passionate videogamers on all platforms
Q&A for electronics and electrical engineering professionals, students, and enthusiasts
Q&A for science fiction and fantasy enthusiasts
Q&A for professional and amateur chefs
Q&A for user experience researchers and experts
Q&A for people studying math at any level and professionals in related fields
Q&A for linguists, etymologists, and serious English language enthusiasts
Q&A for power users of web applications
Q&A for system and network administrators
Q&A for professional and independent game developers
Q&A for theoretical computer scientists and researchers in related fields
Q&A for members of the workforce navigating the professional setting
Q&A for writers/artists using science, geography and culture to construct imaginary worlds and settings
Q&A for historians and history buffs
Q&A for peer programmer code reviews
Q&A for people interested in governments, policies, and political processes
Q&A for students, researchers and practitioners of computer science