2025 软件自由日中国科大站

2025 年 9 月 20 日，LUG 举办了软件自由日 (Software Freedom Day) 活动。活动在 14:30-17:30 于西区 3C101 举行，并同步进行了线上直播。本次活动邀请到开源项目 Slidev 维护者 _Kerman 同学，来自少年班学院的田佳嘉同学，LUG 前会长罗嘉宏同学，以及 Pixi 项目的开发者秦慕作为演讲嘉宾。

14 时 30 分，校学生 Linux 用户协会会长王永福同学简洁地介绍了活动流程安排和演讲嘉宾后，软件自由日活动正式开始。

首先，_Kerman 同学为大家介绍了他参与维护的开源幻灯片制作工具 Slidev。他讲解了 Slidev 的设计理念、功能特点以及使用场景，并现场演示了幻灯片的制作，为同学们制作幻灯片提供了一种更高效的新选择。最后，他鼓励同学们加入到 Slidev 这样的开源项目中来。

接下来，少年班学院的田佳嘉同学带来了《从一到无穷大：Lean4 是如何用程序构建数学世界的》的分享。他从 Lean4 的基本概念入手，介绍了 Lean4 在数学证明中的应用，展示了如何通过编程来构建和验证数学定理。他深刻的讲解给大家带来了许多启发，激发了同学们对形式化数学的兴趣。

茶歇之后，LUG 前会长罗嘉宏为我们分享了开源命令行绘图工具 GNUPlot 的应用场景与使用方式。他详细且直观地介绍了 GNUPlot 的基本功能和常用命令，并通过实际案例展示了如何使用 GNUPlot 进行化学相关数据的作图，让大家感受到了命令行工具的强大与便利。

随后，Pixi 项目的开发者秦慕为我们介绍了包管理器 Pixi。她从各种 Python 包管理器的优缺点与发展历史入手，介绍了 Pixi 的设计理念、功能特点以及使用场景，为同学们在开发、学习与科研中高效可靠地管理代码依赖提供了新选择。

在这之后，闪电演讲拉开帷幕。首先由来自中科大业余无线电协会的缪渠成同学介绍了其领导的卫星项目。该项目旨在挑战技术难点，计划在两年后发射一颗业余无线电卫星。他非常欢迎软件背景的同学参与其中。

闪电演讲压轴登场的是龙芯开发者关系负责人、安同开源社区创始人白铭骢。他介绍了龙芯处理器的发展历程与现状，指出了龙芯生态建设中的成就与挑战，并为同学们提供了参与龙芯生态建设的具体途径。

17 时 35 分，2025 年的软件自由日活动圆满结束。活动中大家积极交流分享，我们希望通过这样的形式，让更多的同学了解到开源社区的魅力。

每年的 SFD 活动都在 9 月的第三个周六举行，历年活动在 这里 查看，如果您有意向在下一届的 SFD 活动中分享您的经验，欢迎 联系我们。

本次活动幻灯片、录像、照片等资料已经上传 LUG FTP: https://ftp.lug.ustc.edu.cn/%E6%B4%BB%E5%8A%A8/2025.09.20_%E8%BD%AF%E4%BB%B6%E8%87%AA%E7%94%B1%E6%97%A5/