标签
DhravyaShah 宣布了 supermemory 的架构,用于为 AI 代理打造一个图灵完备的上下文系统,支持通过多种接口进行摄取、检索、学习、配置文件、过滤和文件系统。
Unicode 的转写规则(UTS #35)通过编译2-标签系统被证明是图灵完备的,显示终止问题不可判定。这一结果影响了许多系统中使用的 ICU 库。
本文演示了在游戏 Age of Empires II 中构建一个感知器和与非门,认为改变 LLM 的基质会改变对属性的感知,并批评了关于 LLM 拟人化的研究。
深入探讨正则表达式解析HTML的局限性,灵感来源于Stack Overflow的著名回答,讨论了形式语言理论和工业级正则表达式引擎的能力。
Grid Programs 提出了一种二维网格编程模型,指令在网格上排列,指针通过上下左右移动控制流程,无需变量名,已被证明图灵完备,为可视化编程、细胞自动机硬件和代码混淆开辟了新的设计空间。
Cornell ECE4760 课程项目证明了 RP2040 微控制器的 DMA 子系统是图灵完备的,完全通过 DMA 通道操作构建了一个可运行的取指-执行 CPU,无需涉及 ARM 核心。