Airweave 是一款能让你的AI代理进行语义搜索任何应用程序的工具。它兼容MCP，并能无缝连接任何应用程序、数据库或API，将它们的内容转换为代理可用的知识。无论你的数据是结构化还是非结构化，Airweave都能帮你将其分解成可处理的实体，存储数据并通过REST和MCP端点进行检索。它支持多种数据源，并具有实体提取、转换管道、多租户架构、增量更新、语义搜索等功能。后端使用FastAPI (Python)，数据库使用PostgreSQL和Qdrant，并支持Docker Compose和Kubernetes部署。
阅读更多
面对日益严格的软件供应链安全法规，企业常常采用成本高昂的隔离环境和繁琐的审查流程。本文介绍了Nix，一个强大的包和依赖管理器，它如何帮助企业在不影响开发效率的前提下，构建可验证的软件供应链。Nix允许追踪软件的精确来源和完整性，生成可供审计的离线源代码包，满足监管要求，同时降低成本，提高开发效率。通过一个可引导的NixOS镜像示例，文章详细阐述了Nix如何实现从依赖树提取可验证的固定输出派生（FOD）到离线重建整个系统的过程，最终确保软件的完整性和可追溯性。
阅读更多
arXivLabs是一个框架，允许合作者直接在arXiv网站上开发和分享新的arXiv功能。参与arXivLabs的个人和组织都认同并接受了我们开放、社区、卓越和用户数据隐私的价值观。arXiv致力于这些价值观，并且只与遵守这些价值观的合作伙伴合作。如果您有关于能为arXiv社区增值的项目的创意，请了解更多关于arXivLabs的信息。
阅读更多
Rust开发者常常戏谑C++程序员与内存泄漏相伴，如同宿命。但这篇文章却反其道而行之，通过一个简单的C++程序演示如何主动制造并追踪内存泄漏。作者巧妙地运用`_CrtDumpMemoryLeaks`等调试工具，将内存泄漏的查找过程比作一场与指针的较量，最终成功找出并定位泄漏点，为C++开发者提供了一种有效的排查内存问题的思路。
阅读更多
德国数据存储公司Cerabyte宣布获得西部数据战略投资，将加速其基于陶瓷的超长寿命数据存储技术的开发。Cerabyte的技术号称可实现5000年数据保存，并有望实现前所未有的存储容量，目标是到2030年将存储成本降低到每TB低于1美元。近期，Cerabyte通过高温、盐水等极端测试，证明其陶瓷存储的耐用性，抵御各种环境破坏。此次合作将推动该技术商业化，为长期数据存储提供更经济、可靠的解决方案。
阅读更多
Spade 是一种新型硬件描述语言 (HDL)，它借鉴软件编程语言的优点，简化了硬件描述过程，并降低了出错的可能性。它通过在语言层面支持常见的硬件结构来实现这一点，同时不会影响对生成的硬件的底层控制。Spade 的关键特性包括：一流的流水线结构，强大的类型系统（包括结构体、数组、元组和带有效负载的枚举），模式匹配，类型推断以及出色的错误消息。它还提供了一套完善的工具，包括构建工具 Swim 和测试框架 cocotb。Spade 虽然仍处于早期阶段，但已经展现出巨大的潜力，有望成为下一代硬件设计语言。
阅读更多
超过400位英国顶尖媒体和艺术人士联名致信首相，反对《数据（使用和访问）法案》中一项允许AI模型使用受版权保护作品的修正案。他们认为该修正案未能充分保护创作者权益，并可能导致大规模版权盗窃。该修正案虽然允许内容创作者选择退出，但他们认为这不足以应对潜在的风险。联名人士包括保罗·麦卡特尼、艾尔顿·约翰、酷玩乐队等知名艺术家，以及多家媒体机构。他们呼吁增加透明度要求，迫使AI公司披露其使用的版权作品，从而有效保护创作者的权益，并促进英国创意产业的健康发展。
阅读更多
美国版权局局长Shira Perlmutter在该机构发布报告称AI模型使用版权材料超出合理使用范围后一天被解雇。该报告指出，AI公司无法在特定情况下以合理使用为由进行辩护，这令谷歌、Meta、OpenAI和微软等公司面临法律风险。解雇原因众说纷纭，有人认为是由于Perlmutter拒绝批准Elon Musk使用版权材料训练AI模型，也有人认为是特朗普政府对多样性政策的调整。这一事件加剧了AI版权大战的紧张局势，引发了关于AI发展与版权保护之间平衡的广泛讨论。
阅读更多
福特放弃了其下一代电气架构项目FNV4，与现有架构合并，凸显了传统车企向“软件定义汽车”（SDV）转型之难。特斯拉率先实现了SDV，通过OTA升级和集中式计算降低成本并提升用户体验，但也暴露出软件质量控制问题。通用、沃尔沃等车企也遭遇了SDV项目延期和软件缺陷等难题，大众更是将核心软件外包。转型过程中，传统车企面临着组织架构、开发理念、技术积累等多重挑战，需要平衡安全性和敏捷开发，并兼顾燃油车和电动车的需求。最终胜出者将是那些能够成功转型为软件公司的企业，而这条道路注定充满荆棘。
阅读更多
kdlfmt是一个基于Rust的命令行工具，用于格式化KDL (KDL)文档。它支持多种安装方式，包括Cargo、Homebrew、npm和预编译二进制文件。kdlfmt 提供了 `format` 命令用于格式化KDL文件，`check` 命令用于验证文件格式，以及 `completions` 命令用于生成shell自动补全功能。它还支持`.kdlfmtignore`文件来忽略特定文件或目录，并提供了多种配置选项，例如指定KDL版本和日志级别。无论是通过管道输入还是直接处理文件，kdlfmt都能高效地格式化你的KDL代码，提高代码的可读性和一致性。
阅读更多
Organic Maps 的社区分支 CoMaps 项目进展顺利，该项目秉承透明、社区决策、非营利、公益、完全开源和注重隐私的原则。目前正集中精力构建基础设施和技术，首个版本正在开发中。项目名称“CoMaps”暂定，社区成员可在 5 月 20 日前参与投票最终确定。CoMaps 欢迎社区参与开发、组织和决策，以及传播项目、制作宣传素材和捐赠。与 Organic Maps 股东的谈判没有取得实质性进展，Viktor 坚持保留对 Organic Maps 的完全控制权，项目未来仍存在不确定性。
阅读更多
中美两国宣布达成协议，暂时降低彼此的关税，为持续不断的贸易战带来90天的休战期。美国将把对中国进口商品的关税从145%降至30%，而中国则将把对美国商品的进口税从125%降至10%。双方表示，此举旨在避免经济“脱钩”，并为进一步谈判争取时间。这项协议为受贸易战影响的美国企业带来了希望，此前许多企业已暂停订单，等待关税降低。
阅读更多
这篇博文对Ruby命名空间的提案提出了质疑。作者认为，该提案旨在解决库名冲突、全局模块共享和多版本gem依赖等问题，但这些问题在实际开发中并不常见，且提案带来的复杂性（例如去重）可能弊大于利。作者更倾向于一种更轻量级的方案，例如限制常量访问，并提供类似BasicObject的机制，以提高代码可维护性和模块化。
阅读更多
美国联邦贸易委员会（FTC）原计划于5月14日开始执行“一键取消”规则的剩余条款，要求取消订阅与开始订阅一样容易。但由于“重新评估强制遵守该日期将造成的负担”，FTC已将执行日期推迟至7月14日。该规则禁止公司设置与注册流程不同的取消流程。FTC表示，7月14日起将全面执行该规则，但仍可能根据执行情况修改相关条款。
阅读更多
人权观察组织最新报告揭露了美国七大数字劳务平台（包括Uber、DoorDash等）的黑暗一面。这些平台将“零工”工人错划为独立承包商，逃避雇主责任，利用不透明的算法控制工资和工作分配，导致工人收入远低于最低工资标准，缺乏社会保障，并面临随时被解雇的风险。报告指出，这种模式导致工人经济极度不安全，而平台公司却赚得盆满钵满。 报告呼吁美国政府加强监管，保障零工工人的权利。
阅读更多
荷兰科学家团队最新研究表明，宇宙的衰变速度远比之前预想的快得多。他们通过计算霍金辐射类过程，预测宇宙中寿命最长的白矮星将在约10⁷⁸年后衰变，远短于之前的10¹¹⁰⁰年预测。这项研究基于对霍金辐射的重新解释，考虑了包括中子星在内的其他天体的“蒸发”过程。研究人员还计算了人类和月球的“蒸发”时间，约为10⁹⁰年。这项跨学科研究结合了天体物理学、量子物理学和数学，为更好地理解霍金辐射提供了新的见解。
阅读更多
科幻作品中的外星语言，例如《降临》中的七肢体外星人的语言，虽然奇特，但其基本结构与人类语言惊人地相似。这引发了哲学家对“可能语言空间”的思考：真正的外星语言可能远超我们的想象，其构建方式可能与人类语言大相径庭。文章探讨了语言的四个层面：符号、结构、语义和语用学，并分析了外星语言可能在这些层面上的差异，例如采用非人类的感知方式（气味、电脉冲），拥有不同于人类的语法结构，甚至缺乏我们理解的“意义”概念。文章认为，准备好迎接真正不同于人类语言的外星语言，需要我们打破人类中心主义的视角，积极探索语言的可能性，这不仅关乎未来可能的外星接触，也关乎我们对自身语言和认知能力的更深理解。
阅读更多
这篇指南详细介绍了 Dart 编译命令 `dart compile` 的使用方法，它可以将 Dart 程序编译到目标平台。你可以通过不同的子命令生成包含 Dart 运行时的可执行文件或模块（快照）。指南涵盖了 `exe`、`aot-snapshot`、`jit-snapshot`、`kernel`、`js` 和 `wasm` 等子命令，并详细解释了每种输出类型的用途和特性，例如自包含的可执行文件、AOT 模块、JIT 模块、可移植的 Kernel 模块、JavaScript 代码以及 WebAssembly 代码。此外，指南还介绍了交叉编译、代码签名、以及优化生产环境 Web 编译的方法。
阅读更多
冈萨洛·格雷罗，一位16世纪初的西班牙水手，在尤卡坦半岛遭遇海难后被玛雅人俘虏。他不仅获得了自由，更成为玛雅领主的尊敬的战士，娶了玛雅女子并育有子女，成为美洲最早的混血儿之一。他拒绝了西班牙征服者的邀请，选择忠于玛雅人，并参与对抗西班牙殖民的战争，最终战死沙场。他的故事是跨文化融合与个人选择的传奇，也反映了殖民时代复杂的历史图景。
阅读更多
Lean Blueprints 是一种用于规划精益项目的工具，它借鉴了数学家用于形式化证明过程的蓝图方法。该工具使用图来表示证明过程中的不同步骤，节点代表定义、引理和定理，颜色表示状态（绿色为已证明，蓝色为已陈述但未证明，黑色为未写）。通过追踪Lean项目（例如Terrence Tao对PFR猜想的形式化）的版本控制，我们可以可视化地观察到证明过程的演变，从而洞察数学家如何进行证明，并为开发辅助数学家进行证明的工具提供数据。
阅读更多
Armbian团队本周发布了重大更新，涵盖用户体验、引导加载程序和系统支持等方面。最引人注目的是集成了OpenMediaVault，允许用户轻松将单板计算机变成网络存储设备。此外，改进包括移除冗余的无线热点提示，提升了Orange Pi 5 Max和PocketBeagle2的引导加载程序，并优化了Rockchip64平台的性能和稳定性。Armbian持续改进基础设施，清理了无用代码，并为未来的测试做准备。
阅读更多
经过紧张的谈判，中美两国达成协议，在90天内大幅削减彼此的商品关税。此举标志着持续已久的贸易战出现重大缓和，全球市场也因此受到提振。美国将把对华商品的关税从145%降至30%，中国则将把对美商品的关税从125%降至10%。双方还同意建立机制，继续就经贸关系进行对话。这一进展缓解了市场对经济衰退的担忧，全球股市应声上涨。
阅读更多
Trail of Bits团队对PyPI后端Warehouse的测试套件进行了优化，将执行时间从163秒缩短到30秒，测试数量从3900个增加到4700多个。他们通过以下方法实现了81%的性能提升：使用pytest-xdist并行化测试执行；利用Python 3.12的sys.monitoring进行更高效的覆盖率检测；优化测试发现；消除不必要的导入。这些优化方法对许多Python项目都适用，特别是那些测试套件不断增长并成为开发瓶颈的项目。
阅读更多
OpenEoX标准通过统一各厂商和开源维护者的产品生命周期终止（EOL）和服务终止（EOS）策略，显著降低了网络安全风险。它使企业能够快速识别不再受支持的产品，从而及时淘汰或更换存在安全漏洞的老旧产品，维护更安全的IT环境。OpenEoX的机器可读性也使得自动化漏洞管理成为可能，实时监控和预警让IT团队能够主动应对潜在的安全风险。此外，它简化了产品管理，增强了客户信心，并促进了技术迁移的顺利进行。
阅读更多
这项改进通过在应用的训练运行中收集方法执行概要文件，并将其存储在AOT缓存中，来显著缩短Java应用的预热时间。在生产环境中启动应用时，JIT编译器可以直接使用这些概要文件生成本地代码，无需等待收集概要文件，从而实现更快的启动和峰值性能。这项技术无需修改应用代码，并与现有的AOT缓存创建命令兼容。实验表明，一个简单的示例程序预热时间缩短了19%。
阅读更多
作者面临一个需要大量PWM通道的项目，单个RP2350不足以满足需求。文章介绍了一种创新的解决方案：利用第二个RP2350作为端口扩展器，并通过UART引导程序进行通信。这避免了使用不同固件的复杂性。作者详细解释了UART引导过程，包括解锁、发送固件以及从SRAM运行。文中还探讨了将RP2350固件嵌入另一个微控制器的固件中，并通过RS-485实现可靠的长距离通信。这是一个巧妙的硬件和软件结合的案例，为解决类似问题提供了新的思路。
阅读更多
在线支付公司 Klarna 曾豪言其 AI 聊天机器人可以替代 700 名人工客服，但在一年后，他们却决定重新启用人工客服，并将其作为核心服务。尽管 AI 聊天机器人能够快速处理简单的客户问题，但 Klarna 发现，在处理复杂或情绪化的客户需求时，人类的同理心和专业知识至关重要。因此，Klarna 将 AI 定位为辅助工具，而非替代品，并计划招募更多人工客服，以提供更优质的客户服务体验。这次战略调整反映了 AI 在客服领域中的局限性，以及消费者对人际互动的持续需求。
阅读更多
本网站介绍如何仅使用编辑器、浏览器和Web标准，无需构建工具或框架，来构建网站和Web应用程序。它深入探讨了使用Web组件作为基础构建块、充分利用现代CSS以及构建无需构建工具、框架或服务器端逻辑的Web项目和单页应用程序的方法。文章面向已掌握HTML、CSS和JavaScript的开发者，旨在提供一种更简洁、易维护的原生Web开发方案，以应对现代框架的复杂性和维护成本。
阅读更多
Infinity Nikki 的 1.5 更新引来了玩家的强烈反弹。新版本加入了多人模式和新的服装定制选项，但也带来了大量 bug、游戏不稳定以及令人费解的剧情和氪金机制调整。玩家们发起了“girlcott”（女性版抵制）行动，拒绝登录游戏并停止氪金，并在 Steam 上刷负面评价。开发商 Infold Games 的回应未能平息众怒，玩家们认为新版本增加了获取完整服装的成本，并引入了新的付费货币，将游戏推向了更强的氪金导向，同时还对游戏开场剧情进行了大幅改动，引发了玩家对故事完整性的担忧。这次事件暴露出 Infold Games 对玩家信任的辜负，以及其在游戏内购设计上的失误。
阅读更多