Differences between developers and end users