Thanks for linking this. I have been curious how auto diff gets implemented.