This is more “synthesizers for programmers” than “music theory for programmers”.