Over winter break, I decided to dig into my notes and try to sketch out the history of the Herbie project. Besides a fun exploration of our git history, I was hoping to crystallize some of the lessons I learned from the project. Besides being my first successful research project in general, I think Herbie taught me a few particular lessons: Tackle ambitious problems I don't work well alone Good benchmarks guide research Generating reports from search processes is great for debugging You never...
