eigen comments on gwern’s Shortform