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