jimrandomh comments on Mikhail Samin’s Shortform