This is neat! If you enjoy the write up, you might be interested in the paper “Dissolving the Fermi Paradox” which goes even more on-depth into actually multiplying the probability density functions instead of the common point estimates. It has the somewhat surprising result that we may just be alone.
This was quite a fun read, thanks!
a bit depressing TBH... but ~everyone on this site should read this for the methodology