I will discuss my joint project with Achim Krause to build software in which to make effective computations in the infinity-category of spectra. This talk will focus on the main theoretical results that go into the framework, the implementation we've done, and the remaining challenges.