Over spring break this year, I took a trip to Newburyport and Boston, both located in the Mssachutues. Boston mainly looked at graduate schools and had fun in the city, but Newburyport was my time to have a scenic few days to rest and enjoy the quiet life. One evening, someone pulled out a game

At prefix.dev we’re invested in the conda ecosystem. A key part of conda is the SAT solver. SAT stands for “Boolean Satisfiability”. This class of solvers makes it possible to solve complicated dependency problems – for example if two packages require different ranges of a common dependency, the SAT solver will figure out the working