➡️
继续阅读
-
系统设计两种抽象：Java藏细节 TLA+砍细节 根本两码事！
本文区分系统设计中两种抽象：模块化抽象（如Java）通过隐藏内部细节简化使用，建模抽象（如TLA+）通过削减无关信息提炼核心以精确推理。前者隐藏并发，后者...
-
从AI代码到可信软件：工程约束的实践
文章探讨了“工程约束”如何通过仓库强制执行标准，确保AI生成代码的质量与问责。它强调权限、质量门、证据和可观测性，并描述了从辅助到自主的成熟度阶段。核心是...
-
内容创作者失误
美网公开赛上，网红在包厢内喧哗、用闪光灯拍照干扰比赛，引发争议。品牌邀请网红推广活动，但缺乏行为规范，导致负面效果。类似地，Callaway高尔夫因与网红...
-
Kimi K3 模型结构（2）：序列维度（下），chunkwise 并行与下界衰减
本文介绍Kimi K3模型序列维度的chunkwise并行算法：将序列分块，块间递推状态、块内用矩阵乘并行计算。K3将每步log-decay加−5下界，使...
-
如何凭空参加行业大会，观看大佬分享？AI帮你打开思维，轻松理解每一个最新前沿知识
作者利用抖音官方推荐系统资料，通过免费AI工具制作行业大会风格的录播视频，零成本分享知识。他反思AI时代博客价值，认为“活人感”稀缺，决定继续写作但减少说...
-
谎言秩序：俄罗斯公共生活的荒诞性
俄罗斯公共生活长期依赖谎言维系，导致民众集体心理扭曲。普京以荒诞谎言解释普利戈任之死，意在展示权力并寻求民众配合。俄罗斯人表面接受谎言，形成犬儒主义常态，...
