I guess it’s time for everyone to update their definition of “efficient” again.

Ethan Jewett @esjewett