2957 分
DeepSeek 发布 V4.1-Flash-1017，提升推理与智能体性能
DeepSeek 发布了 V4.1-Flash 模型的微调更新，重点在于提升推理、编程和智能体任务的性能，同时降低执行时间和成本。
阅读全文 →
5659 分
神经网络如何存储记忆：从 Transformer 架构的角度看
一项新的分析探讨了神经网络层如何作为关联记忆发挥作用，并指出从线性层到 Transformer 的演变可以被理解为抑制记忆干扰的进步过程。
阅读全文 →/https://tf-cmsv2-smithsonianmag-media.s3.amazonaws.com/filer_public/5a/22/5a227d41-20eb-46fb-8ddb-e2375565a170/transition3-little-dams.jpg)
7408 分
Furifont：一种利用连字显示振假名（Furigana）的日语字体
Furifont 是一款专门的日语字体，利用字体连字功能自动在汉字上方显示振假名（音读）。虽然它为在难以实现传统 Ruby 标签的环境中帮助日语学习者提供了一种新颖的方法，但在处理日语发音的上下文相关性方面，它仍面临重大的技术障碍。
阅读全文 →
8352 分
利用 Dorito 碎屑让鸡肉变透明
一项物理实验表明，将鸡胸肉浸泡在含有柠檬黄（tartrazine）的溶液中——这也是 Doritos 芯片中含有的同一种染料——可以通过使水的折射率与蛋白质和脂质的折射率相匹配，从而使生物组织变得半透明。
阅读全文 →
10237 分
模拟 Commodore 64：基于引脚级的硬件模型
一款全新的硬件模拟器对 Commodore 64 进行建模，在引脚级别上模拟主板的电气连接和芯片行为，允许用户模拟引脚脱落或电阻断开等硬件故障。
阅读全文 →
11206 分
Esp32sim：用于 ESP32 固件的开源仿真器
Esp32sim 是一个基于 Rust 的仿真器，允许开发者在无需物理硬件或云端订阅的情况下，在本地或 Web 浏览器中运行真实的 ESP32 固件。
阅读全文 →
12382 分
Paper Instruments 发布 Ultramarine 1 Flash，助力专业知识工作
Ultramarine 1 Flash 是一款专为金融和法律等专业任务设计的智能体模型，通过利用不可验证的强化学习，以显著低于主要竞争对手的成本提供高质量输出。
阅读全文 →13175 分
Codex 桌面应用程序因 Crashpad 转储文件导致磁盘空间无限增长
macOS 上的 Codex 桌面应用用户报告了一个 Bug，该应用的崩溃报告系统 Crashpad 会持续生成待处理的内存转储文件。即使应用程序仍可正常运行，此行为也可能导致本地磁盘占用每天增加数 GB。
阅读全文 →
14377 分
巴特勒利耶德：《沙丘》宇宙中的技术倒退
巴特勒利耶德是弗兰克·赫伯特《沙丘》宇宙中的核心历史事件，其特征是针对“思考机器”的十字军战争，导致了彻底的技术倒退和对人工智能的禁令。
阅读全文 →
16520 分
DeepSeek 发布支持原生视觉和 KV 缓存压缩的 V4.1 Flash 1017
DeepSeek 发布了 V4.1 Flash 1017 快照，这是一个采用因果编码器-解码器（Causal Encoder-Decoder）架构的稀疏混合专家模型，具备原生图像理解能力，并针对智能体工作负载进行了显著的内存优化。
阅读全文 →
17162 分
在《Around The World》中渲染真实的蓝天与云朵
开发者 Thomas ten Cate 详细介绍了在其探索类游戏中渲染真实大气效果的技术挑战，包括云层的多重散射、间接光采样以及修正地平线伪影。
阅读全文 →
1897 分
使用 Lean 4 构建全栈 Web 应用
一名开发者成功使用 Lean 4 完全构建了“RealWorld”——一个参考级的全栈应用程序。Lean 4 是一种通常作为证明辅助工具使用的函数式编程语言。该项目表明，虽然 Lean 的生态系统正随着新的数据库和 HTTP 处理库而日益成熟，但它通过形式化验证为“通过构造实现正确性”提供了独特的优势。
阅读全文 →19234 分
爱沙尼亚发布在线投票系统源代码
爱沙尼亚政府在 GitHub 上发布了其在线投票系统的源代码，旨在促进公众审查和透明度，引发了关于开源透明度与保障数字选举技术挑战之间的平衡讨论。
阅读全文 →
20971 分
OpenCode Console 安全漏洞影响用户凭据
OpenCode 报告了一起涉及大规模蒸馏攻击的安全漏洞，影响了 1.4% 的 OpenCode Console 用户，可能导致 OpenAI 和 Anthropic 等服务的个人 API 密钥泄露。
阅读全文 →
2194 分
安全研究人员提取并分析 Eufy HomeBase 2 固件
来自 Adepts of 0xCC 的研究人员详细介绍了从 Eufy HomeBase 2 设备中提取固件的过程，其中包括硬件去焊以及对 Wi-Fi 凭据算法的逆向工程。
阅读全文 →
22145 分
怀疑论者的 Kubernetes 架构初探
一名系统工程师对 Kubernetes 的探索揭示，其核心价值在于“控制循环”架构，该架构通过不断将集群的当前状态与用户定义的期望状态进行对齐来管理工作负载。
阅读全文 →
23337 分
MapQuest 在地图应用中增加监控摄像头图层
MapQuest 在其应用中引入了一个新的可切换图层，用于显示户外监控摄像头和车牌识别器的位置，其中包括来自 Flock 和其他主要制造商的设备。
阅读全文 →
24134 分
Lingua Franca：一种用于确定性并发的协调语言
Lingua Franca 是一种协调语言，旨在通过反应式范式消除手动同步和竞态条件，从而简化多线程和分布式系统的开发。
阅读全文 →
2651 分
利用 Hirschberg 背包算法优化 PyTorch 内存规划
一种全新的 PyTorch 内存预算求解器 `dp_knapsack_sliding_hirschberg` 通过结合滑动窗口技术与 Hirschberg 算法来解决 0/1 背包问题，可将峰值 RAM 占用降低高达 20 倍。
阅读全文 →
2766 分
低成本激光故障注入平台绕过 RP2350 安全启动
一个定制的低成本激光故障注入平台通过直接针对硅晶圆，成功绕过了 Raspberry Pi RP2350 微控制器的安全启动功能。
阅读全文 →
2975 分
Parin：为 D 语言打造的代码驱动型 2D 游戏引擎
Parin 是专为 D 编程语言设计的 2D 游戏引擎，定位在 raylib 等底层库与 Godot 等全功能引擎之间的中间地带。它强调代码驱动的架构、灵活的内存管理，并基于 Joka 工具库构建了模块化基础。
阅读全文 →
30122 分
Chrome 和 Edge 将弃用 XSLT 支持
Google Chrome 和 Microsoft Edge 正计划移除对 XSLT 的支持。XSLT 是用于将 XML 文档转换为 HTML 等格式的长期技术。虽然一些开发者认为这是摆脱过时技术的必要举措，但也有人指出，在 RSS 订阅源和模块化 Web 组件等特定用例中，目前尚缺乏直接且无缝的替代方案。
阅读全文 →