K3 是月之暗面（Moonshot AI）推出的下一代开源前沿模型。它是全球首个 3T 参数规模的开源模型，旨在为长跨度代码编写、知识工作和逻辑推理提供前沿智能。 **特性概览** * 基于 Kimi Delta Attention 和 Attention Residuals 构建的全新架构 * 原生智能体能力：工具调用、网页浏览及多步规划 * 专为代码仓库级理解而设计的超长上下文窗口 * 开放权重，直接在本页面发布 **保持关注** 点击“点赞”与“通知”获取发布提醒，权重公开时我们将第一时间通过邮件通知你。不发垃圾邮件，仅发送模型发布信息。
每日HackerNews RSS
**Kimi-K3** 在 Hugging Face 上的发布标志着一个历史性时刻：一个前沿级别的超大规模（2.8 万亿参数）模型现已提供开放权重。此次发布在 Hacker News 上引发了关于技术、经济和地缘政治影响的激烈讨论：
* **托管挑战：** Kimi-K3 大小约为 1.6TB，对于个人而言几乎无法托管，即便对许多企业来说也是一大挑战。它需要庞大的显存（VRAM）或高带宽内存（HBM）配置，这引发了关于 SSD/内存卸载与专用 GPU 集群之间可行性的辩论。
* **市场动态：** 此次发布挑战了闭源权重模型（如 OpenAI 或 Anthropic 的模型）的主导地位。用户迫切希望看到 Kimi-K3 是否能作为“基准”来判断私有实验室是在补贴 API 成本，还是保持着更高的利润率。
* **数据主权与审查：** 尽管一些用户赞赏能够通过自托管来保障隐私和知识产权主权，但另一些人则对其模型训练中嵌入的政治偏见和审查表示担忧，并指出它可能反映了中国的国家视角。
* **生态系统演进：** 社区正在迅速开发推理堆栈、量化方案和微调方法。相关讨论也凸显了“人工智能即服务”商业模式与通过开放权重实现民主化愿景之间的矛盾。
抱歉。
在人工智能可以轻而易举生成代码的时代，有人认为深厚的编程语言知识已经过时。然而，这种观点忽视了编程的真正价值：语言所体现的基本思想和概念框架。
编程语言不仅仅是语法，更是思维的工具。Rust 的借用检查器、Haskell 的类型类，或是 Prolog 基于逻辑的问题求解，这些概念为管理复杂性、建模数据和构建架构提供了独特的思维模型。这些基础思想超越了任何特定的语法或人工智能工具。
人工智能的兴起非但没有使开发人员变得多余，反而让深厚的概念性知识变得比以往任何时候都更加重要。理解这些底层原则，才能让工程师超越简单的提示词输入。它提供了评估、调试和优化人工智能生成代码所需的专业能力，从而确保系统保持稳健和可维护。归根结底，掌握这些多元的思维方式，正是区分“仅会使用工具的人”与“真正设计解决方案的工程师”的关键所在。
对不起。
87 年来，“雅可比猜想”（Jacobian Conjecture）——这个数学中看似简单的难题——一直未被解决。它询问的是：如果一个空间的多项式映射具有恒定且非零的“面积因子”（局部行列式），那么它是否必然是“可逆”的。
该问题的核心在于将**函数视为一台机器**：
* **多项式映射**是仅使用加法和乘法、有限且可校验的机器。
* **雅可比行列式**就像一台显微镜，揭示了映射的局部行为。如果面积缩放因子在任何地方都是恒定且非零的，那么该映射在局部看起来是完美的。
* 然而，**局部完美并不保证全局成功**；相距甚远的点可能会发生碰撞，从而破坏信息，使得映射无法被还原。
2026 年 7 月，该猜想终于被“攻破”。数学家利用三维空间中的 7 次多项式映射证明，一个映射可以在保持体积因子恒为 $-2$ 的同时，强制三个不同的点碰撞到同一个位置。
虽然这一构造推翻了所有三维及以上维度的猜想，但最初的二维情况仍然是数学界最顽固的未解之谜之一。您可以通过简单的算术或访问开源仓库 github.com/muchmirul/conjectures 自行验证 2026 年的反例。
Hacker News 社区最近讨论了一篇名为《雅可比猜想入门》（Jacobian Conjecture for Baby）的教学文章，该文通过直观的解释和可视化图表，深入浅出地讲解了复杂的数学概念。
这篇文章因其教学方法而广受好评，用户指出它比传统的线性代数教学提供了更清晰的概念阐述。讨论的焦点之一在于作者坦诚地使用了人工智能（Claude）来撰写内容。尽管一些读者指出文章偶尔带有“AI味”，或是在内容深入后节奏把握稍显吃力，但作者积极回应反馈，对文本和格式进行了修订，以提升清晰度和逻辑流畅度。
从技术层面来看，该文探讨了雅可比猜想，不过一些读者也指出了其在反例推导方面存在细微错误。总的来说，这个讨论帖为大语言模型（LLM）在技术写作中的有效应用提供了一个案例研究，展示了在作者能够积极回应批评并持续迭代的前提下，人机协作如何将复杂课题转化为通俗易懂的教育材料。
**scriptc** 是一个零运行时的编译器，它将标准 TypeScript 转换为紧凑、高性能的本地可执行文件。通过消除对 Node.js 或 V8 引擎的需求，它实现了近乎即时的启动时间（约 2 毫秒），并显著降低了内存占用，同时保持了与 Node 完全一致的行为。 主要特性包括： * **静态优先方法：** 大多数 TypeScript 代码被直接编译为本地机器码。无法静态编译的应用程序部分（如动态 npm 依赖项）可以通过显式的 `--dynamic` 标志在轻量级嵌入式引擎（QuickJS）中运行。 * **兼容性：** 它支持完整的 TypeScript 语言、Node.js 标准 API（包括服务器和文件系统栈），并利用真实的 `tsc` 进行类型检查。 * **安全与验证：** 编译器通过严格的差异测试确保内存安全和正确性，保证输出结果与 Node.js 完全一致。它还提供针对 `as` 转换的运行时类型验证和精确的错误诊断。 * **性能：** 基准测试显示，其启动速度和内存使用率均优于 Node.js，可直接与 Go 和 Rust 等系统语言相媲美。 scriptc 专为生产效率而设计，为本地化部署提供了一条可预测、类型安全的路径，且无需手动添加代码注解或更改语言方言。
Vercel 近期发布了 **Scriptc**，这是一款旨在生成小型、快速且无需庞大 JavaScript 引擎的二进制文件的 TypeScript 原生编译器。该项目在 Hacker News 上引发了激烈讨论，主要集中在以下三个方面：
**1. “Vibecoding”（直觉编程）与可持续性：** 批评者认为 Scriptc 是“直觉编程”的产物——即由人工智能快速生成，缺乏深厚的技术积累或长期的维护计划。这延续了 Vercel 的一贯模式：发布“光鲜亮丽”的实验性工具，在博取营销关注后不久便将其弃置。
**2. 技术质疑：** 语言运行时和编译器领域的专家对该项目的架构提出了质疑。主要诟病包括：过度依赖 QuickJS 处理动态代码（专家称其“运行缓慢”）、未能实现有效的整数优化，以及初始提交代码规模过于庞大。部分用户指出，若追求简单、高性能的原生应用，Go 或 Rust 等语言是更为成熟可靠的选择。
**3. AI 在工程中的角色：** 此次讨论凸显了在软件开发中关于 AI 角色的分歧。虽然有些人赞赏那些能简化编译器构建等复杂任务的工具，但另一些人则担心，如果 AI 生成的代码缺乏专家的严谨审核，将可能危及软件的长期质量与稳定性。
以下是简要摘要： 本网站使用 Cookie 及类似技术来存储和处理设备信息，具体用途如下： * **技术必要：** 网站运行及提供相关服务所必需。 * **偏好与统计：** 用于存储设置以及进行匿名统计分析，以改进服务质量。 * **营销：** 用于创建用户画像及跨网站跟踪，以投放个性化广告。 您的同意是自愿的。如果您拒绝或撤销对这些技术的使用，可能会限制网站的部分功能。营销目的的数据处理主要用于实现定向广告投放。
抱歉。
这是简化版可视化 · 用于科学级渲染 → Synchray.jl
天体物理学家萨沙·普拉文（Sasha Plavin）发布了一款基于浏览器的可视化工具，允许用户通过 AR/VR 技术将模拟黑洞放置在自己的房间里。该应用专为教育和科普设计，利用光线追踪技术演示了光线弯曲、引力透镜和多普勒频移等相对论效应。它无需注册或上传数据，可在浏览器中直接运行。
该项目在 Hacker News 上引发了一场关于“物理精确性”定义的激烈辩论。虽然开发者将此模拟视为一种简化且易于上手的教学工具，但一些批评者认为这种标签具有误导性。他们指出了其中的技术缺陷，例如任意的色彩映射、简化的辐射传输以及非最优的多普勒计算。另一些人则认为，尽管该应用是一款高质量的可视化工具，但这些为了确保移动设备实时运行性能而作出的简化，与专业天体物理模拟的标准相比仍有显著偏差。
尽管存在技术批评，许多用户仍称赞了该项目的易用性及其带来的“酷炫感”。讨论还涉及了科学传播面临的更广泛挑战、用户在 VR 中观看巨大天体时产生的恐惧反应，以及教学简化与科学严谨性之间复杂的权衡。
这篇文章强调了现代市场中信息不对称的危险，并列举了两个主要例子：白宫提词器操作员利用总统演讲进行押注，以及特朗普媒体公司可能利用总统公告的提前获知权进行牟利。 作者认为，当某些参与者拥有不公平的信息优势（实际上充当了“提词器操作员”的角色）时，市场的完整性就会崩塌。作者最初曾支持预测市场的去监管化，认为它们能成为有价值的信息聚合工具，但如今已对现状感到幻灭。这些平台非但没有浮现出有用的经济数据，反而大多演变成了“后门博彩公司”。 除了市场风险外，作者还强调了助长强迫性赌博所带来的社会代价。他指出，该行业在强大的政治利益支持下肆意扩张，导致许多家庭破碎。作者最终认为，推动这些市场的发展绕过了关于更广泛后果的必要“成熟讨论”，即在公平竞争环境与优先考虑赌博及内幕优势之间，社会应当如何抉择。
对不起。
**Port Zero** 是一款开发者网络工具，它通过用稳定且易懂的域名替代传统的端口号，从而消除端口冲突。通过将开发服务器端口设置为 0，每个进程或容器都会获得一个唯一的 URL（例如 `feature-branch.portzero.local`），使你能够同时运行多个 git 工作树和服务，而不会产生冲突。
主要功能包括：
* **无缝本地开发：** 消除 “EADDRINUSE” 错误，简化复杂的本地环境。
* **云端隧道：** 通过 HTTPS 将本地应用暴露给互联网，无需部署即可在移动设备上进行测试或进行实时演示。
* **支持 AI Agent：** 专为通过 MCP（模型上下文协议）运行的 AI 编程助手设计，允许它们直接管理隧道和服务状态。
* **协作功能：** 提供访客身份验证、反馈评论和团队管理策略，以便安全地共享工作成果。
Port Zero 的本地无限使用版本免费且开源。付费的专业版和团队版提供基于云的隧道、共享子域名，并采用统一费率计费，无按席位收费或超出流量限制。对于希望简化并行工作流、简化远程测试并将网络功能集成到 AI 编程环境中的开发者来说，这是一款理想的解决方案。
抱歉。
PGSimCity · PostgreSQL 的 3D 运行机制 正在加载城市代码的 PostgreSQL 引擎模型…… 此为早期未经审核的原型版本。模型和解释中几乎肯定存在不准确之处。如发现问题，请提交 Issue 或 Pull Request。 PGSimCity 需要 JavaScript 和 WebGL2 才能运行。
*PGSimCity* 是一个雄心勃勃的浏览器端 3D 可视化项目，旨在为非专家揭开 PostgreSQL 内部机制的神秘面纱。该工具由开发者 Anton Samokhvalov 利用人工智能辅助的“氛围编程”（消耗了近 40 亿个 Token）创建，将数据库的复杂组件（如检查点程序、后台写入程序和自动清理程序）映射为交互式的动画城市环境。
该项目在 Hacker News 上引发了热烈讨论。支持者称赞它是一种创新且极具吸引力的教育工具，可能会彻底改变技术概念的教学方式。然而，许多用户对其当前的用户体验提出了批评，指出其用户界面杂乱、自动“导览”让人应接不暇，且导航方式不够直观。还有人质疑人工智能生成模型的准确性，并建议增加实时交互式的查询追踪功能，以显著提升其实用性。
讨论中的一个值得注意的插曲是关于商标的担忧；行业资深人士 Don Hopkins 建议将项目名称从“SimCity”更改为“Micropolis”，以避免与美国艺电公司（Electronic Arts）产生潜在的法律纠纷。总体而言，社区虽然对该项目的视觉雄心印象深刻，但也强调它需要进一步的打磨和交互性，才能从一个“炫酷演示”转变为真正有效的教学资源。