2026年10月18日 · 星期日 卡片列表

今日速览

2026年10月18日 · 星期日

  • 开源模型又卷一轮:DeepSeek 放出 V4.1-Flash-1017,自称「小更新」却在编程与代理评测上明显抬高,同时压短输出、降成本;社区用同一脏代码库对照 GLM/Sol,体感仍分裂。
  • 模型直觉与能源账本同时升温:一篇从联想记忆推到 Transformer 的长文被热传;WNISR 称 2025 年全球光伏发电量首次超过核电,风电也按月碾过核电。
  • 宏观与平台信号:非货币黄金成美国头号商品出口(多流向瑞士精炼);Chrome/Edge 要拿掉 XSLT,老报告模板与「纯静态拼页头」路线被迫换轨。
  • 可信基础设施开源:爱沙尼亚 IVXV 网投源码公开供审;工具链侧 Pele 把 Mermaid 渲成可 CSS 变量换肤的 SVG,Furifont 把假名注音塞进字体连字。
  • 其余:漂白珊瑚碰健康片段数日复色、东北美拆坝鱼回来、Dorito 黄染料让鸡胸半透明、Codex Desktop Crashpad 日胀数 GB、浏览器里跑真 ESP32 固件等。
1 / 25必读🔥 689 · 💬 579

DeepSeek V4.1-Flash-1017:小版本号,大代理评测跳升

自称 Flash 小更新:推理、编程、代理与视觉基准普遍抬高,同时缩短输出、压低成本;权重 MIT,上下文约 1M。

开源 Flash 线继续用「更快更短」打 Pareto:评测表好看,产品侧仍要自己用脏仓库测一轮,别只信自家榜。

要点

  • DeepSeek-V4.1-Flash-1017:相对 V4.1-Flash 的小版本;公司称在推理、编程、代理与视觉基准上有实质提升。
  • 同步强调更短输出、更低任务耗时与成本;官方表里 Terminal-Bench、DeepSWE、Apex 等多项高于上一 Flash。
2 / 25必读🔥 497 · 💬 117

从联想记忆推到 Transformer:你本可以「想出来」

Alex Wang 长文:从外积记忆、干扰与容量出发,一步步接到注意力与现代 Transformer 结构。

把注意力当「可微的键值记忆」比死记公式好用;做模型产品的人至少要能讲清:存什么、查什么、干扰从哪来。

要点

  • 文章从最简外积记忆 W=Σ v kᵀ 讲起:写入是加一项,查询是按键相似度加权求和。
  • 核心矛盾:键不正交就有干扰;随机单位键下容量大约与键维度同阶,超了信号就被淹。
3 / 25必读🔥 469 · 💬 304

全球光伏发电量首次超过核电

WNISR 2026:2025 年太阳能年发电量首次超过核电;风电也已按月压过核电,核电装机近乎平台期。

清洁电的故事已从「能不能替代煤」扩到「增速本身就是战略」;产品与算力规划要按可再生曲线做场景,而不是按核电叙事做幻灯片。

要点

  • 据 WNISR:风电在 2025 年 3 月单月发电已超核电,光伏 4 月首次单月超核电;此后多月风光各自或同时高于核电。
  • 2025 年全球光伏装机增约 510 GW 至 2383 GW(+27%),风电增约 159 GW;核电装机仅微增,在运容量甚至略降。
4 / 25必读🔥 221 · 💬 116

黄金成美国头号商品出口

报道称非货币黄金跃居美国商品出口首位;讨论指向回收料、瑞士精炼瓶颈与宏观政策反讽。(原文抓取失败,事实以标题与 HN 讨论为准。)

出口榜被黄金占住,说明「再工业化」叙事与真实货物流可能错位;做跨境与大宗相关产品,要把精炼产能与避险需求当硬约束。

要点

  • HN 标题与讨论:黄金(非货币)成为美国顶级商品出口;以往常见的是石油、药品、飞机等。
  • 评论称多数出口流向瑞士,高度疑似精炼环节;全球精炼接近满负荷,美国精炼商在限购、拒新客户。
5 / 25必读🔥 80 · 💬 76

Chrome 与 Edge 将移除 XSLT:什么会坏

浏览器要拿掉客户端 XSLT;依赖 XML+样式表出报告、拼页头的老栈面临迁移。(原文抓取失败,据标题与讨论整理。)

平台减法一旦发生,二十年「能跑」不等于「能留」;关键渲染路径别再赌唯一冷门浏览器 API。

要点

  • 议题:Chrome 与 Edge 移除 XSLT;文章定位是盘点「会坏什么、不会坏什么」。
  • 讨论中仍有人用 XSLT 做后端 XML→HTML 报告(用了二十多年),关心替代模板能力是否够。
6 / 25必读🔥 158 · 💬 133

爱沙尼亚网投系统 IVXV 源码公开可审

官方把用于选举的 IVXV 在线投票代码放到 GitHub 供公众审阅;开发仍由国家选举办公窒监督,仓库非日常开发主场。

「开源可审」降低的是黑盒成本,不是信任完备;电子选举产品要把可验证与事后审计写进设计,而不是只贴合规徽章。

要点

  • 仓库 valimised/ivxv:意图是让爱沙尼亚在线投票源码可被公开审阅,并与实际选举所用代码保持同步。
  • 说明写明:非活跃开发主仓;立法约束下,I-voting 与验证应用开发由国家选举办公窒监督。
7 / 25必读🔥 221 · 💬 26

Pele:Mermaid 渲成可换肤 SVG,比 Mermaid.js 小而快

开源库把 Mermaid 语法渲染为 SVG,用 CSS 变量换主题;宣称零依赖、体积约小 6 倍、渲染可快数百倍;为 Obsidian 而生。

文档和笔记产品里,图要快、要跟主题走;把布局引擎做瘦,比继续堆 JS 主题配置更划算。

要点

  • Pele:Mermaid → SVG;主题用 CSS 变量(改色无需重渲)。
  • 对比宣称:gzip 约 230KB vs Mermaid.js 约 1.6MB;渲染约 0.05–0.3ms vs 6–82ms;直接依赖 0 vs 23。
8 / 25必读🔥 249 · 💬 52

Furifont:假名注音做进字体本身

Anthony Fu 的实验字体:用字体机制(连字等)让日文汉字自动带出假名注音,无需额外标注层。

把阅读辅助做进字体很酷,但汉字读音高度依赖语境;产品上更适合学习玩具,而不是严肃排版默认。

要点

  • 站点 furifont.antfu.me:一款「自己会显示 furigana(假名注音)」的日文字体实验。
  • 实现思路被讨论称为对字体连字(ligature)等特性的「有用滥用」:字形层直接带出注音。
9 / 25扫读🔥 303 · 💬 67

漂白珊瑚贴上健康邻居,数日可复色

实验室里漂白珊瑚片段与健康片段接触后,可通过组织桥接获得共生藻,几天到数周内恢复。

局部「接触疗法」证明恢复可以很快,但规模化与热浪复发仍是另一道题。

要点

  • Nature 新闻报道 Science Advances 研究:漂白与健康珊瑚片段接触后可快速、较完全恢复。
  • 机制:接触处形成组织桥,共生微藻(Symbiodiniaceae)扩散进入漂白组织。
10 / 25扫读🔥 179 · 💬 49

美国东北部拆坝,鱼类正在回来

史密森报道:东北众多小型老化坝拆除后,鲱鱼等洄游鱼显著回归;西海岸大坝更出名,东海岸是「千刀拆坝」。

生态恢复经常是拆掉过期基础设施,而不是再堆新装置;政策产品要会算「维持旧坝」的真成本。

要点

  • 文章聚焦美国东北溪流中小型、常已过时的坝被逐个拆除,鲱鱼等回归。
  • 对比西部大型拆坝新闻;东部是大量小障碍累积效应。
11 / 25扫读🔥 138 · 💬 23

antirez 的 C64 主板级硬件模拟器

按 ASSY 250407 主板逐针模拟:可拔芯片、翘脚、对地/对 5V 短路,观察屏幕与总线结果;用于学习与修机推理。

真·故障模拟比「能玩游戏的模拟器」更稀缺;修硬件的产品思维是:用假设驱动最少拆焊。

要点

  • c64-hw-sim:模拟 C64 主板网表与芯片管脚行为;损坏表现由电路算出来,不是预置「坏机皮肤」。
  • 用途:深入理解机器;对坏机做假设仿真,减少盲目拆焊。
12 / 25扫读🔥 40 · 💬 24

Haskell Kind:类型的类型

作者在给 Redis 克隆加类型化配置时梳理 Kind:从值、类型到高阶类型与自定义 Kind。

配置与 API 一旦要「类型参数再参数化」,Kind 就是在问编译器这张表的表头;多数业务语言用接口/泛型凑合。

要点

  • 文章路径:Values → Types → Kinds → 高阶类型/数据 → 自定义 Kind。
  • 动机来自 Haskell Redis 克隆的类型化配置实践。
13 / 25扫读🔥 249 · 💬 65

用 Dorito 黄染料把鸡胸泡到半透明

业余复现论文:酒石黄(tartrazine,玉米片常见色素)溶液浸泡鸡胸,可提高透明度;作者得到部分透明。

吸光染料改折射率让组织「更像一块糖」——演示科学可以很脏很厨房,但浓度与安全是硬边界。

要点

  • 灵感来自让活体组织光学透明的论文;作者用约 0.19 M 酒石黄、室温 6 小时泡约 2mm 鸡胸。
  • 效果:网格背景隐约可见,质地仍像肉但看起来像软糖;原论文浓度/温度/摇床更高。
14 / 25扫读🔥 80 · 💬 23

Show HN:高质量鸭子叫声合成器

浏览器小池塘:多只绿头鸭走位,所有叫声实时合成、按听者位置空间化,无录音采样。

互动玩具也能把「合成 + 空间音频」做到立刻可感;音频产品演示胜过参数表。

要点

  • The Duck Pond:三雌两雄加两窝幼鸭;扔豌豆互动;支持耳机与距离环。
  • 明确:无录音,每声即时合成,从岸边听者位置出声。
15 / 25扫读🔥 142 · 💬 62

我加入了日本国籍

长期居住者记叙入籍:材料极繁、流程不透明、耗时长,且原则上需放弃原国籍。

主权国家的身份产品设计可以故意「难且主观」;想办的人应以官署当面为准,别以博客当清单。

要点

  • 作者描述法务局咨询、海量证明(父母出生证明、几乎全部住址史等)与至少约一年周期。
  • 日本原则上不承认双重国籍,常要求弃籍证明。
16 / 25扫读🔥 43 · 💬 10

低成本激光故障注入:打穿 RP2350 安全启动

自制红外激光故障注入台,在 RP2350 Hacking Challenge 中绕过 Secure Boot;文含平台细节与制造文件。

芯片「安全启动」对抗的是远程软件对手,不是带激光的人;安全模型写进产品说明时要诚实。

要点

  • 树莓派 RP2350 带 Secure Boot;DEFCON 2024 相关挑战赛鼓励攻击。
  • 作者自研激光故障注入平台,用单次故障等场景绕过安全启动,并披露给树莓派。
17 / 25扫读🔥 9 · 💬 2

逐步拆解 PNG 解码(2022)

老文重翻:从签名、分块、IHDR 到 IDAT 压缩与滤波,一路展示十六进制。

文件格式最好的教材是「跟一个真实文件走完」;做上传/图片产品的人值得走一遍。

要点

  • 按 chunk 讲解:签名、IHDR、gAMA、cHRM、pHYs、tIME、bKGD、IDAT 等。
  • 解释 chunk 名大小写含义(关键/附属、公有/私有、是否安全复制)。
18 / 25扫读🔥 64 · 💬 27

Codex Desktop:Crashpad 待传崩溃包无限涨盘

GitHub issue:macOS 上 pending Crashpad dump 持续生成,可达每天 +5GB 以上,占满磁盘。

代理桌面端若默默写崩溃目录,伤害和模型质量无关却一样能逼人卸载;可观测性要包含磁盘预算。

要点

  • openai/codex #25921:Crashpad pending 目录无限增长,报告称至少约 +5GB/天。
  • 期望:崩溃报告应有界、应上传/轮转;实际:应用仍可用但本地堆积。
19 / 25扫读🔥 122 · 💬 11

Show HN:Esp32sim——浏览器里跑真 ESP32 固件

Rust 写的指令级模拟:Xtensa(ESP32/S3)与 RISC-V(C3/C6),引导真实 ROM/引导加载/应用;可 WASM 上浏览器,MIT。

IoT 协作最贵的是等板子;「真固件进浏览器」让手机与云端同学先动起来,比假 API 桩真一个数量级。

要点

  • 支持多 SoC:经典 ESP32、S3、C3、C6;跑未改包装的应用镜像。
  • 外设与板级:显示、Wi‑Fi 虚拟 AP/NAT、部分传感器等;S3 较成熟,C3/C6 仍 draft。
20 / 25扫读🔥 51 · 💬 19

JDK 28 打开:值对象、分代 Shenandoah、简易 JSON…

OpenJDK 28 主线可合入;已瞄准 JEP 含 Value Objects 预览、Shenandoah 默认分代、Strict 字段初始化、Simple JSON API 等。

Java 发版节奏稳定后,产品要问的是「新语义能否减样板」而不是「还要不要上 JVM」。

要点

  • JDK 28 为 Java SE 28 参考实现(JSR 403);已有 EA 构建。
  • 已瞄准 JEP 包括:401 Value Objects(预览)、535 Shenandoah 默认分代、539 严格字段初始化、540 Simple JSON API(孵化)、结构化并发、AOT、ZGC 启动/自适应等。
21 / 25扫读🔥 3 · 💬 0

Vacuula:自建服务救活 Neato 扫地机

开源自建服务端,让断云的 Neato 机器人恢复控制;支持多代 D 系列,地图与日程等可用。

硬件订阅化的反制是社区协议实现;买机器人等于买「云在不在」的风险。

要点

  • Vacuula:面向 Neato 的自定义服务器/控制;Gen3/Gen4 多型号已勾选支持。
  • 功能表:建图、历史、日程、禁区等已有;Home Assistant 等仍在路上。
22 / 25扫读🔥 1 · 💬 0

Artie(YC S23)招企业销售与高级工程师

实时数据流公司招 SF 现场:Product Engineer、Senior SWE、Enterprise AE 等。

招聘帖本身是市场信号:数据移动/CDC 仍在加人头。

要点

  • Artie careers:实时数据流;开放约 5 个岗位,均为旧金山现场全职。
  • 工程与销售都有;产品对标文案里常见 Fivetran/Debezium/DMS 等。
23 / 25扫读🔥 43 · 💬 8

Show HN:Parin——D 语言的中量级 2D 引擎

介于 raylib 与 Godot 之间:代码驱动、可 GC 可手动、自带动画/对话/瓦片等;支持桌面与 Web。

引擎选择是「要多少规矩」:Parin 赌一小撮默认 + 少架构强迫,适合喜欢自己搭骨架的人。

要点

  • D 语言 2D 引擎;dub init -t parin 可快速起项目。
  • 特性:像素物理、对话、图集动画、瓦片、简易 UI(WIP);可带 Box2D/Steamworks 等。
24 / 25扫读🔥 82 · 💬 41

怀疑论者的 Kubernetes 初接触(2024)

资深运维写下:避开 K8s 多年后补课,强调控制回路与工作负载抽象,并吐槽 Helm 字符串模板等。

K8s 的价值不在名词图,而在「控制器把期望刷成事实」;上架前先问自己是否真要买这套控制回路。

要点

  • 作者因物理位置强约束长期避开 K8s,后系统补课并写概念取舍。
  • 他认为关键是控制回路(Controller)与工作负载模型,而非又一张 Pod/Node 示意图。
25 / 25扫读🔥 124 · 💬 9

航海游戏里的漂亮天空:多重散射查找表

Around The World 开发日志:自写蒙特卡洛光线步进,修正云散射 LUT,去掉「金属云」观感。

画面「差点意思」时,往往是物理模型少了一项;小工具验证比继续调参更省命。

要点

  • 系列第 34 篇:海天云合成后仍不满意,追到云散射查找表。
  • 怀疑 povray LUT 缺多重散射,自写小型多线程蒙特卡洛验证并换新表。

0 / 25