DeepSeek-V4.1-Flash-1017 是 DeepSeek-V4.1-Flash 的一次小幅更新，可提升推理、编程、智能体和视觉性能，同时降低执行时间与输出长度，降低成本并推进智能体框架上的性能–成本帕累托前沿。基准测试显示在 Terminal-Bench 4.0、DeepSWE、ProgramBench 以及视觉基准上有所提升。发布内容包括 Python 提示词编码参考实现和 deepseek-recipe Rust/Python 工具包，可将 API 请求转换为 DeepSeek 提示词或 token ID，并解析包括思考、工具调用、图像和设置在内的输出；推理与传输由调用方负责。提供了本地推理说明。推荐采样使用 temperature 1.0、top_p 1.0、1M token 上下文窗口，以及 max_tokens ≥256K。仓库与权重采用 MIT 许可证。
每日HackerNews RSS
DeepSeek-V4.1-Flash-1017 在 Hacker News 上被发布为 DeepSeek-V4.1-Flash 的小更新，但评论指出它在推理、编程、智能体和视觉基准测试上有显著提升。用户讨论其强劲表现，认为它优于 GLM 5.3、接近 Opus 5，同时仍落后于 Sol 6.1 和 Opus 5.5。一些评论者称赞开源 AI 和中国的作用，质疑基准测试的真实性，并推测前沿实验室可能限制顶级模型。其他人提到本地运行成本高昂，并询问 OpenCode 支持。总体而言，该帖子将这次更新视为一次值得注意、能力突出的模型更新，引发关于 AI 竞争与访问的辩论。
埃温·尼乌拉尔因自AD 79以来首次从碳化卷轴PHerc. 343中读出文字，获得5万美元“首字母奖”。他使用Vesuvius Challenge的螺旋拟合器适配8.64微米扫描和自己的表面贴合方法，虚拟展开了w047/w048卷绕的部分，并运行了四个9微米墨水模型，取平均得到可读希腊字母。最清晰的一行包含πα̣ντ̣ογιν̣ομ̣，可能属于πᾶν τὸ γινόμενον（“一切发生/生成的事物”）。结果符合4平方厘米内10个可读字母的标准。自由软件工程师埃温描述了从修bug到获奖的历程，并计划继续。来自PHerc. 343的其他提交也显示希腊字母序列，包括可能与音乐相关的引用，但未达到完整目标。该项目仍是开放科学，方法可复现。大奖搜寻继续。
黑客新闻
新帖
|
过去
|
评论
|
提问
|
展示
|
职位
|
提交
登录
$50k 首字母奖授予 PHerc 343
(
scrollprize.substack.com
)
7 分
由
dcminter
2 小时前
|
隐藏
|
过去
|
收藏
|
讨论
帮助
考虑申请 YC 2027 年冬季批次！
申请
开放至 11 月 2 日。
指南
|
常见问题
|
列表
|
API
|
安全
|
法律
|
申请加入 YC
|
联系
搜索：
文章认为，AI与数学最初曾有富有成效、互补的关系——尤其是借助Lean等工具——但OpenAI通过优先追求奇观、炒作和贬低研究人员，使之变得有害。它追溯了陶哲轩对证明助手和大语言模型的采用，以及他警告自动证明生成正超过证明“消化”的速度。它描述了OpenAI的纳维-斯托克斯公告争议、关于施压和署名不公的指控，以及数学家公开信警告匆忙的AI输出可能损害学术。人类数学协会敦促数学家停止与OpenAI合作，称其大规模发布展示的是权力而非学术。作者将更广泛的AI行业行为描述为虐待性的——煤气灯操控、DARVO和去人性化劳动——同时指出Lean的贡献更诚实、更有影响。文章结论是，真正的进步需要尊重专家自主性、资助数学、选择伦理工具，而不是接受有害的“AI进步”。
Hacker News
最新
|
过往
|
评论
|
提问
|
展示
|
招聘
|
提交
登录
为什么数学抛弃了OpenAI
(
raymyers.org
)
11 点
由
xeonmc
2 小时前
|
隐藏
|
过往
|
收藏
|
讨论
帮助
考虑申请 YC 的 2027 年冬季批次！申请开放至 11 月 2 日。
指南
|
常见问题
|
列表
|
API
|
安全
|
法律
|
申请 YC
|
联系
搜索：
Lingua Franca 是一种面向反应器的协调语言，用于组合反应式组件。它通过构造防止竞态条件，支持精确的定时行为，并避免手动同步。例如，它可以强制石头剪刀布中的同时出招，并检测无效的因果循环。它不是完整的编程语言；开发者继续使用 C、C++、Python、TypeScript 或 Rust 编写反应器逻辑，而 Lingua Franca 负责协调。
Hacker News
新
|
过去
|
评论
|
提问
|
展示
|
招聘
|
提交
登录
任何语言中的直观并发编程
(
lf-lang.org
)
13 分
由
mpweiher
2 小时前
|
隐藏
|
过去
|
收藏
|
讨论
帮助
考虑申请 YC 2027 冬季批次！申请开放至 11 月 2 日。
指南
|
常见问题
|
列表
|
API
|
安全
|
法律
|
申请 YC
|
联系
搜索：
PyTorch 使用 0/1 背包决定在内存预算内存储还是重算激活值。默认求解器 dp_knapsack 使用完整物品-容量表的动态规划，可能占用过多 RAM。切换到 dp_knapsack_sliding_hirschberg 可将峰值规划内存降低约 20 倍，并通过结合滑动窗口（仅两行 DP）与 Hirschberg 分治避免回溯，将运行时间加快约 37%。它仍给出精确解。其他选项：greedy_knapsack 以速度优先于正确性，ilp_knapsack（SciPy）提供更快的精确解，以及从包管理器安装时的默认 dp_knapsack。要使用优化求解器，设置 torch._functorch.config.activation_memory_budget_solver = dp_knapsack_sliding_hirschberg。报告 bug 时标记 @jmaczan。
黑客新闻
新帖 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交
登录
PyTorch 中的 0/1 背包问题
(
jedrzej.maczan.pl
)
5 点 由 yu3zhou4 2 小时前 | 隐藏 | 过往 | 收藏 | 讨论
帮助
考虑申请 YC 2027 年冬季批次！申请开放至 11 月 2 日。
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请加入 YC | 联系
搜索：
llmspeed — 购买前感受本地 LLM 速度 按硬件浏览 按模型浏览 ⚡ llmspeed — 在购买硬件前感受本地 LLM 运行有多快。此模拟器需要 JavaScript；代码与数据位于 github.com/nicorobinreal/llmspeed。
黑客新闻
最新 | 往期 | 评论 | 问答 | 展示 | 工作 | 提交
登录
Show HN：Llmspeed – 在购买硬件前感受本地 LLM 运行有多快
（llmspeed.dev）
10 分，由 albinstman 发布于 1 小时前 | 隐藏 | 往期 | 收藏 | 讨论
帮助
考虑申请 YC 2027 年冬季批次！申请开放至 11 月 2 日。
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
禁止访问 您没有权限访问此资源。
Hacker News
最新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交
登录
编译器自举依赖的东西比你想象的更多
（utcc.utoronto.ca）
7 分，由 gavinhoward 发布于 2 小时前 | 隐藏 | 过去 | 收藏 | 1 条评论
帮助
nanolith 26 分钟前 [–]
这就是为什么我坚持让我的编译器始终包含一个用 C 编写的最小化自举编译器子集，它可以通过转译将编译器编译为 C。唯一依赖是一个 C 编译器工具链和兼容 POSIX 的 libc。
这确实让编译器稍微更难扩展，但它让为新系统提供自举支持更容易。用户体验很重要。
回复
考虑申请 YC 2027 年冬季批次！申请开放至 11 月 2 日。
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请加入 YC | 联系
搜索：
暴雨揭示许多汽车缺少尾灯，因为司机混淆了停车灯和行驶灯图标；这些图标看起来随意，反馈不足。这说明了更广泛的图标设计问题：图标节省空间且外观吸引人，但往往比文字标签更难学习，常见符号也会被过度使用（勾号、×、放大镜）。苹果最近在键盘和 iOS 按钮上从文字标签转向图标的作法就是例证；虽然常见图标能减少最初的困惑，但不一致的使用和歧义仍然存在。作者建议更清晰的解决方案，例如将图标与文字配对，或使用临时提示——尤其是在带数字仪表盘的汽车中——帮助用户将符号与功能对应，而不牺牲可用性。
这篇 Hacker News 帖子讨论了一篇关于令人困惑的汽车前灯图标的 文章。评论者指出，现代 AUTO 模式通常会在需要时开启近光灯，包括雨天雨刷器工作时，从而减少手动选择的必要性。有些人质疑停车灯或示宽灯模式的用途，称其为遗留功能，而另一些人则为了安全持续开着灯。用户还把本地化和成本作为制造商偏好图标而非文字的原因，并建议增加仪表板提示或更清晰的标签。一名评论者补充说，示宽灯和尾灯可能使用昏暗灯丝，除非刹车。整体看法是汽车照明控制不必要地令人困惑，AUTO 是最安全的默认选项。
客户端挑战：您的浏览器已禁用 JavaScript。请启用 JavaScript 以继续。网站的必要部分无法加载。这可能是由于浏览器扩展、网络问题或浏览器设置导致的。请检查网络连接，禁用广告拦截器，或尝试使用其他浏览器。
```
Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
加州正在为优胜美地最危险的高速路建造一座4亿美元的防护盾
(
sfchronicle.com
)
16 积分
by
danso
2小时前
|
隐藏
|
过往
|
收藏
|
1 条评论
帮助
danso
2小时前
[–]
https://archive.is/PGZKw
回复
考虑申请 YC 的 2027 年冬季批次！申请截止日期为 11 月 2 日。
指南
|
常见问题
|
列表
|
API
|
安全
|
法律
|
申请 YC
|
联系
搜索：
```
提供的条目勾勒出几个推测性世界：1998年一种神经学疫情使说谎变得痛苦；自1982年起动物与人类共享制度；ASI在2048年统治地球；旧广播从更幸福的未来归来；阴谋论都是真的；基因疗法让大多数人不再睡眠；唯我论被证明；活人给死者打电话。它们共同想象了人类沟通、社会、技术与现实的改变。
Fakeipedia 是 darajava 的 Show HN 项目：一个自动生成可探索虚构世界 wiki 的平台，包含可点击的红链。创作者表示其灵感来自 Gemini 中的世界构建，但使用名为 Argon 的模型生成文章；新文章收费 0.90 美元以覆盖成本，而生成内容是公开的。用户可以像选择冒险故事一样引导生成。该帖有 7 分和 2 条评论，包括对写作质量的称赞和一个将其比作维基百科的玩笑。