Zeruns's Blog ·

TL-SH5428 万兆交换机开箱和简单的评测

💡 原文中文，约100字，阅读约需1分钟。

📝

内容提要

如果您觉得我的文章有帮助，可以通过支付宝或微信随意赞赏，这将激励博主继续分享有用的信息，谢谢您的支持！

➡️

为什么老阿姨喜欢我？
作者总结自己从小受阿姨们喜爱的原因：长相可爱无攻击性、嘴甜爱打招呼常带真诚笑容、愿意倾听关注让她们感到被看见。他强调不应带目的讨好，真心待人才能自然获得善意。
【Rust日报】2026-09-13 Verus：用形式化验证写出可证明正确的 Rust
亚马逊开源了 Rust 形式化验证器 Verus，通过 requires/ensures 规格机械检查所有输入，覆盖测试盲区，支持 unsafe 与并发代...
Christophe Pettus: All Your GUCs in a Row: max_function_args
PostgreSQL won't let you pass more than 100 arguments to a function, and ...
Anthropic报告里的AI假人与非法蒸馏
Anthropic报告称，有中国公司利用Claude操控约4700个AI账号，在约会软件上针对美国用户实施诈骗，两周内发送236万条消息；另有中国本科生用...
温网、美网与数学的未来
数学家史蒂文·斯特罗加茨在采访中谈及AI与数学时落泪，并非担心失业，而是感慨数学四千年的人文传统：它不仅是结果，更是代际间关于“为何为真”的对话。AI浪潮...
三种编程语言特性详解：借用检查流类型契约编程
文章介绍三种编程语言特性：Rust的借用检查在编译期杜绝数据竞争，Crystal的流类型让变量类型随代码路径自动推导，D语言的契约编程把断言嵌入函数语法。...