gwern comments on ErioirE’s shortform:

[gwern]

You might find my notes of interest.

[ErioirE]

Yes, thanks!