Channel #semsol: Logs

This is a public chat log generated from the #semsol IRC channel.