[jhogervorst]

Speed up the showing/hiding animation of the Dock by running this in Terminal[1]:

  defaults write com.apple.dock autohide-delay -int 0
  defaults write com.apple.dock autohide-time-modifier -float 0.4
  killall Dock

[1]: https://apple.stackexchange.com/a/70598/23372