九维我操你爹
速报：Debian (from trixie) dropped systemd-resolved
https://salsa.debian.org/systemd-team/systemd/-/commit/11b82593a5c4673a5049144949cb87ee82c8e02d
https://salsa.debian.org/systemd-team/systemd/-/commit/b8ecb66d05fb92e2d7ed53762485f3db1a2de8e3
https://bugs.debian.org/1098914
https://gnu.gl/@wtfismyip/114241028190253398
Drop systemd-resolved package.
The ctte has declared that the way the systemd-resolved tool works is incompatible with their decision to prioritize avahi in Debian. Furthermore, the resolved tool is being used to inflict pain on the maintainer, and induce burnout. Regrettably, the only safe solution to ensure this package is compliant with this decision is to drop it, as all reasonable alternatives put forward have been rejected: https://salsa.debian.org/systemd-team/systemd/-/merge_requests/289
(Closes: #1098914)
https://salsa.debian.org/systemd-team/systemd/-/commit/11b82593a5c4673a5049144949cb87ee82c8e02d
https://salsa.debian.org/systemd-team/systemd/-/commit/b8ecb66d05fb92e2d7ed53762485f3db1a2de8e3
https://bugs.debian.org/1098914
https://gnu.gl/@wtfismyip/114241028190253398
我刚听了两遍没听懂「望各位企业不要压哨」是什么意思，还特意去查了下辞典（捂脸
// 结果现代汉语辞典也没查到这个词。虽然我觉得其他中文母语者应该毫不费力就能反应过来这里是什么意思……
#我的中文大大的坏了
// 结果现代汉语辞典也没查到这个词。虽然我觉得其他中文母语者应该毫不费力就能反应过来这里是什么意思……
#我的中文大大的坏了
https://github.com/typedgrammar/typed-japanese
这是什么？太怪了，再看一眼
这是什么？太怪了，再看一眼
这是什么？太怪了，再看一眼
……
这是什么？太怪了，再看一眼
这是什么？太怪了，再看一眼
这是什么？太怪了，再看一眼
……
GitHub
GitHub - typedgrammar/typed-japanese: 🌸 Learn Japanese grammar with TypeScript
🌸 Learn Japanese grammar with TypeScript. Contribute to typedgrammar/typed-japanese development by creating an account on GitHub.
本周末沙龙活动预告
TUNA 计划于 3 月 29 日（第六周周六）晚上与欧拉合办一次沙龙活动，活动地点在清华校园附近。本次沙龙的主题为编程语言，我们邀请到了讲者分享在产界学界编程语言技术和编译器技术的前沿发展，包括不同领域的实践经验、编程语言标准的演化及编程语言理论的前沿研究。
请有计划线下参与的小伙伴们填写此问卷，以便我们估计活动人数：
https://forms.gle/CaMMtoN4dc9awyC17
届时会为线下参与的同学们提供免费饮品和小食
活动地点：等同 Timeless 咖啡（中关村东路16号院龙湖唐宁ONE2号楼A座101室）地下一层
活动时间：2025 年 3 月 29 日（校历第六周周六） 19:00 - 21:00
由于活动地点在校外，所以本次校外同学参加无须入校预约，直接填写本问卷即可。日程、提前点餐问卷及其他信息将在后续正式公告中发布。
欢迎校内外的小朋友们一起来玩！
---
以下为已确定的 Talk 的简介：
Refinement Types, Beyond SMT Solving
by @Paul_Zhu
以 LiquidHaskell 为代表的 refinement types 可用于证明程序的功能正确性：用户提供类型，后端的SMT solver 求解。但是 SMT solver 不是万能的，对于全称量词这类不可判定的问题它会报告 unknown/incomplete，对于位向量、正则表达式等复杂度高的问题它会超时。但这些问题有时候存在非常直观且简单的解决方法。本次 talk 将讨论如何把这些启发式的方法和人类的智慧与 SMT 相结合，从而解决更多实际的问题。
Unity/C# 中游戏逻辑的性能问题及解决方案
by @l1zog
以 unity 引擎和 c# 为例，简单聊聊在电子游戏开发中我们关心的性能问题和解决方法
Modern C++
by @lancern
C++ 是一门古老的编程语言，拥有丰富的语言特性，支持几乎所有编程范式。然而，复杂晦涩的语言机制，堆砌了近 40 年的屎山遗留问题，叠加若干优秀的年轻编程语言的冲击，使得 C++ 正在丧失对开发者的吸引力。自 C++11 以来，标准委员会正在持续试图现代化这一门经典编程语言。作为一个日常大量使用 C++ 的业余 clang 开发者以及 WG21 吃瓜群众，本次分享 Lancern 将试图介绍 C++ 最近几年的发展情况以及若干现代化的新特性，看看标准委员会又整了些什么活。
TUNA 计划于 3 月 29 日（第六周周六）晚上与欧拉合办一次沙龙活动，活动地点在清华校园附近。本次沙龙的主题为编程语言，我们邀请到了讲者分享在产界学界编程语言技术和编译器技术的前沿发展，包括不同领域的实践经验、编程语言标准的演化及编程语言理论的前沿研究。
请有计划线下参与的小伙伴们填写此问卷，以便我们估计活动人数：
https://forms.gle/CaMMtoN4dc9awyC17
届时会为线下参与的同学们提供免费饮品和小食
活动地点：等同 Timeless 咖啡（中关村东路16号院龙湖唐宁ONE2号楼A座101室）地下一层
活动时间：2025 年 3 月 29 日（校历第六周周六） 19:00 - 21:00
由于活动地点在校外，所以本次校外同学参加无须入校预约，直接填写本问卷即可。日程、提前点餐问卷及其他信息将在后续正式公告中发布。
欢迎校内外的小朋友们一起来玩！
---
以下为已确定的 Talk 的简介：
Refinement Types, Beyond SMT Solving
by @Paul_Zhu
以 LiquidHaskell 为代表的 refinement types 可用于证明程序的功能正确性：用户提供类型，后端的SMT solver 求解。但是 SMT solver 不是万能的，对于全称量词这类不可判定的问题它会报告 unknown/incomplete，对于位向量、正则表达式等复杂度高的问题它会超时。但这些问题有时候存在非常直观且简单的解决方法。本次 talk 将讨论如何把这些启发式的方法和人类的智慧与 SMT 相结合，从而解决更多实际的问题。
Unity/C# 中游戏逻辑的性能问题及解决方案
by @l1zog
以 unity 引擎和 c# 为例，简单聊聊在电子游戏开发中我们关心的性能问题和解决方法
Modern C++
by @lancern
C++ 是一门古老的编程语言，拥有丰富的语言特性，支持几乎所有编程范式。然而，复杂晦涩的语言机制，堆砌了近 40 年的
