PCWorld 沉痛悼念其资深硬件编辑兼著名硬件记者Gordon Mah Ung，他于周末因胰腺癌去世，享年58岁。Ung拥有25年以上报道计算机技术的经验，其严谨的报道、独特的个性和对新闻标准的坚持，影响了无数人。他曾领导Maximum PC的硬件报道16年，并主持了广受欢迎的视频播客《The Full Nerd》。Ung对PC技术的热情、幽默感和偶尔的愤怒，使其成为一代人心中难以磨灭的记忆。他的离世是业界和PC爱好者们的巨大损失。
阅读更多
本文探讨了Peano公理系统，它通过九个公理严格定义了自然数。文章从直观理解出发，逐步构建了自然数的公理化定义，包括等号的性质、0的存在、后继函数以及数学归纳法。作者详细解释了每个公理的意义和作用，并讨论了不同形式的数学归纳法。最终，文章论证了Peano公理系统能够唯一确定自然数集，为后续数学推理奠定了坚实基础。
阅读更多
2013年，柏林工业大学的BEESAT-1卫星出现故障，停止传输有效数据。由于它将在轨道运行至少20年，修复它能开启新的实验。然而，卫星既没有遥测数据，也没有软件更新功能。演讲者讲述了如何通过结合太空和计算机安全思维，在没有遥测数据的情况下诊断故障，在没有软件更新功能的情况下实现它，最终在2024年9月修复卫星的故事。这个故事充满了挑战与惊喜，包括处理15年前的软件和硬件，以及在没有适当上传方法的情况下上传新软件的难题。最终，他们成功地让这颗卫星恢复了运行，并具备了软件更新能力。
阅读更多
刘易斯与克拉克探险队留下的600粒巨型泻药“雷鸣药丸”，其主要成分是稳定的汞盐。这些药丸的残留物帮助考古学家精准定位了探险队的多个营地。通过分析土壤中汞含量的异常，他们发现了旧厕所坑，并根据军事手册推断出营地的布局。这揭示了19世纪初医学实践的局限性，当时流行的“英雄医学”疗法，尽管有时有效，但常常弊大于利。
阅读更多
Slipstream是一个使用Python构建的数据流模型，旨在简化有状态流式应用程序的开发。它支持多种数据源（如Kafka、流式API）和数据接收器（如Kafka、RocksDB、API），并允许使用普通的Python代码进行任意状态化操作（连接、聚合、过滤）。通过一个简单的计时器示例演示了其易用性，只需几行代码即可实现定时任务。Slipstream的核心在于其简洁性、灵活性和速度，通过优化的默认配置快速启动并运行。
阅读更多
本文探讨了在 MySQL 中对参与外键关系的表进行在线 Schema 变更的固有难题。作者分析了现有工具（如 pt-online-schema-change 和 gh-ost）的局限性，指出在线变更父表时，需要同时变更所有子表，这带来了巨大的复杂性和风险。由于需要协调多个变更过程，且容错性极低，一旦其中一个变更失败，就可能导致数据不一致甚至服务中断。作者认为，对于大型表，在线变更包含外键约束的 Schema 几乎不可行。
阅读更多
Lisp程序员长期以来为代码缩进风格争论不休。文章探讨了多种Lisp缩进方案，包括无缩进、函数对齐缩进、填充缩进以及作者提出的“病态”宏缩进。作者指出，函数对齐缩进在嵌套较深时会变得难以阅读，填充缩进虽然高效，但在极端嵌套下仍有不足。作者最终推荐了一种“病态”宏缩进风格，虽然不符合惯例，但在处理深度嵌套时能保持良好的可读性，并能与大多数缩进工具兼容。文章最后鼓励读者分享自己的偏好。
阅读更多
麻省理工学院的开源课程“安全硬件设计”（6.5950/6.5951）独树一帜，它不仅教授学生如何攻击现代CPU，还深入讲解如何设计抵御这些攻击的架构。课程内容涵盖了各种最新的硬件攻击和防御技术，学生将通过实际操作，对真实处理器进行黑客攻击，并学习如何构建安全的硬件系统。课程采用“思考-实践-行动”的三大支柱式教学模式，理论与实践相结合，最终项目是设计一个CPU模糊测试器，发现真实的CPU RTL设计中的漏洞。
阅读更多
Goravel是一个功能完备、可扩展性强的Go语言Web应用框架，旨在帮助Go开发者快速构建应用。其设计理念与Laravel一致，降低了PHP开发者的学习门槛。项目开源，欢迎Star、PR和Issue！Goravel提供丰富的功能，包括HTTP认证授权、ORM、迁移、日志、缓存、gRPC、Artisan控制台、任务调度、队列、文件存储、邮件、验证、Mock、哈希加密、Carbon包、开发测试、本地化和Session等。文档和示例项目已上线，欢迎贡献文档和参与开发。
阅读更多
面对日益增长的供应链攻击威胁，Google 推出了 OSS Rebuild 项目，旨在通过重现上游构件来增强对开源软件包生态系统的信任。该项目自动化地为 PyPI、npm 和 Crates.io 等软件包生态系统生成声明式构建定义，并提供 SLSA 证明，满足 SLSA 构建级别 3 的要求，无需发布者干预。OSS Rebuild 还提供构建可观察性和验证工具，以及基础设施定义，方便组织运行自己的实例。通过重建、生成、签名和分发来源，OSS Rebuild 有助于检测未提交的源代码、构建环境泄露和隐蔽的后门等多种供应链攻击，增强软件包的信任，并加速漏洞响应。
阅读更多
澳大利亚初创公司Cortical Labs推出CL1，一款基于数十万个活体人类神经元的生物计算机。CL1通过“湿件即服务”（Wetware-as-a-Service）云系统远程使用，其低功耗和快速学习能力使其在疾病建模、药物测试和生物AI领域具有巨大潜力。虽然目前CL1的学习能力尚不及传统AI，但其独特的生物特性使其在特定应用场景下具有优势，例如，它已成功教会神经元玩Pong游戏。然而，该技术也引发了伦理担忧，研究团队正与生物伦理学家合作，以确保研究的安全性及道德性。
阅读更多
近日，中国滑翔伞飞行员彭宇江被卷入云层，最终到达8598米高空的新闻引发热议。各大媒体纷纷报道，但其伴随的视频真伪引发质疑。视频中一部分画面明显为AI生成，存在镜头角度和人物装束的矛盾。然而，其他画面可能真实记录了飞行过程。分析表明，视频可能由多个不同时间、不同装备的片段拼接而成，甚至可能存在商业推广目的。这起事件不仅展现了高空飞行的挑战，也凸显了AI换脸技术带来的信息真伪辨别难题，警示媒体需谨慎对待AI生成内容。
阅读更多
DrawAFish.com，一个在Hacker News上短暂爆红的画鱼网站，因作者一系列低级安全错误而遭遇线上危机。过时的六位数管理员密码泄露、未经身份验证的用户名称更新API以及未与特定用户绑定的JWT令牌，导致网站在数小时内被恶意用户入侵，用户名被篡改，鱼类图像被恶意替换。作者最终通过恢复备份和修复漏洞解决了问题，并反思了快速开发与安全性的平衡。
阅读更多
N+1查询问题源于应用代码针对集合中的每个元素发送一个SQL查询。文章提出，通过提升抽象边界，而非降低，可以解决此问题。例如，将ORM集成到语言中，就能制定重写规则，将N个查询合并成一个。这与Haskell使用重写规则优化列表操作类似，因为Haskell的声明式特性使底层操作语义对程序员透明，便于优化。因此，提升抽象边界也提升了优化边界。
阅读更多
美国总务管理局（GSA）旗下的技术转型服务部门（TTS）周三下午突然裁员数十人，主要目标是试用期和短期员工，包括来自总统创新奖学金项目的人员。此次裁员与GSA力图转型为类似“初创软件公司”的机构的计划有关，该计划侧重于AI、流程自动化和数据集中化。GSA新领导层希望在未来几周内推出定制生成式AI聊天机器人“GSAi”，并计划出售500多座联邦大楼以削减成本。此次裁员也引发了关于政府机构使用AI技术、精简人员配置以及工作场所文化转变的讨论。
阅读更多
作者原本在Proxmox虚拟机上运行ArchiveTeam Warrior项目，但为了提高效率并利用其Kubernetes集群，作者将其迁移到容器化环境中。文章详细描述了作者如何编写Kubernetes manifests，使用环境变量配置，并利用内存型emptyDir解决磁盘空间问题。此外，作者还开发了一个Python脚本监控Warrior的运行状态。文章最后更新部分提到作者与其他开发者交流后，改进了方案，使用了更轻量级的`*-grab`镜像，并计划构建一个管理UI。
阅读更多
大型语言模型(LLM)面临着内省能力不足和认知短暂性两大限制。本文提出了一种新颖的实时内省压缩方法，通过训练一个轻量级的“副驾驶”模型来压缩Transformer内部状态，从而实现对模型内部状态的高效访问和重放。该方法将Transformer的内部状态压缩到低维潜在空间，类似于保存游戏进度，从而解决了保存全部状态的计算难题。这将使LLM能够进行推理回溯、基于思想轨迹的强化学习以及高效的检查点保存等，最终实现更强大的AI系统。
阅读更多
Rerun 0.21 版本发布了备受期待的图视图，支持拖放和撤销功能。新视图基于 GraphNodes 和 GraphEdges 原型构建，可视化建模ROS图、语义场景图等多种图结构。该版本还实现了基于时间旅行的撤销功能，并内置了新的基于力的图布局引擎Fjädra，提升了用户体验。
阅读更多
自16世纪以来，教宗选举就成为秘密赌局的焦点。 从威尼斯共和国禁止对教宗寿命投注，到罗马银行家公开提供赔率，再到格里高利十四世宣布下注教宗选举为异端，这场持续数百年的赌博史波澜起伏。现代，互联网使得教宗选举赌博再度兴起，尽管在美国等地仍属非法，但法律界限日渐模糊。本文回顾了这场跨越五个世纪的独特赌博现象，从早期的秘密交易到现代的网络投注，展现了权力、信仰和金钱的交织。
阅读更多
Answer.AI 和 LightOn 推出了 ModernBERT，一个比 BERT 更快、更准确的编码器模型系列。ModernBERT 结合了近年来大型语言模型的诸多进展，具有更长的上下文长度（8192 个 token）、更快的处理速度以及在各种基准测试中更优异的性能。其在代码检索方面尤其出色，为代码搜索和 IDE 功能等新应用打开了大门。ModernBERT 可作为 BERT 模型的直接替代品，并已在 Hugging Face 上提供。
阅读更多
融资管理软件Carta因其复杂的取消订阅流程引发争议。多位创业者在社交媒体上抱怨，称Carta要求他们预约会议才能取消订阅，且预约时间往往在其续费日期之后，导致他们不得不支付额外的费用。虽然Carta回应称这是由于一次性的员工短缺问题，但其竞争对手表示，他们只需点击几个按钮或发送电子邮件即可取消订阅。这一事件引发了人们对Carta客户服务和取消流程的担忧，也突显了在选择服务提供商时需要注意的问题。
阅读更多
Nadia Odunayo，一位软件工程师，凭借其独立开发的阅读社区应用StoryGraph，成功吸引了超过百万用户。StoryGraph帮助用户追踪阅读进度，并根据心情和喜好推荐书籍。这篇文章讲述了Odunayo如何在单人团队的情况下，克服挑战，最终取得成功的经验，展现了其非凡的毅力和技术实力。她的故事为独立开发者提供了宝贵的经验和启示。
阅读更多
作者从小受父亲教诲，要“总是去参加葬礼”。起初她并不理解，直到成年后才领悟到这不仅仅是礼节，更是对逝者家属的关怀和对人生困境的体悟。父亲的离世让她更深刻地体会到这看似微小的举动，实则蕴含着巨大的力量，它促使我们直面生活中那些令人不快却不得不面对的时刻，并从中感受到人性的温暖与美好。
阅读更多
作者在调试一个Parquet查看器时，发现程序在访问S3存储时崩溃。经过一番排查，发现问题并非在应用代码，而是Chrome的缓存机制。Chrome在处理范围请求时，会优化缓存，但当服务器返回403错误时，Chrome仍返回部分数据，导致应用崩溃。作者向Chromium团队报告了该问题，但该团队认为这是一个特性而非Bug。最终，作者选择在OpenDAL中修复该问题。这个故事提醒我们，调试时要找到正确的信任边界，才能更高效地解决问题。
阅读更多
职业发展中，区分“有用”和“有价值”至关重要。两者初期信号相似：晋升、高额奖金、股票期权等。但深入观察，差异显现。“有用”指高效完成特定任务，是可依赖的执行者，但可能只是填补空缺，而非核心战略组成部分。“有价值”则意味着参与战略决策，引领方向，拥有更多成长机会。作者分享自身经历：一次裁员中因其技能对公司数字化转型至关重要而被留用并获得高额奖金，体现了“有价值”；另一次经历中，尽管获得高薪和奖金，却缺乏战略性工作和发展机会，最终选择离职，体现了“有用”而非“有价值”。文章鼓励读者反思自身定位，区分“有用”与“有价值”。
阅读更多
一群OpenAI前员工提交了一份支持马斯克起诉OpenAI的意见书，反对其从非营利组织向营利性公司的转型。他们认为，此举违背了OpenAI最初的使命，即确保AI技术造福全人类。这些前员工中一些人曾公开批评OpenAI缺乏透明度和责任感，并警告其在AI竞争中鲁莽行事。OpenAI回应称其非营利部门不会消失，但转型为公共利益公司（PBC）。这场诉讼的核心在于OpenAI的组织结构及其对AI发展方向的影响，也凸显了AI领域商业化与社会责任之间的复杂博弈。
阅读更多
一家名为Monumental的机器人建筑公司在使用Chromium的Electron应用时发现了一个内存泄漏bug。该应用使用Rust WASM代码，通过wasm-bindgen管理内存。问题在于，JS引擎有时会停止调用FinalizationRegistry中的终结器，导致WASM内存持续增长。作者创建了一个最小可复现的例子，并提交了bug报告。该bug表现为在多次刷新后，内存泄漏持续存在，需要关闭窗口才能解决。
阅读更多
代码库利用率低下的问题由来已久，原因包括编写代码比阅读文档更有趣、Dunning-Kruger效应导致我们低估了库的复杂性以及公司内部项目与库竞争等。大型语言模型（LLM）的出现加剧了这个问题。LLM的“vibe coding”虽然高效有趣，但其输出质量往往不如经过实战检验的库。LLM生成的代码容易受到提示词的影响，而库的创建者对问题理解更深入，能更好地利用LLM生成高质量代码。然而，过度依赖LLM生成代码反而可能被视为创新，导致公司激励机制扭曲，进一步加剧了这个问题。因此，对于复杂的编程问题，我们应该优先选择使用成熟的库，而不是直接使用LLM生成代码。
阅读更多
微软已移除其文档中关于绕过Windows 11 TPM 2.0硬件要求的说明，并将其Defender杀毒软件标记流行的绕过工具Flyby11为潜在恶意软件。此举旨在阻止用户在不兼容硬件上安装Windows 11。随着Windows 10即将停止支持，微软此举迫使用户升级或购买新电脑，但Flyby11的开发者正试图解决此问题。
阅读更多
Rust编译器对枚举类型进行了一种巧妙的内存优化，使其占用空间更小，从而提升程序性能。文章通过分析枚举在内存中的表示，揭示了两种优化策略：一是“niche optimization”，利用无效的比特模式来表示不包含有效载荷的枚举变体；二是针对嵌套枚举的优化，通过巧妙地重用内层枚举的内存布局，减少外层枚举的内存占用。这两种优化策略都能够有效地减少内存消耗，提升程序运行效率。
阅读更多