程序员梗图:逻辑、范畴论、类型论才是该转发的「三位一体」

miniapeur · x · 2026-10-22

一张流传的程序员梗图:「我打赌 99% 的人因为羞于让『神圣三位一体』出现在时间线而不会转发——Logic、Category theory、Type theory」,把数学基础三件套玩成了转发链梗,属于 AI/程序员社群的轻松一乐。

原文链接 →

「Fun」频道最新

更多「Fun」频道 AI 资讯 →