Interesting conversation with ChatGPT about some of my ideas re: functions. Screenshots have alt text. Basically: I have thoughts about functions and calculus and types and things, and it's hard for me to have a meaningful human interaction about them -- but GPT *gets it*.