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
Hacker News 讨论了 DeepSeek-v4.1-Flash-1017，这是一次小幅更新，但带来了显著的基准测试与效率提升。许多用户称赞其速度快、成本低、开放思维链以及安全限制较少，认为它像一个实用的编程伙伴，能很好地处理大量日常任务。有些人因一致性和速度更偏好它而非 GLM，而另一些人则表示 Opus/Sol 等前沿模型在复杂调试、规划和困难任务上仍更强。用户指出 DS 可能过度思考或需要引导，且结果因提供商和推理级别而异。该帖还涉及提供商选择、数据保留、零数据保留替代方案，以及中美实验室的地缘政治。几位评论者认为开放模型威胁闭源实验室的商业模式，而另一些人表示前沿模型仍值得为困难问题付费订阅。总体而言，这次更新被视为一个强大、廉价的日常主力，而非顶级模型的完全替代品。
埃温·尼乌拉尔因自AD 79以来首次从碳化卷轴PHerc. 343中读出文字，获得5万美元“首字母奖”。他使用Vesuvius Challenge的螺旋拟合器适配8.64微米扫描和自己的表面贴合方法，虚拟展开了w047/w048卷绕的部分，并运行了四个9微米墨水模型，取平均得到可读希腊字母。最清晰的一行包含πα̣ντ̣ογιν̣ομ̣，可能属于πᾶν τὸ γινόμενον（“一切发生/生成的事物”）。结果符合4平方厘米内10个可读字母的标准。自由软件工程师埃温描述了从修bug到获奖的历程，并计划继续。来自PHerc. 343的其他提交也显示希腊字母序列，包括可能与音乐相关的引用，但未达到完整目标。该项目仍是开放科学，方法可复现。大奖搜寻继续。
Hacker News
新
|
过去
|
评论
|
提问
|
展示
|
招聘
|
提交
登录
PHerc 343 的首字母奖 50,000 美元已颁发
(
scrollprize.substack.com
)
18 分
由
dcminter
1 天前
|
隐藏
|
过去
|
收藏
|
讨论
帮助
考虑申请 YC 的 Winter 2027 批次！
申请
截至 11 月 2 日。
指南
|
常见问题
|
列表
|
API
|
安全
|
法律
|
申请 YC
|
联系
搜索：
文章认为，AI与数学最初曾有富有成效、互补的关系——尤其是借助Lean等工具——但OpenAI通过优先追求奇观、炒作和贬低研究人员，使之变得有害。它追溯了陶哲轩对证明助手和大语言模型的采用，以及他警告自动证明生成正超过证明“消化”的速度。它描述了OpenAI的纳维-斯托克斯公告争议、关于施压和署名不公的指控，以及数学家公开信警告匆忙的AI输出可能损害学术。人类数学协会敦促数学家停止与OpenAI合作，称其大规模发布展示的是权力而非学术。作者将更广泛的AI行业行为描述为虐待性的——煤气灯操控、DARVO和去人性化劳动——同时指出Lean的贡献更诚实、更有影响。文章结论是，真正的进步需要尊重专家自主性、资助数学、选择伦理工具，而不是接受有害的“AI进步”。
Hacker News 讨论帖链接到一篇被标记的帖子“Why Math Dumped OpenAI”，批评 OpenAI 处理数学证明的方式。评论者争论 AI 是否正在削弱数学家的能力，并将炒作置于理解之上。有人认为人们错误地相信 AI 可以让人在不了解的情况下工作；另一人说现代数学研究依赖计算资源，OpenAI 的行为反映其公关和投资策略。其他评论将此与大学激励结构进行比较，提到证明助手，并批评帖子的语气。有些人认为 OpenAI 的行为不道德且有害于 AI 采用，而另一些人将反弹视为对变革的抵制。总体而言，该帖围绕 AI 生成的数学结果、人类理解、制度激励和研究伦理边界之间的紧张关系展开。
Lingua Franca 是一种面向反应器的协调语言，用于组合反应式组件。它通过构造防止竞态条件，支持精确的定时行为，并避免手动同步。例如，它可以强制石头剪刀布中的同时出招，并检测无效的因果循环。它不是完整的编程语言；开发者继续使用 C、C++、Python、TypeScript 或 Rust 编写反应器逻辑，而 Lingua Franca 负责协调。
这篇 Hacker News 帖子讨论了 Lingua Franca，它被描述为一种用于直观并发编程的协调语言，支持多种宿主语言，包括 C、C++、Python、TypeScript 和 Rust。它使用 reactor 和数据流风格的端口来连接组件。评论者指出它与基于流的编程和命名端口的相似之处，并争论它是否通过逻辑时间提高了相对于 Erlang 的确定性。其他人批评了落地页的电梯演讲、命名、示例设计和有限的语言支持，同时要求更清晰的比较、Python 示例和优势证据。其他评论提到了机器人替代方案如 copper-rs、动态改变 actor 结构的限制以及更广泛的异步业务逻辑挑战。总体而言，该帖子显示了对确定性数据流并发的兴趣，但呼吁更好的文档和理由。
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。
一个 Hacker News 讨论链接到一篇 PyTorch 关于求解 0/1 背包问题的文章。一位评论者推荐“combo”算法以在中大型实例上提速。另一位调查 PyTorch 动态规划基线中的内存问题，指出输入单位不明确：若预算以 GB 规模值而非归一化 0–1 值传入，将内存量化为 10,000 可能创建巨大表，并建议将 max_memory 重新缩放为 1。一位评论者询问将物品价值缩放是否能得到有界误差的近似解；其他人将其识别为经典的完全多项式时间近似方案，引用 Lawler 和近线性时间近似。其中还有一条无意义回复。
llmspeed — 购买前感受本地 LLM 速度 按硬件浏览 按模型浏览 ⚡ llmspeed — 在购买硬件前感受本地 LLM 运行有多快。此模拟器需要 JavaScript；代码与数据位于 github.com/nicorobinreal/llmspeed。
这个帖子讨论 Llmspeed，一个在选定硬件上模拟本地 LLM 速度的工具。用户认为它有助于在购买设备前估算性能，但对其准确性存在争议：报告的基准可能偏乐观，并省略了真实世界的因素，如运行框架、上下文大小、量化、KV 缓存管理、推测解码和多 GPU 配置。评论者报告在普通或旧硬件上取得强结果，尤其是 MoE 模型和优化的推理引擎，而 dense 模型仍更慢、更耗资源。实用建议包括使用大上下文窗口、谨慎量化 KV 缓存，以及调优推理设置。用户请求支持更多模型、硬件组合和运行框架。总体而言，本地 LLM 性能正在快速提升，但真实可用性高度依赖模型架构、内存、上下文和软件优化。
禁止访问 您没有权限访问此资源。
A Hacker News 帖子 titled “编译器自举比你想象的更依赖于其他东西”（26 点）讨论了自举，并链接到有关特定语言和可自举构建的资源。一位评论者说他们的编译器包含一个最小的基于 C 的引导编译器，将编译器转译为 C，仅需要 C 工具链和 POSIX libc；这会稍微复杂化扩展，但使新系统的自举更容易。该页面还包含一个 Y Combinator 申请通知。
暴雨揭示许多汽车缺少尾灯，因为司机混淆了停车灯和行驶灯图标；这些图标看起来随意，反馈不足。这说明了更广泛的图标设计问题：图标节省空间且外观吸引人，但往往比文字标签更难学习，常见符号也会被过度使用（勾号、×、放大镜）。苹果最近在键盘和 iOS 按钮上从文字标签转向图标的作法就是例证；虽然常见图标能减少最初的困惑，但不一致的使用和歧义仍然存在。作者建议更清晰的解决方案，例如将图标与文字配对，或使用临时提示——尤其是在带数字仪表盘的汽车中——帮助用户将符号与功能对应，而不牺牲可用性。
对不起。
客户端挑战：您的浏览器已禁用 JavaScript。请启用 JavaScript 以继续。网站的必要部分无法加载。这可能是由于浏览器扩展、网络问题或浏览器设置导致的。请检查网络连接，禁用广告拦截器，或尝试使用其他浏览器。
Hacker News 上关于加州一项耗资 4 亿美元建设 Yosemite 危险公路落石棚项目的讨论。评论者反驳 Caltrans 经理“类似工程不存在”的说法，列举阿尔卑斯山、Mountain West、Big Sur、不列颠哥伦比亚和华盛顿等地的类似落石棚。一些人认为成本高但工程条件不同；另一些人预测会超支。还围绕地震相关性及全球隧道比较展开争论。用户还抱怨付费墙和广告。一段讨论转向指责美国基础设施反映法西斯主义和资本主义，遭到怀疑。总体而言，评论者认为该项目有用但并非史无前例，担心成本和炒作。
提供的条目勾勒出几个推测性世界：1998年一种神经学疫情使说谎变得痛苦；自1982年起动物与人类共享制度；ASI在2048年统治地球；旧广播从更幸福的未来归来；阴谋论都是真的；基因疗法让大多数人不再睡眠；唯我论被证明；活人给死者打电话。它们共同想象了人类沟通、社会、技术与现实的改变。
对不起。