FastVLM是一种高效的视觉编码器，它能够显著减少高分辨率图像的编码时间和生成的token数量。即使是最小的FastVLM变体，其速度也比LLaVA-OneVision-0.5B快85倍，视觉编码器体积也小3.4倍。更大的FastVLM变体结合Qwen2-7B LLM，其性能优于Cambrian-1-8B等最新模型，并且TTFT快7.9倍。该项目还提供了一个iOS演示应用和详细的推理指南，方便开发者在移动设备和苹果设备上运行。
阅读更多
本文作者是一位程序员，他分享了他独特的电脑使用习惯，核心思想是“瞬息万变”策略：所有事物要么被有组织地永久保存，要么被严格地视为临时数据。他从关闭持久化Shell历史记录、定期清理GUI桌面、频繁关闭浏览器等方面阐述了这一策略，并解释了其背后的原因和益处，例如提高效率、增强组织性、减少数据冗余等。他还讨论了公司记录管理、自动化操作系统设置等相关实践，并指出该策略并非绝对适用，例如电子邮件和浏览器历史记录因其特殊性而例外。
阅读更多
飞利浦启动了名为“Philips Fixables”的新计划，旨在鼓励用户自行修理部分产品。该计划提供官方设计的3D打印替换组件文件，可在Printables.com免费下载。目前仅提供一款剃须刀梳子组件，但飞利浦承诺未来将提供更多设备的组件。此举旨在支持可修复硬件，并为消费者提供可持续的维修选择，而非直接更换设备。该计划首先在捷克共和国推出，并与Prusa Research和LePub合作，以促进当地创客社区的采用。消费者也可以提交请求，希望飞利浦添加特定组件。
阅读更多
VPN提供商VPNSecure的新老板取消了所有终身订阅，激怒了用户。新老板声称在收购时并不知道终身订阅的存在，无法履行之前的承诺。这一举动导致用户投诉不断，VPNSecure被迫给出解释，并提供折扣订阅作为补偿。然而，此举并未平息用户的愤怒，事件凸显了企业收购中信息披露和责任承担的重要性。
阅读更多
面对2022年霉霉演唱会门票风波和监管机构的压力，Ticketmaster 宣布推出“全价” (All In Prices) 计划，在结账前显示包含所有费用的最终票价。此举旨在遵守5月12日生效的联邦贸易委员会关于禁止“垃圾费”的规定。虽然本地税和递送费仍需到结账时才显示，但该计划增加了票面价格和服务费的透明度，并对排队系统进行了改进，提供实时更新和排队人数信息。这反映了监管机构对票务市场的日益关注，以及立法者推动票务价格透明化的努力，例如已通过众议院的TICKET法案。
阅读更多
威廉·伦纳德·皮卡德，一位哈佛毕业生，因涉嫌成为全球最大的LSD制造商之一而被捕。这篇文章讲述了他传奇而复杂的一生：从亚特兰大的优渥童年，到60年代迷幻文化中心，再到90年代在顶级大学从事社会药物研究。他曾与摇滚明星Sting交往，结识英国上议院成员和美国官员，还获得哈佛肯尼迪政府学院硕士学位。然而，他多次因制造毒品入狱，也曾试图走正途，最终因与毒贩戈登·托德·斯金纳的合作而再次落网。皮卡德的故事，是60年代理想主义与90年代物质主义碰撞的缩影，也是一个关于迷幻年代梦想与现实冲突的警示故事。
阅读更多
厌倦了依赖云端大型语言模型？本文介绍了一个构建本地语音助手的五步教程，该助手能够理解自然语言、执行应用程序函数，并完全尊重用户隐私。教程涵盖了使用LoRA微调LLaMA 3.1、创建函数调用数据集、进行本地推理以及集成语音输入/输出等步骤。作者强调了MLOps原则在本地AI开发中的重要性，并提供了构建可靠、可维护的本地语音助手的实践指南。
阅读更多
还在为SOC 2合规而头疼吗？这款工具提供清晰易用的SOC 2清单，帮助你理解要求并轻松追踪进度。它还能一键生成符合SOC 2标准的基础策略，简化文档准备工作。此外，它支持集中上传证据、将文件直接链接到控制项，并简化审计准备工作。团队协作功能允许你在一个平台上分配任务、跟踪状态和管理证据请求。未来还将推出自动化证据收集、持续控制监控和供应商集成等功能。
阅读更多
这篇文章探讨了如何为你的作品撰写吸引人的标题，以最大限度地吸引目标读者。作者建议将标题视为“分类器”，它应该既能吸引目标读者点击，又能避免吸引那些不喜欢你的作品的人。文章深入分析了标题的两个目标：吸引目标读者点击并阅读，同时避免那些会讨厌你的作品的人点击。作者还讨论了各种标题策略，例如使用专业术语、模仿名人、使用双关语以及在标题中加入结论等，并最终指出一个好的标题的关键在于找到目标受众，并用简洁明了的语言传递作品的核心价值。
阅读更多
教宗方济各呼吁在人工智能时代尊重人类尊严，这让人联想起1891年教宗良十三世在《 rerum novarum 》中应对工业革命带来的社会问题。当时，恶劣的工厂条件导致工人遭受极度贫困和剥削。良十三世谴责了资本主义和社会主义的极端，提出天主教社会学说，主张维护工人的权利。如今，人工智能也可能威胁就业和人类尊严，教宗方济各认为教会需要再次发挥道德领导作用，应对AI带来的新挑战，维护人类尊严、正义和劳动权益。
阅读更多
本文探讨了嵌入技术如何革新技术写作。不同于文本生成模型，嵌入技术通过将文本转换为高维向量（嵌入），实现文本间的语义比较。文章解释了嵌入的生成方式、成本以及不同模型间的差异，并以Voyage-3模型为例，说明其在大文本处理方面的优势。作者通过类比地图坐标，解释了嵌入在高维空间中的表示方式，并以Word2vec为例，展示了嵌入技术捕捉语义关系的能力。最后，文章介绍了嵌入技术在文档网站相关页面推荐中的应用，并展望了其在技术写作领域的巨大潜力。
阅读更多
arXivLabs是一个让合作者直接在arXiv网站上开发和分享新功能的框架。参与其中的个人和组织都认同arXiv的开放、社区、卓越和用户数据隐私的价值观。arXiv致力于这些价值观，只与遵守这些价值观的合作伙伴合作。如果你有想法能为arXiv社区增值，那就了解更多关于arXivLabs的信息吧！
阅读更多
近期修补的macOS漏洞CVE-2025-31250允许应用程序伪造系统权限弹窗，欺骗用户授权。攻击者利用Apple Events和TCC（透明度、控制和通讯）系统中的漏洞，将弹窗显示的应用程序与实际获得权限的应用程序分离。此漏洞利用了TCC守护进程中处理Apple Events权限请求的逻辑错误，无需创建伪造应用程序或覆盖Dock快捷方式。该漏洞已被修复，但凸显了系统权限管理的复杂性和潜在风险。
阅读更多
Mergeable 是一款提升 GitHub Pull Request 管理效率的浏览器应用。它允许用户通过灵活的搜索查询将 PR 组织成不同的区块，所有数据都存储在本地浏览器，支持快捷键快速导航，并能连接多个 GitHub 实例（包括 GitHub Enterprise）。更重要的是，它能突出显示需要你处理的 PR，无需安装任何 GitHub 应用。 你可以在 https://app.usemergeable.dev 使用公共实例，或参考 https://www.usemergeable.dev 的文档自行部署。
阅读更多
本文探讨了在 OCaml 中使用广义代数数据类型 (GADTs) 来优化内存表示的方法。作者首先解释了 OCaml 多态性的局限性，特别是 List.iter 函数在处理不同数据类型时，由于内存表示的统一性导致的空间效率问题。然后，作者尝试了使用普通变体和对象两种方法来创建一个既能使用普通数组，又能使用字节数组的 Compact_array 类型，但都遇到了类型推断和内存分配效率的问题。最终，作者使用 GADTs 成功地解决了这个问题，实现了对不同数据类型数组的灵活且高效的内存表示，证明了 GADTs 不仅适用于编译器编写，也适用于系统编程，特别是需要优化内存表示的高性能应用场景。
阅读更多
23岁的加密货币开发者Jeffy Yu近日发布了一段疑似自杀视频，随后其家人发布了对其的溢美之词的讣告，甚至还出现了一种以他命名的山寨币。然而，网络侦探很快发现了视频的造假痕迹，讣告也随之消失。最终，《标准报》找到了躲在家中父母家的Yu，他承认自己策划了这场骗局，并表示自己受到了网络骚扰。Yu开发的加密货币Zerebro市值4400万美元，远低于比特币的2万亿美元。这个事件再次暴露了加密货币领域的投机和虚假信息传播问题。
阅读更多
一位开源贡献者在LLVM项目中提交了一个bug报告，却遭遇了不公正的待遇。尽管提供了详尽的证据，但代码行为准则委员会却认定他违反了行为准则，而忽略了其他贡献者明显的违规行为。这引发了对开源社区中代码行为准则执行的质疑，以及对公平性和问责制的担忧。该事件甚至蔓延到Mesa项目，进一步凸显了开源社区中需要改进冲突解决机制的问题。
阅读更多
本文讲述了作者如何用不到200行Clojure代码实现一个精简的LSP客户端，并以此为基础构建了一个命令行代码检查工具。文章详细介绍了LSP协议的基础通信层、JSON-RPC层以及客户端API的实现，并讨论了在实际应用中遇到的挑战，例如大多数语言服务器依赖通知而非请求来提供诊断信息，导致构建简单的命令行工具变得复杂。作者最后总结了LSP的优缺点，并展望了未来基于WASM的语言服务器技术。
阅读更多
受制裁和成本上涨影响，英伟达几乎所有产品都涨价了！游戏显卡涨幅5%-10%，AI GPU甚至高达15%。为应对对华AI芯片禁令造成的55亿美元季度盈利损失，以及高昂的生产成本（尤其Blackwell芯片转移到台积电美国工厂生产），英伟达CEO黄仁勋奔波于中美之间，通过涨价来维持盈利。尽管如此，强劲的海外AI芯片需求和云服务提供商的支出增长，预计仍能保证其季度盈利符合预期。但RTX 50系列显卡和H200/B200芯片的涨价，以及经销商跟进，已将价格推高。中美贸易协议虽然可能带来降价希望，但消费者可能还要等一段时间才能看到价格回落。
阅读更多
本教程系列旨在指导初学者使用Python编写快速、简洁的N体引力模拟代码，类似于“CFD Python：12步Navier-Stokes方程”课程。教程循序渐进，即使是编程新手也能轻松掌握。每个步骤都提供了详细的解释和完整的代码，鼓励读者将代码改写成自己的版本以加深理解。完成本教程后，你将能够编写自己的N体模拟代码，并进一步探索相关项目。
阅读更多
这张2010年创作的互联网地图，直到2014年才首次公开亮相。它以BGP数据而非原始traceroute数据为基础，与之前的traceroute图像截然不同，为未来和过去基于Route Views表转储存档的图像构建了一个框架。图片颜色则基于白炽光颜色，连接点越多，颜色越热，代表连接强度越高。该作品曾在纽约现代艺术博物馆（MoMA）和《Discover》杂志展出。
阅读更多
本文深入探讨了大型语言模型中自注意力机制的工作原理。作者通过分析多头注意力和层叠机制，解释了为什么看似简单的矩阵乘法能够实现复杂的功能。核心观点是：单个注意力头功能简单，但通过多头注意力和层叠，可以构建出复杂、丰富的表示。这类似于卷积神经网络中逐层提取特征的过程，最终实现对输入序列的深刻理解。此外，文章还阐述了注意力机制如何解决RNN模型中固有的固定长度瓶颈问题，并通过例子解释了注意力机制中查询、键和值空间的作用。
阅读更多
一项新的研究利用NASA洞察号任务的地震数据，发现了火星地表下5.4到8公里深处存在一个巨大的液态水库的证据。这个水库可能含有足以覆盖火星全球的液态水，其体积与火星“失踪”的水量相符。这一发现不仅解释了火星古代海洋的去向，也为未来火星探测和寻找地外生命提供了新的方向。火星地下水可能支持简单的生命形式，甚至为未来的宇航员提供宝贵的资源。
阅读更多
一名安全研究人员发现约会应用Cerca存在严重安全漏洞，导致数千用户的个人信息，包括电话号码、大学邮箱、甚至身份证信息泄露。该研究人员在2月底向Cerca团队报告了漏洞，但未收到回复。漏洞允许攻击者获取用户的个人资料、私信，甚至强制匹配用户。目前漏洞已修复，但Cerca公司未公开承认此事或通知受影响用户。此事件凸显了初创公司重视安全的重要性，以及及时响应安全漏洞报告的必要性。
阅读更多
美国每年有超过4万人死于交通事故，是发达国家中最高的之一。这并非不可避免，而是政策选择的结果。文章指出，与荷兰、瑞典等国家相比，美国在道路安全方面的改进滞后，原因在于缺乏全国性的系统性安全方案。这些国家采用的“安全系统”方法，强调以人为本的设计，降低道路速度，减少人车冲突。文章呼吁美国借鉴国际经验，通过全国性战略、设计改革和文化转变，来解决道路安全危机。
阅读更多
Legion Health 是一家利用 AI 重建精神卫生护理系统的初创公司，旨在解决该行业运营效率低下的问题。他们不关注 AI 诊断，而是专注于构建 AI 原生的运营后端，包括预约、文档、账单、风险检测等。公司已获得 600 万美元融资，年收入超过 100 万美元，并拥有一个支持 2000 多名患者的 AI 代理基础设施。他们正在寻找能够构建复杂系统、精通 LLM 并重视速度和简洁架构的创始工程师，共同打造 AI 原生的精神卫生系统。
阅读更多
USENIX年度技术大会（ATC）停办了。这引发了对学术会议模式和开源时代系统研究方向的反思。文章作者回顾了ATC从辉煌到衰落的过程，认为开源项目的兴起改变了系统研究成果的传播方式，使得学术会议的重要性下降。同时，ATC自身也存在问题，过度学术化，与实践脱节，最终走向终结。作者认为，虽然ATC的停办令人惋惜，但在线会议的兴起也为系统研究提供了新的可能性。
阅读更多
作者长期依赖Hacker News获取科技新闻，但繁杂的资讯和不断增长的未读内容让他不堪重负。为此，他开发了两个工具：一个Telegram机器人Tobie，定时推送符合特定条件（例如关键词、点赞数）的HN文章；一个Chrome扩展HaNe，提供付费文章的存档链接、快速定位HN帖子和AI评论摘要功能。这两个工具极大提升了他的阅读效率，减少了屏幕时间，并缓解了信息焦虑。
阅读更多
OpenEoX标准通过统一各厂商和开源维护者的产品生命周期终止（EOL）和服务终止（EOS）策略，显著降低了网络安全风险。它使企业能够快速识别不再受支持的产品，从而及时淘汰或更换存在安全漏洞的老旧产品，维护更安全的IT环境。OpenEoX的机器可读性也使得自动化漏洞管理成为可能，实时监控和预警让IT团队能够主动应对潜在的安全风险。此外，它简化了产品管理，增强了客户信心，并促进了技术迁移的顺利进行。
阅读更多
Airweave 是一款能让你的AI代理进行语义搜索任何应用程序的工具。它兼容MCP，并能无缝连接任何应用程序、数据库或API，将它们的内容转换为代理可用的知识。无论你的数据是结构化还是非结构化，Airweave都能帮你将其分解成可处理的实体，存储数据并通过REST和MCP端点进行检索。它支持多种数据源，并具有实体提取、转换管道、多租户架构、增量更新、语义搜索等功能。后端使用FastAPI (Python)，数据库使用PostgreSQL和Qdrant，并支持Docker Compose和Kubernetes部署。
阅读更多