The video title on YouTube conflates Mavericks (BSD derived) with Linux but the content of the lecture is very good.
Choose a scheduling algorithm (under low demand) which maximizes energy savings over CPU utilization is really brilliant, especially of course for laptops. These optimizations have been done for quite a while but the time coalescing of process timers is particularly neat.