哈勃太空望远镜历时十年，拍摄了超过600张图像，拼接成一幅绚丽多彩的仙女座星系（我们银河系的邻居）肖像。放大图像细节，可以看到数百万颗清晰可见的恒星，使星系呈现出一种颗粒感。仙女座星系中心区域的恒星较为古老，呈黄色；而外围则分布着更年轻的蓝色恒星。
阅读更多
Figure公司推出Helix，一个具有突破性的视觉-语言-动作（VLA）模型，它将感知、语言理解和学习控制统一起来，解决了机器人领域长期存在的难题。Helix首次实现了全上半身高频连续控制、多机器人协作以及仅通过自然语言指令即可拾取任何小型家用物品的能力。它使用单个神经网络权重学习所有行为，无需特定任务微调，并可在嵌入式低功耗GPU上运行，实现了商业化部署。Helix通过“系统1”（快速反应视觉运动策略）和“系统2”（基于互联网预训练的VLM）的协同工作，实现了快速泛化和高精度控制，为家用机器人的规模化应用铺平了道路。
阅读更多
该网站需要启用JavaScript才能正常运行。页面显示错误信息，提示用户检查浏览器设置，确保JavaScript已启用或脚本未被阻止。
阅读更多
博客作者John Graham-Cumming分享了他2002年用30美元从AOL标志性语音播报员Elwood Edwards处定制语音片段的经历。当时，Graham-Cumming正在开发一个机器学习邮件过滤程序POPFile，并通过Edwards的网站订购了“Mail classified by POPFile”和“Use the source, Luke!”两句语音，Edwards还额外赠送了“You've got mail, John!”。这篇文章不仅展现了一段科技往事，更体现了早期互联网的个性化和人情味，以及技术人员的幽默感。
阅读更多
传统的向量搜索依赖句子嵌入，但会丢失细粒度信息。ColBERT通过使用token级别的多向量表示文本，保留更多细微信息，提高搜索精度。然而，token级别的后期交互计算成本高。本文介绍了一种结合句子级向量搜索和ColBERT token级重排序的方法，利用PostgreSQL扩展VectorChord和pgvector实现。该方法先用句子嵌入进行快速检索，再用ColBERT对结果进行重排序，有效提升了搜索效果，在多个BEIR数据集上取得了显著改进。
阅读更多
15岁的Gabriel Rochet仅用30欧元和一些简单的工具，成功打造了一款名为Paxo Phone的开源手机。这款DIY手机基于开源硬件和软件，具有高度的模块化和可定制性，用户可以根据自身需求修改硬件和软件。Paxo Phone的出现，不仅挑战了传统智能手机行业的封闭性和不可修复性，也为学习电子和计算机技术提供了绝佳的实践平台，并对数字世界的自由和电子产品可修复性提出了反思。
阅读更多
Cloudflare使用名为Topaz的系统，通过形式化验证其内部DNS寻址行为的正确性。Topaz将DNS业务目标编码为声明式程序，这些程序由匹配函数、响应函数和配置组成。在部署前，一个自定义模型检查器会验证这些程序的正确性，检查是否存在冲突或错误，确保了DNS配置的可靠性和一致性，这提高了互联网的可靠性。
阅读更多
三年前，一篇关于 Wayland 的批评文章引发热议。如今，作者回顾往昔，发现 Wayland 取得了令人瞩目的进步。许多当初的痛点，例如显式同步、渲染线程卡顿等问题，都得到了有效解决。Mesa 的改进、协议的完善以及社区的积极参与，共同推动了 Wayland 的发展。虽然仍有一些挑战，例如嵌入外部窗口和多窗口管理等，但 Wayland 的未来前景一片光明。
阅读更多
特朗普政府的裁员行动将波及美国疾病控制与预防中心（CDC）下属的流行病情报署（EIS）。EIS是全球顶尖的应用流行病学培训项目，培养了众多公共卫生领袖。此次裁员可能导致大部分EIS成员被解雇，这将严重削弱美国乃至全球应对公共卫生危机的能力，引发了公共卫生界的强烈担忧。EIS成员在应对诸如2001年炭疽袭击和2014-2016年西非埃博拉疫情等重大公共卫生事件中发挥了关键作用。许多专家认为，此次裁员是短视的，将使美国和世界面临更大的健康风险。
阅读更多
本文探讨了生产力工具的利弊。作者认为，虽然极简主义的「埋头苦干」方法对某些人有效，但对大多数人来说，一个个性化的系统才能真正提升效率。作者以自身经历为例，说明了建立并使用适合自身需求的系统的重要性，并强调了不同系统之间风格的多样性，以及互相借鉴的价值。最终，作者认为，无论系统多么复杂或简单，关键在于找到适合自己的方法，并付诸行动。
阅读更多
英伟达原本计划在2月发布RTX 5070，号称以549美元的价格提供RTX 4090级别的性能。然而，发布日期却推迟到了3月5日。与此同时，AMD将于2月28日发布Radeon RX 9070和9070 XT，并暗示其价格将成为竞争的关键。虽然AMD的目标是与英伟达的RTX 4070 Ti和4070 Super竞争，而非更高的级别，但英伟达拥有强大的盈利能力，可以随时应对。此外，有传闻称AMD正在研发一款配备32GB内存的更强力显卡，但AMD方面尚未证实。这场显卡大战即将上演，精彩不容错过。
阅读更多
Monzo 创始人兼前 CEO Tom Blomfield 驳斥了美国人比欧洲人更努力工作的观点。他认为，美欧工作文化的差异在于“积极性、乐观性和雄心”。美国“任何人都可以通过努力创造任何东西”的梦想，与英国的文化格格不入。他指出，英国最优秀的学生倾向于选择金融或咨询公司，而美国学生则更愿意创业。这种文化差异导致了欧洲在生产力方面落后于美国。Blomfield 自己的经历也印证了这一点，他在英国获得银行牌照时遭遇阻碍，但在美国却获得了更多支持。
阅读更多
本文讲述了一个仅192字节的WebAssembly编译器，它能将逆波兰表达式编译成WebAssembly模块。作者逐步揭秘了这个精简代码背后的技巧，包括利用JavaScript的特性、巧妙运用WebAssembly字节码、以及对变量和表达式的优化。这个极小的编译器虽然功能简单，但却能帮助读者深入理解WebAssembly的运作机制。
阅读更多
想重温儿时经典游戏？这个网站汇集了大量的DOS游戏、Atari 2600游戏以及其他复古游戏，并提供在线游玩。网站拥有强大的搜索功能，并按开发者、发行商、类型等多种方式分类，方便你找到心仪的游戏。无论是《Oregon Trail》还是其他经典之作，都能在这里找到，随时随地开启你的怀旧之旅！
阅读更多
OWASP发布了2025年非人类身份（NHI）Top 10风险清单，该清单总结了应用开发者在使用非人类身份（例如机器人、自动化工具等）时面临的十大关键风险。这些风险是根据OWASP风险评级方法，结合真实世界的数据泄露事件、调查问卷、CVE数据库等信息整理而成。该项目旨在帮助开发者更好地理解和应对这些风险，提高应用程序的安全性。
阅读更多
本文探讨了如何在批处理作业系统中利用类似Git的数据分支管理策略。作者提出，将主分支作为生产数据版本，每个作业运行时创建一个分支，进行数据处理和元数据记录，成功后合并回主分支。此外，还介绍了测试执行、实验和多步骤作业等场景下的分支使用策略，最终实现高效的数据版本控制和实验管理，类似于数据库事务的ACID特性。
阅读更多
uscope 是一款针对 Linux 系统的原生代码图形化调试器和自省工具链，目前尚处于早期开发阶段，作者计划逐步完善其功能，包括支持多种编程语言（C、Zig、C++、Go、Rust、Odin、Jai 等）、多线程程序调试、代码导航、远程调试等。该项目旨在构建一个灵活、可扩展的调试系统，并提供友好的用户界面。作者也计划将其构建为库，以便其他开发者能够基于其构建更有趣的工具。
阅读更多
最近的Hacker News上出现了一系列与游戏开发相关的精彩资源。从像素艺术增强算法到SDL 3的正式发布，再到反向工程《使命召唤》反作弊系统，开发者们分享了各种工具、技术和经验。一些帖子介绍了游戏开发相关的博客、Godot引擎的调试工具、以及开源游戏引擎Tramway SDK。还有关于游戏设计理念的讨论，例如“舒适型游戏”的定义以及关卡设计工具LDtk的介绍。这些资源涵盖了游戏开发的各个方面，从代码到美术，从工具到理念，为游戏开发者提供了丰富的学习和参考材料。
阅读更多
Mistral AI发布了全新开源模型Mistral Small 3，这是一个拥有240亿参数的模型，在速度和性能上取得了显著平衡。它在速度上超过了Llama 3.3 70B和Qwen 32B等更大模型三倍以上，同时在MMLU准确率上达到81%以上。Mistral Small 3特别适合需要快速响应的生成式AI任务，并且可以在单块RTX 4090或32GB内存的Macbook上运行。该模型已在Apache 2.0许可下发布，并可通过Hugging Face等平台访问。
阅读更多
TIOBE 2025年2月编程语言排行榜显示，Python 继续领跑，稳坐编程语言之王宝座。尽管速度并非其优势，但Python在非软件工程师中的普及度使其持续保持高排名。C++、Go、Rust等速度型语言也表现强劲，排名上升。榜单中，SQL上升至第七位，Go下降至第八位，Delphi/Object Pascal重回前十。总体而言，排行榜反映了编程语言领域的动态变化，速度和易用性成为开发者关注的焦点。
阅读更多
风靡全球的奇幻游戏书系列《Fighting Fantasy》将在2025年初重返美国市场！这套由英国游戏设计师Ian Livingstone和Steve Jackson于1982年创造的系列书籍，以其非线性叙事和掷骰子机制的独特玩法，赢得了超过2000万册的销量。此次合作由Steve Jackson Games负责在美国发行50本书，其中首批五本书将于2025年初上市。这对游戏迷来说无疑是一场盛宴。
阅读更多/cdn.vox-cdn.com/uploads/chorus_asset/file/25472451/STK270_GOOGLE_MAPS_A.png)
根据特朗普总统的行政命令，美国的地名将发生变化，墨西哥湾将更名为“美国湾”，麦金利山将恢复为原名“麦金利山”。谷歌地图宣布将遵从这一变化，更新其地图以反映新的地名。这一举动引发了广泛关注，也再次凸显了政府决策对科技公司产品的影响。
阅读更多
这是一个基于Z80虚拟机的沙盒游戏，开发者可以编写机器人程序进行格斗。游戏在一个32x32的网格地图上进行，两个机器人从对角线位置出发，通过收集食物、移动和复制自身来生存。机器人使用Z80汇编语言或C语言编写，并可选择使用共享内存进行通信。获胜条件是存活时间最长，提供在线IDE和命令行编译方法，还支持游戏回放和分享。这将是一场考验算法和策略的AI编程竞赛！
阅读更多
本文比较了Rust和Ada在防止常见的内存错误方面的能力。Rust在阻止内存错误方面表现更好，但Ada避免动态内存分配和支持形式化正确性证明的特性使其能够完全避免许多常见错误。文章详细分析了内存泄漏、缓冲区溢出、使用后释放、双重释放和竞争条件等常见内存错误，并比较了两种语言如何处理这些错误。虽然Rust的编译时检查更严格，Ada凭借其静态分析能力和对指针的严格控制，在安全性方面也毫不逊色。最终，作者认为两种语言各有千秋，Rust更注重编译时安全，Ada更注重避免错误的发生。
阅读更多
20家欧洲顶尖研究机构和公司组成的联盟启动了OpenEuroLLM项目，旨在开发一系列高性能、多语言的大型语言模型（LLM）。该项目旨在增强欧洲在人工智能领域的竞争力，通过开源的方式促进高品质AI技术的普及，并支持欧洲公司和公共机构开发更具影响力的产品和服务。OpenEuroLLM项目遵循欧洲的监管框架，并与开源社区合作，确保模型、软件、数据和评估的完全开放性，以满足特定行业和公共部门的需求，同时保护语言和文化多样性。
阅读更多
nv_cluster_lod_builder是一个连续细节层次(LOD)网格库，它通过预计算三角形簇，并在渲染时自适应地选择簇的子集来实现细粒度的几何细节控制。与传统的离散LOD相比，该库能提供更快的渲染速度和更低的内存使用率，特别适合光线追踪应用。该库利用一种特殊的细分策略，确保LOD转换平滑，避免出现缝隙或重叠。它还构建了一个空间层次结构，用于加速运行时簇的选择，并支持几何流传输以进一步节省内存。
阅读更多
本文深入探讨了 Swift 和 C++ 中移动语义的异同。Swift 自动进行移动优化，这在性能方面很有优势，但也可能让习惯了 C++ RAII 习惯的程序员感到意外。Swift 的“不可复制类型”类似于 C++ 的“仅移动类型”，但 Swift 的移动是破坏性的，避免了 C++ 中“非破坏性移动”可能带来的问题。文章还比较了 Swift 的 `consume` 和 C++ 的 `std::move`，并详细解释了 Swift 中的变量生命周期缩短、参数传递方式（`consuming`、`borrowing`、`inout`）以及独占性法则等特性。最后，文章探讨了在 Swift 中使用不可复制类型进行 RAII、泛型和条件复制类型，以及为什么 Swift 没有完美的转发机制。
阅读更多
本文介绍了一种利用黎曼优化求解最小二分匹配问题的新方法。作者将组合优化问题转化为在双随机矩阵流形上的无约束优化问题，并使用黎曼梯度下降法进行求解。实验结果表明，该方法能够有效地找到最优解，并具有良好的收敛性。这项研究巧妙地结合了组合数学、微分几何和计算机科学，为解决此类问题提供了一种新的视角。
阅读更多
加州图莱里县的水库管理者们经历了一场惊魂。美国陆军工程兵团突然决定从卡维亚湖和成功湖大量泄洪，给当地居民带来了恐慌。该决定在短时间内被叫停，但事件引发了对沟通不畅和决策过程的质疑。泄洪可能导致2023年洪水那样的灾难性后果，所幸最终泄洪量减少。事件背后可能存在政治因素，但目前缺乏官方解释。
阅读更多
本文讲述了苏格兰作家Nan Shepherd的传奇人生，从其作品最初的默默无闻到如今备受推崇的转变。作者以其个人与Shepherd的家族渊源为切入点，穿插回忆、书信和社会变迁，展现了Shepherd作品的魅力及其在后世影响的复杂性。从最初教学时展现的独特魅力，到其作品《The Living Mountain》的迟暮辉煌，以及伴随其作品声名鹊起所引发的关于其人其作的各种解读和争议，都构成了一部引人入胜的文学与人生故事。
阅读更多