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 firstname.lastname@example.org.
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 people who like playing board games, designing board games or modifying the rules of existing board games
Q&A for professional and amateur chefs
Q&A for people studying math at any level and professionals in related fields
Q&A for Ubuntu users and developers
Q&A for academics and those enrolled in higher education
Q&A for power users of web applications
Q&A for Graphic Design professionals, students, and enthusiasts
Q&A for system and network administrators
Q&A for linguists, etymologists, and serious English language enthusiasts
Q&A for professional and independent game developers
Q&A for user experience researchers and experts
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 students, researchers and practitioners of computer science
Q&A for peer programmer code reviews
Q&A for people interested in governments, policies, and political processes