Recent Progress in the Topological Theory of Semigroups and the Algebra of βS