1 个单元,随时准备学习 10 个部分,结构化学习步骤 110 个词汇在语境中引入,而非列表 447 句话贯穿所有部分和练习 199 个替换练习,模式练习直至自动化 141 个变式练习,围绕核心模式建立灵活性 38 个反应练习,听取提示,给出答案 25 个翻译练习,映射英语和德语之间的含义 17.5 分钟常速音频,母语速度录制 31.2 分钟慢速音频,放慢速度以便精确听力
1 个单元,随时准备学习 10 个部分,结构化学习步骤 110 个词汇在语境中引入,而非列表 447 句话贯穿所有部分和练习 199 个替换练习,模式练习直至自动化 141 个变式练习,围绕核心模式建立灵活性 38 个反应练习,听取提示,给出答案 25 个翻译练习,映射英语和德语之间的含义 17.5 分钟常速音频,母语速度录制 31.2 分钟慢速音频,放慢速度以便精确听力
启用 JavaScript 和 Cookie 以继续。
## 前端开发的未来:浏览器驱动的UI 前端开发正处于一个转折点。尽管人工智能UI生成技术有所进步,大多数SaaS产品仍然依赖于定制构建的界面,导致重复劳动和不一致的用户体验。一种潜在的解决方案?将UI生成转移到浏览器本身。 目前,服务器驱动UI和生成式UI等方法仍然将控制权掌握在服务提供商手中。作者提出了一种激进的转变:服务发布一份详细描述其能力和数据的“manifest”(清单),而浏览器则根据*用户*偏好(字体大小、配色方案、可访问性需求)生成UI,这些偏好将普遍应用于所有服务。 这个“自适应浏览器”的概念解决了关键问题:跨集成的不一致UI模式和可访问性不统一。可访问性成为默认设置,而不是事后才考虑的问题。虽然复杂性转移到API设计和语义数据契约上,但这鼓励了更丰富、更标准化的API——有效地使API成为核心产品。 这个未来,可能在3-5年内实现,设想浏览器作为智能用户代理,通过这些API拼接来自各种服务的上下文数据。成功与否不在于漂亮的UI,而在于强大的API和有用的数据,组织机构需要在定义的边界内设置定制化的限制。前端不会消亡,但其开发正在向API设计和浏览器智能演变。
[2013年3月] 2013年3月2日,VP与美国结束以色列占领运动合作,在华盛顿特区发起了一项广告牌宣传活动。正值美国以色列公共事务委员会(AIPAC)举行年度国会游说活动期间,该活动呼吁停止美国承诺在未来十年内向以色列提供300亿美元的军事援助。这是三张海报之一,旨在突出美国对以色列的资助可以用来满足社区需求的途径。通勤者在华盛顿特区地铁和一辆跟随AIPAC会议与会者的卡车上的广告牌上看到了这些海报。
## Rubysyn:基于 Lisp 的 Ruby 语法(概要) 该项目探索了一种基于 Lisp 的 Ruby 替代语法(“Rubysyn”),旨在实现易于解析、无语法的表示形式,同时保留 Ruby 的语义。这项工作也澄清了标准 Ruby 语法中的歧义和未充分记录的方面。 Rubysyn 的关键特性包括一种新的数组字面量方法,包括经常被误解的“数组展开构造”语法(例如 `[1, 2, *foo, 3]`),它被简化为简单的 `array_splat` 函数。变量赋值与声明分离;变量使用 `(var)` 声明,使用 `(assign)` 赋值。多变量赋值被区别处理,展开变量 (`*c`) 收集剩余值。 Lambda 使用 `(lambda)` 定义,支持各种参数风格(必需、可选、展开、关键字)。方法调用使用 `(send)`,镜像 Ruby 的消息传递。像 `+`、`-`、`[]` 这样的运算符是 `(send)` 的语法糖。`(resolve)` 语法宏处理变量引用和零参数方法调用之间的歧义。 该项目引入了“synvars”(例如 `$$foo`)用于内部跟踪和控制流机制,如尾调用 (`(tailcall)`),并旨在为更明确和可预测的 Ruby 执行模型提供基础。最终目标是将 Ruby 语义完整且无歧义地翻译成类似 Lisp 的形式。
我们检测到您的浏览器已禁用 JavaScript。请启用 JavaScript 或切换到受支持的浏览器以继续使用 x.com。您可以在我们的帮助中心查看受支持的浏览器列表。帮助中心 服务条款 隐私政策 Cookie 政策 版权信息 广告信息 © 2026 X Corp.
一位DevOps工程师,同时也是一位热衷于Lisp编程的开发者,发现了一个令人沮丧的讽刺:AI模型明显*更喜欢*使用Python和Go等语言进行编写,而主动避免使用Lisp。在使用OpenRouter和Goose等工具进行代理AI任务(例如RSS feed转换)时,这位工程师发现AI在处理Lisp的REPL驱动开发时遇到了极大的困难。 尝试使用自定义工具(`tmux-repl-mcp`)来简化REPL交互有所帮助,但成本(轻松达到10-20美元,仅取得微小进展)以及“信号与噪声比”仍然远不如Python。AI可以毫不费力地生成完整的Python代码和测试,而Lisp则需要持续的手动干预和调试。 这次经历凸显了AI如何利用现有的训练数据,偏爱那些具有高“互联网数据量”的语言。这位工程师将其比作一条被铁路便利性所取代的历史上的“木板路”——Lisp虽然令人愉快,但在AI辅助开发方面效率不如更流行的语言。这引发了关于Lisp的未来以及为了在AI时代蓬勃发展而需要进行的潜在调整的问题。
## VR的必然回归:摘要
尽管Meta近期遭遇挫折,VR市场也逐渐降温,但其底层技术不会消失。作者认为VR的力量在于其创造“临场感”的独特能力——一种令人信服的现实模拟,深刻影响人类心理。与其他数字技术不同,VR直接操纵感知,引发与现实世界行为相似的反应,甚至影响道德判断。
这种“心理技术”效应使VR脱颖而出,并使其具有潜在的颠覆性。它并非追求完美的真实感,而是提供*足够*的感官线索,让大脑构建一个令人信服的替代现实。这对于社交互动、培训、康复,甚至我们对道德的理解都有影响。
重要的是,VR并非新概念,而是“网络空间”的下一个演进,我们已经构建了数十年沉浸式在线世界。虽然当前的“网络空间”依赖于隐喻,但VR旨在*实现*这一愿景——一种真正沉浸式的数字体验。作者认为主流VR将从根本上改变我们在线互动的方式,提供一个超越物理限制的空间,可能性无限,并可能带来重大的社会变革,我们应该为此做好准备。
## 人工通用智能(AGI)是否已到来? 尽管缺乏普遍认同的定义,作者认为人工通用智能(AGI)已经实现,并非仅仅依靠模型智能的飞跃,而是通过围绕大型语言模型(LLM)构建的“支架”。 AGI的定义范围从通过图灵测试到在经济上超越人类能力,以及独立解决复杂问题。 这项进步的关键在于诸如**工具调用**(允许LLM与现实世界交互)、用于标准化工具集成的**模型上下文协议(MCP)**以及**Claude Code**和**OpenClaw**等平台的发展,这些平台能够实现持续运行、自我改进和技能创造。 这种结合使当前系统能够满足大多数提出的AGI标准:欺骗人类、展示创造力、发展新技能、解决不熟悉的任务,甚至在特定领域超越人类。 虽然模型改进仍在进行中,但作者强调真正的进展在于增强围绕这些模型的基础设施。 最终,作者认为我们已经进入了一个完善AGI输出和一致性的阶段,并且持续开发这种“支架”将释放出越来越令人印象深刻的能力。
## AI 代理与代码架构:它们为何失效以及如何修复 AI 代理在生产环境中经常失败,并非由于模型本身,而是因为大多数代码库并非为处理它们而构建。可变状态、隐藏依赖和副作用会产生代理无法调试的不可预测行为。解决方案?**函数式编程原则。** 作者通过两个框架将其形式化:**SUPER**(边缘副作用、解耦逻辑、纯且完全函数、显式数据流、可由值替换 – 五个代码原则)和 **SPIRALS**(感知、计划、询问、完善、行动、学习、扫描 – 七步代理流程循环)。这些确保代码是确定性的并且易于代理理解。 **SUPER** 侧重于编写具有清晰输入和输出的代码,最大限度地减少隐藏状态。**SPIRALS** 提供结构化的工作流程,防止无限循环并确保代理通过人工检查点保持专注。 实施这些框架可以显著提高代理的可靠性。作者报告说,首次测试通过率提高了 3 倍,调试时间也缩短了。关键要点:准备代码库的*架构*对于成功集成 AI 代理至关重要,而解决方案植根于数十年的软件工程最佳实践。从小处着手 – 专注于重构经常修改的模块,并在代理工作流程中添加“扫描”步骤。