请启用 JavaScript 和 Cookies 以继续
每日HackerNews RSS
Hacker News 上的一个帖子链接到一篇关于中世纪英国椰子的文章。评论区讨论椰子的起源：一位评论者表示椰子起源于马来群岛，而非所列地区，并指出其名称来自葡萄牙语，而果实是核果。另一位引用了"椰子会迁移"的笑话，指出椰子能够漂浮并殖民岛屿；还有人指出文章本身提到它们通过漂流到达中美的西部。最后一条评论拿椰子作为卡米洛特的马匹替代品开玩笑。页面还包含一条 Y Combinator 的申请通知。
Ultramarine 1 Flash 是一款用于金融、法律、咨询和运营等专业知识工作的 Fable 级模型，定位为比 Fable 便宜 60 倍。它在六个基准上比 GLM-5.3 Flash 少用 6.5% 的 token，同时提供更佳的工作成果。在成本-质量前沿上，每次任务成本为 0.13 美元，得分超过 Claude Fable 5 (max) 和 GPT-5.6 Sol (max)，与 Claude Opus 5.5 (max) 和 GPT-6 Sol (max) 的差距在三分以内。API 定价为每百万输入 token 0.15 美元，缓存输入 0.03 美元，输出 0.50 美元。性能基于内部 PI Knowledge Work 基准（已完成业务文档和实时系统）衡量；其得分与 Artificial Analysis Intelligence Index 强相关。该模型针对客户就绪的文本、视觉层级和专业服务规则进行了调优。模型权重即将推出。
Hacker News
新
|
过去
|
评论
|
提问
|
展示
|
工作
|
提交
登录
Ultramarine 1 Flash：前沿模型便宜 100 倍
(
paperinstruments.com
)
24 分
由
dzonga
1 天前
|
隐藏
|
过去
|
收藏
|
1 条评论
帮助
dzonga
1 天前
[–]
https://x.com/bertgodel/status/2110400987622265232?s=20
启动视频
回复
考虑申请 YC 的 Winter 2027 批次！申请开放至 11 月 2 日。
指南
|
常见问题
|
列表
|
API
|
安全
|
法律
|
申请 YC
|
联系
搜索：
项目
博客
闲暇
商店
联系
联系
Adam Schaefers
开发运维 |
全栈开发 |
游戏开发 |
创始人
最新作品：
@LandOfEnchantment
联系：
给我发邮件
Github：
a-schaefers
Twitch：
@enchantdev
观看我的免费 Emacs 课程！
00
彻底避免 RSI 和“Emacs 小指”。
5:04
00
01
02
03
04
05
©
2026
adamschaefers.com ·
站点地图
·
隐私
·
条款
对不起。
启用 JavaScript 和 Cookie 以继续
Hacker News 的帖子讨论了《沙丘》中的巴特勒圣战及其与现代 AI 的相关性。一句被引用的话强调，伟大是短暂的，需要尖刻的自我觉察。评论者争论 LLM 是否能匹配人类意图，一些人认为它们缺乏真正的思考，可能同质化写作；另一些人则指出其确定性/概率性本质和人类偏见。多位用户区分弗兰克·赫伯特原作中对思维机器的模糊处理与后来 Brian Herbert/KJA 前传中赛博格和 AI 主导的设定。其他人认为圣战与其说是机器反抗，不如说是人类控制机器、封建主义和权力集中。帖子还涵盖《沙丘》的世界观、香料、公会、门泰特和战争现实主义，以及与《战锤 40k》、伊恩·M·班克斯和科幻中反复出现的自动化恐惧的比较。一些人建议对 AI 采取现代“新节制”而非彻底拒绝，另一些人则担忧 AI 作为控制工具。
一个 Lean RealWorld 应用已被构建并通过 API 与网站测试。它使用 Lean 的 HTTP 服务器、lean-routing、通过 leanpostgres 的 Postgres，以及通过 lean-html 配合 Datastar 的服务端渲染 HTML。后端仅 1,033 行。在适度流量、固定工具链与仔细代码审查下，它可服务真实用户，但技术栈与 AI 编写的代码需谨慎。它并非通过构造即正确：RealWorld 的行为仅部分形式化，且应用经测试而非由规范推导。然而，部分属性被静态检查：处理器类型与路由匹配，存储的 slug 被证明有效，且用户文本除非使用 Node.unsafeRaw 否则会被转义。通过构造的完全正确性仍待解决。
一个 Hacker News 帖子强调有人用 Lean 4 构建 RealWorld Medium 克隆应用，包括使用 Datastar 的前端，结论是现代库使 Lean 4 适合日常 Web 应用，而不仅是证明。评论者称赞 Lean 4 是具有有用依赖类型的强编程语言，不过有人指出它可能更适合某些项目而非所有。讨论涉及相关的依赖类型语言（Agda、Rocq、F*、Idris 2）、测试覆盖率和变异测试等实际工具缺口，以及库成熟度。一位评论者指出 Lean 4 缺少覆盖率工具，变异测试仍有限。另一位报告使用 Lean 构建带有可证明可靠借出检查器的编译器，但抱怨编译时间长和 mathlib 依赖。还分享了性能基准。总体而言，Lean 4 对通用软件越来越可行，但生态系统和工具仍然重要。
启用 JavaScript 和 Cookies 以继续
黑客新闻
最新
|
过去
|
评论
|
提问
|
展示
|
工作
|
提交
登录
Olympus：纠正代码的权力动态 (2024)
(
danieltemkin.com
)
5 分
由
jarmiaq
1 天前
|
隐藏
|
过去
|
收藏
|
讨论
帮助
考虑申请 YC 2027 年冬季批次！
申请
开放至 11 月 2 日。
指南
|
常见问题
|
列表
|
API
|
安全
|
法律
|
申请 YC
|
联系
搜索：
我们网站的安全防护触发了阻止。如果你认为这是错误的，请通过 [email protected] 联系我们。请提供你如何到达此网页，以及位于页面底部的 Cloudflare Ray ID。如果你希望询问访问我们内容的许可，请通过 [email protected] 联系我们。Cloudflare Ray ID：a4bb36d37ec845e2 返回 The Atlantic
一条 HN 帖子链接到一篇《大西洋》文章，内容关于非洲巨型陆生蜗牛——大约八英寸，为了标题可拉伸到九英寸——自 1969 年以来一直困扰佛罗里达。评论者讨论在加纳、西班牙和法国吃蜗牛，辩论风味和口感，并警告寄生虫如鼠肺线虫。其他人提到它们的入侵性扩散、快速繁殖、天敌，以及诸如吃有色纸后排出彩色粪便等奇特特性。帖子还包含 Nine Inch Nails 双关语、电影引用，以及绕过文章付费墙的技巧。
本地限流
对不起。
启用 JavaScript 和 cookies 以继续
讨论围绕基于性能分析的优化（PGO）展开。一位评论者指出，Spectre/Meltdown 之后 switch 语句和间接分发的性能发生了变化；PGO 对可预测工作负载有帮助，硬件特定调优也可能很重要。另一位报告称 PGO 为编译器/LLVM 带来 20–30% 的构建速度提升，但对 ClickHouse 收益甚微。第三位表示 Visual Studio PGO 反复显示对他们的引擎没有显著收益，而 LTCG 可能通过以大小为导向的优化改善缓存使用。总体而言，PGO 的收益取决于工作负载和项目。
Neuralwatt 的流量分析显示，智能体 harness 会显著影响提示词缓存效率和 GPU 能耗。即使缓存率的小幅差异也很重要：92% 缓存意味着每 100 个 token 中有 8 个未缓存，而 97% 缓存时为 3 个，约 2.7 倍的预填充工作量。一次缓存未命中大约会使请求能耗翻倍（在 GLM-5.3 上约 2.5 倍）。深度会话使未命中代价高昂：超过 128k token 后，一轮重新读取其提示词一半以上的内容，约等于 600 个普通轮次的预填充量。实验室测试发现，所有缓存中断都来自 harness 修改之前发送的内容，而不是聊天模板。原因包括 OpenCode 计划模式提醒、omp 剪枝、推理努力程度切换、MCP/工具变化、技能、日期和压缩。最佳实践：保持提示词前缀稳定、追加更改、维护排序后的工具列表、晚压缩，并使用稳定的会话 ID。deepseek-harness 通过只追加日志、最小固定的系统提示词、追加的状态快照、稳定的工具和晚压缩实现了纯追加。大部分浪费都可以通过 harness 设置或小幅提示词构造更改来修复。
对不起。