一个 190 行纯 JAX 实现的 DeepSeek-V3，使用公有领域侦探小说在 MacBook Air 上从头训练。它包含多头潜在注意力（每 token 缓存一个小潜在向量）、解耦 RoPE、DeepSeekMoE（一个共享加 16 个路由专家，top-4）、无辅助损失的偏置均衡、序列级均衡损失，以及多 token 预测。训练使用 bf16 计算和 f32 主权重，并进行 prefill-and-decode MLA 缓存。
默认运行有 36.2M 参数（每 token 13.6M 激活），在 21.7M token 上训练 12,000 步，约 2.6 小时，约 10.7k token/s，验证损失达到 3.51。使用偏置均衡时专家负载保持均衡（5.7–6.9% 对比 6.25% 理想值），且均衡不会损害验证损失。检查点可从 "The fog came in off the." 这类提示生成连贯续写。
该项目是一个可读的架构演示，而非强语言模型：稠密 MoE 计算，无权重吸收，无 FP8/DualPipe/YaRN，规模很小（6 层，256 token 上下文）。它附带测试、数据准备、训练、采样和绘图脚本，以及已发布的检查点和数据集以供复现。需要 Apple Silicon Mac、Python 3.12 和 uv。
每日HackerNews RSS
Hacker News 上的一篇帖子介绍了“用约 200 行纯 JAX 实现的 DeepSeek V3”，这是一个从零实现的多头潜在注意力、带偏置负载均衡的混合专家模型和多令牌预测。这个 3620 万参数的模型在 MacBook Air M5 上用侦探小说训练了约 2.6 小时；检查点和数据可用。评论者称赞其教育价值，分享了学习资源，还有人报告了在 AMD ROCm 上配合特定环境变量绕过问题运行的情况。作者欢迎指正。
C3 0.8.6 发布，库打包与获取机制经过重做。库现在是带清单的 `.c3l` 归档。新增 `source-lib` 目标可将 C3 源码打包为 `.c3l`，`c3c fetch` 支持自定义仓库、版本、校验和及项目依赖。安全模式二进制文件因复用 panic 代码而缩小约 30%；`PanicFn` 签名已更改，`--panicfn` 现在指定函数名。编译器变更包括更严格的转换规则、`else if` 必须使用花括号、重复初始化器报错、更好的泛型错误位置、`--stats`、目标依赖、`project.json` 中的环境变量展开，以及 C 后端改进。标准库更新改进了压缩、哈希、正则、列表、矩阵和图形。包含许多 ABI、向量、常量折叠、平台和标准库修复。大多数代码应无需修改即可编译，但更严格的一些规则可能需要更新。
黑客新闻
新 | 过去 | 评论 | 提问 | 展示 | 工作 | 提交
登录
C3 0.8.6：库获取、安全模式二进制文件缩小 30%、更严格类型规则（c3-lang.org）
40 分，由 DASD，11 小时前 | 隐藏 | 过去 | 收藏 | 1 条评论
帮助
sureglymop
10 小时前
[–]
很棒！干得漂亮
回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
该项目用 Lean 形式化美国税法，以发现矛盾和漏洞。它首先检查了《美国法典》第26篇的交叉引用，发现257个问题，其中138个确认为真实起草缺陷，并附有证书。随后它编码了2025年联邦所得税规则，对照国税局示例进行测试，并与PolicyEngine-US、Tax-Calculator和UsTaxes在5,000户家庭上比较；这发现了那些工具中的错误以及其自身模型中的两个错误。对家庭选择的搜索重新发现了已知的规划策略，并识别出新的机会：在某些情况下分头申报可以减少社会保障征税，将工资和投资在配偶间分配可以降低净投资收入税，且附表8812可能相对于法条多退儿童税收抵免。单年度最大影响较为有限，而多年期Roth及与子女相关的策略影响更大。剩余限制包括覆盖不完整和未经审查的AI分类。代码、证书、比较结果和搜索结果位于global-law仓库。
HN 帖子链接到一个用 Lean 形式化美国税法以寻找漏洞或“bug”的项目。评论者讨论法律不一致、司法管辖区冲突，以及 SALT 扣除的一项怪异之处：根据新法案，在某些高收入情况下，分别报税的已婚夫妇可能比联合报税扣除更多。用户争论漏洞是否故意、税收公平性、SALT 政治以及生活成本调整。有些人认为法律常常故意模糊，由法官解释其精神；另一些人说形式化可以帮助发现错误或辅助税收分析。帖子还提到 Catala 作为法律形式化语言，并质疑 Lean 独特贡献什么。总体而言，该项目试图将税法转化为形式逻辑，暴露怪异之处，并引发关于合法性、模糊性和公平性的辩论。
过去十年，我们一直说服自己，云是一个神奇、轻盈的地方。但事实并非如此。云是一栋建筑。它有墙壁、冷却管道和电源电缆。而且有时，这栋建筑会过热。去年五月，单个 AWS 数据中心过热时，它不只是导致一些服务器宕机，还暴露了现代互联网惊人的脆弱性。弗吉尼亚州一台空调故障，意味着 Coinbase 停摆；而 Cloudflare 脚本中的一个拼写错误，让数千个网站变得不可见。我们用杂乱但去中心化的网络，换来了少数几家巨头的便利。现在，我们正在为此付出代价。这是一个关于云的隐性经济、弹性幻觉，以及最聪明的工程师为何正在悄悄回归裸金属的故事。#CloudComputing #AWS #Cloudflare #SystemDesign #TechInfrastructure #BareMetal #DevOps #SoftwareEngineering #TechNews #Internet
一篇被标记的 Hacker News 帖子讨论了一篇认为云计算被过度炒作且不可靠的文章。评论者争论租用云基础设施是否可比作租赁空间或危险依赖，有些人因控制权而偏好小型内部部署，另一些人则指出提供商在开销和冗余方面的优势。多名用户还批评所链接的 soargram.io 网站混乱、基于图片且难以使用。一名评论者认为文章前提把单个可用区中断归咎于更广泛的云失败。总体上，该帖子混合了基础设施哲学与对来源呈现方式的抱怨。
启用 JavaScript 和 cookies 以继续
意大利因 Facebook 请求相册访问权限的方式对 Meta 处以 8.05 亿欧元罚款，指控其在未明确通知的情况下捆绑同意相册相关建议。Hacker News 评论者争论该罚款是否有意义，还是只是经营成本。一些用户描述了限制或卸载 Meta 应用，称这种行为具有掠夺性或类似恶意软件，并称赞精细化相册权限。另一些人认为 Meta 应遵守欧盟法律或退出市场，而批评者表示处罚可能太小，无法改变行为，也无法补偿受害者。讨论还涉及科技监管、社交媒体危害，以及欧洲用户是否依赖免费服务。总体而言，该讨论围绕 Meta 的隐私实践、欧盟规则的执行，以及对罚款能否改变大型科技公司行为的怀疑展开。
PyPI 已完成 UI 更新，使软件包安全信号更清晰。新的“安全”选项卡显示发布溯源状态和每个文件的证明，区分完整溯源与无溯源，并对不完整、不一致、已更改或丢失的溯源发出警告。这些警告在项目页面上显著显示，侧边栏显示溯源状态，元数据按实用性重新组织。发布文件选项卡现在支持搜索和筛选，显示每个文件的溯源，并标记延迟上传；发布历史新增文件数量、溯源状态和状态详情。文档已扩展，帮助用户评估软件包安全性。该工作由 OpenSSF 资助，并由 Kabu Creative 实施，为 PyPI 提供了未来证明类型和安全通知的专用位置。
PyPI 推出了重新设计的项目页面，提供更清晰的安全信号，包括来源信息和可信发布者证明。讨论欢迎提高供应链可见性，但就信任模型展开争论。支持者表示这有助于审计并鼓励安全的 CI 实践。批评者认为它把信任集中在大平台，排除本地或自托管构建，并可能通过警告标签让用户困惑或恐慌。维护者回应称证明不是安全保证，若满足密钥管理要求可增加更多提供商，并正在讨论本地/电子邮件证明选项。用户还提出了文档清晰度、缺少可复用工作流支持，以及混合使用已证明和未证明文件时行为困惑的问题。总体而言，重新设计使来源信息更可见，但该讨论凸显了关于可访问性、中心化和用户如何解读新信号的担忧。
帕克·阿德伊反思将女儿米拉和梅布尔作为世界语母语者抚养。米拉懂世界语但说得少；更小的梅布尔接触更少，理解也更少。阿德伊质疑教授一种附近母语者少的冷门语言的价值，尤其在加拿大，法语可能更实用。他因包括双语、体验语言少数群体地位、对人工语言的看法以及参加世界语活动等理由继续这样做。他指出本可把她们作为法语抚养，但在米拉出生时选择了世界语。最近他开始给米拉读法语，希望世界语接触能帮助女孩们日后学习法语或其他语言。
一个 Hacker News 帖子讨论了关于把孩子培养成 Esperanto 双语者的文章。评论者争论教授 Esperanto 是否明智：批评者说它缺乏母语/社区环境，而像法语这样广泛使用的语言会提供更多的文化和实用好处；支持者指出稀有语言可以形成紧密社区，并可能便于后续学习语言。评论者还争论 Esperanto 是否真能有母语者，有些人引用由 Esperanto 语使用者父母抚养的孩子的相关研究。更广泛的讨论质疑双语是否提高智力；有人说它主要扩大文化获取并可能延缓认知衰退，而另一些人认为主观认知益处有限。总体而言，该帖子权衡语言选择、社区以及认知/文化价值。
文章描述了通过强化学习教一个简单的四神经元数字生物——spark——寻找光。它的大脑有三个可调参数：直连和交叉连接强度，以及驱动力。通过随机改变这些参数，将奖励评估为平均光照暴露，并把参数推向更好的结果，spark在数千次试验中从随机移动进步到专家级寻光。同样的学习过程可以根据奖励产生不同行为——爱、逃、僵住或战斗。它与生物学习相似，如鸣鸟通过多巴胺奖励塑造歌曲，尽管人脑拥有远多的连接。总体而言，学习利用反馈作为指南针，在巨大的可能大脑配置空间中导航。
Hacker News 推荐了来自 aatishb.com 的《强化学习的可视化解释》，该文获得 116 点和六条评论。评论者称赞其可视化和交互性，也有人质疑其大脑学习类比是否被当作字面神经科学而非解释性类比呈现。其他人则认为这是对算法的清晰解释。
KDE：纪录片 —— 自由软件弱者的故事 - Kockatoo Tube 需要 JavaScript 看起来 JavaScript 被阻止或在您的网页浏览器中禁用。我们完全理解。然而，此页面没有它将无法工作。如果您担心 JavaScript Web 应用程序的安全和隐私（或缺乏），您可能想查看您试图访问的实例的源代码，或查找安全审计。您的选项 不兼容的浏览器 很抱歉，PeerTube 似乎与您的网页浏览器不兼容。请尝试使用最新版本的 Mozilla Firefox。如果您认为这是错误，请报告。
Hacker News 上关于《KDE：纪录片》的讨论称赞 KDE 是可定制、稳定的桌面环境，并感谢其贡献者。用户分享了他们与 KDE 的长期使用经历，包括 KDE 4 过渡期的坎坷，但现代 Plasma 6 有显著改进。许多人将 KDE 与 GNOME、Windows 和 macOS 进行有利比较，而其他人则偏好 GNOME 或平铺式窗口管理器。话题包括 Qt 许可证与 GNOME 的起源、Valve 对 KDE 的贡献、提供 KDE 3 风格桌面的 Trinity，以及 KDE 主要来自欧洲的贡献者基础。多位用户提到捐赠、错误报告，以及 Dolphin 和 KIO 等 KDE 生态应用。整体情绪是欣赏的，同时围绕稳定性、定制化和桌面用户体验存在争论。
这篇文章认为，软件从来都不是真正的非政治性。早期自由软件明确具有道德和反威权立场，而1998年的“开源”重新包装则将其消毒为一种商业友好、企业认可的模式。如今对“中立”技术的怀旧，把暂时的企业异常误认为传统。它还指出双重标准：企业/国家规则被当作正常，而社区治理却被谴责为“激进化”。维护者和平台设定边界是在行使自主权、管理资源，而不是审查。总体而言，今天的改变不是腐败，而是回归软件的初衷——软件由人构建，与人类价值观相连，而非中立工具。
Hacker News 讨论串围绕“中立代码的神话”展开，评论者就软件和技术能否中立展开辩论。有人认为拒绝中立会鼓励非黑即白的思维，或错误地把不作为视为同谋；另一些人则说代码反映许可证、贡献者、权力结构和政治价值观。讨论延伸到 FOSS、企业控制和 AI，包括模型偏见、权重所有权、透明度、修改权和版权等问题。一些评论者抵制技术空间政治化，主张将政治与工程分离；另一些人则引用 Langdon Winner 的观点，认为人工制品本身也有政治性。总体而言，该讨论围绕技术是否永远价值中立，以及技术人员承担多少道德和政治责任展开。