程序员吐槽:有了指称语义,不懂程序就像不懂数学一样
burny_tech · x · 2026-10-01
有人转发调侃 Denotational semantics(指称语义):「现在我可以像不理解数学一样不理解我的程序了。」一句话玩梗,精准戳中形式化方法既高深又难懂的处境,在编程语言理论圈引发共鸣。
「Fun」频道最新
- 让 Grok 把自己放进超级马里奥,效果令人惊喜 — Baconbrix · 2026-10-01
- 从纪录片学开飞机劫机?网友调侃用 AI 学编程何罪之有 — _jaydeepkarale · 2026-10-01
- 一个提示词跑 3 小时耗 2280 万 token，本地模型自动写出 GTA 风格游戏 — zmarcoz2 · 2026-10-01
- 如果论文摘要能更诚实一点：学界吐槽精选 — CSProfKGD · 2026-10-01
- PewDiePie 基于 Qwen 3.5 9B 推出无审查开源模型 Ajax — shadowrun456 · 2026-10-01
- 睡前给 agent 布置任务,一觉醒来完成 6.5 小时的工作量 — therealdanvega · 2026-10-01