gwern’s Shortform