# 活动公告
时间: 2026-04-29 19:00-21:00 地点: 自强科技楼 5505
字符串和字符串操作在真实世界的编程任务中随处可见。主流编程语言的类型系统往往只用一种统一的String类型来表示任意字符串。为了更好的区分具有不同结构和语义的字符串（如 IPv4 v.s. IPv6 address），我们可以引入正则语言作为refinement type进行更加精确的分析和验证。其难点在于如何对正则语言和常见的字符串操作（如substring, contains, split）进行高效的推理。提起正则语言，人们往往会自然联想到自动机。但这种通用的、能登...
为了解决 Telegram 对汉文搜索的问题，几年前 Sharzy 开发了 Python + Whoosh 的消息记录的搜索工具。近日在将其用 Rust + Tantivy 重写的过程中，他发现基于 jieba 的 analyzer 在处理日文时会有显著的问题，于是转向了更加通用的 CJK bigram 方案。但他很快意识到和 Unicode 搏斗并不是一件美妙的事情。Unicode 联盟开发的 ICU (International Components for Uni...
新的学期到来了！经过三个月没有 Tunight 的日子，在经过本周的百团之后，我们将举行 2026 年的第一次 Tunight！在本次 Tunight 上，我们将欢迎新的朋友们的加入，介绍今年 TUNA，TUNA 现有的成员们，以及今年要做的事情。同时，我们也邀请了 TUNA 成员 @NN708 进行今年的第一次技术分享，以下是分享的介绍： 在桌面 Linux 快速演进的当下，构建一个既稳定可靠、又灵活易用的 Linux 发行版依然充满挑战。Vanilla OS ...
时间: 2026-03-19 / 20 中午 地点: 紫操西侧 I1 摊位
各位 TUNA 群友大家好！今年的百团活动虽迟但到，预定于校历第四周周四周五（3月19日与20日）中午举行，TUNA 今年的摊位在C楼东侧路对面的 I1 摊位（如下图），本次百团时隔半年时间我们居然又更新了新贴纸，虽然会衫还在难产中在做了在做了，欢迎各位群友一起来现场吃喝玩乐 为 TUNA 的继续蓬勃发展努力招新把！
作为某开源镜像站的总设计师，Avrova Donz（一只擅长在服务器上睡觉的简州猫）在近年来的开源基础设施领域投下了不小的爪子印。本次Tunight，她将分享如何将九条命理论应用于高可用架构，以及如何用猫的方式优雅地解决存储、带宽和运维的终极难题。 曾经，为了应对 RevyOS 那令人发疯的硬链接数量，人类工程师们尝试过 squashfs+overlayfs 方案，结果 inode 比猫毛掉得还快；也曾在ZFS阵列前彻夜不眠，只为找到一个能同时满足「省钱」「高效」「不...
# 最近文章
Meow-meow, 2025-5-8
项目简介 今年，中科院软件所继续举办 “开源软件供应链点亮计划——暑期2025” 项目。该项目与 Google Summer of Code 形式类似：开源社区提供项目需求并提供导师（mentor），在校学生利用暑期时间进行开发，主办方为顺利完成项目的同学提供一定额度的奖金。无论 GSoC 还是“点亮计划”，都是一种非常好的开源实践范式，能够有效增进高校学生对开源的理解、增加与真实社区的接触，并积累宝贵的经验。本次 TUNA 协会将继续作为社区加入这一计划，共立项两个...
Meow-meow, 2024-8-21
“开源软件供应链点亮计划——暑期2024” 目前项目开发时间已经过半。今年 TUNA 共立项四个项目，开发正在有序进行中。我们邀请了各位学员和导师简要介绍各自项目目前的进展，欢迎各位感兴趣的朋友们一同交流。 Rust 基于完成的异步 QUIC Asakura Mizu / Berrysoft 目前完成的工作 经过最初的一段时间调研后，最终选择在 quinn-proto 的基础上，对 quinn-udp 和 quinn 的功能进行移植。 没曾想，在实际开...
Shengqi Chen, 2024-7-7
在 2024 年 7 月 6 日于湖南长沙举办的 ACM TURC 2024 会议上，TUNA 代表 @Harry_Chen 和 @dangfan 向现任 ACM 主席 Yannis Ioannidis 教授 1 2 3 介绍 TUNA，并赠送 2023 夏季款 Tunaive 一件。Yannis 教授对 Tunaive 上的 Quine Logo 设计表示赞赏，并称回国后有兴趣对相关代码进行运行测试。 https://www.acm...
Meow-meow, 2024-5-9
项目简介 今年，中科院软件所继续举办 “开源软件供应链点亮计划——暑期2024” 项目。该项目与 Google Summer of Code 形式类似：开源社区提供项目需求并提供导师（mentor），在校学生利用暑期时间进行开发，主办方为顺利完成的项目提供一定额度的奖金。无论 GSoC 还是“点亮计划”，都是一种非常好的开源实践范式，能够有效增进高校学生对开源的理解、增加与真实社区的接触，并积累宝贵的经验。本次 TUNA 协会将继续作为社区加入这一计划，提供若干项目需...
Yipeng Liu, 2023-5-6
项目简介 今年，中科院软件所继续举办 “开源软件供应链点亮计划——暑期2023” 项目。该项目与 Google Summer of Code 形式类似：开源社区提供项目需求并提供导师（mentor），在校学生利用暑期时间进行开发，主办方为顺利完成的项目提供一定额度的奖金。无论 GSoC 还是“点亮计划”，都是一种非常好的开源实践范式，能够有效增进高校学生对开源的理解、增加与真实社区的接触，并积累宝贵的经验。本次 TUNA 协会将继续作为社区加入这一计划，提供若干项目需...
