cyber study group/research program on (monotone) circuit theory in a chat room... with a NP vs P/Poly attack, via a recent/fresh/novel outline for a NP vs P/poly proof based on monotone circuits, hypergraphs, factoring, and slice functions. any takers?

^{The algorithm designer who does not run experiments risks becoming lost in abstraction.
—Sedgewick}