An interview with Notational Velocity developer Zachary Schneirov