Simeon Visser is a skilled software developer with experience in multiple programming paradigms. He has a strong theoretical and practical background in logic and reasoning.
He writes about technical subjects at http://simeonvisser.com.
Q&A for professional and enthusiast programmers
Q&A for professional programmers interested in conceptual questions about software development
Q&A for meta-discussion of the Stack Exchange family of Q&A websites