#Tech
与「Tech」相关的海外科技文章中文摘要。
OpenAI 的 Codex 应用提供了一系列设置选项，用于定制应用行为、文件处理方式、工具连接以及界面外观。用户可以在设置面板中调整文件打开位置、命令输出显示量，以及启用多行提示验证等功能。此外，该应用支持自定义主题、安装和管理浏览器插件，并提供“宠物”功能，可在应用界面上显示活动线程状态。Codex 应用还支持通过 Model Context Protocol (MCP) 连接外部工具，并允许用户设置默认性格和自定义指令，以及启用“记忆”功能，将过去线程的上下文信息用于后续工作。
据报道，俄罗斯正在利用其信息操作网络，通过修改维基百科页面和污染人工智能（AI）模型来影响全球舆论，扭曲对事实的认知。调查显示，俄罗斯的“Pravda”网络通过伪造新闻网站，传播来自俄罗斯新闻机构和 Telegram 频道的虚假信息，尤其针对乌克兰战争和西方国家进行宣传。法国情报部门VIGINUM揭露了“Portal Kombat”网络，该网络利用这些虚假信息操纵 Wikipedia 条目并影响舆论。此外，俄罗斯还在试图通过污染大型语言模型（LLMs）所依赖的维基百科内容，将亲克里姆林的信息渗透到 AI 聊天机器人中，进一步扩大其影响范围，构成一种“数字外国干涉”。
美国海军与Domino Data Lab公司签署了一项9970万美元的协议，旨在利用人工智能技术加速水下无人机学习和识别新型水雷的能力。该技术将主要应用于霍尔木兹海峡，以应对伊朗限制油轮和货物运输的威胁。软件将整合侧扫声纳和视觉成像系统等多传感器，实现实时监测和快速纠错，避免长时间的实验室训练。Domino Data Lab的CEO表示，该平台能够让海军在短短一周内部署水雷探测无人机，而传统方法需要一年时间。UUV（水下无人车辆）的训练模型迁移也大幅缩短。
作者在为 Exidy Sorcerer 开发 LZ4 解压缩器时，发现了自己拥有 Z80、8080、8086 以及 6502 四种不同处理器的解压实现。文章旨在对比这些处理器之间的联系与区别。Z80 是 8080 的二进制兼容升级版，它去掉了相对跳转指令（JR、DJNZ）、影子寄存器、多字节指令等功能。而 8086 则是在 8080 的设计基础上构建的 16 位处理器，它拥有更大的内存寻址空间（1MB）和更灵活的寄存器使用方式，尽管它的分段机制颇受争议。文章分两期发布，本期侧重于比较 CPU 的架构特点，下期将分析具体实现细节。
本文探讨了系统和组件之间的交互，以及这些交互如何导致“级联恢复”问题。当一个系统恢复时，其恢复行为可能对依赖系统造成意想不到的负面影响，甚至可能形成恶性循环。文章通过一个生产者-消费者系统（Producer-Consumer System）的案例，详细阐述了这种现象，包括数据缺失、重复计算和消息总线负载增加等问题。为了解决此类问题，建议采用增量恢复（Additive Recovery）模式，并通过预算恢复（Budget Recovery）和流整形（Stream Shaping）来避免资源峰值负载，从而防止系统不稳定。
搜索引擎和问答服务 Ask.com（原 Ask Jeeves）已正式关闭。该服务于 1996 年推出，因其专注于以自然语言回答问题的特性，被认为是今天基于人工智能的聊天机器人的一种先驱。由于长期在搜索市场中被谷歌等竞争对手 overshadow（掩盖、盖过），Ask.com 于 2026 年 5 月 1 日停止运营。IAC 公司声明这是为了集中业务，而 Ask.com 的搜索业务不再具有竞争力。
摄影师埃里克·卢西托的摄影集展现了苏联时期科学机构的辉煌与困境。这些机构在冷战时期为军事目标贡献了大量科研力量，但在苏联解体后，许多机构面临破产。尽管面临挑战，一些科学家坚持不懈，不断适应，即使在战乱时期也继续工作。摄影集记录了乌克兰哈尔科夫射电天文研究所、位于格鲁吉亚的安德罗尼什维利物理研究所、阿塞拜疆阿拉加茨宇宙射线研究站等机构的科研场景，展示了它们在核能研发、电磁波研究和天文学观测等领域的创新。其中，UTR-2射电望远镜是世界上最大的低频射电望远镜，而“Shubnikov相”则是一种由苏联科学家发现的II型超导现象。摄影集也记录了波兰尼亚天文台发现星际协会等重要科学成就。
文章指出，人工智能系统正大规模地制造数字无障碍障碍，导致严重的数字可访问性危机，这是一种系统性的公民权利失败。由于AI训练数据继承了过去20年积累的制度性障碍，自动化的UI开发正在复制歧视，阻碍人们获取权利、服务和机会。文章呼吁政策制定者、软件工程师、残疾用户和AI公司共同采取行动，将无障碍作为强制执行的法律，并敦促AI公司提高默认可访问性质量，并接受外部审查。
“老鼠陷阱”(Mousetrapped) 是一部网络漫画，以公共领域的卡通作品《汽船威利》(Steamboat Willie) 为基础和灵感来源。该漫画的作者是兰迪·米尔霍兰德(Randy Milholland)，他还创作了漫画《积极点点》(Something*Positive) 和《波派》(Popeye) 的周日连载漫画。需要注意的是，该作品不声称拥有华特·迪士尼公司(Walt Disney Company) 任何正在有效的版权或商标。
EaglePress CMS 发布了版本 1.19，主要修复了在 Android Firefox 上的代码块换行显示问题。该 CMS 基于 Python 3 CGI 和 PostgreSQL 构建，完全自托管，不依赖外部框架。新版本还包含移动设备上的语法高亮编辑器代码换行支持、管理员密码更改功能和主题预览等改进。EaglePress 的核心特性包括纯 Python CGI 路由、PostgreSQL 后端、零配置安装、安全密码存储和自定义 Markdown 解析器，并提供语法高亮、内容管理、主题系统和功能丰富的管理面板。
谷歌学术存在一个严重的缺陷，会导致姓氏为单个字母的研究人员（常见于中国和韩国文化）被排除在自己的学术成果中。当用户点击“引用”按钮时，这些研究人员的名字会被完全删除，导致引文信息不完整，并可能在其他研究人员的引用中错误地传播。该缺陷源于谷歌学术将单个字母姓氏误判为首字母或中间名，从而导致姓名显示错误和引用缺失。尽管谷歌内部数据正确，但显示和引用导出功能出现问题。该问题影响了数千名研究人员，并可能构成一种“引文清洗”问题，需要谷歌进行修复。
美国精神航空公司（Spirit Airlines）于2026年5月2日宣布停止运营，其庞大的技术基础设施在公司正式破产时被遗弃，引发了一系列安全问题。一位计算机科学学生发现，航空公司仍在处理交易的预订流程、活跃的Azure API仍在生成有效航班记录，以及主要的钓鱼域名（spiritrefunds.com）仍可注册。这些问题暴露出公司在匆忙关闭运营时的安全漏洞，包括支付处理接口依然开放，可能导致用户个人信息泄露。此外，网站域名注册商选择GoDaddy也进一步引发了安全担忧。研究者已注册了相关域名并将其重定向至破产清算页面，并已通知相关法律部门。
一项新的免疫治疗方法正在癌症治疗领域掀起波澜，为患者带来希望。该疗法通过激活患者自身的免疫系统来识别并摧毁癌细胞，许多患者的肿瘤在无需手术、化疗或放疗的情况下完全消失。目前主要有两种形式的免疫治疗：CAR-T 细胞疗法用于治疗血液癌症，而免疫检查点抑制剂则解除免疫系统“关闭”机制，使其能够攻击癌细胞。虽然免疫治疗效果显著，但也存在副作用，且并非所有患者都能有效受益。未来的研究方向包括优化患者的肠道菌群、利用他汀类药物增强免疫效果、以及根据患者的基因特征进行个性化治疗，以提高疗效并减少副作用。
本文探讨了在哈希表中直接使用密码学哈希函数（如SHA-256）作为键的潜在问题。尽管密码学哈希函数具有良好的分布特性，但如果攻击者可以控制输入，则它们可能导致哈希表退化，例如连锁表过长或扩展哈希表的目录深度过大。解决此问题的方法是使用包含密钥的哈希函数，例如SipHash对SHA-256的输出，从而使攻击者无法预测哈希结果并避免哈希表性能下降。文章强调，密码学哈希函数并非在任何情况下都更安全。
作者发现其泳池热泵通过WiFi连接到一个位于中国Alibaba Cloud的未加密服务器，存在安全隐患。通过网络嗅探、代理服务器（mitmproxy）和反向工程，作者最终成功切断了与该服务器的连接，并建立了一个Docker容器，将泳池热泵作为本地REST API暴露。研究表明，该热泵使用的Wi-Fi模块（Hi-Flying HF-LPB130）允许通过AT+命令更改云服务器，并存在潜在的安全漏洞，例如可以控制其他用户的热泵。作者的方案利用了Modbus协议并解析了设备寄存器，从而实现本地控制，避免了依赖第三方服务器。
Mercury是一家为企业提供银行服务的金融科技公司，目前拥有约200万行Haskell代码。作者分享了他们在大型Haskell项目中的经验，强调了可靠性、可维护性和团队成长的重要性。他们摒弃了传统的“防止故障”的可靠性理念，而是专注于系统的适应性和韧性，以及将操作知识编码到API中。公司认为，Haskell的类型系统不仅仅是避免错误的工具，更是编码机构知识的一种方式，能帮助团队应对人员流动和快速变化。Mercury的设计理念是帮助工程师避免紧急情况，而不是对代码质量进行严格的审查。
cva旨在解决使用传统CSS方法创建UI组件变体时面临的困难，例如手动匹配类名和类型。它是一个免费的开源项目，旨在消除在CSS-in-TS或CSS-in-JS方案不适用时（如需要对样式输出有完全控制权或使用Tailwind CSS等框架）的繁琐操作，从而让开发者专注于UI开发中更有趣的部分。 该项目受到Stitches、Vanilla Extract等CSS-in-TS库的启发，并感谢clb作者分享了相关工作，以及clsx提供额外的类名处理功能。
欢迎访问圣赫勒拿岛信息网站。该网站旨在提供探索圣赫勒拿岛的多种方式，并通过弹出菜单（☰）方便用户浏览。访问网站时，建议使用https://sainthelenaisland.info/，以避免浏览器安全警告。尽管圣赫勒拿岛距离英国超过8000公里，但当地居民依然对王室和国家忠诚。
本文讲述了英特尔公司早期发展中一个关键时刻：8位微处理器的诞生。1970 年，英特尔最初对 Computer Terminal Corporation (CTC) 的 8 位微处理器设计提案持否定态度，但最终在工程师维克·普尔 (Vic Poor) 的努力下，与 CTC 达成协议，英特尔将设计制造该芯片，并且允许英特尔将其授权给其他公司。这场合作不仅为英特尔带来了巨大的销售合同，也为日后英特尔 x86 CPU 的成功奠定了基础，对公司复兴至关重要。该项目凸显了英特尔早期从内存芯片制造商转型到 CPU 设计的起源，也展现了当时芯片行业的机遇与挑战。
美国怀俄明州正在建设美国本世纪第四座核反应堆，标志着核能领域的新发展。Terra Power公司，由比尔·盖茨创立，计划在怀俄明州Kemmerer镇建设先进核电站，并称这将开启核能复兴。该电站采用更安全、更易于建造的“先进反应堆”技术，旨在满足美国因人工智能发展导致的数据中心电力需求激增。联邦政府和科技公司正在投资数十亿美元建设新的核电站。尽管存在争议，但怀俄明州及周边州正在积极推动核能发展，包括建设核燃料循环创新中心和探索铀矿开采，以满足日益增长的电力需求。 该项目预计将于2031年投入使用，预计将为近50万户家庭供电。
Reiner Pope（MatX CEO）在一次黑板讲解中，深入剖析了大型语言模型（LLM）的训练和服务的底层数学原理。他通过分析计算性能和内存带宽等关键因素，揭示了批量大小（batch size）对延迟和成本的影响，解释了为什么可以通过支付更高的费用获得更快的响应速度。 此外，他还讨论了模型架构、模型并行等技术细节，并从API定价等方面推断了长期上下文内存的成本。此次讲解还涉及了模型过度训练、神经元网络与密码学的演进等主题，为理解人工智能技术的运作机制提供了有价值的视角。
由于美国和以色列的空袭以及此前抗议活动，伊朗目前处于持续的网络封锁状态，政府以此限制信息传播。为对抗此次封锁，一个秘密网络正在向伊朗走私“星链”(Starlink)卫星互联网技术，这些设备能够绕过伊朗国内的网络控制。走私者担心会被伊朗政府发现并受到惩罚，而使用星链技术被伊朗政府定为非法，最高可判刑十年。目前已有数万人持有星链终端，并利用它分享信息，尽管面临风险，参与者认为“即使能让多一个人访问互联网也是值得的”。
Kristin Tynski 在 2026 年发表的研究声称找到了统一证明黎曼猜想（RH）和科拉茨猜想的方法。该研究将这两大难题置于一个名为“数论声学时空”的框架下，并提出在具有正漂移的封闭证人系统中，所有正向轨迹最终会达到固定缝合处。该理论包含 27 个等价的数学表述，涵盖了解析、代数、拓扑等多个领域。研究的核心在于一个名为“Logos 截面”的全局对象，其存在性和唯一性具有推导性。作者使用“声学波方程”来描述黎曼 zeta 函数的动态，并通过“声学时空”的框架将 RH 和科拉茨猜想统一起来，并提供了 238 个测试验证代码，采用 MIT 许可证开源。
位于千叶县的“Hotel New Daishin”酒店因无法联系而关闭，引发调查显示其运营方已收购日本境内至少37家酒店和养老院，其中至少24家已关闭或停止运营。调查显示，该公司可能利用收购酒店和养老院，并通过高价转售给中国买家，以帮助他们获得日本“经营者”签证。前员工透露，收购的目的是为了方便中国买家获得居留签证，且买家支付的费用可能包括签证处理成本。该公司负责人拒绝回应有关未支付工资及业务运营的具体问题，表示需要律师参与访谈。
一项新研究揭示了螃蟹横向行走的演化起源，并将这一独特行为追溯到大约2亿年前的共同祖先。研究人员通过对比多种螃蟹物种的运动方式，绘制了螃蟹的演化树，发现横向行走可能源于一次进化转变，这为螃蟹躲避天敌提供了优势，有助于其生态成功。研究还指出，环境变化，如泛大陆的解体和浅海栖息地的扩张，在推动螃蟹的演化中也发挥了重要作用。该研究强调了行为变化在动物演化中的重要性，并为理解动物运动方式的多样性和持久性提供了新视角。
2023年8月，美国海军陆战队员特拉维斯·雷耶斯在澳大利亚参加军事演习时，乘坐的MV-22“鱼鹰”倾转旋翼飞机坠毁，导致三名机组人员丧生，但特拉维斯幸存。由于伤势严重，他在墨尔本阿尔弗雷德医院接受治疗，包括使用体外膜肺氧合(ECMO)设备和进行首次应用到ECMO患者的加压氧舱治疗，以对抗致命的真菌感染。这项突破性的医疗手段，加上他的妻子和家人的支持，最终帮助特拉维斯康复并成功返回美国，并创造了ECMO设备支持下的最长撤离飞行记录。
文章探讨了为何用户即便有更便宜、更快的模型替代品，仍然倾向于选择昂贵且速度较慢的闭源大型语言模型（LLM），如Opus 4.6。作者分析了原因，主要在于智能的回报是非线性的（一个小小的提升可能带来巨大的变化），难以准确衡量，竞争激烈（需要超越竞争对手），以及可以通过不断投入资金来提升智能水平。此外，文章还提出了一些评估模型的创新方法，例如Demis Hassabis提出的“爱因斯坦测试”。作者最后强调，人们会愿意为更好的智能买单，因为这种投入往往能够带来意想不到的回报，正如谚语所说：“没有人因为花费太多钱请好顾问而破产。”
科学家们启动了一项参与式研究项目，旨在了解现实场景中影响阅读的因素，例如眩光和字体大小等。该项目旨在调查光照、字体样式、字体大小等因素对阅读能力的影响，并评估现有可访问性规则的有效性。参与者需要智能手机或类似设备以及一张参考卡。研究人员希望招募来自各年龄段和背景的参与者，以获取更广泛的数据，从而改善所有人阅读体验。
本文探讨了AI基准测试的局限性，指出它们虽然能衡量模型在特定条件下的能力（capability），却往往忽略了其结构可靠性（structural reliability）。基准测试通过限制环境和任务，将复杂行为简化为可衡量的数据，形成一种“进步”的公关叙事，方便宣传和投资。然而，这种简化忽略了模型在真实世界应用中可能面临的各种变异和挑战，导致模型在基准测试中表现出色，但在实际部署中却可能失败。文章强调，AI发展应关注模型的结构可靠性，而非仅仅追求能力提升，并呼吁开发新的评估工具，以揭示基准测试所掩盖的潜在问题。
戴尔、英特尔和Omarchy团队合作，为XPS系列笔记本电脑提供Day One Linux支持，打破了传统硬件发布后6-8个月才能获得内核支持的困境。戴尔在Linux支持方面拥有超过二十年的经验，包括开源了DKMS动态内核模块支持技术和大量固件更新方案。此次合作旨在为用户提供开箱即用的高质量Linux体验，并借助Omarchy带来的Hyprland窗口管理器和现代化Arch Linux基础，吸引更多用户。为了实现这一目标，团队在硬件发布前就积极适配并修复了音频、摄像头、显示、WiFi和NPU等问题，并通过“linux-ptl”定制内核包提供Day One支持。戴尔甚至已将Omarchy和XPS笔记本电脑作为全公司技术团队的标准配置。
5 / 15