Coding with Hartl