软件公司经常失信于用户。本文介绍了“自证承诺”的概念，即用户可以自行验证承诺的真实性，而非依赖于公司的信任。例如，“文件优先于应用”就是一个自证承诺，用户可以随时在其他应用中使用自己的文件；而“不锈钢”也是一个自证承诺，其属性可以被用户自行验证。与之相对，条款和政策并非自证承诺，公司可以随时更改，并对用户数据产生追溯性影响。真正的隐私自证承诺应确保工具无法访问用户数据。本文还指出，将价值编码到治理结构中或仅依靠开源也并非可靠的自证承诺。选择具备自证承诺的工具，有助于应对工具未来可能面临的不确定性，例如公司倒闭或被收购等情况。
阅读更多
Dropbox历经十四年，从少量服务器发展到拥有全球最大规模的定制存储系统之一。其第七代硬件平台（Crush、Dexter、Sonic及GPU平台Gumby、Godzilla）实现了存储带宽的大幅提升和机架功率翻倍，并采用新一代存储机箱以最大限度地减少振动和热量。此次升级旨在提升效率、能力和可扩展性，为AI产品如Dropbox Dash提供支持。Dropbox与供应商紧密合作，在软硬件协同设计下，充分利用新兴技术（如SMR驱动器和GPU加速器），实现了性能和效率的显著提升，并为未来发展奠定了坚实基础。
阅读更多
本文批判了“10倍工程师”这一概念，认为衡量工程师生产力的单一指标是片面的，忽略了团队协作的重要性。作者指出，软件开发并非个体英雄的舞台，团队的整体效率才是关键。高效的工程组织应该让普通的工程师也能创造巨大价值，并通过良好的系统设计和团队文化，培养出更多优秀的工程师，而非过度依赖所谓的“天才”。
阅读更多
在秘鲁安第斯山脉，维克多利亚诺·阿里扎帕纳每年都会重建一座由草和纤维编织而成的桥梁——Q’eswachaka桥，这是延续了500多年的印加传统。这座桥横跨峡谷，高悬60英尺，承重能力惊人。阿里扎帕纳家族世世代代传承着这项技艺，每年都与当地社区一起拆除旧桥，并从头编织新桥。这不仅是一项令人叹为观止的工程奇迹，更是一段关于传承、社区和对古老传统的守护的故事。
阅读更多
Efficient Fabric 推出了其编译器 Playground，一个交互式软件生态系统，允许开发者体验其突破性处理器的性能和能效。开发者可以编写或粘贴 C 代码，编译器会自动将其映射到 Efficient 数据流架构，并可视化代码如何在 Fabric 架构的各个单元上分布和执行。Playground 还提供调试器和电池续航时间估算功能，直观地展示其在能效上的巨大优势。
阅读更多
Anthropic 宣布其 Claude API 现已集成网络搜索功能，允许 Claude 访问并处理来自网络的实时信息。开发者可以使用这项功能构建更强大的 AI 应用，例如分析实时股价、进行法律研究或访问最新的 API 文档。Claude 会智能地判断何时需要进行网络搜索，并提供带来源引用的完整答案。此外，还提供了管理员设置，例如域名白名单和黑名单，以增强安全性。这项功能适用于 Claude 3.7 Sonnet、升级版 Claude 3.5 Sonnet 和 Claude 3.5 Haiku，费用为每 1000 次搜索 10 美元，外加标准的 token 成本。
阅读更多
新加坡-麻省理工学院联盟（SMART）的研究人员开发出一种突破性的近红外荧光纳米传感器，能够同时检测和区分活体植物中的两种铁形式——Fe(II)和Fe(III)。该传感器实现了对植物铁吸收、运输和不同形式之间变化的实时、无损监测，为精确施肥和提高作物产量提供了新的工具，有助于更可持续的农业发展。这项技术有望应用于各种植物物种，并扩展到环境监测和健康科学领域。
阅读更多
一位任天堂Switch 2用户因购买二手Switch 1游戏并更新后，其新主机被任天堂封禁。该用户在Facebook Marketplace购买了四款二手游戏，插入Switch 2后更新，次日主机便无法连接任天堂在线服务。幸运的是，用户通过提供购买证明，成功解封。此事件凸显了购买二手游戏的风险，不法卖家可能复制游戏，导致任天堂误判为盗版。虽然任天堂对知识产权保护严格，但此次事件也显示出其在处理误封问题上的积极态度。
阅读更多
亚马逊在德国多特蒙德发布了新型机器人系统Vulcan，号称拥有“真正的触觉”，旨在变革机器人与物理世界的交互方式。Vulcan主要用于亚马逊仓库的货物存储和拣选。在存储方面，Vulcan 的速度已超过人工平均水平，但仍逊色于经验丰富的人类员工。然而，Vulcan 在规划方面具有优势，能够同时考虑多个物品和货仓空间，实现高效的“三维俄罗斯方块”式存储优化。目前，Vulcan 已在德国和华盛顿州的仓库中运行了一年以上，成功存储了数十万件商品。
阅读更多
安全研究员Thomas Roche发现Infineon SLE78安全元件（用于YubiKey 5）中存在严重漏洞。利用侧信道攻击，他成功提取了ECDSA密钥。该漏洞影响Infineon的多个加密库版本，威胁范围涵盖汽车、医疗、工业控制和航空等多个领域的安全。研究人员警告各行业需立即关注此漏洞，并采取相应措施。
阅读更多
杰弗里·萨克斯教授在Common Dreams发表文章，分析了美国当前的政治和经济困境。他指出，美国的政治体制被巨额资金操控，富人和特殊利益集团主导着国会和白宫，导致政策偏向既得利益而非民生。这体现在持续的减税政策、对特殊利益集团的纵容以及对军事和战争的过度投入上。萨克斯教授认为，解决之道在于：1. 削弱军工复合体和以色列游说团体的势力；2. 解决预算赤字；3. 实施惠及民生的创新政策。只有采取这些措施，才能真正解决美国面临的问题，改善普通民众的生活水平。
阅读更多
libpostal是一个强大的C语言库，利用统计自然语言处理和开放数据解析和规范化全球地址。它支持多种语言，能将人类使用的自由格式地址转换为机器可比对和全文索引的规范形式，极大提升地理编码应用的效率和准确性。该库提供多种语言绑定，并可通过贡献数据或资金支持其持续发展。
阅读更多
旧金山市长Daniel Lurie正努力重振城市昔日荣光，他相信科技领袖们能够助其一臂之力。为此，他积极与科技公司CEO和企业家沟通，寻求合作。首先，他着手解决困扰城市的毒品和无家可归问题，例如取消免费派发吸毒工具的计划。同时，他还致力于简化城市建设审批流程，推出“Permit SF”项目，并提出新的分区规划，允许建造更高建筑以增加住房供应。此外，Lurie积极吸引AI公司在旧金山设立办公室和举办会议，例如促成Databricks将AI大会保留在旧金山，并为其提供税收优惠，但同时要求这些公司回馈社区。他成立了“旧金山伙伴关系”，搭建科技公司与市政府沟通的桥梁。尽管面临来自工会等方面的压力，Lurie仍致力于推动自动驾驶汽车在旧金山的应用。他相信通过这些努力，旧金山将再次成为科技创新的中心，吸引全球人才和企业汇聚于此。
阅读更多
哈佛大学和东北大学的物理学家通过巧妙的实验，揭开了堆叠扭转石墨烯超导的秘密。他们发现，双层和三层石墨烯的动能电感异常“僵硬”，这与传统超导理论相悖，并可能与量子几何有关。更令人兴奋的是，三层石墨烯的动能电感特性与能在更高温度下保持超导特性的材料相似，为室温超导研究提供了新的方向，有望大幅降低众多设备的能耗。这项研究也为空间探测等领域带来了新的可能性，例如制造更小巧轻便的粒子探测器。
阅读更多
本书《打造你自己的工作》探讨了美国盛行的创业精神文化如何演变成一种剥削性的模式。从积极心理学到企业家精神的兴起，作者揭示了这种文化如何将个人幸福与职业成功捆绑，导致员工过度工作，最终身心俱疲。通过对积极心理学理论和企业家精神的批判性分析，作者指出，这种文化掩盖了劳动关系中的剥削本质，使得员工难以获得工作保障和权益。最终，这种循环往复的模式导致了员工倦怠和社会失序。
阅读更多
本文探讨了载人火星任务的巨大挑战。由于行星轨道限制，火星任务将异常漫长，且缺乏有效的紧急中止方案。这要求飞船拥有极高的可靠性，特别是生命支持系统，而现有技术远未达到要求。此外，与地球的通讯延迟使得高度的自主性成为必要，但这也增加了任务的复杂性和风险。文章还分析了长期停留和短期停留两种任务模式的优劣，并指出了对宇航员健康影响尚不明确的重离子辐射和火星重力等关键问题，最终得出结论：在现有技术下，载人火星任务的准备工作将是一个漫长而耗资巨大的过程，优先发展无人探测可能更为实际。
阅读更多
Bocconi大学的Gennaioli和Tabellini教授的研究指出，政治极化不再仅仅围绕财富或收入展开，而是演变成对社会不同愿景的冲突：多元文化进步派与保守的本土主义者。人们根据当下的社会冲突选择认同，经济议题突出时，阶级分化明显；文化议题（如移民或道德问题）突出时，人们则划分成对立的文化群体。政党利用这种机制，投资于身份认同宣传，加剧文化刻板印象，从而巩固认同并使政治立场极端化。研究表明，美国多数人已不再以经济身份认同，而是以文化身份认同（保守或进步），这决定了他们对福利、税收、堕胎、移民等问题的立场和投票行为。“中国冲击”也验证了这一模型。左翼政党低估了文化因素的重要性，只谈论不平等而忽视身份认同，将会继续失去原有选民的支持。
阅读更多
2025年5月20日，一条带有错误BGP Prefix-SID属性的BGP消息传播，导致两种主要的BGP实现出现问题，引发了互联网大范围的路由不稳定甚至短暂的连接中断。Juniper的JunOS系统未能正确过滤该错误消息，并将其转发给其他对等体，而Arista的EOS系统在接收该消息后重置了会话。此次事件波及众多网络，其中包括一些大型互联网交换中心，因为Bird路由软件不支持BGP SID，导致错误消息被广泛传播。调查显示，AS9304、AS135338、AS151326和AS138077等AS号可能参与其中，但Starcloud (AS135338)或Hutchison (AS9304)被认为是更可能的罪魁祸首。此事件突显了BGP错误处理中的严重缺陷，以及网络设备厂商在提高BGP错误容忍度方面的不足。
阅读更多
cURL 8.16.0 版本中引入了使用 pthread_cancel 来取消 getaddrinfo() 的功能，旨在提高性能。然而，这一改动导致了严重的内存泄漏问题。这是因为 getaddrinfo() 在读取 /etc/gai.conf 文件时可能被取消，从而导致已分配的内存无法释放。由于该问题难以解决且可能导致严重的稳定性问题，cURL 团队最终决定在 #18540 中移除该功能，并建议用户使用 c-ares 库来替代，虽然 c-ares 功能上略有不足。
阅读更多
时隔近十年，谷歌对其标志性的“G”图标进行了更新。此次更新并非简单的颜色调整，而是将原先四个独立的色块融合，使其过渡更加自然流畅，整体风格更加鲜艳活力。新图标已率先应用于iOS版谷歌搜索应用，随后也更新至Android版。此次更新突显了谷歌在品牌形象上追求现代化和与时俱进的努力，与谷歌Gemini AI的渐变色调相呼应。
阅读更多
大型语言模型（LLM）驱动的编程助手能否真正提高效率，关键在于你如何提问。文中指出，经验丰富的工程师会使用特定的“咒语”（shibboleth）——专业术语和特定表达方式——来引导AI生成高质量代码。而新手工程师则因缺乏这种“咒语”，往往得到低效甚至错误的代码。作者以自身经验为例，阐述了如何根据自身技能水平调整提问策略，并提出了一些提高AI编程助手使用效率的技巧，最终强调了在AI时代，具备鉴别和规范AI生成代码的能力至关重要。
阅读更多
一个北达科他州陪审团裁定，绿色和平组织因其对达科他输油管道项目的抗议活动，需向能源转运公司支付超过6.66亿美元的诽谤和其他索赔赔偿。能源转运公司指控绿色和平组织诽谤、非法入侵、滋扰、民事阴谋等罪名。绿色和平组织表示将上诉，并称这场针对大型石油公司的斗争远未结束。此次判决源于2016年和2017年针对达科他输油管道及其密苏里河交叉口的抗议活动，当时抗议者反对该管道穿过站在岩石苏族部落的保护区上游。
阅读更多
作者讲述了他与一家小型开源软件公司的糟糕经历，该公司拒绝了他的合作提议，只关注快速盈利，而非产品本身和客户关系。作者认为这种“速成”心态与他所推崇的持续发展理念背道而驰，并以自身经历和观察到的其他公司案例为例，说明了过分追求指数级增长而忽视客户价值和产品长期发展的弊端，最终选择放弃合作，寻找更可靠的替代方案。
阅读更多
威廉·伦纳德·皮卡德，一位哈佛毕业生，因涉嫌成为全球最大的LSD制造商之一而被捕。这篇文章讲述了他传奇而复杂的一生：从亚特兰大的优渥童年，到60年代迷幻文化中心，再到90年代在顶级大学从事社会药物研究。他曾与摇滚明星Sting交往，结识英国上议院成员和美国官员，还获得哈佛肯尼迪政府学院硕士学位。然而，他多次因制造毒品入狱，也曾试图走正途，最终因与毒贩戈登·托德·斯金纳的合作而再次落网。皮卡德的故事，是60年代理想主义与90年代物质主义碰撞的缩影，也是一个关于迷幻年代梦想与现实冲突的警示故事。
阅读更多
HDMI论坛正式发布HDMI 2.2规范，其Ultra96高速线缆带宽高达96Gbps，支持4K 480Hz、8K 240Hz甚至16K 60Hz等超高分辨率和刷新率。虽然原生8K内容仍稀缺，但HDMI 2.2将使HDMI接口在未来数年内保持领先地位。新规范还简化了线缆命名，并加入低延迟指示协议(LIP)，提升音视频同步性能。
阅读更多
开源音频软件Tengri的开发团队近期在GitHub上更新了项目日志，记录了5月份以来一系列的开发活动，包括对排列器（arranger）的重构、LV2支持的重新启用、构建流程的改进（例如Docker容器化构建）、文档更新以及错误修复等。日志显示开发过程持续迭代，并积极解决问题，展现了项目开发的活跃状态。
阅读更多
曾经，浏览器引擎百花齐放；如今，Chrome一家独大，其Chromium内核几乎垄断了市场。然而，一个名为Servo的Rust浏览器引擎，正在悄然崛起。它以多线程和内存安全著称，目标是成为可嵌入的渲染引擎，甚至挑战Electron和Android WebView。虽然目前尚不成熟，但Servo已获得Linux基金会欧洲分部的支持，并展现出令人印象深刻的性能和潜力，为打破Chrome垄断带来一线希望。
阅读更多
许多非技术背景的创业者苦于寻找技术合伙人。文章指出，并非技术人员稀缺，而是这些商业创始人的价值被高估了。他们往往高估自身想法的重要性，而低估了技术执行的难度。作者建议，商业创始人应专注于建立和拓展客户网络，并证明其市场需求，例如获得大量预订单或商业意向书。通过验证市场需求，而非依赖产品本身，才能吸引到技术合伙人，从而提高创业成功率。
阅读更多
Intel宣布将Tofino P4软件开源，这是一个重大的里程碑。Tofino系列可编程以太网交换机一直是网络创新的前沿，其强大的可编程性允许组织以前所未有的方式塑造其网络。开源后，全球开发者可以参与其中，共同塑造网络的未来。这将降低高性能网络编程工具的准入门槛，惠及初创企业、学术机构和欠发达地区的开发者。
阅读更多
Cosmopolitan 库 3.0 版本发布！这个项目历时近一年开发完成，实现了惊人的跨平台兼容性：一个可执行文件即可运行于 Linux、macOS、Windows、FreeBSD、OpenBSD 和 NetBSD 等多个平台的 AMD64 和 ARM64 架构上。这得益于全新的链接器 apelink.c，它巧妙地整合了 PE、ELF、Mach-O 和 PKZIP 文件格式。此外，Cosmopolitan 3.0 还大幅提升了 Windows 和 macOS 的兼容性，并显著提高了软件运行速度和内存效率。项目还包含一个名为 Cosmos 的“胖 Linux 发行版”，其中包含 Emacs、Vim、CoreUtils 等常用工具。Cosmopolitan 3.0 采用了一种创新的方法，使得构建的软件不仅具有极高的可移植性，而且性能更优异。
阅读更多