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
Q&A for people who like playing board games, designing board games or modifying the rules of existing board games
Stack Exchange Network staging zone, where users come together to build new Q&A sites
Q&A for meta-discussion of the Stack Exchange family of Q&A websites
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 people studying math at any level and professionals in related fields
Q&A for system and network administrators
Q&A for passionate videogamers on all platforms
Q&A for science fiction and fantasy enthusiasts
Q&A for electronics and electrical engineering professionals, students, and enthusiasts
Q&A for power users of web applications
Q&A for academics and those enrolled in higher education
Q&A for Graphic Design professionals, students, and enthusiasts
Q&A for user experience researchers and experts
Q&A for professional and independent game developers
Q&A for Ubuntu users and developers
Q&A for road warriors and seasoned travelers
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 linguists, etymologists, and serious English language enthusiasts
Q&A for professional and amateur chefs
Q&A for gamemasters and players of tabletop, paper-and-pencil role-playing games
Q&A for people interested in governments, policies, and political processes
Q&A for peer programmer code reviews
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 students, researchers and practitioners of computer science