然而随着该学科的发展，其基础文献变得浩繁，散见于成千上万页密集的专著与讨论班记录，其中大量以法文写成。该学科的大量实际知识也以不成文的传统知识形式，由导师传给学生。即使要定义代数叠——一种能够记住其所参数化对象的内部对称性的几何空间——也需要一整套涵盖交换代数、拓扑、层与上同调的艰巨先修知识。数学家们需要一部统一、自包含的参考书，将这些先修知识完整地写下来。
每日HackerNews RSS
Hacker News 讨论了一个在 Lean 中形式化 Stacks Project 的项目。用户指出 Stacks Project 是一份精心组织的代数几何参考，并 wondered formalization 可能揭示哪些空白。部分评论者争论了 AI 的作用：有人认为随着证明成本降低，专门理论可能优于广泛的 formal frameworks，而另一些人则为通用性辩护。还有几人对 AI 生成的数学知识表示怀疑，担忧人类理解以及带有 AI 色彩的 promotional language。其他人则认为这种形式化确实有用，指出 Stacks Project 在自然语言中 resembles Lean。帖子还包含关于 formally verified software stacks 的 tangential questions。总体而言，反应 mixed 对形式化的 enthusiasm 与对 AI hype、readability 以及 automated proof 是否 outpaces human comprehension 的 concern。
Linum 的 v3 之路推出了一款 2B Pyramid-JiT（P-JiT）图像模型，基于 6.6 亿样本训练，成本约 2.1 万美元，实验性地以 Apache 2.0 许可证发布。它是一个像素空间扩散模型，移除了 VAE，将图像以 32×32 压缩为 token，相比 16×16 将注意力上下文减少 4 倍，并且比 Linum v2 的收敛速度提升 11 倍。该 2B DiT 使用 Qwen3.5-4B 文本特征、32×32 patch 化、22 个共享 DiT 块、与 DINOv3-L 的 PixelREPA 对齐，以及在第 10/16 块的低分辨率读出，加上全分辨率的 MSE/LPIPS/P-DINO 损失。训练在 512² 分辨率上运行了 6.1 亿样本，随后在 1024² 上运行了 5000 万样本，采用噪声调度课程学习、Muon/AdamW、EMA 以及 FDFO 后训练。目标是更便宜、更快的视频生成与更好的控制。局限性：不支持渲染文本，小模型在全身、人群、多人交互和世界知识方面表现较弱。团队计划接下来开发更大模型和视频。
Hacker News 突出了 Linum AI 的 Show HN：一个两人实验室以约 20,000 美元训练了一个文本到图像模型，并在 Apache 2.0 许可下发布了权重。该模型使用一种名为 Pyramid-JiT 的高效像素空间扩散架构，避免使用 VAE，旨在更快收敛、更简单训练和更便宜的推理。创作者将其视为迈向更便宜、更可用的视频生成工具的一步，指出图像模型必须先学会“名词”，视频模型再学会“动词”。评论称赞了低成本和效率导向，同时也提出了关于训练数据、扭曲手部等典型图像生成瑕疵、可能的量化/浏览器部署，以及大型实验室是否也在追求类似效率提升的问题。
Bild AI 是一家早期创业公司，面临大量非常困难的技术挑战。我们采用模型花园方法构建蓝图理解，因此还有许多未知领域需要开拓。我们在演示日之前就从全球顶级风险投资机构融资，并以客户为中心推进产品开发。
黑客新闻
最新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交
登录
Bild AI（YC W25）正在招聘创始产品工程师
（ycombinator.com）
1 天前 | 隐藏
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请加入 YC | 联系
搜索：
开源权重大语言模型的架构：MoE、混合层、三元权重 The architecture of open-weight LLMs: MoE, hybrid layers, ternary weights
2 天前
本研究比较了可在 8GB GPU 上运行的开源大语言模型架构，考察每种设计对性能与权衡的影响。稠密 Transformer 仍是基线：所有参数都参与计算，生成成本随模型规模和 KV 缓存内存增长。为降低成本，架构采用分组查询注意力、滑动窗口、潜在注意力、MoE 稀疏性、混合循环/卷积层、逐层嵌入、量化和三元权重。MoE 模型参数众多但每 token 只激活少量，将瓶颈转向内存带宽。混合模型用固定状态或短卷积层替代大多数注意力层以限制缓存增长，但检索可能下降。小模型通过大量训练、蒸馏和额外嵌入表提升容量。量化和三元权重可减少内存并加速生成。运行时行为取决于 VRAM、RAM、PCIe 带宽、上下文大小、预填充批处理和解码内存带宽；当模型超出 VRAM 时，权重可运行在 CPU 或共享内存上。下一篇将控制条件下对这些预期进行基准测试。
Hacker News
最新 | 过去 | 评论 | 提问 | 展示 | 工作 | 提交
登录
开放权重大语言模型的架构：MoE、混合层、三元权重
（silasdata.com）
16 分 由 silasyl 1 天前
| 隐藏 | 过去 | 收藏 | 讨论
帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
pymizu 是一个基于 libmizu 的实验性 Python 库，用于基于共享内存的快速异步与并行执行。它实现亚微秒级任务往返，以及在进程之间甚至 R 之间对列表、字典、NumPy 数组和 Arrow 表格的零拷贝共享。它提供工作窃取池、无锁共享内存通道、可直接替代的 concurrent.futures 执行器、真实 Future、asyncio 支持、可复现的并行随机数生成器和无死锁的嵌套 map。Python 与 R 可通过同一核心互操作并进行零拷贝数据交换。基准测试显示其相对 ProcessPoolExecutor 和 ThreadPoolExecutor 有大幅加速。可从 PyPI 安装，适用于 64 位平台上的 Python 3.10+；可选 numpy 和 cloudpickle 扩展。API 为实验性，可能发生变化。
Mizu (R) 与 pymizu (Python) 使用共同的 C 核心，基于共享内存提供无锁异步与并行计算。它们将任务往返时间降至不到一微秒，而基于 socket 的执行器约为 100 µs。工作器从无锁队列拉取任务，无需调度器或热路径系统调用。PoolExecutor 是可直接使用的 concurrent.futures.Executor，任务支持 asyncio，NumPy、polars、pyarrow 和 pandas 数据以零拷贝视图传递。由于 R 与 Python 共享线格式，Arrow 和数据框也能在跨语言工作池之间零拷贝移动。它仅限单机且处于实验阶段；欢迎反馈。
启用 JavaScript 和 Cookie 以继续
Hacker News
新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交
登录
为更强大、更造福人类的 AI 更新的模型规范
(openai.com)
9 分，由 gmays 发布于 1 天前 | 隐藏 | 过去 | 收藏 | 2 条评论
帮助
drywater2 1 天前 [–]
我猜，又是监管俘获的又一次尝试。
回复
bluebands 1 天前 | 父评论 [–]
模型规范是为了……监管俘获？
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
巴拉圭全国爆发抗议：乌诺银行因偿付能力危机在午夜被关闭，客户无法提取资金。据估计，60%的成年人在乌诺银行开户。
Hacker News 的讨论聚焦于影响约半数人口储蓄的巴拉圭银行倒闭。用户批评所提交的半岛电视台链接证据不足，并建议更好的来源。评论者争论总统圣地亚哥·佩尼亚的辞职是否与倒闭有关；一名巴拉圭用户称这是内部政治操作，但指出佩尼亚深度参与银行问题。另一名评论者将情况比作加密货币。一名用户认为存款有保障，98%的储蓄账户将全额支付，但另一人反驳说冻结账户和官僚程序仍可能摧毁普通家庭。总体上，讨论混杂了来源质量、政治、金融保障和现实影响的担忧。
Stroq 是面向 Claude Code、Cursor、Codex CLI 等 AI 编码代理的本地安全工具。它挂载到代理中，在执行前评估工具调用，阻止 `curl | sh` 等危险模式以及包含已知密钥的出站请求，并在命令复用代理先前读取的文本前询问。它还可无钩子审计过去会话：`replay` 检查最近会话是否符合策略，`sent` 报告凭据是否出现在命令中或被阻止。CLI 生成你的会话卡片，仅显示密钥名称，值不会超出本地缓存发送或存储。本地控制台位于 127.0.0.1，提供预览、历史记录与确认。命令包括 `init`、`why`、`attack`、`show`、`replay`、`sent`、`console` 和 `uninstall`。`attack` 在沙箱中测试 36 种已知攻击。它需要 Node.js 22+，采用 Apache-2.0 许可证，且不进行外网调用或遥测。它是一个过滤器，而非沙箱，使用文本级匹配并具有代理特定限制。
Stroq 是一款本地的、基于规则的编程代理活动审计工具；它扫描会话日志和命令文本，并可设置在危险命令前提示的钩子，但它不是沙箱。在 Hacker News 的讨论中，评论者主张更强的隔离（gVisor、独立容器、eBPF），并警告审计可能在执行后才来得及。创作者承认 Stroq 能检测命令并警告恶意钩子，但不能防止所有攻击。其他建议包括与 Agent Safehouse 集成、PII 脱敏、后台菜单栏守护进程，以及引用。Stroq 不使用 LLM；其开源规则可自定义。讨论中还包含一个发音笑话和对吉祥物的称赞。
传统的行缓冲会在每次换行时刷新，这会对像 `unzip` 这类程序的终端输出造成瓶颈。作者认为，通过使用基于截止时间的缓冲，可以在不逐行写入的情况下保持及时输出：累积输出，仅在空闲超过短暂阈值（例如 100 毫秒）时刷新，类似于 Nagle 算法。这既能保持交互响应性，又允许多行一起写入，减少系统调用并提升速度。`tugz` 实现了这种方法，让用户在不承受通常性能损失的情况下获得进度列表。与按换行刷新的差异对人类来说难以察觉。
一篇 Hacker News 讨论围绕一篇文章认为，输出缓冲应结合基于工作量的批处理与基于时间的截止期限，以避免无限制延迟，同时分摊开销。评论者补充了一些细节：C 库使用智能缓冲；musl 的 fwrite 会处理最后一个换行；进度更新可能浪费 CPU；输出应尊重人类节奏的感知；交错的进程输出需要块大小低于 PIPE_BUF；截止期限计时器不应在每次写入时重启；建议的截止期限是毫秒级，而非 100 毫秒；setvbuf、stdbuf 和 unbuffer 等工具可调整缓冲；Python 的缓冲常让用户感到困惑。
**Survival Kit IA** 是一款离线、跨平台（Windows/Linux/macOS）的生存助手，完全在本地运行，无需联网。它包含葡萄牙语、英语和西班牙语的实用指南（水、火、避难所、食物、急救、医药、卫生、酒精、太阳能、无线电、工具、心理健康、检查清单），本地 AI（llama.cpp/Ollama）以自然语言回答问题并附带引用来源，以及可被 AI 搜索的 Kiwix 离线知识库（医学 Wikipedia、手册、iFixit 等）。基于浏览器的 Web 界面可在本地使用并可通过 Wi-Fi 共享；无 AI 模式下仅需 Python 仍可搜索指南。 设置：克隆仓库，运行一次准备器（需联网）以选择 AI 模型大小、Kiwix 知识库包、目标操作系统和可移植 Python，然后使用提供的脚本启动；浏览器会打开 http://127.0.0.1:8090。大文件不会提交——每个用户自行构建自己的套件。整个文件夹可复制到 exFAT USB 驱动器。CLI 命令支持 chat、ask、search、status 和网络共享。最低需要 Python 3.8+；AI 模式需要 4–8 GB RAM 和 AVX2/ARM64 CPU。代码采用 MIT 许可，指南采用 CC BY-SA 4.0；仅用于教育，不能替代应急服务。
Hacker News 上的一篇帖子描述了一个离线生存助手，结合了本地 LLM 和 Kiwix，可从 USB 闪存盘运行。评论者建议把它做成 USB 秘密投递点，并提到一个类似的早期项目。其他人质疑其实用性：它需要 PC、电力和插座，而这些在灾害中可能不可用；他们要求提供移动端或专用设备选项。回复中提到发电机/太阳能可以帮忙，同时 Kiwix 和本地 LLM 应用可以在手机上组合。多人指出 Project Nomad 是一个已有安装器/技术栈，支持本地 LLM。一些人批评这一概念与印刷生存指南相比过于脆弱，但也有其他人认为它有趣/酷，或询问综合参考书。总体而言，该讨论串混合了兴趣与对实际灾害用途的怀疑。