273 Photos and videos
计算机科学家 Erik Meijer 和 Gemini 聊天时居然被认了出来，聊着聊着 Gemini 突然来了句：等一下，你是 Erik Meijer 吗……
按照 Agent 三要素，Gemini 的「能」比其他模型差了些，但「知」确实是最强的。尤其是和它探讨深度话题时，经常能给我带来一些灵感和启发。
Apr 9
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.
1
1
185