Skip to content

Commit 0b1bd91

Browse files
news: add SFD 2025 (#140)
* wip: SFD 2025 * [autofix.ci] apply automated fixes * fix * fix * add GNUPlot slides * [autofix.ci] apply automated fixes * add pixi slides * [autofix.ci] apply automated fixes * add video link * update event table * fix * [autofix.ci] apply automated fixes --------- Co-authored-by: autofix-ci[bot] <114827586+autofix-ci[bot]@users.noreply.github.com>
1 parent 1efa582 commit 0b1bd91

File tree

3 files changed

+68
-1
lines changed

3 files changed

+68
-1
lines changed

pages/_news/2025/2025-09-20-SFD.md

Lines changed: 45 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,45 @@
1+
---
2+
title: "2025 软件自由日中国科大站"
3+
header:
4+
image: 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/photos/IMG_0825.png
5+
overlay_image: false
6+
author: "kermanx"
7+
date: "2025-09-21 20:00:00 +0800"
8+
categories:
9+
- LUG 活动
10+
tags: []
11+
---
12+
13+
2025 年 9 月 20 日,LUG 举办了软件自由日 (Software Freedom Day) 活动。活动在 14:30-17:30 于西区 3C101 举行,并同步进行了线上直播。本次活动邀请到开源项目 Slidev 维护者 \_Kerman 同学,来自少年班学院的田佳嘉同学,LUG 前会长罗嘉宏同学,以及 Pixi 项目的开发者秦慕作为演讲嘉宾。
14+
15+
14 时 30 分,校学生 Linux 用户协会会长王永福同学简洁地介绍了活动流程安排和演讲嘉宾后,软件自由日活动正式开始。
16+
17+
首先,\_Kerman 同学为大家介绍了他参与维护的开源幻灯片制作工具 Slidev。他讲解了 Slidev 的设计理念、功能特点以及使用场景,并现场演示了幻灯片的制作,为同学们制作幻灯片提供了一种更高效的新选择。最后,他鼓励同学们加入到 Slidev 这样的开源项目中来。
18+
19+
![](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/photos/IMG_0823.png)
20+
21+
接下来,少年班学院的田佳嘉同学带来了《从一到无穷大:Lean4 是如何用程序构建数学世界的》的分享。他从 Lean4 的基本概念入手,介绍了 Lean4 在数学证明中的应用,展示了如何通过编程来构建和验证数学定理。他深刻的讲解给大家带来了许多启发,激发了同学们对形式化数学的兴趣。
22+
23+
![](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/photos/IMG_0828.png)
24+
25+
茶歇之后,LUG 前会长罗嘉宏为我们分享了开源命令行绘图工具 GNUPlot 的应用场景与使用方式。他详细且直观地介绍了 GNUPlot 的基本功能和常用命令,并通过实际案例展示了如何使用 GNUPlot 进行化学相关数据的作图,让大家感受到了命令行工具的强大与便利。
26+
27+
![](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/photos/IMG_0835.png)
28+
29+
随后,Pixi 项目的开发者秦慕为我们介绍了包管理器 Pixi。她从各种 Python 包管理器的优缺点与发展历史入手,介绍了 Pixi 的设计理念、功能特点以及使用场景,为同学们在开发、学习与科研中高效可靠地管理代码依赖提供了新选择。
30+
31+
![](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/photos/IMG_0837.png)
32+
33+
在这之后,闪电演讲拉开帷幕。首先由来自中科大业余无线电协会的缪渠成同学介绍了其领导的卫星项目。该项目旨在挑战技术难点,计划在两年后发射一颗业余无线电卫星。他非常欢迎软件背景的同学参与其中。
34+
35+
![](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/photos/IMG_0840.png)
36+
37+
闪电演讲压轴登场的是龙芯开发者关系负责人、安同开源社区创始人白铭骢。他介绍了龙芯处理器的发展历程与现状,指出了龙芯生态建设中的成就与挑战,并为同学们提供了参与龙芯生态建设的具体途径。
38+
39+
![](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/photos/IMG_0841.png)
40+
41+
17 时 35 分,2025 年的软件自由日活动圆满结束。活动中大家积极交流分享,我们希望通过这样的形式,让更多的同学了解到开源社区的魅力。
42+
43+
> 每年的 SFD 活动都在 9 月的第三个周六举行,历年活动在 [这里](/wiki/lug/events/sfd) 查看,如果您有意向在下一届的 SFD 活动中分享您的经验,欢迎 [联系我们](/wiki/lug/contact)
44+
>
45+
> 本次活动幻灯片、录像、照片等资料已经上传 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/>

pages/_wiki/lug/events/index.md

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -10,6 +10,9 @@ permalink: /wiki/lug/events/
1010

1111
| 日期 | 时间 | 地点 | 内容 |
1212
| :------------ | :------------ | :----------------------------------- | :------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- |
13+
| 2025-09-21 | 11:00-14:00 | 高新区 #12 | 游园会 |
14+
| 2025-09-20 | 14:30-17:30 | 西区 3C101 | [2025 软件自由日](/news/2025/09/SFD/) |
15+
| 2025-09-20 | 10:00-13:00 | 中区 #46 | 游园会 |
1316
| 2025-09-07 | 19:00-21:00 | 西区 3A111 | [新生活力课堂](/news/2025/09/2025-freshmen-course/) |
1417
| 2025-06-08 | 19:00-20:30 | 西区 3A301 | 换届大会 |
1518
| 2025-05-18 | 15:00-17:00 | 西区 3A107 | 小聚:远程访问和内网穿透方案 |

pages/_wiki/lug/events/sfd.md

Lines changed: 20 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,10 +7,29 @@
77

88
科大 LUG 已经成功的连续几届举办了合肥站的自由软件日活动。活动得到了龙芯梦兰、龙芯俱乐部、中标软件、中科红旗、中国开源软件推进联盟、深度科技等公司、开源社区,以及合肥工业大学,安徽大学等兄弟院校的大力支持。活动邀请过多个在国内开源软件领域非常有影响力的嘉宾,如科大网络中心的张焕杰老师,北京 GUG 主席李震宁先生,上海 LUG 主席姚欣宇,从事 MIPS 开发的刘世伟先生等,带来了各种内容的主题演讲。
99

10-
> 2025 年的软件自由日活动预计于 2025 年 9 月 20 日(九月第三个星期六)于中国科学技术大学(合肥)举行,现面向校内外所有社区成员公开征集软件自由日讲座或其他与主题有关的活动,有意愿的社区成员可尽快 [联系我们](/wiki/lug/contact/)
10+
<!--
11+
2025 年的软件自由日活动预计于 2025 年 9 月 20 日(九月第三个星期六)于中国科学技术大学(合肥)举行,现面向校内外所有社区成员公开征集软件自由日讲座或其他与主题有关的活动,有意愿的社区成员可尽快 [联系我们](/wiki/lug/contact/)。
12+
-->
1113

1214
## 活动记录
1315

16+
### 2025 年 SFD
17+
18+
2025 年 SFD 于 2025 年 9 月 20 日举办
19+
20+
**时间:2025 年 9 月 20 日(周六)下午 2:30**
21+
22+
**地点:中国科大西区 3C101**
23+
24+
**全场直播回放:On [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/video.mkv)**
25+
26+
| 讲者 | 主题 | 资料 |
27+
| :------- | :------------------------------------------------- | :--------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- |
28+
| \_Kerman | 《Slidev:用代码创作幻灯片》 | [Slides](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/slides/Slidev%20-%20SFD%202025.pdf) |
29+
| 田佳嘉 | 《从一到无穷大:Lean4 是如何用程序构建数学世界的》 | [Slides](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/slides/%E4%BB%8E%E4%B8%80%E5%88%B0%E6%97%A0%E7%A9%B7%E5%A4%A7%20Lean4%20%E4%B8%AD%E7%9A%84%E6%95%B0%E5%AD%A6%E4%B8%96%E7%95%8C.pdf) |
30+
| 罗嘉宏 | 《GNUPlot: 开源命令绘图程序》 | [Slides](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/slides/GNUPlot.pdf) |
31+
| 秦慕 | 《Pixi:新一代跨平台包管理器》 | [Slides](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/slides/pixi-package-managerl.pdf) |
32+
1433
### 2024 年 SFD
1534

1635
2024 年 SFD 于 2024 年 9 月 21 日举办

0 commit comments

Comments
 (0)