Regarding #llm #llms #ai assisted programming, now is the time to get deep into category theory / simple|dependent|homot...

Regarding #llm #llms #ai assisted programming, now is the time to get deep into category theory / simple|dependent|homotopy type theory, heck anything that sharpens your means of seeing and manipulating abstractions.Now that models are basically hyper human, it becomes more about finding language to help machines describe what they are doing in terms we can understand. If you think of #mathematics as the best way we have come up with to describe, share, explore, manipulate, discover mental objects with “structure”, it probably works well enough to explore whatever “mental imagery” (patterns with structure) models have learned. AI slop / English surely isn’t it, as anybody peering into the abyss of Claude slop will tell you. But it’s not slop, it’s the model trying to find human words to describe things that just arent. It grasps as symbols whose relationships to other symbols mimics the code it wrote.In fact it work so well that prompting the model with mathematical jargon (because I’m...