AI tools are shaping next-generation theorem provers, and with them the relationship between math and machine.
A newsletter about Pop Culture, Software Studies, Business Strategy, Media Platforms, Algorithmic Management, Game Design, and everything in between.