@vintcessun: 程序不是一行行代码,而是一张二维地图?Grid Programs 颠覆了计算模型的直觉:指令在网格上任意排列,指针靠上下左右移动来控制流程,完全不用变量名。为什么重要?这为可视化编程、类细胞自动机硬件和代码混淆打开了全新设计空间,且已证明…

X AI KOLs Timeline 论文

摘要

Grid Programs 提出了一种二维网格编程模型,指令在网格上排列,指针通过上下左右移动控制流程,无需变量名,已被证明图灵完备,为可视化编程、细胞自动机硬件和代码混淆开辟了新的设计空间。

程序不是一行行代码,而是一张二维地图?Grid Programs 颠覆了计算模型的直觉:指令在网格上任意排列,指针靠上下左右移动来控制流程,完全不用变量名。为什么重要?这为可视化编程、类细胞自动机硬件和代码混淆打开了全新设计空间,且已证明图灵完备。核心在于用数据栈、地址栈和循环双向链表维持状态,指针移动替代了传统语法分支和循环。
查看原文

相似文章

@Potatoloogs: 用 Claude Code、Cursor、Codex 理解大项目时,经常会遇到一个问题:每次提问,它都要重新读文件、找线索、拼上下文。 代码在 src,文档在 docs,设计说明、截图、论文、视频又散在别的目录里,资料很多,但关系没有沉淀…

X AI KOLs Timeline

Graphify 是一个面向 AI 编程助手的软件工程知识图谱工具,可以将代码、文档、图片等项目资料整理成可查询的关系图,帮助 AI 在理解大型项目时跳过反复读取文件的步骤。

@yiyangleex: 用 Codex、Cursor 等这类工具学习理解代码库,最大的问题是: 想深入理解一个项目的架构, 它们能给你的往往只是一堆 markdown 文本或者 Mermaid 图。 被动看文字、盯着静态图猜结构, 说实话挺反人类的 modus …

X AI KOLs Timeline

指出当前AI代码理解工具如Codex/Cursor只能提供静态文本或Mermaid图,而modus能在对话中生成可交互的图表和沙盒HTML,让用户通过拖动点击直观理解代码架构,并以Codex CLI源码为例展示了效果。

@KengGuangLong: Vibe Coding 时代,为什么软件工程反而更重要了? AI 让代码跑起来的成本趋近于零了。写一个功能、出一个原型,速度快到离谱。但瓶颈也跟着变了:现在最难的地方,是这个东西以后还能不能改。 Vibe coding 最大的问题,就是让…

X AI KOLs Timeline

在 Vibe Coding 时代,AI 让代码生成变得容易,但软件工程的原则如代码可维护性和设计模式变得更加重要,以解决审查、调试和重构的挑战。