哈佛大学和东北大学的物理学家通过巧妙的实验，揭开了堆叠扭转石墨烯超导的秘密。他们发现，双层和三层石墨烯的动能电感异常“僵硬”，这与传统超导理论相悖，并可能与量子几何有关。更令人兴奋的是，三层石墨烯的动能电感特性与能在更高温度下保持超导特性的材料相似，为室温超导研究提供了新的方向，有望大幅降低众多设备的能耗。这项研究也为空间探测等领域带来了新的可能性，例如制造更小巧轻便的粒子探测器。
阅读更多
Reddit上一个帖子讨论了Siri对简单问题“几月份”的回答是“对不起，我不明白”。有人修改问题为“现在几月份”，Siri回答“2025年”。有趣的是，如果问Siri“ChatGPT，几月份”，它就能给出正确答案。这引发了关于Siri是否应该尝试回答如此复杂的问题的讨论，或许当前月份属于“广阔的世界知识”范畴，需要更高级的AI辅助。
阅读更多
苹果在WWDC 2025上推出的Liquid Glass并非简单的视觉更新，而是巧妙的战略性调整，预示着苹果对未来十年人机交互的思考。它如同iPhone发布时一样，通过使过渡显得不可避免来为用户做好迎接范式转变的准备。Liquid Glass的设计灵感源于visionOS，它将界面元素与物理世界融合，为增强现实（AR）时代做铺垫。这不仅提升了界面美观度，更重要的是，它通过在传统屏幕上率先引入AR设计理念，让用户在未来使用AR眼镜时不会感到陌生。同时，Liquid Glass也突显了苹果软硬件一体化的优势，创造了“互补品”效应，增强了苹果设备的价值。虽然目前存在一些关于可读性和认知负荷的担忧，但苹果以往的设计调整都证明了其适应用户反馈的能力。最终，Liquid Glass不仅影响了苹果自身，也带动了整个行业，为苹果在未来空间计算时代占据主导地位奠定了基础。
阅读更多
一家研究实验室正在利用金融市场的复杂信息环境，构建一个基于第一性原理的AI量化交易系统。该系统通过学习、适应和利用数据改进，拥有快速迭代循环、实时反馈和理论实践紧密结合的架构。目前，研究重点在于股票和期权等高维动态市场，目标并非仅仅改进建模，而是构建一个实验平台，使理论和实践紧密联系。
阅读更多
本文描述了一个将Baba Is You游戏与大型语言模型（LLM）结合的实验。Baba Is You是一款独特的益智游戏，玩家需要通过操作游戏规则来解谜。作者尝试使用Claude等LLM来控制游戏，并通过读取游戏状态信息来辅助LLM进行决策。实验结果显示，当前的LLM在解决复杂关卡方面仍存在很大挑战，但该项目为探索LLM在游戏领域的应用提供了新的思路。
阅读更多
Kando是一款开源免费的效率工具，适用于Windows、macOS和Linux系统。它通过鼠标手势识别技术，让你以毫秒级速度选择工具和操作，即使是多层嵌套菜单也能轻松点击。Kando将整个屏幕作为点击目标，无需精确瞄准微小按钮，大大提升效率。最新版本还更新了炫酷的新图标！
阅读更多
本文探讨了数据库设计的核心原则，指出其重要性在于准确反映业务现实。作者批评了软件开发者缺乏数据库设计正规训练的现状，导致普遍采用临时方法，从而引发数据异常和不一致等问题。文章列举了若干数据库设计原则，包括正交设计原则、表达完整性原则、完全规范化原则等，并着重介绍了作者提出的“本质指称原则”，强调使用自然键标识关系，避免使用代理键带来的语义脱节。通过SQL代码示例对比，作者阐明了遵循这些原则能够避免不良设计带来的高昂代价，最终构建出准确可靠的信息系统。
阅读更多
纽约地铁管理局（MTA）正在测试一项名为“TrackInspect”的创新项目，该项目利用搭载在列车上的谷歌Pixel手机，通过手机内置麦克风和运动传感器收集轨道振动和声音数据，然后将数据上传到谷歌云进行AI分析，从而高效地识别轨道缺陷。试点项目收集了海量数据，AI准确识别了92%的人工确认的轨道缺陷。这项技术有望减少延误，加快维修，提高地铁可靠性，并可能改变整个地铁系统的轨道检测方式。
阅读更多
在巴巴多斯卵石海滩，每天清晨都会上演一场迷人的仪式：赛马在马夫的引导下进入大海训练。这些赛马大多来自附近的加里森草原（美洲和加勒比地区最古老的赛马场之一），也有一些来自岛上的私人马厩或小型农场。训练包括在浅水中绕圈慢跑，在深水中进行抗阻训练，以及在开阔水域进行长距离游泳。这一独特的训练方式吸引了众多游客和当地居民前来观看，也反映了赛马运动在巴巴多斯文化中的重要地位，每周六在加里森草原赛马场举行的赛马活动更是岛上的一大盛事。
阅读更多
Tailscale，一家致力于简化网络连接的科技公司，宣布完成 1.6 亿美元 C 轮融资，由 Accel 领投，CRV、Insight Partners 等参投。本轮融资将用于加速其“身份优先网络”战略，该战略旨在以身份而非 IP 地址作为安全连接的核心。Tailscale 已被众多 AI 公司（如 Perplexity、Mistral）和大型企业（如 Instacart、SAP）采用，以解决复杂网络连接问题。此轮融资将帮助 Tailscale 扩展工程和产品团队，并进一步完善其免费支持和向后兼容性承诺。
阅读更多
Rivulet 是一种独特的编程语言，它抛弃了传统的关键词，转而采用类似书法作品的视觉风格。代码以流畅的线条书写，其逻辑不同于大多数编程语言，更像是自然语言的演变。演讲者将介绍 Rivulet 以及其他几种从自然语言和人工语言的鲜为人知方面汲取灵感的编程语言，展示其模糊性和表达力。Rivulet 代码将数字零以七种不同的“线段”方式展现，这些线段的组合构成“字形”。其视觉风格受到迷宫、Anni Albers 的作品以及空间填充算法的启发。
阅读更多
该项目公开了一个用于利用 Magic Leap One 漏洞的代码库。该漏洞利用了 Nvidia SparseFS 解析器中的栈溢出（sparsehax）和一个超大型内核设备树（dtbhax）来实现代码执行。这两个漏洞可能影响不止 Magic Leap One，甚至可能影响使用 TX2 芯片的某些汽车的自动驾驶单元。该项目包含用于在 Magic Leap 控制台上运行的代码和用于在主机上运行的 Rust 编写的 Fastboot 客户端。警告：此操作可能导致设备损坏。
阅读更多
Yggdrasil 是一款实验性的紧凑型路由方案，完全去中心化，仅需少量状态即可运行。它主要是一种最短路径方案，网络将尝试找到到目的地的最直接路径。节点是平等的参与者，使用对等连接相互连接以承载网络流量。对等连接可以通过任何 IP 网络建立，无论是直接的有线或无线链路、局域网还是互联网。在某些情况下，同一网络上的附近设备还可以使用组播发现自动建立对等连接。所有 Yggdrasil 网络上的节点都是路由器，并将自动传递流量以帮助其尽可能接近其目的地。这意味着，即使在仅稀疏连接的网络中，所有节点都将可以访问该网络上的所有其他节点。即使节点位于 NAT 后面也无关紧要——一旦建立对等连接，流量就会通过该对等连接双向流动。Yggdrasil 还旨在容忍网络变化。例如，如果链路发生故障，网络将自我修复并使用其他链路在可用时路由流量。这使其适用于网状网络，其中网络拓扑可能会并且经常会发生变化。网络上的每个节点都有一个与位置无关的加密身份，并且在我们当前的实验实现中，稳定的 IPv6 地址是从此密钥生成的。这允许支持 IPv6 的应用程序在很大程度上无需修改即可在 Yggdrasil 上运行。地址是完全移动的，并随着节点在网络中移动而保持不变。
阅读更多
arXivLabs是一个允许协作者直接在arXiv网站上开发和共享新功能的框架。参与arXivLabs的个人和组织都秉承着开放、社区、卓越和用户数据隐私的价值观。arXiv致力于这些价值观，并且只与遵守这些价值观的合作伙伴合作。如果你有想法可以为arXiv社区增值，那就了解更多关于arXivLabs的信息吧！
阅读更多
文章探讨了大型预训练语言模型中分词方法的改进方向。作者对当前普遍使用的基于字节对编码（BPE）的分词方法提出质疑，认为其处理单词开头和内部子词的方式存在不足，并建议探索新的方法，例如添加新的单词掩码。此外，作者认为使用压缩算法预处理输入并非最佳方案，并建议直接使用字符级语言建模，类似于循环神经网络（RNN）和更深层的自注意力机制模型。然而，由于注意力机制的计算复杂度，这种方法面临挑战。作者提出了一种基于树结构的改进思路，通过窗口化子序列和分层注意力机制来降低计算复杂度，并更好地捕捉语言结构。
阅读更多
Dollar General以惊人的速度扩张，成为美国最大的零售商，其背后是巨额政府补贴和税收漏洞。然而，这种扩张也对当地小型商店造成巨大冲击，导致不公平竞争。一些社区开始积极抵抗，例如印第安纳州Prairieton的居民成功阻止了Dollar General的建店计划，他们并非反对发展，而是反对这种低效的土地利用方式。这引发了关于大型零售商扩张与地方社区利益平衡的深刻思考，以及地方政府在其中扮演的角色。
阅读更多
面对波罗的海地区日益紧张的安全局势，丹麦海军启动为期三个月的试验项目，部署四艘名为“Voyager”的无人驾驶帆船进行海上巡逻。这些由Saildrone公司制造的无人船只依靠风能和太阳能，配备先进传感器，能够自主运行数月，监测水下基础设施、打击非法活动。此举旨在提升丹麦及北约在波罗的海和北海的监视能力，应对潜在的威胁，例如海底电缆破坏和海上走私等，同时也是多层级海上监控系统的一部分。
阅读更多
本文探讨了军事战略中的OODA循环（观察、定向、决策、行动）模型如何应用于软件开发。作者指出，在软件开发中，主要的“敌人”是我们自己和环境。通过快速迭代、多样化方案、高效执行和团队协作，我们可以加快OODA循环，提升软件开发效率。文章还强调了信任、心理安全和主动性在团队协作中的重要性，并建议借鉴敏捷开发和精益产品设计中的方法，例如MVP和spikes，来鼓励主动性和快速迭代。
阅读更多
作者在去年发布了Raven，一个独立实现的Uxn CPU和Varavara协调器。最近，为了提升稳定性和性能，作者构建了一套完善的测试基础设施，包括GitHub Actions持续集成、快照测试、静态恐慌预防和模糊测试。这篇文章详细描述了作者在构建这些测试过程中遇到的挑战和解决方案，例如GitHub Actions的Windows和ARM运行器的可靠性问题，以及在静态证明无恐慌和模糊测试中遇到的陷阱。最终，作者成功地提升了Raven的性能和可靠性，并保证了其在不同平台上的可移植性。
阅读更多
亚马逊社区建设者计划成员抢先体验了其新型AI驱动开发IDE——Kiro。Kiro并非简单的代码补全工具，而是能够理解并执行复杂多步骤项目的“代理IDE”。作者通过构建网站、贡献开源项目以及开发内部工具等案例，展示了Kiro如何显著提升开发效率。Kiro的核心在于“规范驱动开发”，需要开发者前期投入更多时间明确需求和架构，但之后可让Kiro自主执行大部分代码编写工作。虽然Kiro仍存在局限性，例如在处理复杂问题时可能需要人工干预，但这标志着软件开发方式的根本转变：从编写代码转向指导AI。
阅读更多
SpaceX创始人埃隆·马斯克建议尽快让国际空间站坠毁。他在X平台上发文称，空间站已完成使命，实用性递减，应将资源转向火星探索。尽管NASA已与SpaceX签订合同，计划在2030年将空间站安全送入太平洋，但马斯克建议提前至2027年初。此举引发广泛争议，涉及复杂的政治和预算问题，因为空间站的退役需要国会批准拨款。
阅读更多
本文介绍了如何使用 WebRTC 和 OpenAI 实时 API 构建一个语音聊天机器人。作者克服了文档不足的挑战，提供了一个逐步指南，涵盖了从获取麦克风音频到建立 WebRTC 连接、数据通道设置以及实时 API 消息交换等步骤。文章还讨论了最佳实践，例如使用函数调用来响应并结束会话，以及如何在旧的 Google AIY 语音套件上运行该应用。
阅读更多
OpenAI警告称，如果美国无法访问受版权保护的材料来训练AI模型，那么美国将输掉与中国的AI竞赛。他们呼吁特朗普政府制定更宽松的“合理使用”规则，允许AI模型使用受版权保护的数据进行训练。OpenAI认为，中国在AI领域快速发展，如果美国限制了AI模型对数据的访问，将导致美国在AI竞赛中落后。这一举动引发了版权持有者和出版商的强烈反对，他们担心自己的作品被未经授权地用于训练AI模型，并导致剽窃行为的增加。OpenAI则辩称，使用受版权保护的数据对于开发更强大的AI模型至关重要，这关系到美国的国家安全和竞争力。
阅读更多
免费游戏《漫威对决》最初错误地将使用Proton、CrossOver等兼容工具的Mac和Steam Deck玩家封禁百年。在玩家和CodeWeavers CEO的介入下，NetEase取消了这些封禁，并承诺改进反作弊系统以提高准确性。此事件凸显了游戏开发者在维护公平游戏环境与支持不同平台兼容性之间的挑战。
阅读更多
美国联邦地区法院最终裁定，根据702条款收集的美国人私人通讯数据库的秘密搜索通常需要搜查令。这项具有里程碑意义的裁决，源于长达十多年的诉讼，驳斥了政府无需搜查令即可搜索这些数据的论点。EFF等组织长期以来一直认为这种做法违宪，法院的裁决为保护公民隐私权迈出了重要一步，并呼吁国会对702条款进行改革，以防止类似事件再次发生。
阅读更多
大型语言模型（LLM）因其巨大的计算需求而备受挑战。研究人员发现，某些无意义的特殊标记对注意力分数的贡献巨大。基于此，他们提出了SepLLM框架，通过压缩这些标记之间的片段并丢弃冗余标记来加速推理。实验结果表明，SepLLM在GSM8K-CoT基准测试中将KV缓存减少了50%以上，同时性能损失可以忽略不计。在流式设置中，SepLLM能够处理超过400万个标记的语言建模。
阅读更多/cdn.vox-cdn.com/uploads/chorus_asset/file/25820669/videoframe_62840.png)
Nvidia在CES 2025上展示了其AI角色“ACE”的最新进展，不再只是简单的聊天机器人，而是能够成为你游戏中的队友。以PUBG为例，名为“PUBG Ally”的AI队友可以与你沟通、提供策略建议、寻找资源、驾驶车辆甚至战斗。ACE技术利用小型语言模型（SLM）和多模态SLM，赋予AI角色类似人类的决策能力和环境感知能力。未来，ACE技术还将应用于其他游戏，例如《Naraka: Bladepoint》和《inZOI》等。
阅读更多
本文追溯了Neovim编辑器的历史，从其祖先ed编辑器开始，讲述了QED、ex、vi、Vim等编辑器的演变过程。文章深入探讨了各个编辑器背后的开发者，以及它们在Unix操作系统发展中的作用。Neovim作为Vim的现代分支，继承了Vim强大的功能，并进行了改进和优化，赢得了众多开发者的喜爱。
阅读更多
最近一个iOS bug引发热议：在iMessage中发送包含“Dave and Buster’s”（一家美国运动酒吧）的音频消息时，接收方无法收到。
调查发现，问题出在iOS的转录引擎将“Dave and Buster’s”转录为包含未转义的&符号的HTML代码，导致MessagesBlastDoorService（旨在阻止黑客攻击的安全机制）因解析错误而终止消息发送。
虽然看起来像安全漏洞，但这实际上证明了BlastDoor机制有效地阻止了潜在的恶意代码注入，体现了苹果在安全方面的谨慎。
阅读更多
商业内幕（Business Insider）鼓励员工使用AI，却在去年因AI生成的虚假书籍推荐而道歉。一份旨在帮助员工了解优秀商业新闻写作的书单中，包含多本查无实据的书籍，例如不存在的Target CEO自传、英伟达创始人传记以及扎克伯格自传等。 这一事件突显了AI工具在内容创作中潜在的风险和需要严格审核的重要性，也为新闻机构在AI应用中敲响了警钟。
阅读更多