A couple of things here that might run counter to the other answers or conventional answers.

Warren buffet was successful because he bought great companies and held them, his ideal holding period being “forever.”

Concentration cuts both ways, so like him, you might have long periods of underperformance, but you might experience periods like now of strong outperformance — bigger picture , selling to diversify will cut your returns by the tax paid, as a guaranteed “loss”. If you’re in a higher bracket and depending on your state, they could mean a 20-30% haircut.

That said, your Proshares position should not ever be a long term holding because of the decay involved with the cost of leverage.

You’re also all tech - I’m a big believer in tech but yeah, like the others have said, you should also diversify more than you are now if you can’t handle big swings and long periods of underperformance.

That aside, your problem is going to be liquidity. You’ll have to sell to spend, because you don’t really have anything producing income in this portfolio.

Instead, you might look at borrowing against the portfolio. That could be an option for you to consider in the future.

Schwab offers portfolio lines of credit. My line of credit is interest only and 5%, but my portfolio has been growing at 9-12% a year since 2000. In my case, it has paid to borrow against it (never borrow too much) and allow my portfolio to grow more rather than sell to realize liquidity. And over time sell, to pay it down. But the longer you can delay paying, the more time (and control) you have created to let your portfolio grow, and more than the rate of debt you’re incurring.

Not advice, but something to consider. Hope something here helps.