I really love Isaac's videos, and me and my brother have been huge fans of his for a long time. Literally every time he posts a new video we're both like NEW ISAAC VIDEO! ahaha, and we're both grown ass men.

I watched this video, but I was slightly disappointed because he didn't cover all the options, he just talked about what's most practical - sky cities floating ontop of the dense atmosphere.

In Kim Stanley Robinson's new-ish book, 2312, people have started terraforming Venus by doing a few things. Now its been a while since I read the book, but from what I remember, the way it's rationalized is that if future humans have the ability to put floating colonies ontop of Venus's atmosphere, then they probably have the ability to do other things... like installing a sun blocker between Venus and the sun to cool it down. This accomplishes a vital point in the operation - it allows the atmosphere to start condensing and raining down. The carbon starts falling down and it gets moved to the lowest elevation points - the future sea floor of the ocean - so that it will be buried and unlikely to be put back into the atmosphere later. They also begin the long, long process of speeding up Venus's rotation to be more like Earth's and Mars, because Venus's natural planetary rotation is too slow to have a health and habitable atmosphere while also being so much closer to the sun (despite being in the Goldilocks zone). They do this just as how you might expect - by throwing ice-dense asteroids, brought in from other places of the solar system, at it, over and over. This is one of the longest processes, and in the book is estimated to take hundreds of years.

Now, I still havnt made up my mind on which method I like more- cloud cities or terraforming - but it seems like cloud cities are the easier option, and might be the temporary option if we ever do want to terraform Venus for other reasons. They allow easier transport from the surface to space, which can be very valuable. However, I think that cloud cities will become pretty common in the solar system as we colonize the gas giants, and their novelty might ware thin. People may decide that the value in having a planet so similar to Earth being able to house life and biodiversity.