联合国对巴勒斯坦和以色列的最高调查机构发布报告，认定以色列在加沙犯下种族灭绝罪。这份72页的报告详细列举了以色列犯下的四项符合1948年《灭绝种族公约》规定的行为，并指出以色列领导人意图摧毁加沙的巴勒斯坦人。这是联合国机构首次进行的全面法律调查，其权威性堪比国际法院（ICJ）的裁决，该法院目前正在审理南非指控以色列犯下种族灭绝罪的案件。报告呼吁联合国成员国采取多项措施，包括停止向以色列转让武器，并对参与或协助种族灭绝或煽动犯下此罪行的个人或公司实施制裁。
阅读更多
作者打造了一款名为Ferricy的34键分体式人体工学键盘，旨在提升编程效率。基于Colemak布局，通过三层自定义按键及ZMK组合键实现高效输入，包括导航层（用home row模拟Vim键位）、符号层（镜像数字键盘布局）和数字层。此外，利用home row mods和caps-word功能，巧妙地解决了特殊字符和大小写切换的问题。作者强调舒适度和准确性优先于速度，最终打造出一款适合自身编程习惯的个性化键盘。
阅读更多
Meta和谷歌斥巨资争夺AI人才，标志着AI领域人才市场的疯狂膨胀。顶级人才的价值被无限放大，这不仅体现在创始人层面，也体现在核心员工身上。这种不平等现象源于AI投资的爆炸式增长以及对人才的渴求。传统的信任机制正在瓦解，公司与人才之间的社会契约需要重写。未来，只有拥有强大使命和巨额资金的公司才能在AI人才争夺战中胜出，这将重塑硅谷格局。
阅读更多
Container-use是一个开源的命令行工具，它为每个编码代理提供独立的容器化环境。告别一次只能管理一个代理的窘境，多个代理可以安全独立地工作，并支持Claude Code、Cursor等多种兼容MCP的代理。每个代理拥有独立的git分支和容器，实时可见命令历史和日志，方便直接介入和控制。支持标准git工作流，兼容任何代理、模型或基础设施，避免厂商锁定。目前项目处于早期开发阶段，可能存在一些不足，但迭代速度很快，并积极响应反馈。
阅读更多
传统的验证码（reCAPTCHA v3）已被证明无法有效识别基于真实浏览器环境的AI机器人。本文介绍了一种基于行为生物特征的新型反机器人技术，该技术通过分析用户键盘敲击、鼠标移动和认知行为等模式来区分人类和机器人。研究发现，人类行为具有独特的、难以复制的不规则性，而AI机器人则表现出规律性和可预测性。通过交互式演示和认知心理学实验（如Stroop测试），文章论证了该方法的有效性和鲁棒性，并指出其经济成本使得全面模拟人类认知行为对机器人而言极具挑战性。这项技术为网络安全提供了新的思路，并避免了侵犯用户隐私的风险。
阅读更多
Firefly公司最初专注于火箭研发，其Alpha火箭经历几次部分失败后取得成功。公司CEO Jason Kim表示，火箭技术为其深海探测器Blue Ghost的推进系统设计提供了关键经验，其中使用了Alpha火箭上经过飞行验证的姿态控制和自主研发的反应控制推进器，降低了风险。Firefly在德克萨斯州Briggs的工厂进行火箭发动机测试，其规模不断扩大，甚至与牛群为邻。Blue Ghost的核心大型主发动机则由供应商提供。
阅读更多
Dropbox 宣布将于 10 月底停止其密码管理器服务。此举引发用户不满，许多人质疑 Dropbox 在未充分征求付费用户意见的情况下就做出此决定。Dropbox 解释称，此举是为了专注于核心产品功能的改进。该服务于 2020 年推出，但在竞争激烈的密码管理器市场中未能获得显著成功。Dropbox 近期业绩表现平稳，但营收增长放缓，并进行了多轮裁员。
阅读更多
埃隆·马斯克的“无聊公司”计划在纳什维尔建造一条10英里长的地下隧道，连接市中心、会议中心和机场。该项目将由无聊公司及其私人合作伙伴私下融资，预计2026年秋季完工。虽然拉斯维加斯项目取得了成功，但无聊公司此前在其他城市的项目曾遭遇挫折和安全隐患的担忧。此次纳什维尔项目能否顺利进行，仍存在不确定性，尤其是在安全和施工速度方面。
阅读更多
这份来自OpenSSF的指南详细介绍了如何通过编译器和链接器选项增强C/C++代码的安全性与可靠性。指南推荐了一系列编译器标志，用于在编译时检测漏洞，并在运行时提供保护机制，例如防止缓冲区溢出和控制流劫持。文章还讨论了不同选项的性能影响和适用场景，并强调了安全编码实践的重要性。
阅读更多
Arch是一个模块化的边缘和AI网关代理服务器，旨在简化Agent应用的构建。它处理诸如应用防护、模糊用户输入的澄清、提示路由以及统一访问任何LLM等底层工作，从而帮助开发者更快地构建和发布Agent应用。Arch支持多种语言和框架，并提供路由、防护、可观测性等核心功能，基于Envoy构建，具有高性能和可扩展性。 一个简易的货币兑换Agent示例展示了Arch的易用性，开发者可以使用curl命令与之交互。Arch还支持基于模型和基于偏好的两种LLM路由策略，并提供详细的日志和可观测性信息。
阅读更多
这篇文章揭示了如何撰写引人入胜的软件发布公告的技巧。作者强调，公告应关注用户体验的提升，而非简单的功能罗列。文章以实例说明如何将技术细节转化为用户可感知的益处，例如，将修复的bug描述为用户体验的改进，而非仅仅是bug的消除。文章还建议使用清晰的截图和简短的动画演示，并提前在开发过程中规划发布公告，确保公告内容与用户价值直接相关，避免空洞的“各种改进和错误修复”等描述。
阅读更多
中国能源发展呈现出巨大矛盾：一边是全球一半以上的煤炭消耗量，另一边却是全球最大的光伏和电动汽车产业。廉价的煤电为中国工厂提供了超低电价，而石油和天然气的收入则资助了清洁能源项目。到2025年春季，风能和太阳能已经供应了超过四分之一的中国电力，表明国内煤炭使用可能已达到峰值。但煤炭财富仍然具有战略意义：随着国内需求放缓，中国矿商现在正在出口更多煤炭。事实上，中国的绿色崛起是由其煤炭经济支撑的。大部分全球太阳能设备都是用化石燃料生产的，中国在太阳能工厂上的巨额投资，虽然降低了面板成本，但也依赖于高碳排放的煤电。此外，中国煤炭和重工业也为其清洁技术供应链提供支持，甚至中国煤炭出口也间接地为亚洲的绿色经济提供原料。然而，中国在海外的能源投资仍然更多地流向煤炭和石油项目。总之，中国国家资本仍然与传统能源和清洁能源都紧密相连。中国电动汽车产业在亚洲迅速扩张，但同时也面临激烈的价格竞争。在南亚，中国对能源基础设施的投资也呈现出复杂局面：一边是为孟加拉国提供资金建设煤电厂，另一边是中国太阳能电池板的大量涌入，导致中国太阳能电池板与中国发电厂之间存在战略张力。亚洲国家在享受中国清洁能源投资带来的益处时，也需要注意避免对中国的过度依赖，从而减少能源风险。
阅读更多
许多人认为iPadOS的演变背离了乔布斯最初的设想，将其从简单的内容消费设备变成了类电脑设备。但作者认为，这并非背叛，而是对乔布斯愿景的更完整实现。乔布斯旨在创造一种介于手机和笔记本电脑之间的设备，满足日常需求。iPadOS的进化，例如添加Apple Pencil，提升了创造力，而无需牺牲易用性。这如同iPhone和Mac的演变，在保持核心易用性的同时，增加了更多功能，满足日益增长的用户需求。iPadOS的层次化设计，让新手也能体验到简单的乐趣，而专业用户则可以探索更强大的功能。最终，iPad变得更加强大和易用，实现了乔布斯“让计算触手可及”的愿景。
阅读更多
本文批判了依赖直觉和灵感的“感觉编程”方式，认为这种方式在软件开发领域已过时且危险。作者提出“半机械人编程”的概念，主张程序员应与 AI 工具协同工作，利用 AI 辅助编码、调试和构思，而人类则专注于设计、伦理和方向判断。文章指出，新一代 AI 工具并非作弊手段，而是能够提升效率的加速器，关键在于程序员如何有效地运用这些工具，将 AI 作为合作伙伴而非替代品，最终目标是构建更强大、更可靠的软件系统。
阅读更多
Reddit首席执行官史蒂夫·霍夫曼近日宣布，Reddit计划在今年推出付费墙功能。这项功能将首先应用于新的子版块，允许创作者发布仅付费用户才能访问的独家内容。Reddit将探索如何对内容创作者进行补偿，例如利用现有的Reddit贡献者计划，该计划允许用户通过奖励、虚拟物品等获得报酬。虽然付费内容将被推出，但霍夫曼保证免费的Reddit仍将继续存在和发展。这项计划的关键在于平衡付费和免费内容，以及如何激励志愿版主管理付费子版块。
阅读更多
大多数开发团队都熟悉安全领域的“红队”，但本文作者建议，每个开发团队都应该组建一个更广泛意义上的“红队”。这支“红队”成员的角色包括：寻找设计缺陷的人（例如，避免像GitHub的广告牌设计那样出现低俗图像）；使用广告拦截器的人（确保网站在广告拦截器开启的情况下也能正常运行）；使用密码管理器的用户（确保网站的登录表单能够被密码管理器正确填充）。作者认为，这些看似简单的角色，能有效避免一些低级错误，让产品更完善，并最终提升用户体验。
阅读更多
研究人员发现近400个美国水务系统存在安全漏洞，暴露在互联网上。他们联系了软件厂商和美国环保署（EPA）。EPA迅速响应，优先处理300多个未经身份验证的系统，并在九天内修复了24%。一个月后，58%的系统得到保护，厂商也加强了安全措施，包括实施多因素身份验证等。
阅读更多
两周前，Valve因信用卡公司的压力下架了Steam上大量NSFW游戏，一周后Itch.io也效仿。Mastercard近日发表声明否认对此负责，称其允许所有合法购买通过其系统进行处理。Mastercard表示其支付网络遵循法治标准，允许所有合法购买。但同时要求商家采取适当控制措施，以确保Mastercard卡不能用于非法购买，包括非法成人内容。然而，Steam和Itch.io下架的游戏在美国是合法的，只是在某些国家可能违法。Valve表示曾试图与Mastercard直接沟通，但Mastercard与支付处理器及其收单银行进行了沟通，最终导致游戏下架。这引发了关于支付处理器和信用卡公司对游戏内容审查的讨论，以及公众压力对游戏产业的影响。
阅读更多
arXivLabs是一个框架，允许合作者直接在arXiv网站上开发和分享新的功能。参与arXivLabs的个人和组织都认同并接受了arXiv的开放、社区、卓越和用户数据隐私的价值观。arXiv致力于这些价值观，只与遵守这些价值观的合作伙伴合作。如果你有想法能为arXiv社区增值，那就了解更多关于arXivLabs的信息吧！
阅读更多
科学家对远古生物Prototaxites进行了深入研究，发现这种4亿年前生活在地球上的巨型生物，可能并非此前认为的巨型真菌，而是属于生命树上一个完全未知的全新分支。Prototaxites体型巨大，高达8米，此前研究曾将其归类为真菌，但最新研究基于其独特的内部结构和化学成分，指出它与已知真菌存在显著差异，可能代表着一种已灭绝的、与现存任何生物都毫无关系的真核生物。这一发现为生命演化史增添了新的谜团，也提示着地球生命的多样性可能远超我们的想象。
阅读更多
哈佛大学研究人员指出，将AI与“人类”比较时，实际参照的是西方、受过教育、工业化、富裕、民主（WEIRD）人群，尤其以美国人为代表。研究发现，ChatGPT等AI工具在模拟人类价值观时，与美国的文化距离越远，准确性越低，对像利比亚和巴基斯坦等国家的人群，其预测结果几乎和随机猜测一样。这揭示了AI模型潜在的文化偏见，并非真正意义上的“人类化”，而是“美国化”。
阅读更多
数学家们推翻了一个关于结理论的长期存在的猜想。长期以来，数学家们认为，将两个不同结的断开端连接在一起，新结的复杂度等于各个结复杂度之和。然而，研究人员最近发现了一个结，其复杂度小于其组成部分之和。这一发现挑战了我们对结复杂度的理解，并为蛋白质折叠、分子结构稳定性等领域的研究带来了新的启示。
阅读更多
尽管无服务器计算（如AWS Lambda）具有吸引人的价值主张——按需付费，自动扩展，无需关注底层基础设施——但其大规模应用却进展缓慢。文章指出，这主要源于两个原因：首先是微服务迁移带来的经验教训，许多组织在技术和组织准备不足的情况下经历了痛苦的转型；其次，无服务器计算会加剧微服务架构已有的挑战，例如依赖注入、可观察性等方面的复杂性。作者建议，逐步采用，关注具备高度自治能力的团队和合适的应用场景（例如AI和LLM集成），是更有效率的策略。
阅读更多
谷歌正在开发名为“Desktop View”的全新Android桌面模式，该模式将带来持久任务栏和可调整大小的自由窗格等功能，为用户提供类似PC的多任务体验。这标志着谷歌在挑战三星DeX，为非三星Android手机用户提供更强大的桌面体验方面迈出了重要一步。虽然目前仍处于开发阶段，但其功能已相当完善，包括持久任务栏、可调整大小的自由窗格以及应用间的拖放功能，有望在未来成为Android系统的重要组成部分。
阅读更多
人工智能技术对教育体系的冲击已引发广泛担忧。纽约杂志和404 Media的报道揭露了AI作弊的严重性：大学生利用ChatGPT完成作业，甚至用其撰写大学申请论文；学校则在“AI拥护者”的鼓动下，鼓励教师使用AI辅助教学，最终导致学生和教师都依赖AI，学习能力下降，教育质量恶化。这不仅暴露了教育体系的漏洞，也预示着未来可能出现更严重的智力退化风险。
阅读更多
一项令人震惊的研究发现，非洲多国有大量癌症药物存在活性成分不足的问题。研究人员在埃塞俄比亚、肯尼亚、马拉维和喀麦隆的医院和药房抽检了近200种癌症药物，发现约17%的药物活性成分含量不足，甚至包括一些大型医院使用的药物。这可能导致肿瘤继续生长甚至扩散。研究指出，问题根源在于非洲药品监管体系的薄弱，需要加强监管、提供检测技术和培训来解决这个问题。虽然大部分药物质量合格，但少数不良供应商却造成了严重的健康风险。
阅读更多
本文探讨了Kronecker名言“上帝创造了整数；其余都是人的工作”的含义。作者认为，整数的简洁性源于人类的抽象能力，而实数的复杂性则更接近自然界的混沌。作者提出了一种“怪异等级”的概念，认为越接近自然本源的事物，其怪异性越强。这引发了对科学与艺术、神创论与人类创造的讨论，并涉及到康托尔关于无限集的理论及其引发的宗教辩论。文章最终以作者对Kronecker观点的质疑和对数学本质的反思而结束，是一篇充满哲学思辨意味的科技文章。
阅读更多
本文讲述了作者如何在售价约30美元的Miyoo A30掌机上安装Debian系统并运行Python和Pygame。作者首先刷入了spruceOS系统，然后使用debootstrap创建了一个包含Python 3、Pygame等必要库的Debian chroot环境。为了解决图形和输入驱动问题，作者从spruceOS系统复制了必要的库文件到chroot环境中。最后，通过编写脚本，成功地在spruceOS界面中添加了Pygame游戏，实现了在Miyoo A30上运行自制游戏的目标。虽然屏幕旋转90度的问题尚未解决，但这篇文章提供了一个在低成本掌机上运行复杂程序的完整指南。
阅读更多
一个名为`moonphase`的项目提供了多种编程语言的代码片段，用于计算月相。这些代码基于John Walker在80年代编写的moontool程序的算法，并参考了《Practical Astronomy With Your Calculator》一书。该项目支持系统级语言、脚本语言和DSL，所有实现都包含测试用例，并能计算月球的照亮部分。项目强调代码的简洁性和自包含性，方便用户直接复制粘贴使用。
阅读更多
HTTL 从 0.1.7 版本开始提供命令行界面 (CLI)，允许用户在终端运行 HTTL 查询。这对于在 CI/CD 管道中运行 HTTL 查询或将其集成到现有自动化脚本中非常有用。HTTL CLI 支持 HTTL 语言的所有功能，并提供格式化和彩色终端输出。安装方法：需要 Node.js 16.14 或更高版本，使用 npm 全局安装。
阅读更多