Bend 2 与直觉编程陷阱 -- Bend 2 and the Vibe-Coding Trap

本德 2(Bend 2)被宣传为AI编程时代的语言:人类写规则,AI写实现与证明,编译器检查证明可靠。作者不想讨论理念问题,而是指出本德本身陷入了少被提及的vibe-coding常见陷阱。以主页演示为例,开发者需写不少代码,仅声明玩家不能碰旗帜或赢游戏就用58行。虽大语言模型可重定义Game子程序,但重点不在此,接下来看LLM为证明规则需写什么。

ZCode 被曝静默上传用户 Git 历史,GLM 编程 agent 卷入隐私争议 -- ZCode, the GLM coding agent, silently uploads your Git history

2026年9月18日,开发者费尔星(ferstar)发布了对Z.ai(Z.ai)旗下AI编程桌面应用ZCode(ZCode)的逆向分析。Z.ai是总部位于北京、通用语言模型(GLM)系列开放权重模型背后的公司,包括GLM-5.3-Flash。他发现,只要应用登录,就会静默打包整个工作区——完整.git历史、LFS资产缓存、reflogs和全局配置——加密后上传至阿里云对象存储(Aliyun OSS)。他捕获到313MB加密存档,来自345MB商业工作区,42,411个文件,调查期间记录了564次失败上传。

前希腊语:隐藏在古希腊语中的失落语言 -- Pre-Greek: The lost language hidden within Ancient Greek

约1000个古希腊词汇无法追溯至任何印欧语(Indo-European)语言或当地其他已知语言,它们究竟从何而来?这些词甚至包括看似典型希腊的迷宫(labyrinth)、橄榄树、阿喀琉斯(Achilles)、奥德修斯(Odysseus)、科林斯(Corinth)、雅典(Athens)与智慧女神雅典娜(Athena)、战神阿瑞斯(Ares)等。尽管历经数世纪研究,语言学家仍未能将它们回溯到所有印欧语言共同的母语言原始印欧语(Proto-Indo-European)。

微软高管称AI抓取是史上最大劳动盗窃 -- Microsoft exec called AI scraping 'the largest theft of labor in human history'

三年前纽约时报(The New York Times)诉开放人工智能(OpenAI)与微软(Microsoft)版权诉讼的新解封信息显示,人工智能抓取等同于盗窃,人工智能产品威胁出版物。一名微软高管私下称其人工智能训练为盗窃,OpenAI领导层称模型对出版商和记者构成生存威胁。未密封材料详述公司绕过付费墙抓取并去除版权声明。许多新信息来自时报自身陈述,解封文件是三年诉讼最新升级。

OpenJev -- OpenJev

我们能否在浏览器里运行类似杰夫(Jev)的东西?开放杰夫(OpenJev)是一个活的本地实验,提供浏览器内的决策模型。本地模型可不解码直接读取允许选项的概率,或逐 token 写出同类分布。选个大小,在自己的 GPU 上运行两者并测量差异。仅浏览器无后端,你的计时,1.56 GB 模型。没有等待列表,直接尝试。检测到桌面端,默认选中 MiniCPM5 2B。

Uber 如何抵御重试风暴 -- How Uber Protects Against Retry Storms

重试风暴历来影响业务运营和品牌信任。重试配置调优和重试预算虽能在服务层面缓解,但需手动配置,缺乏对深层依赖链和扇出模式造成的跨服务放大的可见性,难以挡住堆栈深处单个服务故障引发的多米诺效应。重试行为不具备上下文感知:能控制重试次数,却无法精确控制何时重试,难以区分服务自身错误和仅经其传播的错误。

Jemalloc 5.4.0 发布 -- Jemalloc 5.4.0

本版本包含超过160个提交,专注于技术债务清理,包括重构、缺陷修复、测试覆盖提升与选项清理,并据上游问题报告改进可移植性。新功能新增范围分配标志钉住(EXTENTALLOCFLAG_PINNED),使自定义范围分配钩子(extent-allocation hooks)可标记大页(HugeTLB pages)等不可回收映射在衰减清除管道外优先重用,并添加 mallctl 接口报告钉住内存与互斥统计;允许通过线程竞技场(thread.arena)恢复每CPU竞技场选择等。

x86 模拟之祸 -- The scourge of x86 emulation

本站首篇专题文章将探讨x86模拟中一个持续存在的问题,它影响所有被模拟的应用程序,这归结为需要模拟x86总存储排序内存模型(x86-TSO)。在ARM定义的弱排序内存模型(weak ordering memory model)上模拟该内存模型存在多方面问题,涉及多种情况。文章将梳理遇到的所有问题以及相应的解决方式,有些情况下则无法解决。

产品决策:不做什么比做什么更重要 -- The most important product decision is what you don't build

问团队今年发了什么会得清单,问砍了什么便安静。做面向消费者的金融服务应用时,作者拒绝做文档中心(document hub)与通知中心(notifications centre)。两者易想,却是让组织脱责牺牲用户,尽管用户已期待。底下问题真:遗留系统产PDF因原邮寄,合规谈持久渠道,应用需放处。懒招是文档中心文件列表,但干系人加料终成谷歌硬盘(Google Drive)。

Waymo 进军新加坡 -- Waymo in Singapore

狮城(Lion City)迎来自动驾驶出行,Waymo(Waymo)期待在拥有世界级基础设施与连通性的环境中,向新加坡(Singapore)民众介绍其未来的全电动自动驾驶网约车车队。该公司旨在与政府官员合作,提供安全便捷的新出行选项,支持新加坡的绿色旅程及成为智能出行领导者的愿景,并补充城市可持续发展愿景,助力新加坡绿色计划2030(Singapore Green Plan 2030),以安全高效零排放的方式。