One of the most rewarding non-research tasks I've done in grad school is to maintain Herbie, a tool for automatically improving the accuracy of floating-point programs. I published Herbie at PLDI’15, which means that Herbie was largely done (as a research project) in 2014. But in the five years since, Herbie has had several major changes that have significantly improved it. Making Herbie more maintainable Since I maintain Herbie in my free time (I have other research projects), making Herbi...
