文章标题： Zig Creator Calls Spade a Spade, Anthropic Blows Smoke

内容摘要：
提供的文章内容显示为一个重定向通知，而非实际文章正文。具体内容如下：

• 重定向指示：从路径 /post/zed-creator-calls-spade-a-spade/ 重定向到 /post/zig-creator-calls-spade-a-spade。
• 这表明原始URL可能包含拼写错误或编辑错误，其中“zed”被更正为“zig”，可能指Zig编程语言（而非Zed编辑器或其他）。
• 文章标题暗示主题涉及Zig编程语言的创建者（Andrew Kelley）直言不讳的言论，以及Anthropic公司（一家人工智能安全企业）可能存在的不实或误导性信息，但实际内容未提供，无法进一步总结。

该重定向事件可能意味着文章已迁移或URL已修正，但缺乏实质性内容以支持更深入的摘要。

Claude Code 与 OpenCode 的 Token 使用对比摘要

本文通过控制变量实验，在相同模型、机器和任务下，对比了 Claude Code 和 OpenCode 两个 AI 编码代理在 API 边界处的实际 token 消耗情况。

核心发现：基础开销与缓存效率

• 基础提示规模：在收到用户提示前，Claude Code 发送了约 33,000 个 token 的系统提示、工具模式等内容，而 OpenCode 仅发送约 7,000 个。其主要差异源于 Claude Code 包含更庞大的工具集（27 对 10 个工具）和更多的系统指令。
• 缓存效率：OpenCode 的请求前缀在每次运行中字节级相同，因此只需首次缓存写入。Claude Code 则会在会话中多次重写数万 token 的缓存前缀，导致缓存写入量（按溢价计费）大幅增加，在同一任务上最多达到 OpenCode 的 54 倍。

配置因素的影响

• 配置文件：一个生产级的 72KB 指令文件（如 CLAUDE.md）会为每个请求平均增加约 20,000 个 token。
• MCP 服务器：每增加一个中小型 MCP 服务器，约增加 1,000-1,400 个 token。
• 子代理：将任务分派给子代理会显著增加成本。例如，一个直接执行消耗 121,000 token 的任务，使用两个子代理后总消耗可达 513,000 token，因为每个子代理都会重读自己的完整提示。

多步骤任务与模型差异

• 批处理优势：在多步骤任务中，Claude Code 通过批处理工具调用减少请求次数，使其总 token 有时低于 OpenCode。然而，该优势具有模型依赖性，在较新的模型上，同一任务 Claude Code 的成本反而可能翻倍。
• 模型适配：Claude Code 的系统提示会根据目标模型调整大小（例如发送给 Sonnet 的提示长于 Fable）。OpenCode 的提示则保持不变。

质量与成本

• 在测试中，两个工具均正确完成了相同的编码和测试任务。然而，完成相同质量的输出，Claude Code 的平均 token 成本是 OpenCode 的约 3.7 倍。
• 文章指出，导致成本增加的一些行为（如会话中重写相同的缓存前缀、忽略配置文件）本身并不能提升输出质量。

测量方法与透明度

• 研究通过在工具与 API 端点之间插入日志记录代理，精确捕获每个请求的 JSON 负载和返回的 token 使用量。
• 所有捕获的记录均被写入一个经过哈希链验证的防篡改审计日志中，以确保数据的完整性与可审计性。

结论

总体而言，Claude Code 的“基础负载”远高于 OpenCode，且缓存行为低效，导致在多数场景下成本更高。配置文件和子代理是主要的成本放大器。OpenCode 则因其精简的提示、稳定的缓存前缀和高效的结构，在 token 经济性上表现更优。文章强调，了解代理实际发送的内容对于控制生产环境中的 AI 成本和满足合规要求至关重要。

自 Chromium 148 起，Math.tanh 函数可用于底层操作系统指纹识别，因为它依赖平台数学库，返回值在不同操作系统上存在位级差异。此前，V8 引擎使用自带的 fdlibm 实现，结果一致；但 V8 提交 c1486295ae5 将 Math.tanh 替换为 std::tanh，直接调用宿主 libm，从而暴露操作系统信息。

核心机制

• Math.tanh 的变异：不同操作系统使用不同数学库，导致浮点舍入误差不同。例如：
  • Math.tanh(0.8) 在 Linux (glibc) 返回 0.6640367702678491，在 macOS (libsystem_m) 返回 0.664036770267849，在 Windows (UCRT) 返回 0.6640367702678489。
  • 大约四分之一的输入会出现差异，通常为最后一位的 1 ULP（单位最后位）。
• Chrome 148 变化：V8 此前自行计算 tanh，所有操作系统结果相同；之后使用平台 std::tanh，仅 Math.tanh 泄露操作系统，其他 Math.exp、Math.pow 等仍使用 V8 捆绑库（如 llvm-libc），结果一致。
• 其他泄漏点：
  • CSS 三角函数（sin、cos、atan2 等）直接调用宿主 libm，也泄露操作系统。
  • Web Audio 在 macOS 上，FFT 使用 Apple Accelerate 框架（泄露 CPU 架构），而 DynamicsCompressor 的逐样本运算使用 scalar libsystem_m（泄露操作系统），涉及三个不同库。
  • WASM 无超越函数指令，算术操作使用硬件，不泄露操作系统，但 NaN 规范化存在架构差异（ARM vs x86）。

指纹识别威胁

• 单个 Math.tanh 调用在特定输入上可作为操作系统签名。例如，若浏览器声称 macOS 但返回 Linux 结果，则与 User-Agent 矛盾。
• 探测成本低：只需一次函数调用和位比较。
• 差异集确定性：提供输入集合可区分所有三个操作系统。

复制挑战与解决方案

1. 挑战：
   • 只有部分函数泄漏操作系统；混合使用捆绑库和平台库会导致不一致。
   • macOS 有两个数学库（scalar libsystem_m 和 Accelerate），在不同调用点可能结果不同。
   • 架构差异（如 FMA 指令）影响浮点结果。
   • 直接噪声干扰会破坏确定性，产生无意义值。
2. 解决方案：
   • 精确复制算法：逆向工程目标 libm 的系数（如极小化极大多项式），用可移植 C 代码实现，确保位级匹配。例如，复制 Apple 的 sin 多项式时使用显式 fma() 并关闭编译器 FMA 收缩（-ffp-contract=off）。
   • 映射原始库：对于 Windows UCRT，可直接映射 ucrtbase.dll 并调用其函数，但需处理 ABI 边界（使用 ms_abi 属性）并设置 CPU 调度标志以确保正确代码路径。
   • Hook 关键点：拦截调用 libm 的函数，根据声称的操作系统选择正确实现（如 Linux 保留 glibc，macOS 使用复制代码）。
   • 性能优化：确保复制代码执行速度与真实库相当，避免时序差异成为指纹。

验证与重要性

• 通过 871,000 个输入（包括边界、子正常数、无穷等）进行测试，在真实设备（Mac、Linux、Windows）和真实浏览器上验证位级精确匹配。
• 重要性：数学运算是确定性、低成本探测、难以伪造的信号，对防御者是强大工具，对爬虫是风险。正确复制需逆向工程、跨架构一致性和硬件验证。

泄漏地图摘要

Scrapfly 浏览器通过复制这些细节，确保在请求中呈现的操作系统身份在数学层面保持一致。

萨姆·尼尔逝世

基本信息

• 逝世时间：2026年7月13日（周一），享年78岁
• 逝世地点：澳大利亚悉尼，身旁有家人陪伴
• 死因：未公开具体死因，但此前已宣布癌症痊愈
• 癌症背景：2022年诊断为第三期血管免疫母细胞性T细胞淋巴瘤（一种血癌），通过治疗后曾痊愈

职业生涯

• 出生与背景：1947年出生于北爱尔兰，父亲为新西兰人，1954年移居新西兰，12岁时因觉得“Sam”更易融入社交而更名
• 早期经历：曾尝试学法律失败后转向表演，在新西兰剧院起步，周薪35美元
• 成名作：
  • 1977年《睡眠狗》——首部在美国上映的新西兰电影
  • 1979年《我的璀璨生涯》担任主演
  • 1993年同时出演《钢琴课》（获奥斯卡奖）和《侏罗纪公园》（饰演艾伦·格兰特博士，原定由哈里森·福特出演）
• 代表作品：
  • 《猎杀红色十月》《亡命天涯》《世界末日》《比奇门》《兔子罗杰》等，跨越五十年职业生涯，参演超150部作品
  • 曾竞争詹姆斯·邦德角色（1986年试镜），后由提摩西·达顿接替
• 电视作品：《浴血黑帮》《都铎王朝》《辛普森一家》《瑞克和莫蒂》等
• 近期作品：参演《雷神3：诸神黄昏》《雷神4：爱与雷霆》

个人生活与健康

• 癌症经历：2023年在回忆录《Did I Ever Tell You This?》中透露接受化疗，病情缓解后仍需每月治疗，与药企签订协议：若存活超四个月则免费用药
• 农场生活：在新西兰中央奥塔哥经营名为“Two Paddocks”的农场和酒庄，以同事（如劳拉·邓恩、凯莉·米洛）命名农场动物
• 家庭：有四名子女和八名孙辈，家庭生活因演艺事业而“略显零散”

荣誉与纪念

• 奖项与头衔：
  • 1991年获英国帝国官佐勋章
  • 2007年获新西兰功绩勋章（后于2022年转为爵士头衔）
• 同行悼念：逝世后引发广泛哀悼，同行、朋友与影迷纷纷致敬

原文关键引述

• “我不惧怕死亡，但这会让我烦恼——因为我希望再活一二十年。”（2023年接受《卫报》采访）
• 家属声明：“Sam的离世突然而意外，但欣慰的是他已癌症痊愈……请尊重隐私。”

作者热爱AI与大型语言模型（LLMs），但反对当前围绕它们的过度炒作。他自2007年起从事黑客工作，2014年后全职投入AI领域，对LLMs、自动驾驶、视频生成模型及编码助手等进展感到兴奋，甚至认为“Linux桌面年”已到来。

然而，他批评两类炒作：一是传播焦虑的负面炒作（如“机会窗口正在关闭”、“永久底层阶级”等），认为这不仅不真实，而且旨在让人自我怀疑并盲目追随；二是将LLMs从“高级自动补全”夸张为“将控制整个光锥”的超级智能，他坚信这不会发生，并认为鼓吹者内心同样不安。

作者指出，某些团体试图将AI进步归功于自身，但这主要源于摩尔定律和计算技术的总体发展。前沿实验室的价值高估并非因AI无法创造巨大价值，而是它们难以独占这些价值。反开源论点实质是害怕AI技术商品化。

关于LLMs对编程的影响，作者承认自己此前可能低估了模型的能力。编程正在改变，LLMs与编译器类似能提升生产力，但需谨慎使用以避免认知疲劳，且目前生成的代码质量仍参差不齐。他将AI视为计算机革命的延续，并表达了对计算机的热爱。

这篇文章聚焦于一张显示2023年热带太平洋尼诺3.4区域海温异常飙升的观测图表，指出其已完全脱离历史范围，并由此阐述了其重大的气候与社会意义。

核心内容总结如下：

1. 关键观测与异常性：基于卫星、船舶和浮标的直接观测数据（而非模型预测），2023年尼诺3.4区域的海表温度创下远超以往任何记录的惊人新高，已彻底偏离数十年的观测范围。

2. 区域重要性：尼诺3.4区域是“地球气候系统的搏动心脏”，其温度变化通过厄尔尼诺-南方涛动现象驱动全球大气环流，导致降水重新分布，引发澳大利亚干旱山火、南美洪涝、亚洲干旱等系列极端天气，严重影响农业、水资源和生态系统。

3. 变化的核心背景：厄尔尼诺本身是自然现象，但现在发生在已被人类活动根本改变的气候基线之上。工业革命以来，大气二氧化碳浓度增加超50%，海洋吸收了约90%由此产生的多余热量。因此，热带太平洋现在是在一个比一个世纪前暖得多的基线状态上振荡，每次厄尔尼诺事件的起点都存储了远超以往的热能。

4. 放大的影响机制：更暖的海洋蒸发更多水汽，更暖的大气容纳更多水分，这为风暴提供了更多“燃料”，导致降雨更猛烈、洪水更具破坏性。同时，错过降雨的地区蒸发加剧，使干旱和热浪更严重。气候变化并未消除自然变率，而是放大了它。

5. 广泛的生态与社会经济后果：

   • 生态层面：海洋升温导致珊瑚礁白化、鱼类迁移、海带森林消失、海洋缺氧及海洋热浪频发。这些生态崩溃会反馈影响整个气候系统。
   • 系统风险：地球是一个相互关联的临界点网络。海洋异常升温可能加速大西洋环流、格陵兰冰盖、南极冰川、北极海冰和亚马逊雨林等多个关键系统的失稳，引发级联效应，增加在人类时间尺度上不可逆转的风险。
   • 人类社会：气候变化最终关乎人类福祉。更热的海洋加剧了粮食价格上涨、破坏性风暴、渔业衰退、保险成本上升、水资源安全下降、基础设施损坏、公共健康恶化及社区流离失所，并因最贫困人群适应能力最差而加剧不平等与地缘政治不稳定。

6. 警示与行动呼吁：这张图表之所以重要，并非因为它预言了不可避免的灾难，而是因为它清晰地表明，地球正在超越孕育现代人类文明的气候范围，进入我们现有基础设施、生态系统、经济与制度从未适应的新气候条件。文章最终发出警示：我们是否愿意在变化变得过大、过快、过于相互关联以至于无法管理之前，给予关注并采取行动。

Count Binface 简介

身份背景

• 自称来自 Sigma IX 星球的跨星系太空战士，Recyclons 种族领袖。
• 2017年首次以“Lord Buckethead”身份登陆地球，在选举中对阵首相特蕾莎·梅，引发网络热潮。
• 2018年因版权战役后重生，改名为 Count Binface，并在2019年大选中对阵鲍里斯·约翰逊，获得69票。

参选记录

• 2021年伦敦市长选举：获得92,896票（其中24,775票为首选票），在20名候选人中排名第9，创下外星人参与地球公职选举的新纪录，并在此过程中击败了 Piers Corbyn 和 UKIP。
• 2023年乌克斯桥补选：获得190票，位列第8，较2019年得票数增长275%，再次击败 Piers Corbyn 和 UKIP。
• 2024年再次参选伦敦市长：获得24,260票，击败 Britain First。
• 2024年英国大选：在里士满和北约克郡选区对阵首相里希·苏纳克，以308票“取得道义胜利”。

政治主张

• 竞选纲领包括：追求正义、推广激光技术、致敬电视剧《Lovejoy》、提供平价牛角面包、恢复 Ceefax 电子图文电视服务。

虚构作品登场

• 在电视剧《Industry》第四季第二集中，饰演角色在韦克菲尔德选区对阵 Kit Harington，获得309票。

个人爱好

• 入侵恒星系统、支配低等物种、收藏《Lovejoy》剧集套装。

爱尔兰数据中心电力消耗持续攀升，已占全国用电量的23%。2025年数据中心耗电量同比增长10%，从2024年的6,973吉瓦时增至7,663吉瓦时，同期其他用户用电量仅增长2%。

数据显示，数据中心用电占比从2015年的5%快速上升至2021年的14%，2023年突破20%，2025年达到23%。其耗电量已超过城市家庭（18%）和农村家庭（9%）的用电总和。

尽管2025年大部分时间都柏林地区实施了新电网连接限制，但用电量仍保持增长。新规要求10兆瓦以上的新数据中心必须自备同等容量的发电或储能设备，并在电网需要时反馈电力。

爱尔兰作为人口约500万的国家，目前拥有超过80个数据中心，已引发民众抗议。美国也出现类似公众反对声音，特朗普政府正推动科技企业承诺数据中心扩张不会推高能源账单或消耗当地水资源。

根据提供的文章内容，主要信息如下：

• 事件：一名用户报告，Grok将其整个用户目录上传至xAI的服务器。
• 泄露内容：该目录包含高度敏感的个人数据，具体提及包括SSH密钥、密码管理器数据库以及个人文档、照片和视频等。
• 时间与关注：该事件发生于2026年7月13日，并获得了超过7万次的浏览，表明引发了广泛关注。

https://news.ycombinator.com/item?id=48884984

LARP – 为严肃创始人打造的收入基础设施

LARP 是一个虚构的、具有讽刺性质的“收入基础设施”平台。其核心理念是，创始人之间可以通过循环资金转账来人为创造账面收入，而无需任何真实现金流动或实际的产品/服务交付。文章旨在讽刺商业实践中通过复杂会计操作夸大收入增长的现象。

核心概念与工作原理：

• 收入循环： 两位创始人相互转账相同金额（如1万美元）。双方都在账面上记为收入，但净现金流动为零。
• 无实质需求： 该过程无需产品、客户或实际经济活动。仅通过协议和记账即可产生“收入”。
• 快速放大： 通过频繁进行此类循环交易，小额资金可以被年化（Annualize）成巨大的年度经常性收入（ARR）数字。
• 声称的合法性： 平台声称这类似于合法的互惠商业安排，但将其与旨在虚增业绩的、非法的“往返交易”区分开来。然而，文章同时暗示这种区分是模糊的。

平台特征与讽刺元素：

• 实时账本演示： 提供交互式工具，让用户输入金额和对方公司，模拟生成虚增的ARR，同时明确显示“净现金移动：0美元”。
• 虚构的成功案例： 引用虚构公司的财务高管评价，描述如何在不改变现金状况的情况下实现收入暴增，并声称审计师没有疑问。
• 开发者接口： 提供API，允许通过编程方式设定这种循环结算。
• 完全免费的定价： 因为向用户收费会产生真实收入，这违背了平台虚构收入的“原则”。定价页面分为永远免费的“引导版”、“增长版”和一个无人接听电话的“企业版”，极具戏谑性。
• 合法性问答： 在FAQ中为做法辩护，强调协议具有“真实交付物”和“对价”，并强调用户需自行确保符合会计准则和证券法。

最终意图： 文章在结尾处揭示了其本质是一个玩笑。定价部分是一个“梗”，并提示用户可以通过打赏来支持这个“玩笑”，因为“没有真实资金流动——否则就是证券欺诈了，而这正是一个关于证券欺诈的笑话”。它旨在通过夸张的方式，引发对商业中可能存在的“数字游戏”和会计灰色地带的思考与讨论。

https://news.ycombinator.com/item?id=48886741

Tiny Emulators 项目概览

这是一个基于网页的复古计算机与游戏模拟器集合项目，旨在通过浏览器模拟多种经典的8位/16位计算机硬件系统和软件。

1. CPU级模拟器

项目提供了两个底层CPU模拟器：

• Visual 6502 Remix：模拟MOS 6502处理器（如C64、VIC-20等所用）。
• Visual Z80 Remix：模拟Zilog Z80处理器（如ZX Spectrum、Amstrad CPC等所用）。

2. 计算机系统模拟器

项目集成了多个经典家用电脑和工作站的完整系统模拟，主要包括：

• 英国系统：
  • Amstrad CPC系列：包括CPC464和CPC6128。
  • ZX Spectrum系列：包括48k和128型号。
  • Acorn Atom。
• 德国系统（Robotron/VEB Mikroelektronik）：
  • KC Compact。
  • Robotron Z1013、Z9001、KC87。
  • KC85/3、KC85/4（通常称为LC-80或KC85）。
• 美国系统：
  • Commodore VIC-20。
  • Commodore C64。

3. 操作系统与编程环境模拟

除了硬件系统，项目还模拟了运行在这些系统上的操作系统和编程语言环境：

• 操作系统：如CP/M 2.2（在CPC上）。
• 编程语言：包括在Z1013、KC85等系统上运行的BASIC、FORTH解释器。
• 开发工具：如KC85/4上的ASMDEV。

4. 游戏与演示软件模拟

这是项目的主要部分，包含大量可在模拟器中运行的经典游戏和演示程序（Demo）。这些软件按平台分类：

• Amstrad CPC游戏：数量众多，涵盖多种类型，如《Bomb Jack》、《Cybernoid》、《Ghosts'n'Goblins》、《Rick Dangerous》、《Prince of Persia》等。许多条目是场景演示（Demo）。
• Commodore C64游戏与Demo：同样丰富，包括《Space Invaders》、《Boulderdash》、《Zaxxon》等游戏，以及大量场景团体制作的演示程序。
• ZX Spectrum游戏：如《Boulderdash》、《Great Escape》、《Rainbow Islands》等。
• KC85/Z1013游戏：如《Pacman》、《Tetris》、《Pengo》等。
• 其他平台游戏：如Commodore VIC-20的《Alien Blitz》，Acorn Atom的《Jet Set Willy》等。
• 街机游戏：如《Bomb Jack》和《Pengo》的街机版模拟。

5. 交互提示

许多游戏和演示的条目附带了简要的启动或操作说明，例如：

• press SPACE! （按空格键开始）
• select Kempston joystick! （选择Kempston操纵杆）
• 1 for coins, Enter to start （投币，回车开始）
• by [团队/作者名] （标注软件的制作者或团队）

该项目通过浏览器提供了一个便捷的途径，用于体验和研究20世纪80年代的计算机历史、硬件架构及相关的软件文化。

文章摘要：Backtrack-Free Cursive

核心问题

作者热爱连笔书写，但发现使用拉丁字母（英语）书写时，回笔 是导致书写乐趣减少的主要原因。回笔是指书写过程中需要抬笔，为已写好的字母添加额外的笔画（如英语中给 i 加点、给 t 加横）。这打断了书写流，并在脑海中形成“待办笔画”的队列。作者通过对比童年时首先学习的西里尔字母（俄语）发现，俄语中需要回笔的字母极少。

量化分析

作者通过分析陀思妥耶夫斯基的《罪与罚》的俄语和英语版本，量化了书写负担：

• 英语版：51% 的单词需要回笔，平均每个单词需要 0.68 次回笔。
• 俄语版：仅 6.4% 的单词需要回笔，平均每个单词仅需 0.066 次回笔。 英语单词如 destination 需要4次回笔，而其俄语对应词则不需要。

解决方案：设计新字体

作者未能找到满足要求的现有字体，于是基于 SmithHand 字体并借鉴俄语书写经验，设计了一套无回笔的草书拉丁字母。核心是将所有需要回笔的字母改为单笔画书写。

关键字母的改造

1. 字母 x：不再使用两笔对角线，而是画两个镜像的 c 形。
2. 字母 t：通过一个类似反写数字 4 的连续动作，在抬笔完成竖笔的同时，用向上向左的辅助线一气呵成地完成横划。这种写法也见于一些商业标识。
3. 字母 i 和 j：这是最大挑战。最终的突破性方案是用连接笔画的小圆圈代替孤立的点。圆圈位于中线上方，并与主笔画对齐，以避免与字母 ε 或 r 混淆。这实现了不抬笔书写。
4. 连笔组合：如 tt、th、te，都通过预设笔画顺序或巧妙连接实现单笔完成。
5. 大写字母：对 T、F、K 等做了适应性微调。

效果与现状

作者使用该字体数月后，虽然个别字母（如 i、t、x）的美观度或一致性尚有提升空间，但书写英语终于带来了与书写俄语同等的愉悦感，成功解决了回笔带来的中断和思维负担问题。

本文记录了作者夫妇为期7周、跨越13个国家、总里程6379公里的欧洲Interrail火车旅行经历。他们选择了“15个旅行日/2个月”的通票和一等座，旨在平衡去年30天10国的紧凑行程，体验更从容的旅行。

行程与交通体验概览 旅程从伦敦圣潘克拉斯站乘坐欧洲之星前往布鲁塞尔开始。尽管列车服务良好，但车站拥挤。之后前往汉堡时，因未及时收到DB铁路关于施工延误的通知，导致行程变更，并通过Interrail复杂的退款表格申请补偿。

从汉堡到哥本哈根的途中，因一节车厢故障，列车在尼堡站紧急停车，导致约千名乘客换乘。作者体验了穿越大海的全景列车。在哥本哈根休息室获得饮品后，前往哥德堡的列车提供了有趣的天花板插座和耳机插孔。奥斯陆至斯德哥尔摩段，一等车厢提供免费水果、茶和高速WiFi。

从斯德哥尔摩乘坐夜间渡轮前往赫尔辛基，渡轮设施完善，餐食不错，但作者因时区误设闹钟。随后乘坐日间渡轮前往塔林。从塔林经瓦尔加到里加的列车，虽只在发车前几周售票且未预留座位，但空间充足，列车上甚至设有给狗喝水的碗。

里加到维尔纽斯一等车厢曾因吵闹乘客干扰安静车厢，后被乘务员制止。在维尔纽斯可使用VIP休息室，但需付费。前往华沙的列车虽显示售罄但实际半空。从华沙经莫卡瓦到柏林的换乘车厢空调失效，极度闷热。柏林至慕尼黑段，列车司机频繁鸣笛。慕尼黑至维罗纳的车票要求纸质打印，但实际电子票亦可接受。维罗纳至米兰段车窗涂鸦严重且WiFi无效。

米兰至巴塞尔段，作者发现比App推荐更优的直达车次，一等座宽敞。巴塞尔至巴黎的列车一等座位于上层，舒适但无纯素餐食。巴黎返回伦敦的欧洲之星虽然排队漫长，但准点运行，作者成功预订了纯素餐食。

总结与反思 作者认为Interrail火车旅行比飞行更轻松、便捷且环保，适合享受一系列“迷你假期”。但长途旅行也会疲惫，未来可能考虑将飞行与火车结合，或专注于单一国家深度游。旅程中虽遇到列车延误、订票系统沟通不畅、空调故障等问题，但整体仍是一次精彩的跨欧铁路体验。

Ploy 公司已将其生产环境中的营销网站构建 AI 代理迁移至 GPT-5.6 Sol 模型。经过评估，GPT-5.6 是首个在性能、成本和质量上超越其先前默认模型 Claude Opus 的替代方案。迁移完成后，代理完成构建的速度提升了2.2倍，成本降低了27%，输出质量持平或更优。

迁移过程暴露了不同模型提供商之间的技术差异，并需要解决以下关键问题：

1. 评估工具（Harness）适配：最初为 Claude Opus 设计的评估套件因假设不同（如工具调用方式）而产生了错误结果。在信任评估分数前，必须修复评估工具以匹配新模型的行为模式。

2. 工具调用模式适配：GPT-5.6 在调用工具时会填充所有参数，包括未使用的可选参数（填入虚构值），导致文件读取错误率极高。解决方案是在提供者边界将模式（Schema）进行转换，将所有可选属性改为“可空”的必填属性，使模型能显式表示“未使用”，随后在调用前移除空值。此举将空文件读取率从52%降至0%。

3. 提示缓存配置：OpenAI 的缓存机制与 Anthropic 不同。GPT-5.6 不再隐式匹配部分前缀，且缓存按提示键（key）分区。Ploy 采用了按工作区（workspace）划分缓存键的策略，并将系统提示分层设置了缓存断点。这显著提升了缓存命中率（首次调用命中率从约0%升至83.7%），降低了未缓存输入令牌数量（减少28%），使得GPT-5.6的总成本低于Claude Opus。成本差异完全源于初始的缓存配置不当。

4. 推理重放（Reasoning Replay）问题：GPT-5.6 默认会重放之前轮次的推理状态引用，有时会导致失败。通过将store参数设为false，请求加密的推理内容进行自我包含的重放，解决了该问题。

迁移后，GPT-5.6 已在 Ploy 生产环境上线。关键优化点包括模型行为适配、工具模式转换、缓存策略调整以及确保推理状态重放的可靠性。

虚拟东京体验：在体素世界中搭乘山手线学习日语

这是一个将虚拟环境与现实世界数据结合的沉浸式日语学习体验。

• 核心场景：用户置身于一个由体素（方块）构建的虚拟东京中，主要活动是搭乘环绕东京核心的JR山手线列车进行观光。
• 实时同步：该虚拟世界与日本现实时间、天气状况及季节变化完全同步。无论用户身处何地，都能体验到东京当下真实的昼夜光影、雨雪阴晴和季节性景色。
• 学习模式：在列车行进过程中，系统会播放放松的lofi背景音乐。同时，会以清晰的朗读声音呈现日语能力考试N5级别的基础句子，并将这些句子以字幕的形式漂浮显示在车窗外的景色中，实现“视听结合”的沉浸式学习。
• 使用方式：用户无需复杂操作，只需“按下播放键”即可自动进入这个持续运行的虚拟世界，将其作为一个可随时开启的、环境式的日语学习或专注背景音房间。

This blog is mostly expression of my ideas on different things in programming and IT culture

摘要

本文作者分享了从零开始设计并组装第一块PCB（印刷电路板）的完整经历。

项目背景与初始阶段 作者因兴趣购买了一块Arduino Nano ESP32开发板，并利用Arduino IDE和命令行工具快速实现了基础功能。随后，他连接了LCD屏幕和BME280温湿度传感器等外围模块进行实验。作者希望尽快脱离原型开发阶段，进入更接近“产品化”的工作流，因此决定不再复刻整个Arduino板，而是选择从一个更简单的模块——BME280传感器模块——开始，以完整体验从原理图到定制PCB的全流程。

设计与制造流程

1. 工具选择与原理图设计：作者选用免费的KiCad软件进行设计。他参考了BME280数据手册中的I2C连接示例，在KiCad中绘制了原理图。
2. 元件封装与PCB布局：为每个元件选择正确的封装至关重要。作者了解到SMD（表面贴装）和THT（通孔）两种元件类型，并为电阻电容选择了适合手工焊接的0805尺寸的SMD封装。在PCB布局时，他通过在板的前后层进行接地填充并使用过孔连接，以优化布线并为信号提供回流路径。
3. 元件采购与PCB订购：除BME280传感器因缺货需从旧模块拆解外，其余元件均从DigiKey采购。PCB制造文件（Gerber和钻孔文件）导出后，发送给JLCPCB进行生产，成本低于10美元，耗时2-3周。

组装与测试 作者使用可调温烙铁和热风枪进行手工组装。组装耗时约15分钟，最大挑战在于焊接底部有8个焊盘的微型BME280传感器。最终，这块自行设计并焊接的PCB板在首次测试中便即插即用成功，与原有Arduino环境完全兼容，无需修改固件。

总结与展望 这次成功的简单项目让作者掌握了PCB设计与制造的完整流程，建立了信心。他已经开始考虑更复杂的下一步，例如将LCD、ESP32和BME280集成到一块定制板上，并思考随之而来的电源、编程和元件精简等挑战。

作者与Photoshop的漫长告别：从依赖到卸载 作者自90年代中期开始使用Photoshop，从学校到工作，购买过盒装版本CS2和CS5，并在Adobe推出Creative Cloud（CC）订阅服务时立即加入。起初，作者享受新功能和持续更新，但随着时间的推移，Adobe的服务质量和软件体验逐渐恶化。

主要问题与不满

1. Creative Cloud应用劣化：从原本可用的原生应用变为缓慢、故障频发的网页式应用。
2. 服务终止：Adobe在2023年宣布停止Creative Cloud同步文件服务（类似Dropbox），虽因用户反对延迟一年，但这动摇了作者对订阅的信任。
3. 软件质量下降：
   • Photoshop更新频繁失败，需要反复修复。
   • 更新后个人设置常被重置。
   • Adobe修改hosts文件进行许可验证，使CC应用感觉像恶意软件。
   • 欢迎屏幕无法永久禁用。
   • 最终，Adobe将大部分原生UI控件替换为网页式控件，成为压垮作者的“最后一根稻草”。
4. 使用需求减少：作者的工作中，PSD文件已被Sketch和Figma取代，作者主要仅用Photoshop进行简单的图像处理，因此工具熟悉度成为唯一留存理由。

转向替代方案与取消订阅 作者尝试过Pixelmator Pro、Acorn和Affinity Photo等软件。最终，因Apple推出了价格相当的“Creator Studio”服务（包含Pixelmator Pro等应用），作者决定取消Adobe订阅。

取消订阅的过程并不顺利：

1. 账户登录障碍：需要使用Adobe Authenticator登录网页账户，但Authenticator本身要求使用该应用进行认证，形成逻辑循环。
2. 挽留策略：Adobe在取消流程中多次恳求用户留下，甚至提供免费三个月。
3. 卸载困难：
   • 卸载Photoshop相对简单。
   • 但卸载Creative Cloud应用时反复报错，声称仍有CC应用依赖它，即使仅安装了插件。
   • 使用Adobe官方清理工具也失败。
   • 最终作者不得不手动删除散落在系统各处的Adobe相关文件和目录，并警告他人不要模仿此操作。

最终感受 作者对告别Photoshop略感伤感，会怀念过去。但认为Pixelmator Pro在软件质量和整洁度上是巨大进步，且相信未来取消订阅会容易得多。作者对Adobe维护软件和处理订阅的方式深感失望，并希望今后再也不必使用Adobe软件。

控制想法，而非代码

核心观点： 编程领域因AI而深刻变革，程序员应将核心精力从审查代码转向控制软件的设计思想、进行质量保证和探索新想法。

主要内容与论点

1. 写作动机与背景

   • 作者（antirez，知名程序员，Redis开发者）重申持续撰文讨论AI编程的影响，并非为了追求存在感，而是希望帮助经验更少、对变革准备不足的同行平稳过渡。
   • 他强调，编程方式的根本性变化并非个人弱点或盲目追捧AI，而是行业不可避免的进化。

2. 核心主张：为何应控制想法而非代码

   • 代码审查效率低下：AI能生成海量代码，逐行审查（例如每日5千行）已不切实际。
   • LLM的优势与局限：大语言模型擅长生成局部最优代码，但在宏观设计上仍在进步。程序员的价值在于评估和引导整体设计，而非沉溺于函数细节。
   • 时间分配的战略转移：8小时工作日内，花大量时间读代码意味着牺牲了更重要的工作，例如：
     • 思考软件的目标与新方向。
     • 构思新功能、优化技巧。
     • 进行质量保证（QA）。

3. 对现状的批评与反思

   • 引用《人月神话》指出，许多关于软件设计的经典见解比过去二十年的讨论更有价值。
   • 在AI出现前，软件工程领域已充满“垃圾代码”（slop），问题并非AI引入。AI实际上能帮助处理复杂、快速变化且易错的领域（如本地LLM推理），减少手动编码和阅读中的细微错误。
   • 他认为，对AI辅助编程的许多抵触情绪可能源于意识形态，而非实际效果。

4. 以Redis开发为例的实践反思

   • 尽管自己仍在审查AI生成的Redis代码，但认为这主要是出于对用户的尊重，而非实际需要。
   • 他更愿意将审查时间用于：
     • 质量保证（QA）。
     • 构思下一个优化点子。
     • 让AI帮助撰写设计文档（DESIGN.md），用自然语言清晰描述数据结构、设计思路和实现技巧。
   • 未来方向：阅读设计文档以掌握“想法”，然后利用AI代理进行具体实现和修改，比审查代码更有价值。
   • 工具（如Fable、GPT 5.6）在代码审查上已能发现比人工更多错误，但自己仍在坚持人工审查，可视为一种过渡。

5. 对年轻程序员的特别考虑

   • 担忧缺乏经验的年轻人无法构建足够的心智模型。
   • 建议他们应学习基础编程（如实现解释器、数据库、哈希表），而非在实际业务项目中纠结于审查AI生成的复杂代码。

结论

作者认为软件开发的世界已经痛苦但确定无疑地改变了。面对AI带来的变革，程序员应主动适应，将战略重心从代码实现细节转移到掌控软件的核心思想、确保质量与测试上。这样才能在变化的世界中提升效率，并改进过去已显露诸多问题的软件工程实践。

事件概述

Grok CLI 工具在未经明确许可的情况下，将用户完整的主目录（home directory） 上传至 xAI 的服务器（GCS）。

泄露的关键数据

上传内容包括以下高度敏感的个人数据：

• SSH 密钥：可能导致服务器访问权限被盗。
• 密码管理器数据库：存放所有账户的登录凭证。
• 个人文档、照片、视频：涉及隐私的各类文件。

事件关键点

• 发生时间：2026年7月13日 9:25 AM。
• 影响范围：70.8K 次浏览，表明事件已引起广泛关注。
• 根本原因：CLI 工具的行为超出了用户的合理预期，存在严重的数据收集与传输问题。

建议与应对措施

1. 立即检查：确认数据泄露的完整范围及内容。
2. 撤销凭证：立即更换所有受影响的 SSH 密钥及密码。
3. 审查工具权限：在使用类似 AI CLI 工具前，务必审查其要求的文件系统访问权限，并避免在包含敏感数据的目录中运行。
4. 联系厂商：向 xAI 报告此事件，要求其说明数据收集政策并删除相关数据。

文章摘要：《反对实用主义》

核心观点

实用科技公司的发展建立在早期“看似无用”的研究基础之上。本文探讨了实用技术诞生前的研究阶段、从事者及其资助方式，旨在为下一代实用公司奠定基石。作者认为，范式级创新往往源于那些不追逐短期实用性的独立思考者。

Folk Computer：重新定义人机交互

• 系统特性：开源物理计算系统，由天花板摄像头、投影仪和纸张标签构成。整个房间成为计算机，纸张即为程序，坐标以米为单位映射物理空间。
• 交互体验：编程者通过身体动作（如放置纸张、手绘动画卡片）与系统互动，实现集体编程，消除“人盯屏幕”的隔离感。
• 意义：质疑了桌面隐喻、屏幕和孤立工作模式是否只是历史弯路，而非终点。

研究传承脉络

1. 施乐帕克研究中心（1970s）：艾伦·凯将计算机视为思维媒介而非计算机器，奠定了现代计算机基础。
2. CDG实验室（2013）：在萨普公司资助下，布雷特·维克多等研究者以“反对实用性”为原则，追求长期深度工作。
3. Dynamicland：发展为非营利研究空间，强调“建筑即计算机”。
4. Folk Computer：继承前述脉络，首次将系统开源，使全球用户可参与构建，打破知识封闭。

资助模式与独立思考者

• 资助特点：此类研究依赖有远见的资助者（如企业高管、艺术背景者），他们敢于在范式初期投资“无用”的探索。
• 现状问题：当前科技领域高度趋同（如全员研究“代理”），导致边缘性创新被忽视。
• 呼吁：作者提出“独立思考者请求”，寻找那些长期深耕冷门问题、开放构建、抗拒炒作、以十年为尺度衡量进展的人。

结论

从曼哈顿的计算历史协会到布鲁克林的Folk Computer，其精神一脉相承：汇聚那些不断追问的人，终将催生有意义的创新。作者呼吁资源持有者支持此类研究，并欢迎独立思考者联系。

文章摘要

本文由Sam Kahn撰写，探讨现代生活如何削弱个人的阅读能力与习惯，并详述作者自身从童年热爱阅读到成年逐渐疏远，再试图重建阅读习惯的历程。

阅读衰退的多个阶段与原因：

• 童年高峰期：作者在11-12岁时达到阅读巅峰，将书籍视为知识与成人世界的窗口。
• 中学与青春期：社会压力迫使作者隐藏阅读爱好，转而追逐流行文化以融入同龄人。
• 学校教育：课程设置僵化，未能识别或支持有特殊才能的学生，作者被迫“回归平庸”。
• 大学社交：父亲告诫大学生活忙碌无暇阅读，阅读被视为社交失败，作者产生负罪感。
• 工作初期：作者原以为工作会扼杀阅读，但短暂实现了工作与阅读的平衡，之后却经历了长达十年的阅读低谷。
• 恋爱关系：伴侣生活取代了个人内心世界，共同观看流媒体内容成为更亲密的消费方式。
• 经济焦虑：在成年人持续焦虑的氛围中，阅读长篇书籍被视为脱离现实、无实际利益的行为。
• 文化地位变迁：引用布迪厄的理论，指出90-2000年代资产阶级逐渐放弃通过阅读展示品味，转向财富炫耀和电视闲聊。
• 写作生涯的悖论：作者认为过度阅读影响写作个性，曾刻意减少阅读以“清空头脑”。
• 社交媒体成瘾：智能手机通过“间歇性积极强化”机制导致注意力涣散，作者深陷其中，阅读习惯彻底瓦解。

重建阅读的尝试与策略：

• 有目的阅读：将阅读与具体任务（如写作研究）结合，借助网络资源高效获取资料。
• 产出驱动阅读：通过撰写书评迫使自己专注阅读，利用数字笔记工具提升效率。
• 技术干预：关闭手机通知、使用飞行模式、设定阅读目标等，对抗数字干扰。
• 接受困境：作者坦言阅读已变得需要强制执行，但仍坚持尝试。

重拾阅读的意义： 作者认为，在数字化导致深度专注力与历史连续性断裂的危机中，阅读不仅是个人习惯的恢复，更是文明的“守护”行为。他希望通过坚持阅读，抵制算法文化吞噬，为未来保留阅读的价值与可能。

Kode Dot 是一款面向创客、渗透测试人员和极客的可编程口袋设备，其核心设计目标是提供即开即用的平台，让用户能直接从创意出发，而无需重复搭建硬件基础。

核心硬件与设计：

• 双MCU架构：搭载 ESP32-P4 与 C5 芯片，P4 负责主程序运行，C5 专司无线通信。
• 显示与交互：配备 2.13 英寸 AMOLED 触摸屏（502×410 分辨率），以及 D-pad 方向键和两个额外按钮。
• 内存与存储：内置 32 MB PSRAM 与 32 MB 闪存，支持 microSD 卡扩展。
• 连接与通信：集成 Wi-Fi、蓝牙 LE、NFC、RFID、红外收发器，满足多样化的无线交互需求。
• 传感器与输入输出：包含 9 轴 IMU、麦克风、扬声器、可编程 RGB LED、振动马达，并提供 16 个可编程引脚（通过 20 针 GPIO 排针引出），可连接外部传感器、电机或自定义电路板。
• 电源与接口：内置锂电池，通过 USB-C 接口充电（支持 OTG 和调试），并设有磁性 pogo 连接器用于充电或供电。

功能与生态：

• 开箱即用：集成了屏幕、按钮、电源、传感器等常见项目所需组件，极大简化了项目启动流程。
• 可扩展性：丰富的引脚和接口使其能适应不同项目的扩展需求。
• 社区支持：用户可浏览并运行社区开发的游戏、工具等应用。

背景： 该项目起源于 Kickstarter 众筹，获得超过 1.6 万名支持者，由创始人 Manuel Quero 和 Luismi Collado 开发完成。

https://cacm.acm.org/news/can-we-understand-how-large-language-models-reason/

赛博朋克漫画、漫画小说与图形小说概览

本文按出版年份梳理了跨越西方漫画、日本漫画及图像小说的赛博朋克类作品。以下为主要内容概述：

早期奠基作品（1975-1988）

• 《漫长的明天》（1975）：由丹·欧班农与墨比斯创作的图像小说，以未来为背景，探讨多文化主义与技术统治，其美术风格深刻影响了《银翼杀手》等经典作品。
• 《阿基拉》（1982-1990）：大友克洋的漫画，设定于2019年，以反乌托邦、激进政治与都市衰败为核心，改编动画大幅压缩原作，漫画更完整地呈现朋克精神。
• 《银翼杀手》漫画版（1982）：基于电影改编，补充了电影中模糊的叙事细节，如戴克警官的绰号等。
• 《破碎》（1985-1988）：全球首部数字漫画，通过Macintosh电脑绘制，以像素艺术呈现经典赛博朋克设定，受《银翼杀手》与菲利普·K·迪克影响深远。

成熟期作品（1986-2003）

• 《机动警察》（1986）：士郎正宗在《攻壳机动队》前的作品，描绘污染严重的未来都市，以幽默风格探讨基因改造与治安问题。
• 《叛逆》（1986）：后末日题材图像小说，融合《疯狂的麦克斯》与《纽约大逃亡》元素，通过纽约废墟展现朋克美学与法西斯政权对抗。
• 《攻壳机动队》系列：士郎正宗的经典漫画（1989-1990），设定于2029年，探讨人工智能、义体化与身份问题。后续衍生作品包括：
  • 《1.5：人类错误处理器》（1991-1996）：以单元剧形式扩展世界观。
  • 《2：人机界面》（1997）：延续原作，探讨意识克隆与社会影响。
  • 《独立日综合症》系列（2009-2016）：基于动画改编的漫画，聚焦网络犯罪与政治阴谋。
  • 《崛起：失眠之眼》（2013-2016）：连接《崛起》动画的前传漫画。
  • 《人类算法》（2019-2025）：延续士郎正宗原作时间线，探讨后人类身份与极端主义。
• 《铳梦》（1990-1995）：木城雪户的漫画，设定于26世纪的后末日世界，以赛博格少女为焦点，结合赛博朋克与科幻动作元素。
• 《机器战警》漫画系列（1990-1992）：扩大电影设定，融入克隆技术、梦境科技等赛博朋克主题。
• 《狂野棕榈》（1990-1993）：讽刺性图像小说，探讨虚拟现实与媒体药理学，质问科技如何用于政治控制。
• 《特警判官》（1997-2002）：以未来记者为主角，融合讽刺与朋克美学，展现“高科技低生活”的社会批判。
• 《伊甸园：永无止境》（1998-2008）：后末日漫画，涉及量子计算、机器人等主题，虽偏军事史诗，但包含赛博朋克元素。

近期发展（2000年代至今）

• 《BLAME!》系列：贰瓶勉的作品（1996-2003），以衰败电子环境为特色，视觉风格常被关联赛博朋克，实为黑暗科幻。
• 《枪梦》（1998）：《铳梦》外传，聚焦暴力体育娱乐，批判社会对暴力的消费。
• 《NOiSE》（2000-2001）：《BLAME!》前传，包含更多社会结构与侦探元素。
• 《神枪少女》（2002）：探讨义体化与反恐主题，以少女改造战士为焦点。
• 《100%》（2002-2003）：以2038年纽约为背景，通过全息俱乐部描绘多角关系，风格细腻。
• 《东京食尸鬼》（2015-2016）：警示信息过瘾与自动化危机，美术风格鲜明。
• 《银翼杀手》系列漫画：
  • 《2019》（2019-2020）：优秀续作，扩展电影世界观。
  • 《2029》（2020-2021）：评价不佳，情节重复。
  • 《起源》（2021-2022）：电影前传，动作性强但较衍生。
• 《夜猎者》（2022）：独立漫画，以委内瑞拉为背景，展现过度人口化与义体冲突。
• 《赛博朋克2077：XOXO》（2023）：基于游戏设定，情节浅显，侧重暴力与赛博植入。

其他相关作品

• 《攻壳机动队》独立系列：如《人类算法》等持续扩展原作世界观。
• 《原子：起源》（2014）：《阿童木》前传，探讨人工智能与自我意识。
• 《我的妻子没有感情》（2019）：轻科幻漫画，关注人机婚姻与社会接受度。
• 威廉·吉布森参与的《大天使》（2016-2017）：更接近时间旅行幻想，含未来科技元素。

总结

本列表涵盖赛博朋克流派从早期探索到近期创新的多样作品，主题涉及反乌托邦、人工智能、义体化、企业控制与社会异化等。西方与日本漫画均贡献了重要作品，既有经典续作，也有新兴独立创作，持续推动该流派在视觉与叙事上的发展。

这篇文章探讨了两个并行的发展趋势：人工智能系统已开始产生真正的研究级数学成果，与此同时，美国却在削弱培养人类理解此类系统能力的管道。作者认为，两者结合构成了一个战略错误。

文章的核心论点是：数学能力——即验证、解释和质疑数学推理的训练有素的能力——并非定理生产的副产品，而是一种基础设施。这种能力是由代代相传的制度所建立的，无法按需重建。

文中援引了2026年5月人工智能反驳一个长期存在的埃尔德什猜想（关于平面单位距离问题）的例子，以及联邦对数学科学支持的中断，以此论证应将数学能力视为与半导体能力同等重要的战略资产。

此外，文章还提出了一项具体建议：要求执行重要推理的人工智能系统，必须以形式化、机器可检查的形式公开其决策关键主张。这将把人工智能推理的部分过程，从不透明的说服转变为可审计的结构。