I'm particularly impressed with the quantitative fitting process used to tune git's diff algorithm in 2.11: https://github.com/git/git/commit/433860f3d0beb0c6f205290bd16cda413148f098