https://mayocourse.net/efficiency-productivity-benchmarks/