Quantified Programmer is the intersection of Empirical Software Engineering and Quantified Self. We inspect formal methods for improving methods of software engineering and study tools individuals use to improve themselves.