本次校园行，我们邀请了来自开源社区和中山大学 AI 技术协会的讲者，带来 6 场有关开源社区、软件开发、前沿应用和妙妙硬件的分享。

感谢中山大学网络与信息中心对本次校园行活动的大力支持。

日程预告

扶大厦于将倾：软件供应链启蒙

讲者：王雪瑞 (xen0n) / 开源贡献者

时下热门的“软件供应链”，它到底是个啥——什么是SBOM？什么是attestation？什么是供应链攻击？希望您听了本次分享能够了解到：它与我们每个人的信息安全息息相关！

最艰难的第一步：如何从提问开始走向社区协作

讲者：dabao1955 / AOSC 贡献者

社区贡献者 dabao1955 从自身申请分享课题时的犹豫出发，探讨本科生在参与开源协作时常面临的“不敢问”困境，剖析提问背后的心理障碍，并提出一套轻量、可操作的 3W1H 提问清单。通过正反面案例对比，说明良好提问如何成为协作的起点，帮助同学们迈出从旁观到参与的关键一步。

下班不打卡：我在龙芯社区搬砖

讲者：darkyzhou / MSC 前副主席，Matrix 课程系统前负责人

一次偶然刷到的龙芯 3A6000 视频，让 darkyzhou 对国产处理器产生了兴趣。出于好奇，darkyzhou 开始在龙芯平台上移植和上游化一些开源库与应用，亲身体验生态建设的过程。darkyzhou 将介绍自己从零起步的探索路径、移植过程中遇到的问题与解决方法，以及作为业余爱好者参与龙芯生态的收获与体会。

Singularity: 一个 Docker 的替代品

讲者：王宇（旺屿）/ MSC AI 社团成员

Singularity 是一款类似于 Docker 的容器化工具，王宇同学将阐述它的简单用法及与 Docker 的区别。

Lean4 定理证明器

讲者：郭俊余 (Hagb) / MSC 社团成员

本场分享，郭俊余同学将介绍形式化证明的基本理念及 Lean4 这款开源的定理证明助手兼编程语言，并简单展示如何使用 Lean4 来进行数学定理的形式化证明。

从兼容到创新：国产单板计算机的技术演进之路

讲者：项泽龙 / 瑞莎计算机职工

树莓派开启了单板计算机的普及时代。项泽龙将带大家一起回顾来时路，讨论国产 SBC 用十余年时间，从引脚兼容走向自主设计，在性能、扩展性与生态协同上持续迭代，逐步构建起面向 AI 与边缘计算的新一代开源硬件能力。

校外人员报名表

如果您希望在 11 月 22 日在中山大学现场参加安同校园行，请尽量于 UTC+8 时间 11 月 21 日 12:00 前扫码填写本表，以便及时登记您的访校信息。

本次活动的日程和地点信息请见上文。