6.884: project ideas