美国宇航局（NASA）与Axiom Space公司合作，调整了其商业空间站的组装顺序。新的计划将优先发射有效载荷、动力和热模块，以便Axiom空间站能够在2028年前脱离国际空间站，成为一个独立运行的自由飞行空间站。此举旨在加速Axiom空间站的运营能力，减少对国际空间站的依赖，并为国际空间站2030年退役做好准备。NASA将继续支持多个商业空间站的研发，以确保美国在微重力研究领域的领导地位，并为未来的太空探索目标服务。
阅读更多
大型语言模型（LLM）的兴起，例如ChatGPT，正在挑战传统的自然语言处理（NLP）方法。传统NLP通常将问题分解成小的子问题（例如文本分类、命名实体识别），并为每个子问题训练单独的模型，需要大量标注数据。而LLM可以通过零样本提示解决多种NLP问题，无需大量训练数据和模型重新训练，简化了流程，提高了效率。这引发了人们对LLM是否会取代传统NLP的讨论。
阅读更多
韩国设计公司grape lab推出了一款名为g.stand的笔记本电脑支架，它仅由一张再生纸制成，重量仅45克，却能稳固地支撑各种笔记本电脑。巧妙的折纸结构设计保证了舒适的观看和打字角度，同时独特的褶皱设计也确保了设备散热。收纳后厚度仅3厘米，方便携带，其配套的收纳盒还可作为手机支架使用。这款售价约22美元的环保产品，兼具设计感、实用性和可持续性。
阅读更多
谷歌云平台发布了其所有服务的实时状态监控页面。该页面列出了从计算引擎到人工智能平台等各种服务的运行状况。用户可以方便地查看各个区域和多区域服务的可用性。如果遇到未列出的问题，请联系支持团队。该页面还提供关于服务状态信息以及如何解读的常见问题解答。
阅读更多
McWig是一款用Go语言编写的模态Vim风格文本编辑器，作者将其作为日常驱动程序。目前仅支持.go文件，尚处于早期开发阶段，可能存在文件损坏风险。它具备LSP自动完成、goto definition、悬停信息、Tree-sitter支持、颜色主题等功能，但同时也存在大量bug。作者的目标是将其打磨成一个稳定、功能齐全的Vim风格编辑器。
阅读更多
LWN.net 的 2025 年预测文章，对 Linux 内核、开源软件和硬件发展趋势进行了大胆预测。文章指出，可扩展调度类 (sched-ext) 将带来变革；Rust 代码将更多地应用于内核；新的后门攻击企图将被发现；单维护者项目面临风险；AI 生成代码的潜在问题将凸显；对免费生成式 AI 系统和维护者的支持将增加；云产品故障和数据泄露问题将持续；开源硬件将蓬勃发展；移动设备发行版将重获关注；地缘政治因素将影响开源社区。总而言之，2025 年开源领域机遇与挑战并存，需要社区共同努力，维护开源生态的健康发展。
阅读更多
本文探讨了将大型语言模型（LLM）与Prolog结合用于自动化规划的潜力。研究发现，LLM更擅长将自然语言翻译成Prolog代码，而不是直接进行规划。通过将问题描述翻译成Prolog代码，然后利用Prolog强大的组合搜索能力进行规划，可以有效解决规划问题。研究者提出了一种基于LLM生成Prolog规划器的框架，并提供了一个详细的提示工程指南，用于指导LLM生成状态事实、动作谓词和检查谓词。该方法避免了LLM在直接规划中存在的局限性，并利用了Prolog在逻辑推理和组合搜索方面的优势。
阅读更多
本文强烈建议避免使用ISO/IEC 14977:1996 EBNF规范，因为它存在诸多问题。作者详细列举了该规范的缺陷，例如不支持Unicode字符、字符范围和通用的正则表达式语法，以及复杂的“一或多个”表示法。作者认为，该规范难以理解，可读性差，并且与现代软件开发实践脱节。相比之下，W3C的EBNF规范更加简洁易用，兼容性更好。作者还指出，盲目遵循ISO标准并不总是正确的，重要的是选择最合适的工具，而不是被过时的标准束缚。
阅读更多
Joco，一家共享电动自行车初创公司，在2021年纽约市推出后几经波折，几近倒闭。最初的目标是与Citi Bike竞争，但由于未经授权运营而被纽约交通部起诉，被迫转向为外卖骑手提供服务。这一转变成为Joco的转机，他们为骑手提供租赁服务、维修保养、电池更换柜等，并建立了社区中心，为骑手提供休息、充电等便利设施。目前Joco已实现盈利，并与Grubhub等大型物流公司合作，业务遍及纽约、芝加哥和迈阿密。Joco的成功秘诀在于专注于客户需求，提供超预期的服务，以及精明的财务管理，避免了过早的市场营销投入。
阅读更多
本文探讨了物种分类中“物种”与“亚种”的界定问题及其对生物多样性保护的影响。作者指出，传统的物种概念过于简化，忽略了亚种的多样性及其重要性。以诺亚方舟为例，作者说明了如果考虑亚种，方舟将承载远超想象的动物数量。文章进一步探讨了“物种优先”的保护策略的局限性，并呼吁关注亚种的保护，以更全面地认识和保护生物多样性。
阅读更多
数百家电商，包括一家估值400亿美元的跨国公司，正运行着带有后门的流行电商软件。安全公司Sansec发现，至少从4月20日开始，攻击者就一直在积极利用这些后门。受影响的软件包来自Tigren、Magesolution (MGS)、Meetanshi和Weltpixel等供应商，发布时间从2019年到2022年不等。攻击者通过入侵供应商服务器植入后门，从而访问所有客户的商店及访问这些商店的客户。后门伪装成许可证检查，位于License.php或LicenseApi.php文件中。建议使用这些供应商软件的电商立即检查其商店安全。
阅读更多
Rust官方正则表达式引擎添加了对无捕获后向查找的支持，这是一种强大的正则表达式功能，允许在不捕获匹配的情况下对文本进行断言。该功能的实现涉及到对正则表达式自动机状态机和编译器的修改，并克服了性能挑战，如避免不必要的扫描到文本末尾以及在匹配所有模式搜索中的二次时间复杂度。最终的基准测试显示，该实现的性能良好，并且在大多数情况下与Python的re库相比具有竞争力。
阅读更多
一位CERN工程师获得了一台1950年代生产的捷克Elektročas HH3精密摆钟，其精度可达每天0.1秒误差。为了进一步提高精度，他决定将其与CERN的铯原子钟同步。工程师巧妙地设计了一个链条控制振荡器（CCO），通过改变摆锤重心来控制摆动周期，并利用相位锁定环路（PLL）实现与原子钟的同步。经过测试，该系统成功地将摆钟的精度提升了一个数量级，甚至能够检测到土耳其地震带来的扰动。这项工程既是对精密机械的致敬，也是对科技创新的极致追求。
阅读更多
Orbifold工作室宣布将为所有《半条命2》玩家推出免费DLC《半条命2 RTX》。该DLC利用RTX Remix技术，实现了全光线追踪、DLSS 4和NVIDIA Reflex等技术的应用，大幅提升了游戏的画面表现，包括4K分辨率、全新材质、高精度模型和改进的光照效果。Ravenholm和Nova Prospekt演示版将于3月18日发布。游戏包含暴力内容，包括针对人类和外星敌人的暴力行为，以及僵尸和带有详细血腥效果的尸体。
阅读更多
2025年5月，一支名为Crusaders of Rust的战队发现并利用了Linux数据包调度器中的一个use-after-free漏洞，并将其提交给Google的kernelCTF竞赛，角逐5万美元的奖金。文章作者详细描述了其如何通过优化Verifiable Delay Function (VDF)中的计算，将计算时间从1.4秒缩短到0.21秒，最终帮助战队以3.6秒的惊人速度赢得比赛的过程。其优化策略包括：数学优化、将代码转换为C++、利用AVX-512IFMA指令集进行加速以及内联汇编优化。这项工作充分展示了对底层硬件和汇编语言的深入理解，以及对性能优化的极致追求。
阅读更多
Helion是一个从零开始构建的现代《毁灭战士》引擎，专注于性能优化。它采用静态渲染和状态管理系统，解决了复杂地图在高帧率下渲染困难的问题，即使在老旧硬件上也能流畅运行那些以往难以驾驭的地图。与传统的BSP树渲染相比，Helion更有效地利用GPU资源，显著提升了性能。它支持多种WAD格式，最低配置要求为Windows 7和OpenGL 3.3兼容显卡。
阅读更多
Guile Hoot 0.2.0发布，它是一个将Scheme编译成WebAssembly GC的编译器。新版本引入了外来函数接口(FFI)，允许开发者直接用Scheme编写大部分Web应用代码，从而摆脱对JavaScript的依赖。文章通过构建一个简单的“Hello, world!”程序，一个带有交互式按钮和计数器的程序，以及一个待办事项列表，逐步演示了如何利用Scheme和FFI操作DOM，构建交互式网页。其核心在于利用Scheme的强大符号操作能力，结合SXML，构建高效的虚拟DOM，实现类似React的差异化更新机制。
阅读更多
字节跳动推出了一款名为INFP的革命性AI，它能够将任何静态图像变成可以说话、唱歌、并与周围环境互动的生动角色。这项技术利用先进算法，将音频与逼真的动作、面部表情和唇形同步相结合，赋予静态图像生命力，应用场景涵盖艺术创作、故事讲述、虚拟访谈和音乐表演等多个领域，为AI创意和人机交互开辟了新的可能性。
阅读更多
Fairphone 6 是一款致力于可持续发展的智能手机。它采用模块化设计，易于维修，并提供长期的软件支持，延长手机使用寿命，减少电子垃圾。Fairphone 6 使用超过 50% 的公平或回收材料，例如回收铝、铜、钢、锡、铟、镁、镍、塑料、稀土和锌，以及公平贸易黄金、公平采矿银（通过信用）、钴（通过信用）和钨。手机在支持公平工资、优先考虑工人福祉和减少环境影响的工厂组装，并使用可再生能源制造，抵消剩余碳排放。
阅读更多
Anker召回百万台PowerCore 10000移动电源，原因是锂电池过热风险。Lumafield公司利用工业CT扫描仪对召回的电源及未召回的电源进行扫描，发现问题电源使用了来自不同供应商的电池，并存在电池连接方式和间隙大小差异，这可能导致短路和过热。新版电源已采用单体锂离子聚合物电池，简化了组装，并提高了安全性。此案例凸显了电池供应链的复杂性和质量控制的重要性，也展示了工业CT扫描在保障产品安全和提升质量方面的作用。
阅读更多
科技公司Palantir推出了一项名为“精英计划”的实习项目，招募没有上大学的高中毕业生。该计划月薪5400美元，要求申请者拥有极高的SAT或ACT分数，并回答一些关于成就和职业规划的问题。Palantir此举与其创始人Peter Thiel的反高等教育立场相符，引发了关于科技行业人才招聘和高等教育价值的讨论。尽管此举可能存在争议，但面对人才短缺，Palantir似乎找到了解决方法，也可能为其他科技公司带来启示。
阅读更多
随着Windows 10即将停止免费安全更新，许多无法升级到Windows 11的旧电脑面临被淘汰的命运。这给依赖旧电脑的慈善机构带来了巨大挑战。他们需要在提供不安全的Windows 10系统、转向Linux系统或报废电脑之间艰难抉择。虽然Linux是可行的替代方案，但对于不熟悉该系统的用户，特别是老年人和学生来说，学习成本较高，也可能导致技术支持问题增多。 文章探讨了这一问题，并展示了不同慈善机构的应对策略，以及由此引发的电子垃圾处理难题。
阅读更多
Red Sweater Software的Daniel Jalkut认为GPL许可证阻碍了WordPress的参与和采用。然而，本文作者反驳了这一观点，认为WordPress强大的插件和主题社区正是GPL许可证的功劳。作者以自身经验指出，GPL许可证在保护用户自由方面起到了关键作用，并最终促进生态系统的繁荣，而非阻碍发展。GPL许可证虽然有其局限性，但其核心原则——共享与互惠——对于构建强大的社区和生态系统至关重要。
阅读更多
中国机器人公司EngineAI（中庆机器人）发布视频，展示其人形机器人PM01完成世界首个机器人前空翻。与相对简单的后空翻不同，前空翻对机器人感知和控制提出了更高要求，需要精准的平衡和强大的动力。PM01机器人凭借其23个自由度和强大的扭矩，成功完成了这一高难度动作，展现了中国机器人技术的快速发展。这款售价13700美元的机器人拥有5个手臂自由度和6个腿部自由度，其自然流畅的步态也令人印象深刻。
阅读更多
Wii自制软件Homebrew Channel的源码库已归档，不再接受贡献。原因是其依赖的libogc库存在严重的版权问题：该库的核心部分代码涉嫌盗窃自Nintendo SDK和开源RTOS RTEMS，开发者拒绝解决该问题。这揭露了Wii自制软件社区长期以来存在的版权侵权问题，引发了对软件开发道德的反思。该项目源码现已公开发布，但开发者声明其无法保证其合法性，且只在Dolphin模拟器下测试过。
阅读更多
数学家们长期以来致力于证明广义相对论中的奇点定理，例如霍金奇点定理，但这些定理依赖于时空光滑的假设。最近，研究人员通过巧妙地运用“三角形比较法”和“最优运输理论”，成功地在非光滑时空下证明了这些奇点定理的特殊情况，甚至扩展到更一般的时空模型。这项突破性进展不仅强化了大爆炸奇点理论的数学基础，也为量子引力的研究提供了新的数学工具，为统一广义相对论和量子物理学铺平了道路。
阅读更多
过去，个人电脑软件普遍缺乏个性化，功能臃肿。但AI的出现改变了这一切。现在，无需编程经验，普通人也能利用AI轻松创建专属应用，解决个人特定问题，如同在家烹饪专属美食。这并非取代专业软件开发，而是让更多人参与其中，提升对优质软件的鉴赏力，最终推动软件创新和发展。
阅读更多
SpaceX的星舰火箭在1月16日的首次试飞中以爆炸告终，但该公司并未气馁。美国联邦航空局发布公告，称星舰的第八次试飞将于2月26日或前后几天在德克萨斯州南部星际基地进行。尽管上次试飞中，星舰上级在飞行几分钟后发生火灾解体，造成碎片散落在加勒比海地区，但SpaceX已吸取教训，正进行最后的准备工作，力求此次发射成功，让星舰计划重回正轨。
阅读更多
英国McMurtry Automotive公司研发的Spéirling纯电动超级跑车凭借其独有的“按需下压力”风扇系统，成功实现了倒立行驶！该系统可在瞬间产生4400磅下压力，克服了传统燃油车倒立行驶时润滑系统失效的问题。Spéirling此前还打破了古德伍德爬山赛纪录，展现了其强大的性能。目前，该公司正计划推出限量100台的Spéirling PURE量产版。
阅读更多
在AI代码生成工具盛行的时代，资深开发者比以往任何时候都更重要。文章指出，程序不仅仅是代码，更是构建在开发者对系统理解之上的理论模型。AI生成的代码缺乏这种理论基础，容易导致代码库混乱、技术债务累积。资深开发者能够构建和维护这种理论框架，确保代码与业务需求一致，并指导年轻开发者，将零散的代码转化为连贯的程序。因此，企业需要重视知识共享和理论传承，培养具有深厚理论基础的开发者，才能保障软件质量和长期可维护性。
阅读更多