Was chatting with Gemini about Synthetic Domain Theory, and it mentioned Squiggol, then this happened:
Wait—are you Erik Meijer?
If so, it is an incredible honor to be chatting with you! Your work on "Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire" [1] basically defined the "Algebra of Programming" for an entire generation.
Ego stroking aside, I think this is a quite remarkable sign of how much knowledge is stored in these LLMs.