FreeBSD 的包管理系统 PKGBASE 引起了一场争议。用户发现，执行 `pkg delete -af` 命令后，非 PKGBASE 版本的 FreeBSD 系统只会删除第三方软件包，而 PKGBASE 版本的系统则会删除几乎所有系统基础组件，包括 vi 编辑器等关键工具。这引发了对系统稳定性和 POLA（原则上操作的简单性）的担忧，因为同一命令在不同系统下的行为差异巨大，可能导致系统不可用。
阅读更多
2009年诺贝尔化学奖得主Venkatraman Ramakrishnan教授在其新书《我们为什么死亡》中，深入探讨了衰老和死亡的机制。他指出，死亡并非基因预设程序，而是进化过程中对基因传递效率的侧重导致的。寿命长短并非简单的细胞磨损累积，而是机体资源分配的平衡结果：在维持机体运转与修复和生长、繁殖、育儿之间权衡。Ramakrishnan教授在米兰长寿峰会上分享了他的研究成果，颠覆了我们对死亡和衰老的传统认知。
阅读更多
一款2012年发布的Gigabyte B75M-D3H主板，近期通过固件更新（F16f）获得了意想不到的升级——支持从M.2 NVMe SSD启动。这块已经过时多年的主板原本不支持该功能，更新主要目的是修复PKfail漏洞，但意外地解锁了NVMe启动能力。虽然性能受限于PCIe 2.0，但对于老旧系统来说，依然是性能的显著提升。这一发现引发了人们对于厂商是否故意添加此功能的猜测。
阅读更多
Lucy 是一种用于描述有限状态机的简洁语言，它允许用单行代码表达复杂的事件、保护条件、动作和目标状态。Lucy 支持嵌套机器，从而创建分层状态机。它编译成 XState（一个优秀的 JavaScript 有限状态机库），支持 XState 的所有核心功能。此外，Lucy 使用 C 语言编写并编译成 WebAssembly，使其在 JavaScript 项目中速度极快（比之前的 JavaScript 编译器快 15 倍）。
阅读更多
科学家们在西班牙和法国附近的比斯开湾发现了迄今为止最古老的人类使用鲸骨制作工具的证据，这些工具可追溯到约2万年前。这些工具是用于狩猎的窄长投射物，由蓝鲸、长须鲸、抹香鲸等鲸类的骨骼制成。研究表明，远古人类可能并非专门猎杀鲸鱼，而是利用搁浅鲸鱼的骨骼制作工具来狩猎驯鹿或野牛，这表明早期人类充分利用沿海资源生存，也收集贝壳和捕鱼。这项发现发表在《自然通讯》杂志上，刷新了人类使用鲸骨工具的历史。
阅读更多
一份针对LastPass Android应用4.11.18.6150版本的隐私报告揭示了其内置7个追踪器和36个权限。这些追踪器包括AppsFlyer、Google Analytics等，用于收集用户数据。权限涵盖位置信息、网络访问、读取存储等敏感内容。报告指出，部分权限级别较高，可能存在隐私风险。用户需谨慎评估其隐私影响。
阅读更多
格德隆城堡项目并非简单的复建，而是运用13世纪的工具和技术，在法国勃艮第地区建造一座真实的十三世纪城堡。这一实验考古学项目历经数十年，不仅复现了中世纪的建筑工艺，更揭示了诸多历史谜团，例如窗户材料的选择、灰泥配方的探索以及脚手架搭建等。从最初使用羊皮到最终采用蜂蜡加固的亚麻布作为窗户材料，每个细节都经过反复试验，展现了中世纪工匠的智慧和团队协作精神。格德隆城堡不仅是一座宏伟的建筑，更是一个充满故事的活生生的历史课堂，吸引着来自世界各地的游客和学者。
阅读更多
许多华硕ROG游戏本用户都遇到过系统卡顿、音频爆音等问题。传统方法都无法解决，原因在于BIOS固件中存在一个ACPI相关的Bug。深度技术调查发现，固件中一个中断处理程序会休眠100毫秒，导致CPU核心被阻塞，并周期性地尝试开关独显，即使在独显直连模式下也如此，最终可能导致蓝屏死机。该Bug源于固件设计缺陷，未正确处理中断上下文，且缺乏平台感知能力。数百万台华硕游戏本受影响，厂商尚未回应。
阅读更多
本文追溯了一个经典笑话的起源： 「从这里？ 」这个梗，最早出现在1974年电视剧《粥》中，后被用于电影《007之雷霆杀机》。文章考证了该笑话在其他节目中的出现，包括《男人之家》、《汤姆·奥康纳的专辑》等，最终追溯到1966年的《现代医学》杂志。这趟溯源之旅揭示了笑话的演变和传播，也展现了文化传承的趣味性。
阅读更多
一位软件工程师受视频启发，尝试在家中制造人造阳光。他摒弃了体积庞大的抛物面反射镜设计，巧妙地采用由多个透镜和LED组成的网格阵列。文中详细描述了从3D建模、PCB设计、CNC加工到最终组装的整个过程，以及遇到的挑战和解决方案。最终产品虽然亮度略逊于预期，但实现了令人满意的几何效果，并为作者带来了丰富的硬件工程经验。
阅读更多
美国国务院计划启动“抓捕和撤销”计划，利用AI系统扫描美国学生签证持有人的新闻报道和社交媒体账号，目标是找出同情巴勒斯坦和哈马斯的个人并将其驱逐出境。该计划引发了对言论自由和隐私的担忧，AI系统可能存在偏见和误判，且该计划与特朗普政府此前颁布的旨在打击反犹太主义和国内恐怖主义的行政命令一脉相承，这些命令过于宽泛，可能被用来压制异见。此外，“Take it Down Act”法案的通过更令人担忧，该法案表面上打击网络暴力，实则可能被用来压制批评声音。这一系列举动构成了对言论自由和表达自由的攻击，并被监控技术所强化。
阅读更多
2009年，许多人都在问Twitter为何如此重要。文章指出，Twitter之所以重要，是因为它是一个新的消息协议，你无需指定接收者。新的协议非常罕见，而成功的新协议更是凤毛麟角，例如TCP/IP（互联网）、SMTP（电子邮件）、HTTP（网页）等。因此，任何新的协议都是一件大事。但Twitter却是一个私营公司拥有的协议，这更罕见。有趣的是，Twitter创始人缓慢的商业化策略，从长远来看可能成为优势。因为他们没有过度控制，Twitter对每个人来说都感觉像之前的协议一样，人们忘记了它是由一家私营公司拥有，这或许使其更容易传播。
阅读更多
Pico是一个极简的CSS框架，它只使用不到10个类名直接样式化HTML标签，甚至提供无类名版本。它无需依赖、包管理器或外部文件，完全通过纯CSS实现优雅的样式，并原生支持响应式设计和明暗模式自动切换，只需修改CSS变量即可轻松定制。Pico注重性能优化，保持HTML简洁，减少内存占用和加载文件数量，是追求速度和优雅的完美选择。
阅读更多
这篇文章深入浅出地讲解了机器学习中最重要的数学公式，涵盖概率论、线性代数和优化算法等多个方面。从贝叶斯定理、熵到梯度下降、反向传播，文章配以Python代码示例，帮助读者理解这些公式在实际应用中的作用。此外，文章还介绍了更高级的机器学习概念，例如扩散过程和注意力机制，并提供了相应的代码实现。这是一份理解机器学习核心数学原理的宝贵资源。
阅读更多
作者出于兴趣编写了一个简易的C++标准库，并在Hacker News和Reddit上分享。文章引发讨论，焦点并非库本身的完整性，而是其命名和设计哲学。作者有意简化库的设计，要求所有类型都必须是“行为良好”的，从而避免处理复杂异常情况。这使得库的复杂度大大降低，但同时也限制了其适用范围。文章还探讨了字符串分割和迭代器的实现，并比较了Python和C++两种语言的差异。最终，作者完成了字符串、正则表达式和基本容器的功能，编译速度很快。
阅读更多
RakuAST项目对Raku编程语言的编译器前端进行了重写和重新设计。作者通过逐个修复单元测试的方式，逐步完善了对Raku语言各种复杂语法的支持，例如私有方法、元方法和超方法调用等。然而，最大的挑战在于Raku编译过程的复杂性和代码执行顺序的依赖性，这需要作者精确地把握各个组件的编译顺序，最终提交了900多次代码更改。此外，项目还完成了编译器自举的挑战，即使用新的编译器前端编译Raku本身，这过程中需要处理循环依赖和标准库中大量高级特性的问题。整个项目历经艰辛，但也获得了来自社区成员的宝贵帮助。
阅读更多
YC孵化、种子轮融资的Thunder Compute公司正在招聘一名系统工程师。该公司致力于构建面向GPU的VMware，其GPU虚拟化软件通过共享和超额认购来消除闲置的GPU周期，并通过IP网络连接GPU。这是一个极具挑战性的职位，需要你拥有顶尖的C++能力、低级网络和编译器知识以及在延迟敏感环境中的经验。公司愿意为了合适的候选人搬迁总部。
阅读更多
160多年前，孟德尔通过豌豆杂交实验奠定了遗传学基础，但三个豌豆性状的基因却一直未被发现。近日，一项发表于《自然》杂志的研究利用现代基因测序技术和复杂的计算分析，最终确定了这三个基因：一个控制豆荚颜色，一个影响豆荚形状，另一个决定花序分枝模式。这项成果不仅解开了长期以来的谜题，也为豌豆基因组研究开启了新篇章，对未来植物育种具有重要意义。
阅读更多
军火公司Anduril在Discourse论坛发布招聘信息引发巨大争议。一些用户谴责Anduril制造战争武器，并质疑其公司文化。Anduril员工回应了关于其使用Nix/NixOS、非竞争协议以及开源机会等问题，但争议并未平息。最终，Discourse管理团队决定禁止Anduril在其平台上发布招聘信息，以回应持续的社区争议。
阅读更多
本文回顾了高空气球在科学探索中的非凡历程，从18世纪蒙哥尔菲兄弟首次载人飞行，到现代利用高空气球观测宇宙微波背景辐射和系外行星大气。高空气球以其独特的优势，帮助科学家取得了一系列突破性发现，包括宇宙射线的发现和宇宙形状的确定，展现了其在天文、气象等领域的持续贡献。这并非简单的“低科技”，而是近250年科学精进的结晶，在火箭技术蓬勃发展的今天依旧闪耀着光芒。
阅读更多
工程师Ted Kinsman接到NASA宇航员Don Pettit的委托，设计制造了一个机械星空追踪器，用于在国际空间站（ISS）拍摄高质量的星空照片。由于电子设备的严格测试周期过长，该追踪器完全采用机械设计，巧妙地利用工业烤箱的计时器驱动装置，并通过齿轮调整转速，以匹配ISS的轨道速度。该装置成功于2024年送达ISS，并拍摄到令人惊叹的星空照片，展现了宇宙的壮丽景象。
阅读更多
超过700名驻扎在加利福尼亚州海军陆战队航空地面作战中心的陆战队队员已被调动，以应对洛杉矶的抗议活动。这些部队将加入数千名国民警卫队成员，这些成员是在特朗普总统周末未经加州州长或洛杉矶市长同意的情况下被激活的。 这一举动标志着特朗普政府利用军队对抗抗议者的行动显著升级，但目前尚不清楚他们到达洛杉矶后的具体任务。与国民警卫队一样，除非特朗普总统援引叛乱法案，否则他们被禁止进行逮捕等执法活动。加州州长纽森称这一举动“不必要”且“史无前例”。洛杉矶警察局长麦克唐纳呼吁各机构之间保持沟通，以确保协调一致的应对措施。
阅读更多
NVIDIA RTX 50系列显卡发布后，问题不断：黄牛党横行，显卡价格远超官方建议零售价；电源接口熔化问题依旧存在；营销策略越来越具有欺骗性；部分显卡出厂即存在缺陷；驱动程序问题频发；NVIDIA甚至试图操控媒体报道。这一切都表明，NVIDIA对消费者需求的漠视，以及其在数据中心GPU市场赚得盆满钵满后，对消费级GPU市场的态度愈发消极。RTX 50系列不仅延续了12VHPWR接口熔化的问题，而且NVIDIA还在驱动中引入了多帧生成技术（MFG），进一步牺牲画质来提升帧数，使得游戏画面模糊不清。此外，NVIDIA还被指控威胁和贿赂评测机构，以操控评测结果。总之，RTX 50系列显卡的发布，暴露了NVIDIA的垄断地位带来的负面影响，损害了消费者的利益。
阅读更多
许多小企业错误地将大型企业的运营模式应用于自身，导致难以与客户有效沟通。文章强调，小企业成功的关键在于与客户建立良好的人际关系，及时、清晰、友善地回应客户疑问，而不是依赖自动化或AI。作者以自身为例，说明了直接与客户沟通的重要性，并指出这种人际互动是小型企业赖以生存的空气，而产品或服务则相对次要。文章最后呼吁小企业重视客户沟通，选择合适的工具和方法，建立健康、积极的客户关系。
阅读更多
一项基于二十多年卫星观测的新研究揭示，自2002年以来，地球大陆经历了前所未有的淡水流失，气候变化、不可持续的地下水使用和极端干旱是主要驱动因素。研究发现，四个大陆尺度的“超级干旱”地区正在形成，主要位于北半球，这将严重影响水安全、农业、海平面上升和全球稳定。研究人员发现，68%的陆地水流失来自地下水，这比陆地冰川和冰盖对海平面上升的贡献更大。该研究呼吁立即采取行动，减缓和逆转地下水枯竭，保护剩余的淡水资源，并适应日益增长的水资源短缺和沿海洪水的风险。
阅读更多
一项新的研究表明，利用全球数百万部Android智能手机的内置加速器，可以创建一个有效的地震预警系统。该系统名为Android地震预警（AEA），其准确性与传统地震网络相当，能够检测到全球范围内的地震活动，并向用户发出警报。即使在缺乏传统基础设施的地区，AEA也能发挥作用，为数百万人口提供宝贵的预警时间，从而降低地震造成的损失。该系统利用地震波传播速度的差异，在破坏性地震波到达之前发出警报，为人们争取宝贵的自救时间。
阅读更多
Go语言的并发能力令人印象深刻，但并发处理会打乱数据的自然顺序。本文探讨了如何在Go中实现高性能的并发有序映射。作者提出了三种方法：基于replyTo通道的方法、基于sync.Cond的轮询方法和基于权限传递链的方法。通过基准测试，作者发现权限传递链方法在性能和内存效率方面表现最佳，且易于扩展和复用，尤其是在结合对象池避免内存分配后。该方法通过巧妙地利用通道实现高效的点对点信号传递，避免了“惊群效应”，实现了并发和有序性的完美平衡。
阅读更多
一个由Kevin Buzzard领导的国际合作项目正在使用Lean定理证明器来形式化证明费马大定理。该项目获得了英国工程和物理科学研究委员会的资助，由伦敦帝国理工学院主办。这个非标准研究项目旨在用计算机验证一个著名的数学难题的证明，其意义在于探索数学证明的形式化和自动化验证的可能性，这对于未来数学研究具有深远的影响。
阅读更多
一项针对北卡罗来纳州数万名学生的调查研究揭示了一个令人震惊的事实：超过一半本应进入高级数学课程的高分学生，却被拒绝入读。研究发现，学校普遍依赖教师推荐而非学生成绩决定课程安排，导致许多低收入和少数族裔学生错失良机。这种做法不仅浪费了大量人力资源，也严重影响了学生的未来发展。尽管北卡罗来纳州已出台法律强制录取高分学生，但学校通过修改评分标准等方式规避了法律，问题依然存在。这项研究呼吁学校更加重视客观数据，为所有高潜质学生提供平等的教育机会。
阅读更多
一张耗时良久、细节丰富的英国方言地图问世，却因语言的本质而注定不完整且不精确。地图制作者收集了大量研究、调查、地图和数据库，并经过多次同行反馈，力求展现英国方言的细微差别。然而，方言的定义模糊，边界并非泾渭分明，一些方言并非地域专属，如伦敦方言的多样性及其复杂的社会文化背景。地图虽有不完美之处，但仍展现了英国英语方言的多样性及制作者对语言的热爱。
阅读更多