system
A chat on subreddit /r/wallstreetbets
human
I'm holding these puts til next week as a hedge. 
  
 I'm not going to buy more calls unless the stock drops lower than $57. I've got a hefty long call and long spread options portfolio going already.

gpt
For sure. I had a couple $65 7/20s that I sold yesterday for more than they're trading for now. Then the small profit off the puts yesterday and got in on a $60 7/20 for cheaper today as well. It was more risk that it was worth, but I'm ahead all said and done. 
  
 Also, if you're not in already, $MRVL calls are  cheaper than they should be right now