https://calv.info/openai-reflections

Linux在美国桌面市场份额首次突破5%

根据StatCounter 2025年6月的最新数据，Linux在美国的桌面操作系统市场份额达到5.03%，首次突破5%的里程碑，标志着开源社区的重大进展。

主要数据对比

• Windows：仍以63.2%占据主导，但过去十年份额下降近13%。
• macOS（含OS X）：合计约占24%。
• Chrome OS：占2.71%（基于Linux内核，若计入则“Linux家族”份额达7.74%）。
• 未知类别：占4.76%，Linux份额已超越该类别。

Linux增长的主要原因

1. Windows的问题：用户对Windows 10停止支持、隐私担忧、强制更新及广告推送不满，转向Linux。
2. 游戏推动：Steam Deck等设备采用Linux系统，吸引游戏玩家体验。
3. Linux自身改进：
   • 发行版（如Ubuntu、Linux Mint）界面更友好。
   • 注重隐私保护。
   • 可优化旧硬件性能。
   • 软件生态扩大（如通过Wine提升兼容性）。

实际份额可能更高

由于Linux用户常使用隐私工具隐藏系统信息，实际用户数可能更多。此外，Chrome OS基于Linux内核，若计入则Linux家族份额显著提升。

未来展望

Linux市场份额增长加速：从1%到2%耗时8年，但4%到5%仅用约8个月。这一趋势显示Linux吸引力持续增强，有望推动更多硬件厂商提供支持。

来源：StatCounter全球统计数据。

I’ve started writing more Python code lately (because of… AI, you know). In this post, I share the tools, libraries, configs, and other integrations I use for building production-grade Python applications following a frontend-backend architecture.

On July 14th, 2025, Cloudflare made a change to our service topologies that caused an outage for 1.1.1.1 on the edge, resulting in downtime for 62 minutes for customers using the 1.1.1.1 public DNS Resolver as well as intermittent degradation of service for Gateway DNS.

We’re deeply sorry for this outage.

This outage was the result of an internal configuration error and not the result of an attack or a BGP hijack. In this blog post, we’re going to talk about what the failure was, why it occurred, and what we’re doing to make sure this doesn’t happen again.

Researchers have found the first new type of magnet in nearly a century. Now, these strange "altermagnets" could help us build an entirely new type of computer

A post-modern modal text editor.

Contribute to aws/pgactive development by creating an account on GitHub.

乌克兰黑客组织与军事情报部门协同行动，成功瘫痪了俄罗斯主要无人机制造商之一“Gaskar Integration”的运营。此次网络攻击摧毁了超过47TB的关键数据，导致该工厂内部系统失效，生产运营全面中断。

据报道，黑客团队“BO Team”和“乌克兰网络联盟”在军事情报人员的支持下，入侵了Gaskar Integration公司的网络和服务器。攻击者获取了超过47TB的俄罗斯无人机生产相关技术资料，包括揭示该公司与中国存在密切合作的数据。所有服务器数据均被销毁，其中包括10TB的备份材料。

这次网络攻击致使该企业的互联网、生产和财务系统瘫痪，研发部门陷入停滞。此外，无人机生产厂的所有门禁被锁死，员工只能通过消防通道撤离。泄露的数据中包含员工机密问卷，以及最重要的无人机生产全套技术文档，这些资料已移交给乌克兰国防部队的相关专家。

报道还提及，此前乌克兰国防部主要情报局的网络专家曾对俄罗斯铁路网站发起强大网络攻击，导致其所有服务中断；另一次攻击则使俄罗斯Regiontransservice公司的全部服务瘫痪。

成为更优秀的程序员：在脑海中构建小型证明

本文分享了一个能帮助开发者更快、更准确编写代码的技巧：在编码过程中，于脑海中同步构思对代码正确性的“小型证明”。这种“在线”推理需要大量练习，但熟练后，代码一次或两次尝试就成功运行的概率会显著提高。

关键推理模式

1. 单调性

关注代码中具有单调性的部分。单调过程只能向一个方向前进（如只会增加或不变）。例如，使用检查点的任务脚本，其“当前步骤”指针只会前进；日志结构合并树（LSM树）通常也仅以追加方式增长。这能帮助你排除大量可能出错的情形。不可变性是单调性的近亲，它确保对象创建后不可更改，从而消除了状态被意外修改的风险。

2. 前置条件与后置条件

明确定义函数的前置条件（运行前必须为真的状态）和后置条件（返回后必须为真的状态）。明确这些约束有助于推理代码行为、生成测试用例，并可通过添加断言使程序在违反条件时提前崩溃，避免不可预测的行为。

3. 不变量

识别代码中必须始终保持的不变量。一种维护方法是将代码划分为多个原子“步骤”，并证明每个步骤都能独立维持不变量。经典的例子是复式记账法的会计等式（借方总额=贷方总额）。另一种方法是利用监听器或生命周期方法在关键节点检查不变量。

4. 隔离

在修改代码时，要证明你无意改变的行为确实未被影响。关键是识别变更的“影响范围”和能阻止变更传播的“结构防火墙”。核心理念是尽可能通过添加新代码来扩展功能，而非修改已能正常工作的旧代码（开放-封闭原则的哲学）。设计时，应努力构建更多的这种“防火墙”。

5. 归纳法

处理递归数据结构（如树、列表）或递归函数时，归纳法是核心推理工具。它包含两步：证明基本情况成立，并证明若命题对规模n成立，则对n+1也成立。例如，通过归纳法可以证明一个递归简化树的函数能确保返回的树是“完全收缩”的。

“证明亲和性”作为质量指标

你不仅应在编码时思考证明，更应编写易于证明的代码，即具有高证明亲和性。这意味着：

• 使用单调和不可变的代码与数据结构。
• 围绕清晰的前置/后置条件和不变量设计代码。
• 将代码划分为尽可能小的、可验证的单元。
• 主动构建组件边界作为“防火墙”。
• 采用增量方式编写递归函数。

如果一段代码难以推理和证明其正确性，它可能需要重构。高证明亲和性是代码质量的重要维度，因为它直接关联到对代码行为的理解。

如何提升此项能力

这种“在线”微推理能力需要通过练习才能成为本能。建议方法是：

1. 编写数学证明：锻炼严谨的逻辑思维。可从斯坦福大学的算法课程等资源开始。
2. 刻意练习：使用LeetCode等平台，选择那些需要细致规划而非依赖“技巧”的问题，目标是尽可能用最少的尝试次数获得正确提交。

https://connect.mozilla.org/t5/discussions/where-s-firefox-going-next-you-tell-us/m-p/100698#M39094

https://gpuhammer.com/

https://www.texasmonthly.com/news-politics/texas-flood-firsthand-account/

We're still months away from these budget bills having a chance to become law.

Proposal & discussion of how default mode networks for LLMs are an example of missing capabilities for search and novelty in contemporary AI systems.

Tilck：一个微小的Linux兼容内核

项目概述

Tilck是一个教育性、单体内核，旨在与Linux在二进制级别兼容。它目前支持i686（32位）和RISCV64架构，并计划在未来移植到ARM平台。其核心设计理念是保持代码简洁、体积小巧，同时提供确定性行为和极低延迟。

核心特性

• Linux兼容性：可运行主流Linux程序（如BusyBox套件、Vim、Lua等），无需专门为Tilck编写应用程序。
• 多架构支持：支持i686、RISCV64（主要用于嵌入式应用），并计划支持ARM。
• 文件系统：提供完整的ramfs、devfs、只读FAT16/FAT32支持以及用于ACPI和PCI设备信息的sysfs。具备简单的VFS层。
• 进程与信号：实现了fork()、vfork()、waitpid()，并支持部分POSIX信号。支持线程本地存储（TLS）。
• I/O：支持read()、write()、readv()、writev()、select()和poll()。
• 控制台：功能完善的控制台（支持文本和帧缓冲模式），可流畅运行Vim等复杂程序。
• 引导：自带交互式引导加载程序（支持BIOS和UEFI），也兼容GRUB等第三方引导加载程序。

设计目标与定位

Tilck不是Linux内核的替代品，也不适用于桌面操作系统。其目标是提供一个：

• 代码简单、体积小巧的内核。
• 行为确定、延迟极低。
• 开发与测试更便捷。
• 具备额外鲁棒性。

长期目标是应用于嵌入式系统，填补嵌入式Linux与实时操作系统（如FreeRTOS）之间的空白。目前可在仅3MB内存的QEMU环境中启动。

开发与测试

• 构建：提供简化的构建流程，只需Linux x86_64主机，通过脚本自动构建工具链并编译。
• 测试：拥有全面的测试体系，包括单元测试、内核自检、系统测试和自动化交互测试，并集成Azure Pipelines CI和代码覆盖率报告。
• 调试：支持通过QEMU的GDB服务器进行调试，并提供内核调试面板和GDB脚本以简化调试过程。

用户体验

项目特别注重开发者体验，力求简化构建、测试和配置过程，降低参与门槛，鼓励学生和初级开发者探索和贡献。

许可证

采用BSD 2-Clause许可证。

事件概述

一位安全研究员于2025年5月29日向OpenAI的漏洞披露邮箱报告了一个漏洞。该漏洞可能导致用户窥视到其他用户的聊天回复内容，这些内容可能包含个人数据、商业机密或专有代码。OpenAI自动回复确认收到，但截至7月16日，研究员未收到人工跟进，且漏洞仍未修复。

技术解释与误解澄清

经过OpenAI的澄清，该现象并非真正的用户数据泄露，而是由分词（tokenization）错误导致的幻觉：

1. 根本原因：当音频输入超过1500秒的上限时，会被截断为空查询。
2. 模型行为：收到空查询后，模型会从一个随机词元（token）开始，基于词元间的概率影响，逐步生成看似连贯、但完全由模型合成的回复。
3. 为何看似真实：
   • 回复起始上下文合理，有时能引用问题，多语言且对话流畅。
   • 示例中关于哈萨克斯坦公司“Атырау Нефтехимия”的详细财务报告极具说服力。
   • 研究员自用同一公司名查询时，ChatGPT表示无此数据且无法联网搜索，这最初被误认为是泄露的证据。
4. 结论：所谓的“泄露内容”实为模型在空白输入下的随机生成物，数字和细节经不起核实。研究员对此初始的误判表示道歉。

漏洞披露过程与争议

• 报告渠道：研究员因不认同OpenAI漏洞赏金平台要求的“全面保密”条款，选择通过官方披露邮箱报告。该条款限制研究者在修复后公开讨论漏洞。
• 时间线：
  • 5月29日：发现异常并发送加密报告，收到自动回复。
  • 6月10日：发送跟进邮件。
  • 7月15日：在 Hacker News 发布警示帖子，因未收到人工回复。
  • 7月16日：OpenAI安全团队主动联系，提供技术解释并确认修复已上线。
• 披露原则：研究员遵循45天行业标准披露窗口，并仅公开漏洞存在的事实和严重性，未包含任何技术细节或复现步骤。

关键启示与建议

1. 对行业的启示：
   • 模型的强大不等于安全成熟度，仍需人工处理漏洞。
   • 云端LLM的隐私风险极高，单个配置错误可能泄露海量敏感对话。
   • 透明度有助于建立信任，公司应快速修复并与研究者良性互动。
2. 给OpenAI的建议：
   • 为安全邮箱配备专职人员，确保3-5个工作日内响应。
   • 公布清晰的漏洞响应政策与服务等级目标（SLO）。
   • 定期进行第三方渗透测试，关注模型间隔离与数据治理。
   • 善待善意研究者，调整赏金平台的保密政策。
3. 给用户的临时建议：
   • 修复前避免向OpenAI模型分享敏感内容。
   • 使用数据隔离功能（如有），并清除提示中的个人标识符。
   • 关注OpenAI安全页面的更新。

WebGPU将在Firefox 141的Windows版发布 经过多年开发，WebGPU将于Firefox 141中正式在Windows平台发布。WebGPU为Web内容提供了访问用户图形处理器的现代接口，支持高性能计算和渲染。该技术有望提升Web在游戏、可视化和本地计算方面的性能上限。

技术基础与参考资源

• 教程与示例：可在 webgpufundamentals.org 学习，并尝试 WebGPU示例。
• API文档：详见MDN文档。
• 标准定义：基于W3C的 WebGPU 和 WGSL 标准，Mozilla自2017年起参与标准制定。

平台支持计划

• 当前版本仅支持Windows，计划在未来数月内扩展至Mac和Linux，最终支持Android。Windows优先因其用户基数最大。
• WebGPU此前已在Firefox Nightly版中支持除Android外的所有平台。
• 该技术已随Chrome 2023年发布，并预计于Safari 26（今年秋季）推出。

实现基础

• Firefox的WebGPU实现基于开源项目 WGPU，这是一个Rust库，为底层图形API（Direct3D 12、Metal、Vulkan）提供统一接口。Mozilla是其主要贡献者。
• WGPU社区活跃，欢迎Rust开发者参与贡献。

已知限制与优化进展 当前版本虽能流畅运行多数应用和演示，但在性能与规范合规性方面仍有待提升：

1. 进程间通信开销：当前使用无缓冲IPC传递请求，带来显著开销。优化方案（Bug 1968122）已修复并将随Firefox 142发布。
2. GPU任务延迟：目前通过定时器判断GPU任务完成状态，易增加延迟。改进方案正在推进中（Bug 1870699）。
3. 缺少视频纹理支持：暂未支持importExternalTexture方法，该方法可使GPU直接读取解码器的视频内容（Bug 1827116）。

反馈与参与 用户可在Firefox中尝试WebGPU，如遇问题，请至Bugzilla的 WebGPU组件 提交报告，并附上详细重现步骤及 about:support 信息以供调试。

Firefox 141标志着WebGPU正式面向用户开放，期待开发者探索其潜力。

FIPS 140-3 Go 加密模块概述

背景与目标

FIPS 140 是密码学实现的标准，在特定监管环境中是强制要求。Go 语言通过将原生 FIPS 140 支持集成到标准库和 go 命令中，旨在提供最简单、最安全的合规方式，取代此前不受支持且存在诸多问题的解决方案（如 Go+BoringCrypto）。

模块状态

• Go 加密模块 v1.0.0 已随 Go 1.24 发布，并获得了 CAVP 证书（A6650）。
• 该模块已提交至 CMVP，目前处于“Modules In Process”列表，可在某些监管环境中部署。
• 由 Geomys 领导实现，与 Go 安全团队合作，并与 Google 等利益相关方合作确保广泛适用性。

开发者体验

• 透明集成：每个使用 Go 1.24 构建的程序默认使用该模块，无需特殊配置。
• 无 cgo 依赖：支持交叉编译，避免性能开销和内存管理安全问题。
• 启用 FIPS 模式：
  • 通过 GODEBUG 设置 fips140=on 可启用 FIPS 140-3 模式，自动使用合规算法并执行自检。
  • 实验性 fips140=only 模式会禁止所有非批准算法。
• 版本控制：
  • 使用 GOFIPS140 环境变量（如 GOFIPS140=v1.0.0）可构建针对特定验证版本的程序。
  • 未来版本将支持 GOFIPS140=inprocess 以动态选择最新验证模块。
• 验证与更新：Geomys 计划至少每年验证新模块版本，确保合规性不滞后。

安全设计

• 优先安全：在合规前提下不降低安全性，甚至超越 FIPS 140 要求。
• hedged 签名：改进 crypto/ecdsa 的 hedged 签名算法，在保持抗随机数生成器故障、API 问题及故障攻击能力的同时，证明符合 FIPS 合规。
• 随机数生成：
  • 在 FIPS 模式下，使用基于 AES-256-CTR 的 NIST DRBG，并每次读取时注入 128 位内核熵作为附加数据。
  • 既满足 FIPS 对用户空间 CSPRNG 的要求，又保留内核熵源的安全性。
• 安全审计：模块已通过 Trail of Bits 审计，未发现非信息性安全问题。

平台支持

• 模块在广泛的操作系统和硬件组合上测试，包括：
  • 操作系统：多种 Linux 发行版、macOS、Windows、FreeBSD。
  • 硬件：x86-64（AMD/Intel）、ARMv8/9（如 Apple M、AWS Graviton）、ARMv7、MIPS、z/Architecture、POWER。
• 同时列出多个“Vendor Affirmed”通用平台，覆盖主流 Linux、macOS、Windows 和 FreeBSD 版本。

算法覆盖

• 所有标准库中的 FIPS 140-3 批准算法均由该模块实现并测试，确保合规使用。
• 包括后量子 ML-KEM 密钥交换（FIPS 203），支持 crypto/tls 建立后量子安全连接。
• 部分算法（如 HKDF）在多个 NIST 名称下验证，以满足不同用途的合规需求。
• 模块验证的算法范围比 Go+BoringCrypto 更全面，为受限应用提供更多可用算法。

未来计划

• Go+BoringCrypto 将在 Google 迁移完成后移除。
• Geomys 持续推动模块验证，确保 Go 在 FIPS 140 合规场景中保持领先。

The request was rejected because it was considered high risk

https://geminiprotocol.net/news/2025_06_20.gmi

Today, we're introducing a comprehensive solution for financial analysis that transforms how finance professionals analyze markets, conduct research, and make investment decisions with Claude.

Restoration workers are removing about 100,000 handbound books from their shelves and carefully placing them in crates, the start of a disinfection process that aims to kill the tiny beetles.

根据提供的内容，这似乎是一个标题与正文存在差异的帖子。标题为 “Show HN: Improving search ranking with chess Elo scores”，但正文内容实际是 ZeroEntropy 公司的产品服务介绍，并未涉及象棋Elo评分或其应用于搜索排名的具体细节。

以下是正文的核心内容总结：

1. 核心产品与服务

• ZeroEntropy API：提供生产就绪、延迟优化的模型服务，核心是用于改进搜索相关性的 rerank 模型（例如 zerank-2）。
• 合作伙伴网络：可通过单一、优化的API访问多种模型。

2. 主要功能与接入方式

• 快速集成：提供 Python 和 TypeScript SDK，开发者可在几分钟内开始构建。
• 代码示例：展示了如何使用 ZeroEntropy 客户端库，通过 models.rerank 方法，传入查询和文档列表，获取重排序后的结果。

3. 部署与支持选项

• 云API服务：通过官方仪表板创建API Key后直接使用。
• 自有云部署 (VPC)：可通过 AWS Marketplace 和 Azure 部署专属基础设施。
• 企业级服务：提供定制部署、专属容量、模型许可、模型微调及服务等级协议 (SLA)，需联系销售咨询。

总结：该内容实质是 ZeroEntropy 模型服务（特别是搜索重排序模型）的广告或产品页，重点介绍了其API易用性、SDK支持以及从快速接入到企业级部署的全套解决方案。而标题中提到的“象棋Elo评分”在正文中未作任何阐述。

https://connect.mozilla.org/t5/discussions/mozilla-now-only-seems-to-speak-using-creepy-gibberish-lunatic/m-p/16863#M7430

Encrypting files with passkeys, using the WebAuthn prf extension and the TypeScript age implementation.

https://www.reuters.com/technology/mira-muratis-ai-startup-thinking-machines-raises-2-billion-a16z-led-round-2025-07-15/

https://www.neowin.net/news/kdes-android-tv-alternative-plasma-bigscreen-rises-from-the-dead-with-a-better-ui/

Claude Code 解锁：并行代理开发的工作流革新

核心突破

作者通过两个月深度使用背景代理开发 Terragon，实现了三个关键突破：

• 轻松启动新代理：大幅降低创建任务门槛
• 脱离本地机器限制：代理在云端运行，摆脱本地环境束缚
• 无限并行执行：同时运行任意数量的代理，实现任务并行处理

Claude Max 订阅方案

• 成本问题：Claude Code 单次对话成本高（如“你好”需$0.30）
• 解决方案：Claude Max 订阅（$200/月），提供近乎无限的使用额度
• 价值转变：从“是否适合使用Claude Code”转变为“如何将更多工作卸载给代理”

多代理并行的挑战

• 本地并行局限：使用 Git Worktree 管理多个代理面临严重管理负担
  • 分支混乱、上下文丢失、IDE 窗口管理困难
  • 共享资源（如 Docker 容器）导致测试环境冲突
• 权限审批干扰：非 --dangerously-skip-permissions 模式下频繁等待权限批准

Terragon：云端代理解决方案

• 核心功能：在云端运行 Claude Code，自动创建环境、分支并生成 PR
• 任务无缝化：降低任务创建成本，支持随时派发任务
• 典型应用场景：
  • 调查难以复现的 Bug
  • 原型新功能想法
  • 执行代码清理任务

混合工作流实践

Terragon 端（后台代理）

• 日均任务量：约 30 个
• 适用任务类型：
  1. 探索性任务：快速原型验证，类似工程提案
  2. 一次性任务：小 Bug 修复、测试覆盖率提升、功能开关移除
  3. 样板化任务：遵循既定模式的内部页面创建
  4. 上下文调试：调查用户报告的复杂 Bug

本地端（人工处理）

• 审查变更、测试、调整 PR
• 完成后台代理的后续工作
• 为代理创建初始脚手架（如 TODO 列表）
• 处理需要频繁交互或代理不擅长的任务

典型工作日流程

1. 晨间规划：批量派发当日任务（支持手机语音输入）
2. 日间执行：审查代理工作，通过 terry CLI 拉取远程环境本地测试
3. 日终清理：实现“任务清零”，合并或关闭大部分任务

实践案例

• 分布式系统竞态条件：代理一次性定位并修复难以诊断的 Bug
• 用户反馈处理：约半数报告获得代理的即时初步方案
• 功能原型迭代：通过多轮细化描述逐步探索解决方案，多数不合并但用于学习

关键学习

• 理解模型特性：通过实验明确代理的能力边界
• 及时放弃策略：当代理方向错误时，应放弃任务而非持续纠正
• 上下文切换管理：同时跟踪 10+ 个任务流需要系统化方法
• 选择性使用代理：并非所有任务都适合代理处理

未来展望

• 背景代理将深刻改变工作分解方式：任务更小、更适配代理
• 探索成本降低鼓励更多原型实验
• 开发者可聚焦于需要人类判断的核心部分
• 并行云端代理与本地专注环境的混合模式已成为不可逆的工作流变革

https://worldhistory.substack.com/p/what-were-the-earliest-laws-really

https://www.goto10retro.com/p/vibe-coding-in-basic

文章总结

本文讲述了作者三个月前在伦敦丢失背包的亲身经历，以及由此引发的关于生活习惯、心理健康和人生成长的反思。

事件经过

• 作者在派对醉酒后醒来，发现身处陌生地点，随后发现装有两本护照、笔记本电脑、个人物品和合法药物phenibut的背包丢失。
• 他试图通过保持冷静来应对，并前往朋友住处和警局寻找，均无果。
• 两天后，一位名叫Simon的好心人根据背包内的信箱地址信件联系到作者，并完好归还了背包。

核心内容与反思

1. 对phenibut与酒精的对比分析

   • Phenibut：一种最初在苏联开发的抗焦虑、改善社交的药物。作者认为它能帮助暴露疗法，减轻演讲焦虑，改善睡眠，并视为一种“心理校准工具”。
   • 酒精：文化中常见的社交润滑剂，但会模糊思维、导致宿醉。作者指出苯基布特与酒精都作用于GABA系统，混合使用会相互增强，极不可控，这是他丢失背包的直接原因。
   • 作者强调自己近年来已大幅减少酒精摄入，认为苯基布特对他的生活有积极影响，但此次经历是一个严重警告。

2. 对神经质性格的剖析

   • 作者自述有神经质倾向，易陷入负面想象和过度控制。这次事件迫使他练习“顺其自然”，但仍承认这是一项需要长期修炼的技能。
   • 丢失背包引发了他对物品中隐藏的（如合法药物和注射器）可能被误解的焦虑，这体现了其神经质思维的运作模式。

3. 丢失物品的象征意义

   • 作者引用海德格尔的“上手状态”与“现成状态”概念，说明背包及其内物品（如五个梳子、纪念T恤、MacBook电脑）不仅仅是物品，更是其生活节奏、习惯和身份的一部分。丢失它们意味着日常结构的撕裂。
   • 最核心的焦虑来自可能无法如期举办他策划的预测市场交友活动，这关系到对观众和参与者的责任。

4. 经历带来的成长与教训

   • 习惯的重要性：意识到日常物品的有序组织对维持生活稳定的关键作用，开始有意识地改善家居环境。
   • 区分健康责任与过度控制：认识到神经质是试图控制不可控之事，真正的责任是专注于当下能改变的事物。这种心态帮助他更顺畅地推进项目。
   • 对酒精的最终态度：虽然认为苯基布特更优，但作者承认酒精有其独特的“美学”和文化存在感。故事结尾，他在又一次派对中成功控制了饮酒量，但最终仍因疲惫在地铁上睡着并遗落了耳机，暗示成长与教训的循环仍在继续。

核心观点

• 不要混合使用苯基布特与酒精。
• 通过适应不确定性来降低神经质倾向。
• 负责任地管理个人物品与习惯是生活稳定的基石。
• 真正的责任在于专注于可改变之事，而非为无法改变之事过度内耗。

The Nuberodesign Blog

1960年代英国“初始教学字母表”（ITA）实验

实验起源与设计

20世纪60年代，为解决英语拼写不规则给幼儿阅读带来的巨大困难，英国保守党议员詹姆斯·皮特曼（James Pitman）发起了一项教育实验。其核心是创制一套全新的“初始教学字母表”（Initial Teaching Alphabet, 简称ITA）。该字母表包含44个字符，每个字符对应英语中的一个音素，旨在通过音形一致的拼写规则，让儿童更快速地学习阅读。这套字母表包含了倒写、连体等异形字符，并全部使用小写。

实施情况与过渡问题

到1966年，英国绝大多数教育当局已在至少一所学校推广ITA。其设计初衷是作为过渡工具，让儿童在掌握阅读后，于七至八岁左右无缝转换到标准英文拼写系统。然而，许多学生在过渡期遇到了严重困难，导致他们长期陷入两套系统之间，产生了混淆。

对学习者的长期影响

多位在60至70年代学习过ITA的受访者（如朱迪思·洛夫哈根、莎拉·基特、迈克·奥尔德）均表示，该实验对他们的拼写能力造成了持久而负面的影响。他们普遍感到困惑、羞愧，并遭受了学业上的打击。尽管他们后来通过个人努力或拼写检查工具在一定程度上弥补了缺陷，但早期的学习经历留下了心理阴影。许多人对当初未经家长充分知情同意就被置于实验中感到不满。

实验的终结与反思

ITA实验在70年代悄然终止，但从未有正式的全国性研究追踪其长期效果，也缺乏对实验失败原因的系统总结。教育专家认为，ITA的失败主要在于其过于简化问题，且忽视了从特殊符号系统转换回标准英语的巨大挑战。有教师指出，它可能对部分缺乏家庭阅读支持的儿童有短期激励作用，但无法适用于所有孩子。

与当代教育的关联

文章将ITA置于持续的“阅读战争”背景中讨论，即教学中应侧重解码发音（如自然拼读法）还是整体语言理解的争论。ITA被视为一次试图彻底简化英语拼写复杂性的极端尝试。该案例揭示了在教育中引入激进方案的风险，特别是当其缺乏长期评估和退出机制时，可能对一代学习者产生难以预料的影响。

本文探讨了一种新兴的AI安全方法——思维链可监控性。其核心观点是，能够以人类语言进行“思考”（即产生可读的思维链）的AI系统，为安全监督提供了独特的机遇：我们可以通过审查其思维链来探测其是否存在不当行为的意图。

• 核心主张：作者们认为，尽管像所有已知的AI监督方法一样，思维链监控并不完美，无法发现所有潜在的不当行为，但它显示出了潜力。因此，他们建议在现有的安全方法之外，进一步研究思维链的可监控性，并对其增加投资。
• 关键警告：论文特别指出，思维链的可监控性可能是脆弱的。因此，他们建议前沿模型的开发者在做出开发决策时，必须考虑这些决策对维持和利用思维链可监控性的潜在影响。
• 研究背景：这篇论文由包括Tomek Korbak、Yoshua Bengio、Dan Hendrycks等在内的众多知名AI安全与机器学习研究者共同撰写，强调了这一方向在学术界受到的关注。

总之，该研究倡导将监控AI的内部推理过程作为一种安全工具，同时警示其有效性并非理所当然，需要审慎维护。

<strong>The long read:</strong> Frustrated with my life back in the US, I was captivated by the idea of a new home – and new life – for less than the price of an espresso. So I travelled to Italy to find out whether it was too good to be true

Daniel 'C418' Rosenfeld wrote the Minecraft score and turned down Microsoft's offer to buy it.

Back in high school, I remember receiving an email for a study guide from a friend. Instead of the PDF coming attached, it was a link to a site called Dropbox.

项目概述: 这是一个“Show HN”帖子，标题为“Beyond Z²+C, Plot Any Fractal”，旨在展示一个突破传统Mandelbrot集（使用公式 z = z² + c）的工具，可以绘制任何类型的分形图。

目的: 该工具的目标是提供通用分形绘图功能，允许用户探索和可视化超越标准公式的各种分形结构，增强分形生成的灵活性和多样性。

关键功能: 基于标题推断，它可能支持自定义迭代公式或参数设置，使用户能够定义并绘制任意分形，从而扩展分形研究和可视化的应用范围。