Text this: Homological and Computational Methods in Commutative Algebra