User blog comment:WaxPlanck/Busy Beavers with Adaptive Lower Bounds/@comment-80.98.179.160-20171224192530/@comment-80.98.179.160-20171224192619

...Edit: I saw it and saw that it calculates S lowerbounds, not Sigma.