3 ms·

Thank you. I missed that.

• gwern 13y ago
  Very easy to miss, as I only posted it publicly this morning.
  • alecsmart1 13y ago
    I was actually replying to my other comment regarding the summary. Accidentally it got posted as a separate comment and then got downvoted like hell. I wish there was a delete option in HN (alteast like a delete within 5 minutes).