Highlights from ArmadilloCon 37