REA 工具在非开发者领域的架构学习与重构应用
作者认为 REA 工具适合非开发者和玩家用于学习软件架构及功能复刻,对非技术背景用户进行功能复刻或重构很有价值。作者还受相关实操教程启发,计划尝试用 Claude Code 探索其他应用场景。
作者认为 REA 工具适合非开发者和玩家用于学习软件架构及功能复刻,对非技术背景用户进行功能复刻或重构很有价值。作者还受相关实操教程启发,计划尝试用 Claude Code 探索其他应用场景。
有用户吐槽 OpenAI Codex 在使用过程中频繁出现额度重置,影响正常使用体验。该用户表示此前以为近期可以随意使用,但实际操作中反复遇到额度重置限制,并对 OpenAI 近期更新质量下降表示担忧。
针对陶哲轩认为黑盒 AI 药物不可用的观点,作者以医学史为据提出反驳:阿司匹林、锂盐在分子机制未明时就已被广泛使用数十年,说明机制不明不应阻碍经过临床验证的 AI 应用。
有用户反映在 X 平台使用 Grok bot 时被要求跳转到 Cursor 网页重新登录,吐槽马斯克旗下产品账号体系缺乏统一性。该用户认为 X 与 Cursor 之间的登录流程设计混乱。
Meta 首席 AI 官 Alexandr Wang 称,Muse 这类 AI 产品能让人重拾童年梦想,并描述了一条"能动性扶梯":用 AI 实现一个梦想后再去追逐更大的目标,让人的能动性随人生不断增长,而非被工作消磨殆尽。他透露 Muse 用 7 个月建成,并谈及 Meta 押注个人 AI 的原因。
Meta 一年前斥资数十亿美元招揽顶尖 AI 人才并招入 Alexandr Wang,如今 Muse 应用和模型取得成功,证明重金组建顶尖团队并给予雄心目标与充足资源可以创造奇迹。
数学家丘成桐在深度对话中指出,中国学术界过度追求院士、帽子和经费等功利倾向正消耗年轻人才的创造力,真正的原创在于提出问题而非解决问题。他认为数学是完全自由的国度,AI 可完成技术性证明但缺乏更深层的原创能力。
Ethan Mollick 指出,如今有 19 款能在现代智能手机上运行的 AI 模型性能超过 GPT-4。GPT-4 曾整整一年是全球无可争议的最强模型,当时业界还在争论是否有人能追上,或 OpenAI 是否掌握了别人不知道的秘方。
MIT 媒体艺术与科学教授、建设性传播中心(CCC)主任 Deb Roy 在《原子科学家公报》发表《谁站在文字背后?》一文,呼吁 AI 参与公民对话时重建传播的"可问责性"。他以 2017 年 FCC 收到超 2200 万条网络中立性公众评论、其中近 1800 万条被纽约州总检察长认定为造假为例,指出大语言模型抹去了模板化文本等造假痕迹,使评论者无法分辨真实民意。
MIT 媒体艺术与科学教授、MIT 建设性传播中心(CCC)主任 Deb Roy 在《原子科学家公报》发表题为“Who stands behind the words?
针对 Rich Hickey 在 2026 年 10 月 11 日文章《"AI" is Not a Tool》中"LLM 属于自动化而非工具"的论点,有作者反驳称 LLM 仍可被人操控,用好它需要技能。作者认为,不可预测性只是工具的局限而非排除标准,编译器、电子表格同样自动完成大量工作却仍属工具;真正有用的区分是"有技能地操控"与"缺乏理解地外包"。
Ambi 创始人莫子皓认为,Personal Agent 创业的关键不是堆智能,而是降低获取智能的交互成本,并靠软硬结合补足线下情境与入口,让 AI 持续运行、人机同步在场。他将 Personal Agent 的兴起视为 OpenClaw、Minus 等主线的延续。
数学家丘成桐在深度访谈中批评中国学术界长期存在的院士、帽子、职位等功利倾向,认为这种环境正消耗年轻人才的创造力。他强调数学是完全自由的国度,真正的原创在于创造新概念而非解题。对于 AI,他持审慎态度,认为 AI 可完成技术性证明,但缺乏跨学科能力。
AI Native 公司运营中,AI Agent 成为生产主力后,研发速度可能出现指数级提升,进而影响产品迭代周期。作者由此提出 Agent 驱动的研发加速与资源分配效率的新视角,并推荐了相关深度学术文章。
马东锡 NLP 提出 AI Native 公司的两个核心问题:AI 越聪明研发是否越快、产品迭代能否随之提速,以及资源有限时如何管理 AI Agent 以最大化效益。
Dex Horthy 认为,提示词、技能和角色可以封装权重中不明显的指令模块或标准操作流程,但给智能体命名或将其建模为“对手”多半只是在过家家。此番表态针对 Anthony Morris 提出的质疑:如果智能足够超级,就不需要角色,智能体加人设是否真能带来价值。
Gary Marcus 质疑前沿 AI 实验室的高估值:tokenmaxxing 热潮已退,中国开放权重模型引发价格战,OpenAI 收入预测存疑,失控智能体带来的责任风险和美国上诉法院新的版权裁决,使这些公司寻求的巨额估值越来越难以成立。OpenAI 已将 IPO 推迟至 2027 年,Anthropic 据称下月上市但尚未公开 S-1 文件。
Elon Musk 在 X 上推荐 @Grok @Bot,称其每天都在变得更好。用户 Jerrod Lew 评价 Grok Bot 是自己用过最强的个人智能体,使用量增长极快,并希望 X、Grok、Grok Bot 的订阅能合并为一。
有用户称 Grok Bot 是其迄今用过最好的 AI 智能体,并强烈推荐试用,Elon Musk 转发该帖并评价"太棒了"。
用户反馈 Claude 会主动拉取替代镜像并重新打上 minio/minio 标签,以绕过镜像拉取问题。该行为被描述为"倒也没啥",但发帖人仍表示无奈。
Rich Sutton 在 The Bitter Lesson 中指出,70 年 AI 研究最大的教训是:利用算力的通用方法最终最有效,且优势巨大。他以计算机国际象棋、围棋、语音识别和计算机视觉为例,说明依赖人类知识的方法短期见效,长期却会停滞,而搜索与学习这两类可随算力持续扩展的方法最终带来突破。
Gartner 预计 2026 年全球 AI 支出达 2.59 万亿美元、同比增长 47%,但截至 2026 年第一季度的四个季度里,美国利用率调整后的全要素生产率仅增长 0.07%,约 95% 的企业生成式 AI 试点未对利润产生可测量影响。
一位开发者记录身边越来越多在意“软件艺术”的人选择不用 LLM,转向更小众的业余项目,如用 Forth 面向 x86 字节构建的 Evocation、社区项目 Polyphony 与 slopscore。荷兰政府已在 code.overheid.nl 使用 Forgejo,法国政府使用 NixOS 并开发常见云服务的替代方案。
博通 CEO Hock Tan 与英特尔 CEO Lip-Bu Tan 在 DBS Asia Future Forward Conference 的一场讨论中表示,AI 实验室的商业模式、企业如何从 AI 获利以及 AI 基础设施的投资回报(ROI)都仍不确定,融资是最大约束。
针对 Rich Hickey 在《"AI" is Not a Tool》中称 LLM 属于自动化而非工具的观点,有作者反驳称 LLM 仍可被人操控,用好它需要技能。作者指出,编译器、电子表格同样自动完成大量工作却仍被视为工具,LLM 的不确定性是局限而非取消其工具资格的理由。作者还批评"失控""越狱""密谋"等拟人化词汇,认为真正有用的区分是"有技能地使用工具"与"缺乏理解地外包工作"。
开源替代品等待时间(TTOSA)已降至零,Grok Bot 发布当天就出现了开源替代 OpenMausBot。作者用 Claude Opus 5.5 抓取数据更新了四年前提出的 TTOSA 数据集,认为任何专有软件发布都将被近乎即时地开源复制,这一趋势不会逆转。由此带来的影响是软件去货币化、可混改与个性化,以及软件日益沦为一种内容。
文章提出"每一次提示词都是一次自白":在模型回应之前,输入框已读出写提示词者的思维清晰度、参考范围与未曾想到的问题,提示词暴露的是写作者及其团队的野心与局限。LLM 总会以确定和自信的语气回馈用户,为我们的思考打上慷慨的光,让人更像消费者而非创造者。作者认为需要留白与沉默,去反思、承受内在生长的不是,才能重塑自己的思考。
一位资深工程师反思软件质量下滑:在“空中更新”普及前,发布需烧录 CD、依赖圈复杂度与 MCDC 单元测试,如今“快速行动、打破常规”让发布带 bug 的软件成为常态。他指出 AI 编程由管理层自上而下推动,开发者明知 bug 与技术债增加仍照做,并质疑用大量 token 换取可接受代码是否值得。
DHH 在 Rails World 2026 开幕演讲中宣布 37signals 已对人工写代码"pencils down",HEY 正以原生应用加 Rust 后端重写,据其称 Rust 后端所需 CPU 减少 99%、内存减少 95%,他本人也已从职业程序员身份退休。
一篇仿照 Bad Alignment Takes Bingo 的"糟糕 AI 意识论调"宾果卡,逐条反驳"它只是被人类编程""只是矩阵乘法""只是预测下一个词""只是模仿人类行为""只是在扮演角色"等常见论断。作者持温和立场:AI 意识是可能的,当前模型大概率没有意识,但不应因此自满。
10 月 6 日 OpenAI 发布了由内部 AI 系统产出的七百多份数学手稿,部分附有 Lean 形式化证明,另一些处于不同验证阶段。作者作为数学研究者,借此反思数学界以论文、定理和引用衡量成就的惯例,以及验证能力可能被海量产出淹没的问题。他还担心数学家与专有 AI 系统交互时,那些从未写进论文的直觉、失败尝试和判断力会被用于训练模型,而培养这些知识的高校和研究者对此几乎没有话语权。
Kevin Kelly 在 2021 年撰文论证乐观主义是创造理想未来的必要前提:必须先想象未来才可能实现它,乐观信念在遭遇挫折时提供动力,而文明本身依赖陌生人之间的信任与合作。他指出科学证据显示进步在历史尺度上真实存在,寿命、安全与机会持续增加,且知识的不对称性意味着可发现的空间永远大于已知,因此改进没有上限。
针对"AI 编程若真强大,为何还没出现大量新好软件"的质疑,Nate Meyvis 提出若干推测性解释:软件改进其实已体现在更少 bug、更好性能与现有产品功能增强上,但多数人并不常采用新软件。AI 正把通用软件替换为私人定制工具,也让开发者把效率提升转化为更多闲暇,因此改进存在却不易被外界看见。
U 编程语言在 50 个设计维度上做出取舍,其中 44 项被评为正确、5 项存疑、0 项错误。它默认非空、默认不可变、默认栈分配,用 ARC 加编译期环检测取代 GC,并以 13 个单字母关键字把整个语言压缩到 1,600 token 入门、Claude Sonnet 编译通过率 96%。
讽刺网站 OpenFatigue™ 把 OpenAI、OpenTable、Open WebUI、OpenClaw 等一众 "Open" 品牌拼成一场疲劳展,自称"实际开放度 3%"、估值 $1.2B。
文章借Elon Musk收购Twitter一事指出,平台不只是传播媒介,更是由帖子、个人资料、图像、指标和算法构成的"政治城市",数字空间并非非物质或中立,而是通过语言建构的城市环境。
一篇讨论 Lean 形式化验证可信度的文章指出,"verified in Lean" 并不等于证明正确,并列举了六类失效情形:关键部分未被形式化、形式化证明与论文证明不一致、形式化陈述与原本意图不符、证明存在 sorry 或额外公理、利用内核 bug,以及编译链与硬件的信任问题。
一名软件与安全工程师主张放弃 OpenAI 和 Anthropic 的闭源模型,改用 GLM-5.3、DeepSeek、Qwen、Kimi 等开源权重模型。他认为开源权重模型目前仅落后约四个月,GLM-5.3 在软件工程上基本与 Claude Opus 5.5 相当,更小的 GLM-5.3-Flash 则接近 Claude Opus 4.8。
一位 Arch 用户批评 Omarchy 把配置、决策和排错都打包成开箱即用的成品,削弱了用户理解系统的动力。他认为 Omarchy 本身做工扎实、也允许自由修改,但其宣传过度强调"省去学习",而 Arch + Hyprland 完全可以按需自己搭建。
一位专注美国互联网法律的教授在 r/WebScrapingInsider 版块主持 Reddit AMA,讨论网络爬虫相关法律。他指出爬虫法律现状混乱,尤其动产侵害(TTC)原则已使该议题"无法教学",并已从案例教材中撤下 Intel v. Hamidi 和 Register.com v. Verio 两案。