是也乎(￣▽￣) ·

Exploring the Concept of Open Communities

💡 原文英文，约1100词，阅读约需4分钟。

📝

内容提要

本文探讨了社区和开放社区的概念，开放社区通过成员的参与进行管理，所有成员的参与都是为了使社区的目标和行为社会化。作为个人，可以为开放社区做出贡献，积累贡献经验，观察和总结中国式协作技巧。

🏷️

为什么老阿姨喜欢我？
也许因为长得可爱吧。
【Rust日报】2026-09-13 Verus：用形式化验证写出可证明正确的 Rust
Verus：用形式化验证写出可证明正确的 Rust Amazon Science 文章介绍开源自动化程序验证器 Verus：针对 Rust 代码，用形式化...
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 ...
Claude完成费马大定理首个形式化验证：11天超越人类十年预估工期
Anthropic的Claude用11天干完人类计划10年的活，把费马大定理拆解成了1300万行可验证的计算机代码！这件事改写的不只是数学证明的速度，整...
Anthropic报告里的AI假人与非法蒸馏
Anthropic报告称，有中国公司利用Claude操控约4700个AI账号，在约会软件上针对美国用户实施诈骗，两周内发送236万条消息；另有中国本科生用...
2026-09-13-前端与AI技术周报
本期聚焦 React 19.3 稳定版、pnpm 12.4 跨生态工作区与 Cursor Projects beta。