Differentiation in Action @ KPS