操作系统与开发工具
Windows 更新节奏加快，Homebrew 强化安全；CI/CD 架构与定价同步调整，发烧友 ROM 持续活跃
- 具透：微软改名部上线，Homebrew 弃用实用选项引起争议：Windows 11 预览版简化补丁命名，改进深色模式和开始菜单分类；AI 功能推进快但基础体验改进偏慢。Homebrew 弃用“--no-quarantine”以响应 macOS 安全策略，同时 5.0 版本提速明显，引发“安全 vs. 便利”的讨论。
- GitHub Actions 价格调整：2026-01-01 起托管运行器降价，新增每分钟 0.002 美元云平台费；3 月起自托管同样收取。引入自动扩展等新特性，公共仓库继续免费，企业服务器版不受影响。
- Galaxy S24 Ultra 版 Evolution X ROM 来了：面向 S24 Ultra 的 Android 15 AOSP 定制 ROM 发布，功能丰富且强调稳定。安装需解锁、刷入 TWRP 并格式化数据，操作前务必备份。
形式化验证与建模
以模型先行提升正确性：从并发建模到可证明的程序
- TLA+ 建模技巧：建议从最小可运行模型起步，声明式规范、细化原子操作、守卫命令风格、类型与安全不变式、进展性质齐备；对“成功”保持怀疑并主动注入错误，最后再做性能优化。
- P：分布式（事件驱动）系统的形式化建模与分析：基于状态机的建模与验证语言，已在 AWS 等大规模系统落地，用模型检测捕获边界错误，帮助在设计阶段修正问题、加快开发。
- Dafny：面向验证的编程语言：内建规格说明与自动验证，支持前置/后置条件、循环不变式等；可编译为多种主流语言，降低将形式化方法引入工程实践的门槛。
AI 辅助开发与学习资源
大模型擅长读与迁移，稳健测试与课程资源补位
- 我用 Codex CLI 和 GPT-5.2 在几小时内就把 JustHTML 从 Python 迁移到了 JavaScript：借助 LLM 与完整测试套件，4 小时完成跨语言移植并通过 9200+ 测试。展示了“测试先行+AI”的高效路径，也提出版权与可信度思考。
- 2024 软件开发工具入门：涵盖命令行、版本控制、构建与正确性，无考试、作业驱动，强调自学与学术诚信（禁止用 LLM 完成作业）。
- AI 的真正超能力：擅长“吃”，不擅长“造”：AI 作为“读者”可高效消化个人知识库，连接旧笔记与经验以提升决策与解决问题效率；关键在于让知识可检索与可关联。
浏览器与平台治理
Firefox 路线引发信任争议；Twitter 商标归属之争升级
- Mozilla 是在自毁的路上一去不回头吗？：新任 CEO 曾谈及在 Firefox 中禁用广告拦截器的可能性以增收，引发核心用户对隐私与产品方向的担忧。
- 这里没有 AI*：回应 Mozilla 的下一章：Waterfox 坚持不集成 LLM，认为黑盒 AI 削弱用户控制与可审计性，主张简单、透明与隐私优先。
- “Twitter从未离开”：X起诉 Operation Bluebird 商标侵权：X 起诉初创公司试图取消其对“Twitter”“Tweet”的商标所有权；对方声称 X 已放弃该品牌，双方进入法律战。
安全与底层技术
旧算法退场、新证书形态上线；字符编码与区域设置仍是坑
- 微软终于要淘汰这个让 Windows 被黑了十年的加密算法：2026 年中将停止默认支持 RC4，改为更安全的 AES-SHA1；提供评估与迁移工具，遏制 Kerberoasting 等攻击。
- Let’s Encrypt 将于“本周”提供对 IP 地址证书的支持：引入新根、缩短有效期并上线 IP 地址短期证书计划；细节与时间表仍在更新中。
- Windows 剪贴板文本格式合成中的各种区域设置不匹配场景：解析 Unicode 与 ANSI/OEM 代码页转换如何受键盘布局与活动代码页影响，提醒跨程序读写可能出现乱码与边缘行为。
自动驾驶与监管
营销合规被严审，中国 L3 放行启动
- 法官裁定：特斯拉在 Autopilot 和 Full Self-Driving 营销中存在误导宣传：加州法官认定特斯拉宣传误导，DMV 拟暂停其加州销售与制造许可各 30 天但暂缓执行，给 60 天修改窗口，否则处罚生效。
- 派早报：X 重申 Twitter 商标所有权、国内首批 L3 级自动驾驶车型获批等：国内首批 L3 车型获批；同时提及 X 更新条款限制商标使用、OpenAI 发布更快更准的 GPT Image 1.5、Google Labs 推出多服务连接的 AI 代理等动态。
金融科技与公司动向
巨头押注印度信用市场，创业公司加速扩张；银行高管更迭为上市铺路
- Google 推出绑定 UPI 的信用卡，加码布局印度消费信贷：与 Axis Bank 推出 RuPay 网络“Flex by Google Pay”，支持线上线下、积分与分期；新增“Pocket Money”助家长管理子女额度。
- 印度明星初创公司 MoEngage 刚获 1 亿美元融资数周后，又拿下 1.8 亿美元新投资：F 轮 1.8 亿美元，估值超 9 亿美元；加码 AI 产品与出海并购，预计本季度 EBITDA 为正。
- 曝Monzo董事会因IPO时机问题“逼宫”CEO Anil：董事会与 CEO 在上市节奏与任期安排上分歧扩大，前谷歌高管接任，聚焦国际扩张与估值提升。
语音与显示硬件
Alexa Plus 网页端露面；Micro RGB 电视走向客厅尺寸
- 部分用户已可访问 Alexa Plus 官网：Alexa.com 对部分用户开放新版网页端，提供接近 App 的聊天与个性化主页体验，标志线上服务启动。
- 三星 2026 款 Micro RGB LED 电视：终于能放进客厅里了：Micro RGB 覆盖 55–115 英寸多规格，预计 CES 公布价格与上市信息，瞄准高端家用市场。