「Tech」相关文章 - 第 11 页

本文探讨了当代关于真理的讨论，这些讨论通常基于20世纪初期的“古典”理论，包括对应说、连贯性理论和实用主义理论。这些理论试图直接定义真理的本质，并将真理置于更广泛的形而上学或认识论框架内。文章详细分析了“对应说”的演变过程，从早期思想家如G.E.摩尔和罗素最初的身份说（将真命题等同于事实）到后来放弃身份说而转向对应说，并追溯了这一转变的原因，即对虚假命题概念的质疑。最终，对应说将真理的承担者从命题转变为信念本身，强调“信念与事实相符”这一核心原则。

三角洲工程（Deltawerken）是荷兰南部沿海地区一系列大型水利工程，旨在保护莱茵河-梅斯河-斯海尔德河三角洲区域免受海水侵蚀。该工程始建于1954年，历时43年完成，包括水坝、船闸、堤防、防波堤和风暴潮屏障等。为了更准确地评估风险，工程采用了“三角洲标准”（Delta norm），即基于统计模型评估洪灾造成的损失，并以此为基础设定不同区域的安全标准，对人员伤亡赋予经济价值。近年来，随着全球气候变暖和海平面上升，对三角洲工程进行了升级改造，更加注重生态环境保护，采用“顺应自然”的理念，例如通过恢复河床、建立自然公园等方式，在保护安全的同时恢复自然生态系统。

我逼迫 ChatGPT 进行对抗性测试：它在不确定性下的真实表现 — 本文作者通过对抗性测试，发现 ChatGPT 在面临不确定性时，倾向于生成看似完整且有帮助的答案，而非停止输出并承认“我不知道”。实验表明，当准确性和完整性发生冲突时，系统会优先考虑完成答案，即使这意味着输出未经证实或可能错误的信息。这种行为模式是系统设计导致的，而非随机错误，会以相同自信的语气呈现真实和虚假信息。这种“完成优先”的机制可能在低风险应用中尚可接受，但在法律、医疗、金融和技术等领域，可能会带来真实风险。作者认为，用户应该意识到 ChatGPT 更倾向于“尽力回答”而非“不知道就说”。

速溶咖啡的诞生：从苦涩到便利的演变 — 文章回顾了速溶咖啡的早期发展历程，揭示了其生产过程的复杂性和历史挑战。最初的速溶咖啡尝试，如使用动物脂肪混合咖啡粉的“咖啡化合物”，以及将咖啡浓缩为厚液体的“咖啡精华”，都因口感不佳而失败。直到19世纪末，新西兰的David Strang采用“热风干燥法”首次成功生产出速溶咖啡粉，但其风味仍有待提升。1909年，George Washington发明的Red E Coffee通过规模化生产获得了初步成功，尤其是在一战期间为士兵提供了便利。最终，1937年，Nestlé的化学家Max Morgenthaler改进了生产工艺，使用了萃取和喷雾干燥技术，创造出更美味的速溶咖啡，标志着现代速溶咖啡的诞生。

Telescript 是一种由 General Magic 公司为 Magic Cap 系统开发的面向智能体（agent）的编程语言。它使用一种类似于 C 语言的语法 (High Telescript)，并编译成一种基于堆栈的语言 (Low Telescript) 在虚拟机器中运行。Telescript 的设计理念是反向 Java 的运作模式，将计算任务转移到服务器端，允许功能受限的客户端设备利用服务器的计算能力。该语言还支持程序迁移，可以把正在运行的程序代码和状态转移到其他 Telescript 引擎继续执行。Telescript 采用了分布式计算模型，程序由多个智能体在不同的“场所”（places，即服务器）间交互完成，并使用“电名”(telename) 和 “电址”(teleaddress) 实现用户身份和设备定位，数据传输也采用智能体间的信息传递机制。虽然 General Magic 公司最终未能获得成功，但其核心技术影响了后续的发展，例如 OnStar 系统就基于其开发的 Portico 平台。

LuvStatus是一款关系诊断工具，用户可以匿名上传与伴侣的短信内容，从而获得关于当前关系的状况、前三大关系模式以及下一步行动建议。该工具无需订阅或注册，会分析短信数据并提供清晰的解读，帮助用户识别重复模式，例如回复延迟或避免直接表达需求。用户还可以获得可直接发送的短信脚本，用于化解矛盾、明确界限或重新开始，旨在改善沟通并促进关系的健康发展。

WebsiteArchiver 是一款 macOS 14.0 或更高版本下的本地化、极简主义的应用程序，用于保存、归档和管理网页。它与 ArchiveBox、SiteSucker、HTTrack 和 SingleFile 等类似工具相比，具备网页渲染、支持动态网站以及完整的存档管理等功能。该应用不收集任何个人数据，所有数据都存储在本地设备上，未来可能提供 iCloud 同步选项。用户需遵守使用条款，不得进行非法活动或侵犯版权，单用户许可证可用于最多 3 台设备。

OpenPartner：内置创作者网络的合作伙伴计划软件 — OpenPartner 是一款开源的合作伙伴计划软件，旨在帮助企业通过联盟、推荐和创作者计划增加收入。它提供了清晰的条款、可靠的归因跟踪、创作者发现功能以及直接的 Stripe 支付，无需平台费用。该软件允许企业自行托管核心代码，并支持 API 优先的架构，方便集成和数据可移植性。OpenPartner 通过追踪从创作者链接到最终收入的整个流程，简化了合作伙伴管理和收益分配。

谷歌TPU加速LLM推理：扩散式推测解码实现3倍加速 — 加州圣地亚哥大学（UCSD）的研究人员在谷歌TPU上成功实现了基于扩散机制的推测解码技术DFlash，并在开源vLLM框架中整合。DFlash采用O(1)复杂度，替代了传统顺序式推测解码的O(K)流程，显著降低了推理延迟。测试结果显示，DFlash在TPU v5p上平均token每秒增加3.13倍，在处理复杂数学任务时可达6倍的峰值加速，且整体服务速度比EAGLE-3提升了2.29倍。该技术通过双缓存机制处理注意力机制，优化了上下文管理，并解决了元数据偏差问题，充分发挥了TPU的并行计算能力。

德国、英国和希腊等地的插头和插座类型多样，许多是为特殊应用而设计的非标准产品。英国曾使用过Wylex和Dorman & Smith (D&S)作为BS 1363标准的替代品，Walsall和Britmac也生产过非标准插头。Fitall插头可以兼容BS 546和BS 1363插座，Crater提供2A、5A和15A的圆形插脚。希腊在引入CEE 7/3-7/4（Schuko）插头之前，曾使用过多种带接地插头。

天文学家发现超过 1000 个具有“翅膀”的射电星系，拓展罕见宇宙类别 — 天文学家利用 LOFAR Two-meter Sky Survey Data Release 2 (LoTSS DR2) 数据，系统性地搜索了形状奇特的“翅膀”射电星系，并发现了超过 1000 个新系统。这些星系由超大质量黑洞驱动，发射强大的带电粒子射流，形成不规则形状，其中一些具有独特的 X 型或 Z 型结构，由较弱的“翅膀”瓣构成。此次研究极大地扩大了这种罕见星系类型的数量，为后续研究其形成机制奠定了基础，这些星系平均直径约为 160 万光年，其中一部分呈现巨型射电星系 (GRG) 的特征，尺寸超过 220 万光年。

奖励科学过程：面向智能数据分析的过程级奖励建模 — 该研究探讨了过程奖励模型（PRM）在动态数据分析任务中的应用。研究发现，通用PRM难以有效监督数据分析代理，无法检测到“静默错误”并可能错误地惩罚探索性行为。为此，研究团队提出了DataPRM，一种环境感知的生成过程奖励模型，能够主动验证环境状态并区分可纠正的错误和不可恢复的错误。DataPRM通过生成多样化的轨迹并采用知识增强的步进级标注，构建了超过8000个高质量的训练样本，实验结果表明DataPRM显著提升了下游策略LLM的性能，且在不同测试条件下表现出良好的泛化能力，在强化学习场景下也取得了显著提升。

本文探讨了堆栈（stack）这种简单的数据结构在计算机科学中的重要性及其艺术性。文章以FORTH语言为例，展示了其简洁高效的代码和独特的实现方式，强调了FORTH在早期计算机领域的重要性及其在各种嵌入式系统中的应用。文章指出，史蒂夫·乔布斯对PostScript的理解和应用，以及他对堆栈技术的应用，是其成功的重要因素。文章还讨论了LISP语言与堆栈的关系，并强调了堆栈在处理嵌套结构和识别模式中的关键作用，最终揭示了科学、艺术和堆栈数据结构之间的深刻联系。

《纽约时报》及其团队凭借多项调查报道获得了国际报道奖，内容涵盖苏丹冲突、哈马斯袭击事件、俄乌战争以及美国军事行动的平民伤亡情况。此外，获奖报道还揭示了硅谷制造的先进大规模监控工具在全球范围内的扩散以及美国边境巡逻队对其的秘密使用。获奖团队还记录了特朗普政府突然终止人道主义援助对发展中国家弱势群体造成的伤害。这些报道以勇气和深刻的洞察力，展现了全球范围内的冲突、人道主义危机以及权力滥用。

加拿大小提琴手起诉谷歌：AI 概要错误指控其为性犯罪者 — 加拿大获奖小提琴手艾什利·马基萨克（Ashley MacIsaac）因谷歌的AI概要功能错误地将其列为性犯罪者，向谷歌提起诉讼，索赔150万美元。该概要错误地声称马基萨克犯有多项罪行，包括性侵犯妇女、网络引诱儿童等。由于虚假信息的流传，原定的演出被取消，马基萨克担心自身安全，并因此遭受名誉和生计损失。他指责谷歌对其AI概要的缺陷设计负责，并要求赔偿包括一般性损害、加重性损害和惩罚性损害在内的共150万美元。谷歌目前已在其AI概要中加入了关于马基萨克起诉谷歌的声明。

加拿大小提琴手起诉谷歌：AI 概览错误将其指控为性犯罪者 — 加拿大获奖小提琴手艾什利·麦克艾萨克（Ashley MacIsaac）就谷歌的AI概览功能错误将其识别为性犯罪者一事，提起了150万美元的诽谤诉讼。AI概览声称麦克艾萨克曾因性侵犯女性、网络诱骗儿童等罪名被判有罪，并被列入全国性犯罪者名册。由于这些虚假信息导致其原定演出被取消，麦克艾萨克正在寻求包括一般性赔偿、加重赔偿和惩罚性赔偿在内的总计150万美元的赔偿。他指责谷歌对AI概览的缺陷设计负有责任，并且未能事先确认信息的准确性。目前谷歌已在其AI概览中加入了关于麦克艾萨克起诉谷歌的声明。

OpenAI 发布了 GPT 5.5 模型，它在代理能力、目标导向、工具使用、约束遵循和结果交付方面表现优于 GPT 5.4，更加易于操控，且无需繁琐的步骤指导。内部评估显示，GPT 5.5 在软件工程任务上表现出更高的质量，Terminal-Bench 指标也有显著提升。虽然 GPT 5.5 在某些方面能力更强，但其 token 价格是 GPT 5.4 的两倍，导致在相同质量下成本更高。建议用户采用更注重结果的提示方式，避免在用户提示中重复详细步骤。在不同推理等级选择上，低等级出人意料地表现良好，中等级适合常规深度工作，而高等级并非总是更好，需根据任务需求进行选择。

Peter J. Denning 的《操作系统艺术》是一套幻灯片，旨在阐述操作系统设计中的关键模型。操作系统主要功能是资源管理和提供工作环境，需要控制从芯片门电路速度（以秒为单位的10的-15次方）到人类持续计算（以天为单位）的跨度极大的事件。为了更好地理解操作系统，通常将其组件组织成抽象层次，并用模型指导实现和性能评估。该系列幻灯片涵盖了操作系统从进程管理、并发控制、内存管理到互联网模型等多个层面，并探讨了性能、子程序和安全等高级主题。

人工智能与认知放弃的危险 — 文章探讨了人工智能对人类思维可能产生的潜在影响。类似于计算器并未使人人失去计算能力，GPS也并未使人们丧失方向感，人工智能的应用也可能改变人们思考的方式。文章提出一个关键问题：管理者是否应该对人工智能可能带来的认知改变做出回应。需要关注人工智能在改变人们思考方式的同时，是否会导致人们“认知放弃”，即过度依赖人工智能而失去独立思考的能力。该文章源自2026年5月2日商业版。

作者 Charles Leifer 探讨了软件复杂性与人工智能在软件开发中的作用。他观察到 AI 在代码生成和仪表盘构建方面的能力令人惊叹，但同时发现 AI 编写代码时也存在大量缺陷。这让他陷入了对 AI 工具的矛盾：一方面，AI 提高了代码分析的效率；另一方面，AI 驱动的开发模式可能导致控制权丧失，代码质量下降，最终形成自我参照的反馈循环。作者结合了网络控制理论 (Cybernetics) 的概念，强调了程序员作为控制系统的重要性，以及保持代码可控性和适应性的必要性，呼吁在拥抱 AI 工具的同时，保持对代码的掌控。

奥尔扎斯·沙伊基诺夫是一位拥有超过 10 年经验的资深全栈软件工程师，擅长构建可扩展的 Web 平台和受欢迎的功能。他专注于现代化遗留系统，负责核心服务的端到端开发，并利用 React/Next.js、Node.js、TypeScript 和 AWS 等技术集成人工智能 (AI) 能力。他在 Storyblocks 领导了 AI 功能开发和视频工作流程迁移，并参与核心服务扩展。目前他正在寻找下一个机会，期待加入重视工艺、协作和创新的团队。