Humans are no longer necessary. So we’re getting rid of them.

https://hrc.contentdm.oclc.org/digital/collection/p15878coll84/search

事件概述： OpenAI研究员声称GPT-5解决了10个Erdős数学问题，并在另外11个问题上取得进展，但这一说法迅速被社区批评并撤回。

关键细节：

• OpenAI经理Kevin Weil在推文中称GPT-5“找到了10个之前未解决的Erdős问题的解决方案”，并描述这些问题“开放了几十年”。
• 数学家Thomas Bloom反驳称，其网站erodosproblems.com上“开放”仅表示他个人不知道解决方案，并非问题未解决；GPT-5实际上只是找到了已有研究。
• DeepMind CEO Demis Hassabis批评此事件“尴尬”，Meta AI首席Yann LeCun指出OpenAI过于自我炒作。
• 原始推文被删除，研究人员承认错误，加剧了外界对OpenAI组织压力下不谨慎的印象。

真实价值与专家观点：

• GPT-5实际被证明作为文献回顾助手有用，能帮助追踪相关学术论文，尤其适用于文献分散或术语不一致的问题。
• 数学家Terence Tao指出，AI在数学中最直接的潜力是加速繁琐任务如文献搜索，而非解决最难问题；人类专业知识在审查和整合AI生成结果方面仍至关重要。

影响： 此事件凸显了AI领域的炒作问题，并对OpenAI的信誉造成负面影响，同时强调了AI工具在学术研究中的辅助作用。

本文档是 Reddit 上 r/Ubuntu 子版块的社区指南与资源汇总，主要内容如下：

主要资源与入门指南

• 系统下载：提供 Ubuntu 24.06 LTS 桌面版的 种子快速下载 和 直接下载链接。
• 版本信息：包含 Ubuntu 26.04 LTS 的发布说明链接，以及 Ubuntu 22.04 LTS 的常见问题解答（FAQ）。
• 新手引导：设有为从 Windows 转换到 Ubuntu 的用户准备的专门指南。

社区规则与支持

• 行为准则：明令禁止恐同、性别歧视、种族歧视等不当言论，要求遵守《Ubuntu 行为准则》。
• 支持渠道：列出了多个官方和社区支持资源，包括：
  • Ask Ubuntu（问答平台）
  • Ubuntu 官方论坛
  • IRC 聊天频道 (#ubuntu)
  • 其他相关 Linux 子版块（如 Linux4Noobs, LinuxQuestions）
• 文档资料：提供了官方 Ubuntu 文档和 Ubuntu 手册的链接。

社区成员与标识

• 成员标识：Ubuntu 社区成员和 Canonical 公司员工的用户名旁会有特定图标（Ubuntu 标志或紫色“O”）以示身份。
• 申请方式：提供了申请此类身份标识的方法链接。

技术与维护信息

• 子版块样式：说明其 CSS 样式会持续更新以匹配 Ubuntu Unity 主题，并将代码开源在 GitHub 上。
• 问题反馈：提供了报告样式问题的 GitHub 链接，并告知用户若帖子被误判为垃圾信息可联系版主处理。

总结：这是一份为 r/Ubuntu Reddit 社区成员提供的综合性指南，涵盖了软件获取、社区规范、技术支持渠道以及社区内部的身份标识体系。

耳鸣神经调节器概述

核心定位：由耳鸣管理专家Steve Harrison与myNoise合作开发的声音工具，旨在帮助用户个性化管理耳鸣症状。它并非普通的声音生成器，而是一个通过定制音景辅助耳鸣干预的专业工具。

主要功能与参数：

• 预设模式：提供多种预设（如Neural Hack、Pulsatron、Trance等），用户可快速选择适合的声景组合。
• 立体声宽度：支持从单声道到宽立体声的调节。
• 磁带速度控制：可调整音频播放速度（如减速/加速、混音、重置）。
• 动画参数：包含模式（软/硬、独奏/重奏等）、速度（÷8至x8）和范围（低频/高频）设置，通过动态变化增强声音的复杂性。
• 键盘快捷键与可视化工具：支持快速操作，并提供多种可视化风格（如白色、粉色、棕色）。
• 引导冥想：内置冥想空间功能，辅助放松。

使用指南：

1. 起始步骤：将所有滑块归零，仅移动与个人耳鸣音调匹配的滑块。
2. 音量控制：保持音量最小化，仅需让生成声音与耳鸣声融合即可。
3. 渐进调整：逐步调节滑块以优化掩蔽效果，减少听觉疲劳。
4. 多层使用：可同时激活多个滑块创造复合音景。若声音无法完全掩盖耳鸣，可将其视为音频体验的一部分，采用正念方式减少对耳鸣的过度关注。
5. 预设探索：尝试不同预设（如Neural Hack），找到最适合个人情况的组合。
6. 动画功能：当使用多个滑块时，可启用动画功能（尤其在高速设置下）以增加声音层次的复杂性。

设计理念：

• 工具通过多样化的音景吸引听觉系统注意力，帮助用户将耳鸣“置于背景中”，促进放松与情绪调节。
• 长期使用中，平衡音量使耳鸣勉强可闻，可能比完全掩蔽更有效。

技术说明：

• 所有音景均基于实地录制的自然声音或音乐家创作，未使用生成式AI技术。
• 工具自2016年发布以来持续运行，依赖用户支持维护。

附加信息：

• 提供用户案例分享与社区支持渠道。
• 开发者强调脱离社交媒体噪音，通过直邮通讯保持与用户的直接沟通。

https://www.youtube.com/watch?v=o4TdHrMi6do

Python Web服务的未来：无GIL时代

Python 3.14发布，其"free-threaded"解释器变体的改进引发关注。相比Python 3.13，主要变化包括：free-threaded支持达到第二阶段（不再视为实验性），实现完成并优化，性能惩罚从35%降至5-10%。

作者基于Web开发视角，对比free-threaded与标准GIL版本在Web应用中的表现。测试使用FastAPI（ASGI）和Flask（WSGI）框架，包含JSON响应和模拟I/O操作的端点，通过Granian服务器和rewrk负载工具进行基准测试。环境为单机（Gentoo Linux，AMD Ryzen 7 5700X，CPython 3.14/3.14t）。

ASGI基准测试结果

• JSON端点：free-threaded版本吞吐量比标准版本低约20%，但内存使用更低。例如，单worker时标准版本RPS为30415，free-threaded为24218；内存从90MB降至80MB。
• I/O端点：两者吞吐量相似，free-threaded版本略优。例如，双worker时标准版本RPS为22775，free-threaded为23473；内存从148MB降至91MB。

WSGI基准测试结果

• JSON端点（CPU-bound）：free-threaded版本吞吐量显著更高，但内存使用大幅增加。例如，单worker时标准版本RPS为18773，free-threaded为70626；内存从101MB升至356MB。
• I/O端点：两者性能相似，但free-threaded版本内存使用较高。例如，双worker时标准版本RPS为12566，free-threaded为12444；内存从180MB升至286MB。

结论

• 性能权衡：free-threaded版本在纯Python代码执行上可能较慢，但在I/O-bound任务中表现相当或更优，延迟更低。
• 内存使用：ASGI场景下内存使用降低，利于成本优化；WSGI场景下内存增加，可能需要进一步优化。
• 并发简化：free-threaded Python消除了GIL相关的并发限制，简化了部署和并发模型。对于ASGI，无需为使用更多CPU而增加进程；对于WSGI，无需再平衡线程数或使用gevent等库。
• 未来前景：free-threaded Python有望提升Web服务的开发效率和资源利用率，尤其适合大规模部署。尽管目前存在内存使用问题，但通过优化可进一步改善。作者认为，无GIL的未来对Python Web服务意义重大。

Duck-UI：面向 DuckDB 的浏览器端 SQL 集成开发环境

核心概念
Duck-UI 是一个基于浏览器的 SQL 集成开发环境（IDE），专门为 DuckDB 设计。它允许用户直接在网页浏览器中编写、执行和查询 SQL，无需安装本地软件或配置服务器。

主要特点

1. 浏览器内直接运行

   • 所有操作均在浏览器中完成，利用 WebAssembly 技术运行 DuckDB，确保数据处理本地化。
   • 无需后端服务器，提升数据安全性与隐私性。

2. 交互式 SQL 编辑

   • 提供语法高亮、自动补全等现代代码编辑功能，优化 SQL 编写体验。
   • 支持实时查询结果预览，方便快速验证语句。

3. 数据管理集成

   • 可导入本地文件（如 CSV、Parquet）或远程数据源，直接在浏览器中进行分析。
   • 内置 DuckDB 的强大查询能力，适合处理中小型数据集。

4. 轻量与便捷性

   • 启动快速，无需复杂配置，适合临时数据分析、教学演示或快速原型开发。
   • 跨平台兼容，只需支持现代浏览器即可使用。

适用场景

• 数据分析人员快速探索和验证 SQL 查询。
• 开发者测试 DuckDB 功能或集成方案。
• 教育场景中演示 SQL 和数据库操作。
• 保护敏感数据的本地分析需求（数据不上传至服务器）。

技术基础
基于 DuckDB 的 WebAssembly 版本，结合前端框架构建交互界面，确保性能与易用性平衡。

总结
Duck-UI 通过浏览器环境简化了 DuckDB 的使用门槛，提供了一个直观、轻量且安全的 SQL 工作空间，尤其适合需要快速执行查询或保护数据隐私的场景。

匿名收据打印机项目总结

项目概念

作者受朋友网站启发，在自己的网站创建了一个匿名留言页面（ping.aschmelyun.com）。用户提交消息后，会通过连接的收据打印机在桌面上实时打印出来，实现比推送通知更物理的互动方式。

硬件配置

• 打印机：Epson TM-T88IV热敏收据打印机（eBay购得，约50美元）。利用热敏纸遇热变色原理工作，无需墨水或墨盒。
• 连接设备：树莓派4代，通过USB口连接打印机。打印机通过特殊文件/dev/usb/lp0与系统通信。
• 通信协议：使用ESC/POS指令格式与打印机交互，作者通过PHP的专用软件包简化操作。

网站开发

• 技术栈：使用Laravel框架构建完整网站，包含前端页面、验证逻辑和数据库存储。
• 用户提交流程：
  1. 消息经过服务器端验证（最大1024字符、5位随机交易号、仅限ASCII字符）。
  2. 特殊字符（如弯引号）会被替换为标准字符，以适配打印机有限的字符集。
  3. 提交后，消息格式化为ESC/POS指令发送至打印机，包含时间戳和交易号。
• 设计理念：无JavaScript，纯服务器端验证，保持简单可靠。

部署方案

• 本地托管：网站直接运行在连接打印机的树莓派上，避免中间服务器。
• 容器化：使用Docker打包网站代码，将树莓派的USB设备文件映射到容器内。
• 公网访问：通过Cloudflare Tunnels将树莓派的本地服务（端口8000）安全暴露至互联网，自动提供HTTPS和DNS支持。

反馈与反响

• 消息量：上线一个月收到来自全球的超过1000条匿名消息。
• 内容类型：包括ASCII艺术、诗歌、食谱、迷因、虚假收据等，多数用户友善。
• 互动特色：作者购买世界地图，将消息中的地理位置与交易号对应，用大头针标记（已有40个国家/地区约200个标记）。
• 用户反馈：许多人赞赏这种通过物理媒介实现匿名连接的简单创意。

技术限制与备注

• 打印机仅支持基础ASCII字符，复杂符号或表情会显示为问号。
• 设备较旧，无官方驱动，需通过树莓派中转通信。
• 源代码已在GitHub公开，作者通过社交媒体（Twitter、TikTok等）推广项目。

项目意义

作者旨在通过轻松、有趣的方式增加互联网中的物理互动体验，项目兼具技术实现与社交趣味性。

总结：形式化数学的益处超越错误检测

本文探讨了形式化数学的价值，指出其益处不仅限于通过计算机检查证明错误。作者以个人经历和TypeScript的类比为引，阐述了形式化数学如何提升数学实践。

个人动机与背景

作者基于对数学、计算机和谜题的热爱，在Lean中形式化陶哲轩的《实分析》练习和Riehl的《语境中的范畴理论》辅助内容。尽管个人兴趣驱动，但作者认为形式化数学具有更广泛的意义。

TypeScript类比的启示

TypeScript作为JavaScript的静态类型系统，主要价值不仅是捕获错误，还包括：

• 驱动开发工具：类型信息支持IDE功能，如点击跳转到定义、查找用法、重构等，提升开发效率。
• 作为设计语言：类型注解可作为规范语言，帮助团队在实现前进行设计讨论。
• 即时正确性反馈：集成到IDE中，提供实时错误提示（如红色波浪线），加速开发过程。

形式化数学的类似益处

通过Lean等工具形式化数学，可获得以下额外益处：

• 驱动数学工具：超越传统LaTeX，提供IDE支持，如点击定义、悬停显示语句、自动生成文档（如mathlib4_docs）、非字符串搜索和重构。形式化能保证数学各部分都能生成此类工具，例如Stacks Project尝试类似效果但依赖非形式化方法。
• 分析元数学趋势：通过固定定理名称和跨项目导入，自动生成证明的元结构，便于发现替代证明路径，并可视化现代数学的依赖图，促进数学研究的系统性分析。
• 仓库与版本控制：将数学结果转化为库，带有版本和依赖管理。这能解决结果撤回时的依赖问题，使数学真理的演化更可靠和流畅。

形式化的代价与展望

• 形式化需要证明许多平凡证明，但数学家本身不排斥此类证明；Lean要求所有步骤都有证明，不过强大策略（tactics）能自动化处理部分证明。
• 许多益处仅需形式化定理陈述而非完整证明，Kevin Buzzard等人的工作已证明形式化陈述本身具有价值。
• 最终，这些额外益处是否足以促使数学家采用新工具并改变实践方式，仍有待观察。

总之，形式化数学通过提供工具支持、元分析和版本控制，使数学过程更高效、协作性更强，尽管需要适应新的工作流。

微调技术的回归：文章摘要

微调技术在经历了几年沉寂后，可能正进入一个复兴期。新的工具、方法以及对可控性的增长需求，正在推动AI从通用模型向定制化模型转变。

微调的历史与沉寂

• 早期兴起：在Transformer架构（2017）和BERT（2018）等模型出现后，通过微调预训练模型来适应特定任务成为NLP领域的标准方法，取代了从头构建模型的做法。
• 迅速被取代：随着大语言模型（LLM）参数爆炸式增长，全参数微调（FFT）成本变得极其高昂。同时，通过提示工程和检索增强生成（RAG） 已能达到微调约90%的效果，且操作负担小得多，导致微调在生产系统中的占比降至10%以下。

微调回归的驱动因素

1. 基础设施改善：GPU即服务平台（如Together.ai）降低了微调的门槛和启动时间。
2. 模型迭代趋于稳定：新模型的进步更多是渐进式而非革命性的，降低了微调模型迅速过时的风险。
3. 开放模型生态：Mistral、Llama等开放权重模型提供了可自托管、检查和持久化微调变体的选择，避免了供应商锁定。
4. 达到提示工程的天花板：许多企业需要模型掌握其特定词汇、语气、分类和合规规则，这超出了通用模型或简单提示的能力。

现代微调的新面貌与挑战

• 技术进展：LoRA 成为标准参数高效微调方法。新建议（如Tinker平台提出）包括：在所有线性模块应用LoRA、调整关键超参数（如更高学习率、更小批量大小），以及通过数学或逻辑验证明确定义奖励函数。
• 模块化与可组合性：现代流水线可以部署一个基础模型并搭配多个LoRA适配器，在推理时根据查询动态路由，实现了专业化和灵活性。
• 主要挑战 - 评估：微调后模型的评估仍然困难。人类评估昂贵缓慢，基准测试易过时或受数据污染影响，自动化评估方法（如G-Eval）也可能引入偏差。

未来展望

• 持续学习：像Tinker这样的平台支持在线强化学习，允许模型根据自身输出的评分进行持续更新，使微调更接近持续学习。
• 所有权与战略控制：微调正从单纯追求边际准确率，转变为实现对模型的所有权、对齐和持续改进的战略工具。
• 个性化部署：技术发展使个人AI计算机和本地化、高度专业化代理的运行成为可能，安全性和成本将推动早期采用，而微调将是实现其高性能的关键。

核心主旨

本文探讨了“自我友谊”与“他人友谊”之间的深刻联系，强调爱自己是爱他人的前提，且两者在心理发展和人际关系中具有相互塑造的作用。

自我与友谊的内在联系

文章引用荣格与亚里士多德的观点指出，内心的冲突会阻碍个体爱自己和爱他人。逃避自我最终会带来反噬，健康的自我关系是建立良好人际友谊的基础。

关系的相互性与环境影响

个体的自我认知和依恋模式不仅反映自身特质，也深受早期照顾者态度及更广泛的社会、家庭、政治环境影响。现代心理学（如精神分析和内部家庭系统疗法IFS）继承了古希腊追求内外和谐的理念，致力于通过觉察内心动态、与自我的各个部分“交朋友”来缓解心理冲突。

友谊的实践与心理应用

• 动态反馈：友谊是活跃且动态的，能够提供关系处于良性或恶性循环的反馈，使人感到振奋或被消耗。
• 性格差异的整合：内向者需通过发展人际关系来改善自我关系，外向者则需通过独处和内省来结交自我。心理治疗的共同目标是实现内心的整合与和谐。
• 直面改变与培养同理心：建立自我友谊需要直面真实的勇气与“严厉的爱”。认识到早期环境对行为的塑造，有助于减少自我责备与受害者心态，培养同理心，从而引导内心的“批评者”发挥更积极的保护作用。

理想友谊的特质

理想的友谊（以及心理治疗关系）兼具温暖的爱与理性的觉察（如苏格拉底的辩证思维）。尽管直面真实的自我如同拥抱“滚烫的红铁”般痛苦，但这正是通往真正爱与深层亲密关系的必经之路，能够最终促成自我与他人的和解。

德克萨斯农工大学的一项新研究表明，休斯顿高温问题的加剧与城市中的废弃土地和建筑密切相关。由景观建筑与城市规划系讲师丁丁·任博士领导的研究发现，废弃建筑和铺砌地块会显著提高地表温度，而有植被覆盖的空地则有助于降温。

研究方法与核心发现 研究团队使用了超过1,400张无人机图像及NASA卫星数据，绘制了七个地点（包括住宅区、商业带和工业区）的街道级热力图。这些地点均存在高于平均的地表温度和高度社会脆弱性。热力图显示：

• 废弃建筑和铺砌地块是主要的热源，可使地表温度升高多达20华氏度。
• 树木和有植被的空地则形成相对凉爽的区域。
• 空地表面类型很重要：裸土或砾石地块的温度高于有植被的地块，但仍低于建成区。

据研究估计，休斯顿约有45,000英亩空地和10,000英亩废弃建筑。即使是工业区中一小片废弃建筑群，也能显著推高周边温度。

负面影响与脆弱人群 升高的地表温度导致人行道、公交站等公共空间变得极度危险。研究报告指出：

• 低收入居民为节省开支会减少使用空调，更易暴露在高温中。
• 混凝土和屋顶吸收的热量会在夜间缓慢释放，导致夜间温度升高，加剧热相关疾病风险。
• 居民被迫在无遮荫的极端高温中步行或骑车，健康长期受损。任博士本人也曾在休斯顿步行时遭遇中暑。
• 全市电网因空调负荷而承压。

解决方案与展望 研究提出，通过小规模干预措施可以改善局面：

• 在低收入社区增加树木和绿地。
• 将空地有效开发为绿色基础设施花园或遮荫区，利用其进行气候适应，减少城市热岛效应。 任博士计划将热数据与CDC健康记录结合，进一步研究高温暴露与疾病的关系，并希望研究结果能指导城市规划者优先为最热、最脆弱的社区制定降温策略。该研究的启示可能适用于其他城市，尤其是面临更多废弃空地的收缩型城市。

演讲摘要：责任问题

本次演讲探讨了软件部门如何主动定义自身责任，以避免业务伙伴基于其误解来定义。核心观点是：软件开发本质上是探索和发现的过程，而非按计划执行任务。传统的、基于项目的治理模式（承诺具体功能和日期）会带来糟糕的结果。

问题根源：误解与偏见

• 业务伙伴常将软件开发类比为“完成作业”，认为其关键在于编码执行，因此习惯性地要求软件部门承诺具体的功能和交付日期。
• 这种误解导致了“项目制治理”，其成功标准是“按时、按预算、按规格交付”，但这与软件开发固有的不确定性相悖。
• 软件部门若不主动定义责任，业务伙伴就会用他们熟悉的“功能和日期”模式来定义。

解决方案：产品投注

演讲者提出了“产品投注”作为解决责任问题的框架，旨在将关注点从“功能”转向“价值”。

• 定义：一次产品投注是对一项业务成果的战略投资，表述为一个包含两部分的句子：先说明业务目标，再简述实现手段（例如：“通过部署战象部队来震慑罗马步兵”）。
• 核心要素：
  • 业务成果：投注旨在实现的具体目标。
  • 赞助商：领导团队中倡导此成果的成员。
  • 估计现值：投注成功所带来的业务价值的估算值（不追求精确测量）。
  • 最大投注额：领导团队基于风险与价值（而非成本估算）愿意投入的上限。
• 运作方式：软件部门承诺每年交付一定总额的“估计价值”。领导团队评估并选择一系列投注，并为其分配“最大投注额”。开发团队通过“构建-衡量-学习”的迭代循环来尽早验证投注是否成功。

价值估算方法

“估计现值”通过一个财务模型计算，主要包括五个部分：

1. 向新客户销售：估算新市场可获取规模及占有率。
2. 向现有客户追加销售：估算现有客户购买新服务的潜力。
3. 客户留存：估算对降低客户流失率的贡献。
4. 成本节约：估算因该投注而减少的开支。
5. 支出：估算因该投注而产生的额外经常性开支。 将以上各部分的未来价值折现并加总，即得到投注的“估计现值”。数字本身是估计的，但关键是将讨论从功能和日期引导至价值上。

实施路径与经验

演讲者以自身在OpenSesame担任工程副总裁的经历为例，分享了建立信任并逐步推行此模式的路径：

1. 奠定基础：重组团队结构，引入“有价值的增量”概念，使工作聚焦于业务成果。
2. 建立可靠性：采用“群体智慧”估算方法，提供可靠的交付预测（例如，75%的情况下提前交付）。
3. 提升透明度：跟踪并报告“浪费”（如维护、故障）与“增值工作”的时间比例，使领导团队理解真正的瓶颈。
4. 持续推动：经过多年多次尝试、获取关键领导（CEO/CPO）的支持，并简化财务模型后，最终成功在领导团队中推行了产品投注。

结论

软件部门可以通过“产品投注”框架来主动定义自身的责任——对业务成果的估计价值负责，而非对具体功能和日期负责。这有助于与业务伙伴建立基于结果的信任关系，将对话从“何时完成什么”转变为“如何共同创造更多价值”。

https://aeon.co/essays/why-an-abundance-of-choice-is-not-the-same-as-freedom

2007年发生了什么？

本文旨在探讨自2007年左右开始出现的一系列令人不安的社会趋势转折。受“1971年到底发生了什么？”网站的启发，作者创建了一个收集相关图表的站点，展示了21世纪00年代末期众多关键指标出现的拐点。

主要趋势变化

自2000年代末起并贯穿2010年代，多个领域呈现出令人担忧的趋势：

• 福祉指标下降：幸福感和生活满意度开始走弱。
• 青少年心理健康危机：抑郁、焦虑和自残现象急剧上升。
• 认知与学业表现停滞：在经历了数十年进步后，国际测试成绩和流体智力等认知表现指标出现停滞或下降。
• 生产力增长放缓：作为经济繁荣基石的劳动生产率增长变得极为缓慢。

作者的假设与说明

作者指出，在此期间发生了经济大衰退和COVID-19等重大冲击，这些无疑至关重要。然而，作者的假设是：iPhone的推出——以及向现代移动互联网时代的广泛转变——极大地影响了人们的注意力，并进而影响了全球的生活结果。

作者明确表示，这并非断言这些趋势由单一原因导致。相关性不等于因果性。但一个引人注目的事实是，如此多的图表在2007年附近出现对齐的拐点，且其变化斜率随着智能手机普及率的提高而加剧。

文章状态与互动邀请

作者表示这是一个进行中的工作，希望随时间推移使论证更加有力。尽管目前论证可能略显不足，但作者认为自2007年以来发生了某些引人瞩目的变化是显而易见的。

文中提供了作者的联系信息（邮箱、社交媒体），欢迎有兴趣在此领域进行研究的人士与其交流。

Factorio 2.0 开发技术要点总结

确定性多线程的挑战

一个由玩家报告的、涉及模组API和多台电脑（Windows与Linux）的同步失效（desync）问题，经调查最终定位到自2017年7月以来存在的一个线程确定性问题。问题需同时满足以下四个条件才会触发：

1. 模组监听区块生成事件并修改区块瓦片。
2. 模组请求生成多个区块。
3. 模组强制立即生成所有请求的区块。
4. 游戏运行于CPU核心数不同的两台电脑上。

根本原因：立即生成区块的逻辑会尝试使用所有可用CPU核心，但实现方式导致核心数差异会轻微改变区块生成结果。修复将在2.0版本实装，此案例凸显了实现确定性多线程的复杂性。

多人游戏自动暂停功能的改进

针对专用服务器的“最后一人断开自动暂停”功能，解决了两个边缘情况：

1. 玩家加入时的瞬间恢复：之前玩家加入自动暂停的服务器时，游戏会立即恢复运行（即使玩家尚未完全加载）。2.0版本将使服务器保持暂停状态，直到至少一名玩家完全加载进入游戏。
2. 玩家加入时的自动暂停选项：针对大型地图或慢速网络导致玩家加入时需要长时间追赶游戏进度的问题，2.0版本新增“玩家加入时自动暂停”选项，可在有玩家正在加入时自动暂停游戏。

建筑机器人任务处理的性能优化

长期以来，建筑机器人因“缺少材料/机器人”的警报（累积达600个）而停止工作的问题，根源在于任务分配算法的复杂度。原算法检查“物流网络是否覆盖某实体”的复杂度为O(Roboport-Count)，与玩家建造的机器人数量成正比，可能极其缓慢。游戏每Tick仅处理少量任务，导致大量任务等待并产生警报。

优化方案：开发者利用了游戏内已有的、用于计算机器人码头覆盖区域矩形并集的逻辑，生成了一组去重的矩形区域。通过对这些矩形区域进行排序，实现了二分查找。这使得范围检查的复杂度从对机器人码头数量O(N)的线性复杂度，降低为对矩形并集区域数量O(logN)的对数复杂度，使该检查“几乎无成本”。基于此性能提升，2.0版本将能显著加快建筑机器人任务的处理速度，有望解决该长期存在的问题。

RFCs：互联网的蓝图

核心概念：互联网的运行依赖于共同的标准与协议。RFC（征求意见稿） 正是定义这些标准、阐述互联网技术如何工作以及系统如何交互的官方技术文档，它们构成了互联网的“蓝图”。

历史背景：

• 互联网并非一人发明，而是数十年发展的产物。其雏形可追溯至1958年美国成立的ARPA，其初期目标是连接全美研究人员以共享成果。
• 早期计算机使用打孔卡、磁带等物理介质交换数据，效率低下。为解决地理分隔计算机间的可靠通信，分组交换网络技术被开发出来，并最终形成了ARPANET。
• ARPANET是首个实现分组交换的网络，奠定了现代互联网的基础。随着网络规模扩大，设备与节点间的协同运作迫切需要统一的规则与标准。

RFC的定义与特点：

• 起源：RFC系统由Steve Crocker于1969年创立，最初用于记录和分享ARPANET开发的非正式笔记。第一份RFC（RFC 1）即由他撰写。
• 内容：涵盖核心标准、通信协议、指南和设计思想等广泛主题，由工程师和科学家撰写。
• 编号与权威性：每份RFC发布时被分配一个唯一的永久编号，便于历史追溯和精确引用。Jon Postel曾长期担任RFC编辑，管理并奠定了许多关键RFC（如定义TCP/IP和DNS的文档）的基础。
• 管理机构：如今，RFC由互联网工程任务组（IETF） 维护和发布。并非所有RFC都是正式标准，但许多已成为互联网架构的核心（如TCP/IP， HTTP， DNS）。

为何今天仍然重要：

• RFC是互联网标准的官方权威来源，确保了全球网络的一致性。
• 研究RFC不仅能让开发者了解规则，更能理解规则背后的原理，从而构建可靠、可互操作的软件与系统。
• 例如，构建DNS服务器的首要步骤是阅读相关RFC，而非直接复制代码。

如何查找与阅读：

• 官方来源：RFC编辑网站（RFC Editor）管理所有RFC的发布和存档。
• 工具辅助：IETF数据追踪器（IETF Datatracker）可查看文档历史和状态；RFC阅读器（RFC Reader）提供更好的在线阅读体验。
• 阅读建议：
  1. 理解关键词：RFC中大量使用MUST、SHOULD、MAY等标准化关键词（定义于RFC 2119），它们精确表述了实现要求的强制程度，对确保互操作性至关重要。
  2. 注意时效性：RFC是存档文档，发布后不可修改。较旧的RFC可能已被更新版本取代，因此需确认所读文档是否为最新有效版本。
  3. 系统性阅读：应通读RFC全文及其引用的材料，避免片面理解。

结论：RFC记录了互联网工程师数十年来构建的每一个协议与标准。理解这些基础文档，是成为卓越技术工作者的途径。鼓励读者勇于探索，深刻理解，并可能在未来贡献自己的RFC，参与塑造互联网的未来。

百年拉链迎来首次重大升级：YKK推出无织带“AiryString”拉链

日本拉链制造商YKK（全球约一半拉链由其生产）推出名为AiryString的革命性拉链设计，这是该基础日常构件在约100年来的首次重大升级。

核心革新： AiryString拉链彻底去除了传统拉链两侧的织物缝带（tape），仅保留链齿和拉头。这一改变使得新拉链更轻、更纤薄、更具灵活性，能更好地与服装面料融为一体，穿戴时感觉更柔软、顺滑，并能减少对身体的机械感。

开发背景与挑战：

• 传统拉链自20世纪10年代以来结构基本未变，其织带为缝纫提供基础，但也带来了刚硬感。
• 随着服装面料向轻量化、高弹性、技术性发展，传统拉链与新型面料的结合需求日增。
• 去除织带带来了巨大工程挑战：需要重新设计链齿、开发全新制造工艺和专用缝纫机（与工业缝纫机领导者JUKI公司合作，项目始于2017年）。

优势与效益：

1. 对产品与穿戴者：服装更平整贴身，运动更自然，拉链操作更顺畅。
2. 对制造商：简化缝纫流程，减少劳动力；减少材料消耗和染色过程中的用水，降低碳排放。
3. 环保性：提供100%可回收材料版本，从材料和生产工艺上减少环境足迹。

市场应用与前景：

• 已被Descente Japan、The North Face（用于新高端系列）、Earthletica等品牌采用测试。
• 初期因需要专用缝纫设备，主要适用于对设计和性能有要求的品牌。随着成功案例积累，有望在行业内更广泛推广。

YKK背景：成立于1934年，通过垂直整合（自产机器、模具、纱线）保持创新主导权。此次升级延续了其“Cycle of Goodness”（共荣共生）的哲学及“Little parts. Big difference.”（小部件，大不同）的理念，通过做“减法”实现了产品的迭代进化。

文章摘要：以低于2000美元进行DNA测序的实践探索

核心目标与背景

• 目标：探索个人能否以低于2000美元的成本，在家庭环境中使用Oxford Nanopore MinION设备完成人类DNA测序。
• 背景：DNA测序成本已大幅下降，但传统商业服务通常需要第三方处理样本，存在隐私风险。作者与朋友们希望绕过第三方，直接从血液样本获取基因组数据。

DNA测序技术简史

1. Sanger测序时代（1960-2003年）：通过DNA聚合酶终止法结合凝胶电泳读取序列，成本极高（首个人类基因组测序耗资23亿美元，历时13年）。
2. Illumina并行化测序时代（2005年-2010年代）：采用“合成测序”技术，大幅提升效率。
3. 纳米孔单分子测序时代（当前）：直接通过纳米孔电极读取DNA单个碱基的电信号，无需切割DNA，速度快且设备便携。

实验设备与成本

• 主要设备：Oxford Nanopore MinION入门套件（1000美元，含USB测序仪、流动池和制备试剂）。
• 辅助材料：Zymo DNA提取试剂盒（免费样品）、迷你离心机（50美元）、实验室耗材（50美元）、DIY热循环仪替代品（电水壶+保温箱，20美元）。
• 总成本：约1100美元。

实验步骤与挑战

1. 样本采集：需采集200μL血液。因刺血针规格不当，采血过程疼痛且繁琐，需多次穿刺。
2. DNA提取：使用Zymo试剂盒从血液中分离白细胞DNA，通过离心和酶解去除杂质。
3. 文库制备：按Nanopore试剂盒要求添加接头分子，以便纳米孔识别DNA序列。
4. 测序运行：将制备好的DNA注入MinION流动池，通过USB连接电脑，使用MinKNOW软件实时进行碱基识别（通过神经网络分析电信号）。

结果与局限性

• 测序产出：两次运行共测序约1千兆碱基，覆盖约13%的人类基因组（人类基因组约3千兆碱基）。
• 问题与污染：
  • 75%数据为人类DNA，25%为细菌污染。
  • 流动池部分孔道失效（仅623/2048个孔工作）。
  • 覆盖度不足，无法可靠检测单核苷酸多态性（如疾病风险基因）。
• 结论：虽然结果实用性有限，但成功以低成本完成了部分基因组测序，验证了家用纳米孔测序的可行性。

关键意义

• 证明了个人用户可使用纳米孔技术以低于2000美元的预算进行DNA测序，推动了基因组学的去中心化探索。
• 实验过程中面临的技术挑战（如样本处理、设备故障）反映了非专业环境下的实际限制。

GNU Octave Meets JupyterLite: Compute Anywhere, Anytime! We are thrilled to announce the newest member of our JupyterLite kernel ecosystem: Xeus-Octave. Xeus-Octave allows you to run GNU Octave code …

该内容是一个错误提示消息，用于通知用户在使用 x.com 时可能遇到的技术问题。它首先安抚用户，表明出现问题但无需担心，并建议再次尝试操作。消息指出，一些隐私相关扩展可能导致在 x.com 上出现兼容性或功能问题。为解决此问题，用户被建议禁用这些扩展后重试。整体上，这是一个简洁的故障排除指导，旨在帮助用户快速恢复正常使用。

宾州州立大学和俄勒冈州立大学研究人员的一项研究表明，普通用户很难识别用于训练人工智能系统的数据中的系统性偏见，即使偏见以非常直接的方式呈现。

• 核心发现：研究人员构建了一个用于识别面部表情的AI原型系统，其训练数据存在严重的种族偏见——全部使用白人面孔代表“快乐”情绪，全部使用黑人面孔代表“不快乐”情绪。然而，在实验中，大多数参与者未能察觉训练数据中的这种系统性关联，除非AI系统本身展现出了明显的、针对特定群体的错误表现。
• 实验设计与过程：
  • 研究团队通过三个独立实验（共769名参与者）测试了用户在不同场景下对偏见的感知。
  • 实验一：展示了快乐/悲伤图像在不同种族间不均衡的分布。
  • 实验二：展示了某些种族群体在训练数据中代表性不足的情况（如所有类别图像均为白人）。
  • 实验三：包含了前两种情况的变体以及无偏见对照组，并特意招募了等量的黑人和白人参与者。
• 关键结果：
  • 在绝大多数情况下，参与者未察觉训练数据中种族与情绪被错误关联的偏见。
  • 只有当AI系统表现出明显的性能偏见（如准确识别白人情绪，却错误识别黑人情绪）时，人们才更可能意识到问题。
  • 黑人参与者比白人参与者更有可能察觉到种族偏见，尤其是当训练数据过度将黑人与悲伤情绪相关联时。
• 研究解读：
  • 研究指出，人们往往默认AI是中立的，这种信任导致他们忽视了训练数据本身可能存在的问题。
  • 性能偏见极具说服力：当人们观察到AI带有偏见的结果时，他们会据此形成判断，而忽略去审视产生这些结果的训练数据的特征。
  • 研究作者强调，这更多是一个人类心理学和媒体素养问题，而非单纯的技术问题。
• 未来方向：研究人员计划开发更有效的方法，以向用户、开发者和政策制定者传达AI中固有的偏见，并致力于通过提升媒体和AI素养来改善公众对算法偏见的理解。

事件概要

特朗普政府向九所精英大学提出一项“联邦协议”，作为换取持续获得联邦资助（包括研究资金、学生贷款等）的条件。该协议要求大学进行一系列重大改革，但遭到了多数大学的拒绝。

协议主要内容

• 人事与课程改革：要求大学聘用更多保守派学者，并关闭“故意打压、贬低或煽动对保守思想实施暴力”的机构单元。
• 学术与招生自主权：要求大学放弃对招生和雇佣决策的控制权。
• 社会政策定义：要求大学在性别认定上采用“生物学”定义。
• 学费与校园管理：五年内不得提高学费，并限制学生抗议活动。
• 机构立场：大学需在社会议题上保持“中立”。

大学回应

截至最初截止日期（10月20日）临近时，已有四所大学公开拒绝签署协议：

1. 宾夕法尼亚大学
2. 布朗大学
3. 南加州大学
4. 麻省理工学院（MIT）

后续更新中，又有两所大学加入拒绝行列：
5. 弗吉尼亚大学
6. 达特茅斯学院

行业组织反对

美国教育委员会（代表超过1600所高等院校）发表声明，呼吁撤回该协议，认为其是对大学基本自由的“前所未有的政治审查”，将导致“政府对大学教学内容、人员构成的控制”，属于典型的联邦过度干预。

本文档详细介绍了如何从零开始制作一个可直接连接太阳能板（无需电池、充电控制器或电压调节器）的电阻加热元件。该元件用于作者设计的绝缘太阳能电炊具、咖啡机和暖脚器等设备中。

为什么自制加热元件

作者最初使用商用加热元件效果不佳。自制的优势包括：成本更低；避免了商用元件可能内置的恒温器导致的温控复杂化；能精确匹配太阳能板的电压（如“12V”太阳能板的Vmax约为18V），无需额外转换器；通过将元件封装在砂浆中，解决了固定困难和湿气侵入导致的火灾隐患。

基本原理

电阻加热利用电流通过导体时遇到的阻力产生热量（焦耳定律）。镍铬合金丝因其较高的电阻率，是制造加热元件的理想材料，通电时会发热至白炽状态。

所需材料

主要包括：镍铬合金丝（可从旧电器上拆解）、耐热硅胶绝缘电缆、可选的热开关和热熔断器、建筑砂浆（用于封装），以及制作可拆卸热砖所需的厚瓷砖。

核心计算与制作步骤

1. 计算所需电阻值：根据太阳能板标称的最大功率点电压（Vmax）和电流（Imp），利用欧姆定律（电阻R = 电压V / 电流I）计算。例如，对于18V / 5.55A的太阳能板，所需电阻约为3.24 Ω。
2. 确定合金丝长度：购买或测量所用镍铬合金丝单位长度的电阻率（如Ω/m），然后计算获得目标电阻值所需的长度。重要提示：包装标注可能不准，应实测1米线段的电阻来校准计算。
3. 优化布局：若计算出的单股线长度过短，无法均匀分布加热面积，可采用多股线并联方式。并联会降低总电阻，因此每股线需相应加长（如双股并联，每股长度应为单股的2倍）以保持总电阻不变，同时增加总长度，便于均匀布线。
4. 准备合金丝：剪下所需长度的合金丝（需额外预留约4厘米用于焊接）。为便于操作，可将其绕成弹簧状线圈。
5. 添加安全装置（强烈建议）：为防止过热，可在电路中串联一个热开关和一个热熔断器。热开关在达到设定温度（如200°C）时断开，温度降低后重新闭合；热熔断器作为备用，在更高温度（如240°C）时一次性熔断。它们应被嵌入砂浆中以准确感温。
6. 焊接与电路连接：镍铬合金丝不易上锡焊接。方法是先给耐热电缆上锡，再将合金丝紧密缠绕在电缆端部，最后用大量焊锡覆盖包裹固定。最终电路连接顺序应为：太阳能板正极线 → 开关 → 耐热电缆 → 热开关 → 热熔断器 → 镍铬合金电路。
7. 封装加热元件：有两种方法：
   • 直接嵌入设备：将电路固定在烹饪/加热设备底部，用砂浆层覆盖，上方即为加热腔室。
   • 制作可拆卸热砖：将电路置于砂浆中，夹在两块厚瓷砖（如陶瓦）之间压实，预留电缆伸出。干燥48小时以上后即可使用。此方式便于更换维修。

测试站设置（可选）

为了在无阳光时测试或校准，可搭建一个测试站。使用一个容量足够的直流电源（如12V/24V），连接一个升降压转换器，将其输出调至目标太阳能板的Vmax（如18V），即可模拟太阳能板为加热元件供电，用于测试电路和精确测量电阻值。

https://www.nytimes.com/2025/10/19/nyregion/432-park-avenue-condo-tower.html

VisiCalc 在 Apple II 上的应用

VisiCalc 是1979年推出的第一个电子表格软件，专为 Apple II 设计，由 Dan Bricklin 构思、Bob Frankston 编写。它彻底改变了个人计算机的用途，将计算机从专业工具转变为商业和财务分析的必需品。据估计，当时25%的 Apple II 销售（单价相当于2025年的1万美元）完全是为了运行 VisiCalc。

功能与设计

• 界面布局：采用网格结构，列标识为字母（A、B、C...），行标识为数字（1、2、3...），形成类似“A1”的单元格寻址系统，这一设计沿用至今。
• 操作方式：通过“斜杠菜单”（输入 / 调出）访问功能，如 /F$ 设置货币格式、/WV 垂直分割窗口。破坏性操作（如清除整个表格）需要确认。
• 内存管理：状态栏显示剩余内存（以KB为单位）。当表格增长时，内存动态分配但不会自动释放，需保存并重新加载以优化内存占用。
• 公式与函数：支持函数如 @sum()、@average() 和 @max()，可嵌套使用。函数会随表格重新计算自动更新。
• 复制功能：通过 /R 命令复制单元格公式，可选择相对引用（随新位置调整）或固定引用，这一概念延续至现代电子表格。
• 局限性：原始版本仅支持40列显示（后续有80列扩展但未普及）、缺乏图表功能（插件后期推出）、处理复杂计算时速度较慢。

使用体验与教程

文章作者通过 AppleWin 模拟器在 Windows 11 上运行 VisiCalc VC-208B0-AP2 版本。教程分为四部分，逐步引导用户理解电子表格概念、对比传统纸笔的优势、掌握高级功能。手册质量很高，由专业编写并重写，旨在提供清晰的指导。

实际应用案例

文章提到一本1980年代的农业手册《动物营养与饲养的电子表格应用》，详细展示了 VisiCalc 如何用于生猪饲料配比计算。该书强调在建立表格前需彻底理解问题、确定所需输出和输入，并手动测试公式。这体现了 VisiCalc 的灵活性和通用性，既能用于华尔街财务分析，也能应用于农业生产。

与现代电子表格的对比

作者指出，尽管界面简陋，VisiCalc 的许多核心概念被现代软件（如 Excel、Google Sheets）继承，包括：

• A1 单元格表示法
• 以 + 开始输入公式
• 可调列宽
• @ 函数表示法（Excel 仍支持）
• 输入栏
• 查找表
• 布尔逻辑函数

数据导出与兼容性

将 VisiCalc 数据导入现代应用程序过程繁琐：

1. 从 Apple II 映像提取文件（使用 CiderPress2）。
2. 在 DOSBox-X 中使用 Lotus 1-2-3 的“Translate”工具转换为 .wk1 格式。
3. 用 LibreOffice 打开并导出为 Excel 2003 .xls 文件。
4. 通过 Google Sheets 修复公式偏移，再导出为 .xlsx 文件。 作者认为直接开发 .vc 到 .xlsx 的转换工具在理论上可行，但需处理复杂的 XML 规范。

总结

VisiCalc 是一款定义了电子表格范式的开创性软件。其设计注重实用性和直觉性，尽管存在显示限制和功能不足，但核心思想影响深远。它不仅推动了 Apple II 的成功，还催生了众多仿制品（如 SuperCalc、PerfectCalc），并奠定了现代电子表格软件的基础。即使以今天标准看，VisiCalc 仍可执行基本任务，体现了其设计的持久性。