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.
@deliprao The China Computer Federation has already demanded that all universities and research institutions in China stop submitting papers to NIPS. The most alarming aspect is that this completely undermines academic freedom; once it happens, it will happen again.