Dyer-Lashof based spectral sequence for homotopy classes of maps between infinite loop spaces (spectra). The homology of an infinite loop space, which represents a spectrum, is an algebra over the Dyer-Lashof algebra (see for example Cohen-Lada-May's Springer volume, or for part of the story the more accessible Luminy notes of Bisson-Joyal).  Has anyone used this to construct a spectral sequence converging under some assumptions to $[X,Y]$, the homotopy classes of infinite-loop-maps between $X$ and $Y$, which starts with some kind of derived (Ext/Tor) maps between their homology in the category of algebras over the Dyer-Lashof algebra?  Have any calculations been done with such a spectral sequence?
 A: This might not quite be what you're looking for, Dev, but you should check out Paul Goerss and Mike Hopkins' "Multiplicative ring spectra project," on Paul's webpage.  They construct such a spectral sequence using Andre-Quillen cohomology in "Moduli spaces of commutative ring spectra," and "Andre-Quillen (co-)homology for simplicial algebras over simplicial operads."  A relevant theorem would be 4.3 in the first reference, which gives the spectral sequence.
Though this doesn't use Dyer-Lashof operations, they appear in section 6 (especially Prop 6.4) where Goerss and Hopkins give a second spectral sequence which computes the $E_2$ term of the original spectral sequence.  The new $E_2$ term is given in terms of an $Ext$ functor in the category of unstable modules over the Dyer-Lashof algebra.
They use this machinery to show in section 7 that the space of $E_\infty$ maps between Lubin-Tate spectra is homotopically discrete. If you're looking for computations using these spectral sequences, that's a great place to start.
A: I'm not sure if this is what you want, but Haynes Miller constructs a spectral sequence computing the homology of a connective spectrum $E$ from the homology of $E_0$ as a Hopf algebra over the Dyer-Lashof algebra in the 1978 Pacific Journal of Mathematics paper "A spectral sequence for the homology of an infinite delooping."
