历经十年研发，NASA的欧罗巴着陆器——一款坚固的半自主探测器，本计划探索木星卫星欧罗巴，但因预算和技术挑战，任务被叫停。 该探测器具备在极寒和高辐射环境下行走、取样和钻探的能力。尽管测试成功，但NASA高层最终放弃了欧罗巴任务。 目前，工程师们正努力争取将该探测器部署到土星卫星土卫二，那里拥有更低的辐射和更好的观测条件。这台为欧罗巴打造的机器人，或许将在土卫二迎来它的“月球漫步”时刻。
阅读更多
一项日本科学家主导的临床试验显示，利用诱导多能干细胞（iPS细胞）衍生的神经干细胞注射疗法，一名脊髓损伤导致瘫痪的男子能够独立站立。该试验共有四名参与者，其中一人恢复了部分手臂和腿部活动能力，另两人未见明显改善。这项研究表明，该疗法是安全的，为脊髓损伤治疗带来了新的希望，但仍需更大规模的试验来验证其有效性。
阅读更多
作家Francine Prose在播客节目中回忆了她70年代在旧金山的经历。那时的旧金山，在科技革命之前，Mission区仍然充满自由奔放的气息。她描述了艺术家们在Reno Hotel改造出的工作室，以及参与反战运动的经历，包括她的丈夫攀爬五角大楼的举动。这段回忆充满了对那个时代理想主义和自由精神的怀念，同时也与她喜爱的电影《迷魂记》产生了奇妙的联系。
阅读更多
布隆过滤器是一种概率数据结构，用于快速、高效地判断一个元素是否在一个集合中。它通过哈希函数将元素映射到位向量中的多个位，设置这些位为1。查询时，同样进行哈希，如果所有对应位都为1，则元素可能在集合中；否则，元素一定不在集合中。布隆过滤器存在误判的可能性，但其空间效率和速度优势使其在处理大规模数据时非常实用。文章详细介绍了布隆过滤器的原理、哈希函数选择、大小选择以及实际应用场景，并列举了不同系统中布隆过滤器的实现方式。
阅读更多
认知科学家Gary Marcus对生成式AI的潜力表示怀疑，认为当前的技术路径存在技术和道德缺陷。他指出大型语言模型（LLMs）擅长函数逼近，但在学习函数方面存在不足，容易出现“分布偏移”问题，无法理解抽象概念和可靠地遵循指令。Marcus认为，LLMs缺乏对现实世界的理解，容易产生逻辑错误和偏见，并建议将神经网络与经典AI方法相结合，以弥补其不足。他提出了一种新的评估标准——“理解挑战”，即AI系统应该能够理解电影情节并回答相关问题，以此衡量AI的真正理解能力。
阅读更多
本文讲述了废奴主义者大卫·拉格尔斯在1836年营救“Brilliante”号奴隶船上五名奴隶的经历。文章重点刻画了拉格尔斯为营救奴隶所做的琐碎、乏味却至关重要的努力，例如奔波于各政府部门、撰写报告、与官员周旋等。尽管最终只成功解救了两人，但文章强调了这些看似平淡无奇的努力对废除奴隶制运动的巨大贡献，以及这些“乏味英雄主义”在历史中的重要性。
阅读更多
一名55岁的资深软件开发工程师戴维斯·卢因在离职前恶意破坏其雇主伊顿公司的系统，被判有罪，面临十年监禁。卢在离职前编写了恶意软件，导致公司数千名员工被锁出网络，造成巨大经济损失。调查发现，卢编写了名为“Hakai”（日文：破坏）和“HunShui”（中文：睡眠）的恶意程序，并创建了一个“自杀式开关”，在他失去访问权限后锁定所有员工帐户。此外，他还试图删除公司数据和操作系统目录。尽管卢承认了自己的行为，但陪审团仍认定其犯有故意损坏受保护计算机的罪行。
阅读更多
2025年2月8日周末，波罗的海国家电网将从俄罗斯电网切换到欧洲大陆电网。作者突发奇想，尝试用电脑音频接口和一段音频线充当传感器，通过FFT算法分析音频信号中的50Hz频率变化来监测这一过程。尽管方法简陋，但结果令人惊喜：成功记录到了电网切换的瞬间频率变化，与专业监测数据高度吻合。
阅读更多
纽约市交通管理局（MTA）的数据显示，自拥堵定价政策实施以来，曼哈顿60街以下区域的日均车辆减少了43000辆，降幅达7.5%。虽然低于预期，但这显著改善了交通状况，公交车速度也提升了28%到40%。MTA将利用收费收入进行交通基础设施建设，尽管部分国会议员反对，但拥堵定价的初步成效已获得交通倡导者的认可。
阅读更多
2019年Netflix推出的《黑暗水晶：抗争时代》是一部被低估的奇幻史诗巨作。该剧作为1982年电影《黑暗水晶》的前传，以精湛的木偶戏和豪华的配音阵容（包括塔伦·埃格顿、安雅·泰勒-乔伊等）再现了Thra星球上Gelfling反抗邪恶Skeksis的壮丽史诗。虽然剧集因成本高昂和收视率问题而夭折，但其精良的制作、深刻的故事和成人向的黑暗剧情使其成为一部不容错过的经典之作，足以与《指环王》、《星球大战》等史诗巨制比肩。
阅读更多
NESFab 是一款为创建 NES 游戏而设计的新编程语言。它针对 8 位机的限制进行了优化，比 C 语言更易于使用，同时生成更快的汇编代码。NESFab 提供易用的库，方便开发者快速上手，无论是制作第一个还是第 N 个 NES 游戏都游刃有余。它还具有自动银行切换、简易资源加载和集成地图编辑器 MapFab 等特性，极大地提高了开发效率。尽管目前仍处于 Beta 阶段，但 NESFab 在性能方面已超越了 GCC 和 LLVM 等编译器，有望成为性能最佳的 6502 编译器。
阅读更多
本文介绍了一种利用超声波进行数据传输的有趣方法。作者巧妙地将数据编码成超声波信号，通过手机的麦克风和扬声器实现设备间的近距离通信。虽然该方法存在一些局限性，例如抗干扰能力弱、速度慢等，但它展现了利用日常设备进行非传统通信的可能性，并启发人们思考其在实际应用中的潜力，例如辅助会议软件识别附近设备。
阅读更多
本文探讨了单元测试中处理第三方依赖的常见问题。作者通过一个Docker仓库客户端的例子，阐述了直接模拟第三方依赖（例如HTTP客户端）的弊端：测试代码变得复杂、脆弱且难以理解。作者建议引入一层薄薄的抽象层，将业务逻辑与第三方依赖解耦，从而简化测试，提高代码可读性和可维护性。这种方法不仅使得测试更清晰简洁，也提升了业务逻辑代码的可读性和可维护性。作者最后总结说，虽然这个原则并非绝对，但在大多数情况下，它能帮助我们编写更优雅、更易于维护的测试代码。
阅读更多
沉寂三十余年的Commodore 64强势回归！这次，它以透明机身、可变色LED灯效、Wi-Fi游戏传输等现代元素，搭配经典游戏兼容性和复古设计，为我们带来一场“复古未来主义”的科技盛宴。这款并非简单的软件模拟器，而是真正意义上的全新C64，旨在打造一种简单、专注的计算体验，并为孩子们提供一个轻松学习编程的途径。它不再是控制你的工具，而是邀请你参与其中的伙伴。
阅读更多
本文讲述了拍摄到唯一一张协和式飞机超音速飞行照片的传奇故事。1985年4月，一架英国皇家空军“狂风”战斗机与协和式飞机在爱尔兰海域上空会合，在燃料耗尽前短暂地以超音速飞行，并成功捕捉到协和式飞机以马赫2速度飞行的珍贵画面。这需要精密的协调和多次尝试，因为“狂风”战斗机只能维持几分钟的超音速飞行。协和式飞机作为历史上最快的商用飞机，其超音速飞行和最终退役的故事也令人回味无穷。
阅读更多
据《华盛顿邮报》报道，英国政府秘密要求苹果公司提供对其云端上传的所有加密用户内容的全面访问权限。这一未公开的命令要求苹果创建一个后门，允许英国安全官员无限制地访问全球加密的用户数据。此举引发争议，苹果可能停止在英国提供加密存储服务，而非违背对其用户的安全承诺。此举也与苹果公司CEO库克一直以来的立场相悖，他认为提供后门会为“坏人”打开方便之门。
阅读更多
OpenAI在其开发者API中发布了更强大的推理AI模型o1-pro，其计算量比o1更大，旨在提供更可靠的答案。然而，o1-pro的价格极其昂贵，输入和输出成本分别是普通o1的2倍和10倍，甚至比GPT-4.5还贵。尽管OpenAI声称o1-pro在解决难题上表现更好，但早期测试结果显示其在某些任务上表现并不理想，例如解数独和理解简单的视觉笑话。内部基准测试也显示其在编码和数学问题上的表现仅略优于o1。这引发了人们对其高昂价格的质疑，OpenAI能否凭借其性能提升说服开发者买单仍有待观察。
阅读更多
面对司法部试图清除参与1月6日国会山事件调查的FBI人员的行动，大量FBI特工和工作人员展现出非凡的抵抗。他们拒绝填写一份自揭与1月6日事件相关活动的调查问卷，并得到部分管理层的支持。此举是对政治干预的无声抗议，也凸显了FBI维护法治的决心。然而，这场无声的抗争结果仍未可知，其影响将波及美国司法体系和政治格局。
阅读更多
厌倦了在 PR 之前整理凌乱的 Git 提交历史？Git Smart Squash 使用 AI 自动将你的更改整理成逻辑清晰、结构良好的提交，只需几秒钟。它分析你的 diff，将相关的更改分组，并创建遵循常规提交标准的清晰提交信息。支持本地 AI (Ollama) 和云端 AI (OpenAI, Anthropic, Gemini)，提供安全可靠的备份机制，确保你的原始提交始终保存。即使是大型 diff，也能通过拆分工作或切换到云端 AI 来处理。
阅读更多
作者痛斥了社会普遍存在的冷漠现象，从糟糕的政府服务到粗制滥造的产品，再到人们日常生活中缺乏公德的行为，都体现了“没有人关心”的现状。作者认为，这种冷漠并非源于恶意，而是缺乏主动改善现状的意愿，即使微小的努力也能带来巨大的改善。文章最后，作者表达了对构建一个充满关爱和责任感的社区的渴望，并反思了个人在其中扮演的角色。
阅读更多
Python软件基金会安全驻场开发者Seth Larson与Alpha-Omega合作，发布白皮书，详细阐述了解决“幽灵依赖”问题的方案。该方案通过PEP 770和软件物料清单（SBOM）的采用，提升了Python包的可测量性，使漏洞扫描器等自动化系统能够在复杂的依赖关系图中提供准确结果，这对于科学计算、高性能计算和人工智能等领域至关重要。NumPy、Cryptography和Pip等关键项目已开始评估PEP 770的采用。
阅读更多
阿拉巴马州的监狱系统律师事务所Butler Snow因使用ChatGPT生成法律文书中包含“完全虚构”的案例引用而受到联邦法官的公开谴责。三位律师因未核实AI生成的案例引用而被撤销参与案件资格，并被要求向所有客户和法官通报此事，同时面临阿拉巴马州律师协会的纪律处分。这起事件暴露了AI在法律领域应用中的风险，也为过度依赖AI工具敲响了警钟。该事务所自2020年以来已获得超过4000万美元的州政府支付费用，此次事件无疑将对其声誉造成重大损害。
阅读更多
历经多年许可证混乱，PHP 终于迎来简化。此 RFC 建议将 PHP 许可证和 Zend 引擎许可证统一为 Modified BSD License (BSD-3-Clause)。此举不会改变贡献者和用户的权利，并使 PHP 与 GPL 兼容，消除了与 OSI 审批和 GPL 兼容性相关的问题，也解决了长期以来与 Debian 等发行版之间的许可证争议。PHP 9.0.0 将全面采用新许可证。
阅读更多
EXWM是一款基于XELB构建的，功能齐全的Emacs窗口管理器，完全通过键盘操作。它支持混合布局模式（平铺和堆叠）、动态工作区以及ICCCM/EWMH兼容性。此外，还可选配RandR（多显示器）、系统托盘、输入法、背景设置和XSETTINGS服务器支持。想了解更多？请查看截图和用户指南！
阅读更多
本文探讨了软件工程中普遍存在的“Makefile效应”：工程师们倾向于复制粘贴并修改已有的配置文件（例如Makefile、CI/CD配置等），而非从零开始编写。作者认为，这并非完全是坏事，但在工具设计层面，这暗示着工具可能过于复杂，缺乏良好的诊断和调试支持，导致用户难以高效学习和安全地使用。文章最后提出了一些工具设计的建议，旨在减少这种效应的发生，从而提升开发效率和安全性。
阅读更多
微软正在测试Xbox PC应用和Xbox主机更新，允许云游戏跨设备无缝衔接。更新后，Xbox PC应用和Xbox主机界面将显示云游戏在最近游玩列表中，并支持Xbox主机、PC和掌机跨设备同步游戏进度和存档。这意味着即使在PC上无法原生运行的游戏，也能通过Xbox云游戏在Windows上继续游玩。此功能将进一步提升Xbox云游戏的用户体验，方便玩家随时随地继续游戏。
阅读更多
Swift 6 引入的 `@isolated(any)` 属性，用于描述异步函数的隔离性，初看令人困惑。它总是需要一个参数，但这个参数却不能变化。文章解释了其引入原因：为了解决异步函数在调度时隔离信息丢失的问题，`@isolated(any)` 属性允许访问函数的隔离属性，从而进行更智能的调度，特别是在处理 `Task` 和 `TaskGroup` 时，保证了 MainActor 上任务的执行顺序。虽然多数情况下可以忽略它，但在处理异步函数的隔离性和调度时，了解 `@isolated(any)` 对于编写高效、可靠的并发代码至关重要。
阅读更多
本文介绍了 De Bruijn 索引和层级，这两种方法巧妙地解决了 Lambda 演算中令人头疼的变量捕获问题。通过使用自然数代替变量名，De Bruijn 索引和层级避免了变量重名带来的困扰，简化了替换操作，并方便了等价性比较。文章深入浅出地解释了这两种方法的工作原理，并比较了它们的优缺点，最终指出 De Bruijn 索引在局部操作中更具优势，而 De Bruijn 层级则在移动子表达式时更方便。 这篇文章适合对 Lambda 演算有一定了解的程序员阅读。
阅读更多
本文探讨了无需星轨追踪器进行星空摄影的可行性及技巧。作者指出，选择明亮且静止的目标（如银河），使用稳固的三脚架并运用“500法则”等方法，即使是初学者也能拍摄出令人惊叹的夜空照片。文章详细介绍了拍摄技巧，包括曝光时间、镜头选择、相机设置等，并以自身经验为例，说明了不同目标和镜头下的拍摄效果。虽然无追踪器拍摄会限制曝光时间，但通过堆栈大量照片，依然可以获得高质量的图像。
阅读更多
BrowserBee是一款隐私优先的开源Chrome扩展程序，允许你使用自然语言控制浏览器。它结合了LLM强大的指令解析和规划能力，以及Playwright强大的浏览器自动化能力来完成任务。BrowserBee完全在浏览器内运行（LLM除外），可以安全地与已登录的网站（如你的社交媒体帐户或电子邮件）交互，而不会危及安全性或需要后端基础设施。它支持Anthropic、OpenAI、Gemini和Ollama等主要LLM提供商，并具有丰富的浏览器工具，包括导航、交互、观察和内存功能，可以记住常用的工具使用序列，提高效率。
阅读更多