一般情况下，应用程序中使用的每种语言都需要单独的 linter，很多本可以利用自动化工具完成的操作，这时只能手动操作，费时费力。GitHub Services DevOps 工程团队为了文档和代码的一致性，同时提升整个公司之间的交流和协作的效率，开源了 Super Linter。Linters 是用于查找源代码中的 Bug 错误，格式错误，构建不良的结构以及其他可能导致效率低下的代码问题的工具。
Super Linter 通过自动化解决了许多需求。其特性包括：
MMdetection 是港中文-商汤开源的，基于 Pytorch 实现的目标检测工具箱，支持 Faster R-CNN, Mask R-CNN, Cascade R-CNN, RetinaNet, Guided Anchoring, RepPoints, Foveabox, FreeAnchor, NAS-FPN, ATSS, NAS-FCOS 等等 SOTA 目标检测模型，并且提供了 DCNv2, Group Normalization, OHEM, Soft-NMS, GCNet, Mixed Precision 等新特性。
MMdetection 工具箱常常被用来当作比赛 Bas[……]
众所周知，GAN 是一种生成高质量图像的 SOTA 方法。因而，研究人员也一直在努力将其应用于更加序列化的数据，例如音频和音乐。在这个领域，自回归 (AR) 模型通过一次预测一个样本占据了主导地位（如 WaveNets 和 Transformers）。虽然 AR 模型的这一特性促成了它们的成功，但这也同时意味着采样是连续且缓慢，令人难以忍受的过程。为此，诸如概率密度蒸馏和专用内核等技巧被开发出来以满足实时语音合成的需要。
GANSynth 的特点并非在于顺序生成音频，而是并行生成整个序列。在现代 GPU 上合成音频的速度明显比实时要求的速度更快，比标准 WaveNet 快约 50,000[……]
很多人可能都觉得数学就是枯燥乏味又难学，一堆公式难以理解还记不住，如果这时候，有个神器可以一秒将这些困难的数学公式/表达式用可视化的方式表现出来，是不是会有助于加深印象，让学生对数学保持兴趣？
近日，CMU 推出了一个新系统 Penrose，该系统可以将复杂的数学符号转换为各种样式的简单图表。作为一种有效地传达复杂数学表达式和概念的可视化工具，Penrose 迅速地吸引了社交媒体的关注。
研究人员表示：在数学著作中发现图表相对较少，它们主要还是以公式和技术性语言为主，尽管高质量的可视化效果能够更有效的传达数学思想，但是当下能够生成此类图表的工具并不那么友好，这也是为何一般数[……]
r/SpaceX 是 SpaceX 粉丝自发组织的社区，日常搜集整理 SpaceX 的火箭发射信息。
近日，SpaceX 粉丝把火箭有关信息贴到 GitHub，他们整理的 API，基本包含了 SPaceX 成立迄今的所有火箭数据。API 包含：SpaceX 的龙飞船、Starship、发射历史数据、核心舱、起落架、载荷信息等等，应有尽有。REST API 包含三大部分，clients、app (应用) 和原始数据。其中，API Clients 是对现有关于 SpaceX 的 API 合集，降低了以往信息查找、汇总的难度。
项目 GitHub 地址[……]
