Anthropeum——这件人类制品属于世界何处，又属于哪个时代？ -- Anthropeum – Where in the world, and when, does this human artifact belong?
Anthropeum是一个每日历史地理猜谜游戏，玩家需根据大都会博物馆的十件文物，猜测其制作地点和年代，得分基于准确度，并可与全球玩家比较排名。
Show HN：形式化验证的3D CSG：信任93行规范，而非1000行AI代码 -- Show HN: Formally verified 3D CSG: Trust 93 lines spec, not 1000 lines AI code
该项目首次实现了3D网格相交的正式验证，使用Lean 4编写，核心规范仅93行，而AI编写的实现代码超1000行。人类只需审查规范并运行验证器，即可确保正确性，无需信任AI生成的代码。
Substack作者，你需要一个网站 -- Substack writers, you need a website
Substack作者应建立独立网站，避免完全依赖平台。独立网站能提供更多控制权、品牌自主性和数据所有权，是长期创作的重要保障。
延迟满足——以“最后报道突发新闻”为荣 -- Delayed Gratification – Proud to Be 'Last to Breaking News'
《延迟满足》是一本全球首创的慢新闻杂志，每季度出版，回顾过去三个月的事件，提供深度、独立的报道，自2011年起以“最后报道突发新闻”为特色。
Kimi K3 架构概述与笔记 -- Kimi K3 Architecture Overview and Notes
Kimi K3是Moonshot AI发布的最大开源权重模型，基于去年Kimi Linear模型扩展至2.8B参数。其核心创新是LatentMoE，通过压缩大线性层提升推理效率，与Nemotron 3和DeepSeek V4等模型趋势一致。
Zig增量编译内部机制 -- Zig's Incremental Compilation Internals
Zig核心团队成员介绍了增量编译的实现原理，该功能能检测代码变化并仅重新编译修改部分，将重建时间从数秒缩短至50-70毫秒，已从概念验证发展为适用于实际项目的成熟特性。
意大利封锁生殖健康网站“Women on Web”和“Women Help Women” -- Italy Blocks Reproductive Health Websites Women on Web and Women Help Women
意大利自2025年11月起封锁了提供生殖健康信息和堕胎服务的Women on Web与Women Help Women网站。OONI数据证实了该封锁，并指出这限制了意大利民众获取生殖健康服务的渠道。
停止扼杀互联网：无需数字身份与年龄验证 -- Stop Killing the Internet: No Digital ID and No Age Verification
该公民倡议呼吁欧盟立法确保数字身份和年龄验证系统自愿、保护隐私且非歧视，禁止强制身份认证，要求匿名或假名年龄证明、数据最小化及开源审计等。
你本可以想出Kimi Delta注意力机制 -- You Could Have Come Up with Kimi Delta Attention
Kimi Delta Attention是一种现代线性注意力变体，通过状态更新方程实现高效序列建模。其核心机制包括：使用对角矩阵对状态进行衰减，基于当前键从状态中检索预测值，并计算预测误差作为更新信号。该方法在保持线性复杂度的同时，通过误差驱动更新来增强模型表达能力。
GrapheneOS为阻止美国边境搜查的数据擦除功能辩护 -- GrapheneOS Defends Data-Wiping Function That Blocked US Border Search
GrapheneOS为其数据擦除功能辩护，该功能阻止了美国边境检查。