Lancern's Treasure Chest
Қайта жіберілді:
Lobste.rs
21.04.202510:59
Things Zig comptime Won't Do
Comments
via matklad.github.io via jamii
Comments
via matklad.github.io via jamii
Қайта жіберілді:
Phoronix
09.04.202510:34
GNU C Library Lands Workaround After Breaking Various Steam Games, Discord & Other Apps
https://www.phoronix.com/news/Glibc-WA-Steam-Exec-Stack
https://www.phoronix.com/news/Glibc-WA-Steam-Exec-Stack
Қайта жіберілді:
竹新社
07.04.202516:08
特朗普4月7日发文威胁称，如果中国不撤回34%的反制关税，将于4月9日起额外征收50%的关税。此外，所有中国请求的对话均已中断，其他国家请求的谈判则将立即开始。
根据此前“对等关税”计划，美国对华关税水平9日起将达到54%。
（特朗普Truth Social）
根据此前“对等关税”计划，美国对华关税水平9日起将达到54%。
（特朗普Truth Social）
03.04.202501:17
Approaches to reducing TLB pressure
https://lwn.net/SubscriberLink/1016009/ac176c44d13c1bd7/
https://lwn.net/SubscriberLink/1016009/ac176c44d13c1bd7/
28.03.202501:22
Қайта жіберілді:
Hacker News
11.04.202506:09
PEP 750 – Template Strings https://peps.python.org/pep-0750/
Қайта жіберілді:竹新社
10.04.202500:54
特朗普9日宣布加征对华关税税率至125%，立即生效；对已联系美方代表、尚未对美进行贸易报复的75个国家，暂停原定生效的加征关税90天，并且在此期间将“对等关税”降低至10%，立即生效。
（特朗普Truth Social）
（特朗普Truth Social）
Қайта жіберілді:Phoronix
09.04.202510:32
Initial Support For Apple Cores Merged For The GCC 15 Compiler: A12, M1, M2 & M3
https://www.phoronix.com/news/GCC-15-Merges-Apple-Cores
https://www.phoronix.com/news/GCC-15-Merges-Apple-Cores
07.04.202513:29
2025 AsiaLLVM 现已开放报名，预计将于 6 月 10 日在东京举办
https://discourse.llvm.org/t/2025-asiallvm-registration-now-open/85595
https://discourse.llvm.org/t/2025-asiallvm-registration-now-open/85595
Қайта жіберілді:Hacker News
30.03.202506:23
Self-contained Python scripts with uv http://blog.dusktreader.dev/2025/03/29/self-contained-python-scripts-with-uv/
Қайта жіберілді:Lobste.rs
27.03.202510:08
War story: the hardest bug I ever debugged
Comments
via clientserver.dev via anunaym14
Comments
via clientserver.dev via anunaym14
Қайта жіберілді:Hacker News
05.04.202505:12
Nvidia adds native Python support to CUDA https://thenewstack.io/nvidia-finally-adds-native-python-support-to-cuda/
28.03.202513:47
27.03.202501:05
本周末沙龙活动预告
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 年的
10.04.202509:31
6 usability improvements in GCC 15
via Red Hat Developer (author: David Malcolm)
via Red Hat Developer (author: David Malcolm)
Қайта жіберілді:Lobste.rs
09.04.202510:44
shorty: a C++ library for concise lambdas
Disclosure: the author is a friend of mineComments
via github.com via olliej
Disclosure: the author is a friend of mineComments
via github.com via olliej
08.04.202502:12
Firefox 137.0 增加了标签页群组的功能，用户可以将标签页进行分组管理。要创建一个标签页群组，只需要从标签栏（垂直或水平）中选择一个标签页，将其拖动到另一个标签页上，直到看到高亮区域后松开即可。
经尝试，部分用户可能在升级之后仍然无法立即使用这个功能。可以前往 about:config 中将选项
经尝试，部分用户可能在升级之后仍然无法立即使用这个功能。可以前往 about:config 中将选项
browser.tabs.groups.enabled 设置为 true 即可启用该功能。
03.04.202507:32
一秒も上不动この__
25.03.202516:43
Көрсетілген 1 - 24 арасынан 54
Көбірек мүмкіндіктерді ашу үшін кіріңіз.