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 s...