算法与计算机科学media.mit.edu
λ-2D:把绘画作为编程语言的探索
λ-2D: An exploration of drawing as programming language
2022 — 2024,它一次次回到首页
黑点是上首页(≥ 50 分)的那次投稿,空心点是没冲上去的投稿,点越大分数越高。
导读
这是 MIT Media Lab 的一个研究项目,探索把“绘图”当作编程语言,用二维视觉结构来表达程序,并借鉴 λ 演算的思想。它试图让代码不再只依赖线性文本,而是利用空间、图形和视觉反馈来组织计算。
为什么经久不衰:它持续挑战“编程必须是文本”的默认假设,展示了空间化编程与代码作为艺术媒介的可能性,因此多年后仍能引发关于编程表达形式的讨论。
HN 评论精选
区分传统 lambda 图示与 Λ-2D 的二维编程语言定位。
为了画出本身就有视觉吸引力、让人想装框挂墙上的程序,我用 lambda 图示形式画过前驱函数。不过 lambda diagrams 只是纯 lambda 演算的图形输出格式,并不是 Λ-2D 那样的二维编程语言。
tromp查看英文原文
> To be able to draw programs that look visually appealing themselves, such that someone would want to put a frame around them and hang them on the wall. I've done that with the predecessor function in lambda diagram form: ┬────────── ┼─────┬──── ┼─────┼─┬── │ ──┬─┼ ┼ ┬ │ ┬─┼─┼ │ │ │ │ ├─┘ │ │ │ ├─┘ │ │ └─┤ │ │ └─────┤ │ └─┘ Lambda diagrams [1] are just a graphical output format for the pure lambda calculus though, and not a 2D programming language like Λ-2D. [1] https://tromp.github.io/cl/diagrams.html
认为编程应超越线性文本,释放空间化与多感官表达潜力。
这很酷。我一直很失望编程被线性文本格式如此彻底地支配,感觉表达和反馈的潜力被浪费了;利用我们理解空间化、模式、声音、颜色、动态等能力会很有意义。想到 Bret Victor 的《The Future of Programming》等演讲。
LichenStone查看英文原文
This is very cool. I've always been very disappointed that programming is so utterly dominated by the linear text format. It feels like so much potential for expression and feedback is getting left on the table, making use of our capacity to understand and work with spatialisation, patterns, sounds, colours, dynamics, etc would make a lot of sense. Bret Victor's The Future of Programming and other talks come to mind - https://youtu.be/8pTEmbeENF4
高度评价作者作品具有跨时代的艺术与思想价值。
这作者真是天才,他的作品不断让我震撼,而且越来越好。他的 GitHub 作品令人难以置信。他的工作有种永恒感:人们在一百年甚至四百年后看,会觉得这个人在 2022 年做着文艺复兴级别的东西。我也喜欢他把代码作为艺术媒介的不懈探索。
graderjs查看英文原文
This guy is such a genius. I'm continuously blown away by his stuff. His work just keeps getting better and better. It's mind-boggling. He's also the author of all this stuff on GitHub which is incredible: https://github.com/LingDong- His work is timeless. to me it has this sort of timeless quality to it: people will look at it in like a hundred years or 400 years and be like yeah this person was a genius, they were doing like 2022-Renaissance level stuff at this time. That's what I think... And obviously there's incredible groups like what openai just did with the drawing technology. But as an individual contributor this person's incredible. Also I love the relentless exploration of code as an artistic medium.
欣赏项目对自身趣味性与研究身份的自嘲式坦诚。
“在 λ-2D 里编程有点像玩 Minecraft 或 Factorio,但更好的是,我可以把它称为研究。”我太喜欢这句话的诚实了。
munificent查看英文原文
> Coding in λ-2D is somewhat like playing Minecraft or Factorio, but it's even better because I can call it research. I love the honesty in this sentence so much.
历次讨论
同类还值得读
位运算技巧集
Bit Twiddling Hacks
斯坦福页面上的经典位运算技巧合集,收录了 popcount、前导/尾随零、位反转、交换、舍入等大量技巧,并附有解释和性能讨论。
算法与计算机科学上首页 8 次 · 2011–2024graphics.stanford.edu编辑精选如何不按平均评分排序
How Not To Sort By Average Rating
经典文章解释了为什么按平均评分排序不可靠:只有少量评价的条目(比如仅一条五星)会轻易排到最前,而评价数量的差异被忽略。
算法与计算机科学上首页 7 次 · 2009–2024evanmiller.org编辑精选数据结构可视化
Data Structure Visualizations
旧金山大学 David Galles 教授制作的数据结构与算法交互式可视化网站,涵盖 B 树、红黑树、排序、图算法等,可逐步操作观察其运行过程。
算法与计算机科学上首页 6 次 · 2011–2021cs.usfca.edu编辑精选1996 年以来的计算机科学最佳论文奖
Best Paper Awards in Computer Science since 1996
Jeff Huang 维护的一个汇总页面,收录了自 1996 年以来计算机科学各主要会议的“最佳论文奖”获奖名单,并按年份和会议整理,方便读者一站式浏览历届获奖论文。
算法与计算机科学上首页 6 次 · 2010–2018jeffhuang.com编辑精选算法(Jeff Erickson)
Algorithms, by Jeff Erickson
伊利诺伊大学 Jeff Erickson 教授的算法课教材,免费在线开放。
算法与计算机科学上首页 5 次 · 2018–2022jeffe.cs.illinois.edu编辑精选