We offer a synthetic exposition on the state of the art for Computational Fluid Dynamics (CFD) relevant to the Navier-Stokes equations with the Boussinesq approximation, smoothly blending a history of the field with an accessible exposition of the underlying mathematical rationale, supporting theorems and a survey of the landmark results on the subject. Attention is paid to those efforts which have opened up new paradigms in modern CFD, the techniques that have emerged as leading candidates as well as their diverse reverberations in producing advancements in our understanding of thermal buoyancy convection (especially Rayleigh-Bénard convection and the so-called Hadley Flow) in both laminar and turbulent conditions.