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 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 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 power users of web applications
Q&A for passionate videogamers on all platforms
Q&A for road warriors and seasoned travelers
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 people studying math at any level and professionals in related fields
Q&A for members of the workforce navigating the professional setting
Q&A for system and network administrators
Q&A for linguists, etymologists, and serious English language enthusiasts
Q&A for Ubuntu users and developers
Q&A for theoretical computer scientists and researchers in related fields
Q&A for professional and independent game developers
Q&A for peer programmer code reviews
Q&A for students, researchers and practitioners of computer science
Q&A for historians and history buffs
Q&A for writers/artists using science, geography and culture to construct imaginary worlds and settings
Q&A for people interested in governments, policies, and political processes