Holmstrom Smooth

On smoothness of the affine line in derived AG, possibly related to positive/mixed characteristic problems: http://mathoverflow.net/questions/81187/can-a-common-mortal-understand-why-the-affine-line-is-not-smooth-in-brave-new-alg

http://ncatlab.org/nlab/show/smooth+infinity-stack

http://nlab.mathforge.org/nlab/show/smooth+algebra+in+algebraic+sense

http://ncatlab.org/nlab/show/homologically+smooth+dga

http://mathoverflow.net/questions/74588/does-property-p-for-fibers-over-closed-points-of-a-morphism-of-schemes-imply-prop

http://mathoverflow.net/questions/74570/formally-smooth-smooth

Something by Florian Marty?

http://mathoverflow.net/questions/20675/smooth-dg-algebras

http://mathoverflow.net/questions/107273/two-definitions-of-smoothness

nLab page on Smooth