I’m on Substack with a a newsletter called The Loss Function! I’m going to examine the intersection of AI and math, trying to yield some perspective. The initial series of posts will be based on a talk that I just presented at an excellent workshop at UW Madison. The very first post talks about my two takeaways from the first batch of 1st Proof, going back 6 months in time. Don’t worry - we’ll get up to today soon.