本文永久链接 – https://tonybai.com/2025/09/09/the-power-of-ten-in-go 大家好，我是Tony Bai。 在软件工程领域，有些智慧是永恒的。 2006 年，NASA/JPL（喷气推进实验室）的 Gerard J. Holzmann 公布了其团队用于开发安全关键 (Safety-Critical) 软件的十条黄金法则——“The Power of Ten: Rules for Developing Safety-Critical Code”。这些规则诞生于 C 语言主导的嵌入式世界，旨在为火星车、深空探测器等“不容有失”的系统构建坚不可摧的代码基石。 ...
本文永久链接 – https://tonybai.com/2025/08/17/best-linux-os-for-robotics-in-2025 大家好，我是Tony Bai。 如果你正投身于机器人技术领域，选择正确的操作系统至关重要。随着人工智能、自动化和机器学习的进步，机器人正变得前所未有的复杂。在为这些智能机器提供动力方面，Linux凭借其开源的灵活性、稳定性以及对机器人框架的广泛支持，仍然是首选。 ...
这周五午间休息时无意中看了36kr发布的一篇文章：《开电脑与外星人尬聊？搜寻地外文明项目SETI@home的极客简史》，这是一篇译文，原文发表在《大西洋月刊》，题为“A Brief History of SETI@Home”，文章科普了SETI@HOME这一项目的简史。 SETI是“Search for Extraterrestrial Intelligence”，字面意思就是搜寻外星的智慧生命体。这个项目从技术本质上看就是一个超级庞大的分布式系统，它利用加入“志愿计算”计划的志愿者的PC上的空闲计算能力来分析射电望远镜观测到的信号，旨在从这些信号中过滤并识别出可能的外星生命发出的信号。SETI@home项目于1999年就启动了，不过令人感到尴尬的是至今这个项目仍然是一无所获：外星人的毛儿都没找到。虽然结果不如预期，但这不能否定这一项目的伟大。国内的地外文明爱好者、ET/alien爱好者们，如果你想贡献出自己的一份薄力，就去SETI@Home项目官网下载一个软件，加入到这个庞大的计算网络中吧。 ...