trained in formal philosophy, mathematical logic, and linguistics. Write programs now. I dig natural language processing, artificial intelligence, and bicycles