1551 分
软件的“灵魂”：在自动化生产时代，直觉为何至关重要
Linear 的 Karri Saarinen 认为，高质量软件是由其创作者独特的视角和直觉定义的。他警告称，AI 驱动的“软件工厂”的兴起可能会导致产品变得碎片化且仅是功能的堆砌，从而缺乏统一的愿景。
阅读全文 →
2443 分
RepRapMicron：通过精密柔性系统探索微制造
RepRapMicron 项目展示了一种用于微制造的高精度计算机控制柔性运动系统。虽然该技术为制造微型零件和螺丝提供了路径，但在材料缩放和微型机械固有的局限性方面面临着重大的工程障碍。
阅读全文 →
3603 分
DeepSeek 发布用于智能体工作流的 Search 和 Fetch API
DeepSeek 推出了专门的 Search 和 Fetch API，旨在为大语言模型 (LLM) 和检索增强生成 (RAG) 应用提供低廉的单次请求成本，直接获取实时网络内容。
阅读全文 →
4554 分
人工智能时代数学领域的变迁景观
数学家兼教育工作者 Grant Sanderson (3blue1brown) 认为，人工智能的兴起为人类探索数学新前沿提供了独特机遇，而社区讨论则强调了对“手艺”流失以及数学权力中心化的担忧。
阅读全文 →
6517 分
混合推理智能体：在潜空间中思考的 LLM 智能体
研究人员开发了混合推理智能体（HybridAgents），这是一类可以在内部“潜空间”推理与外部基于文本的交互之间切换的新型 LLM 智能体。该架构旨在将潜空间思考的高效性与传统基于文本的智能体的工具访问能力相结合。
阅读全文 →
7411 分
关于伊丽莎白·霍姆斯纪录片的叙事机制
一部关于伊丽莎白·霍姆斯和 Theranos 的新纪录片正被分析其如何利用电影技术——如镜头角度、剪辑和信息排序——来操纵观众的感知，并展示观众如何轻易地受到叙事框架的影响。
阅读全文 →
8346 分
研究发现狗也拥有人类的“Bouba/Kiki”声音与形状关联
一项新研究表明，家犬可能拥有通用的声音到形状的认知映射，具体表现为将圆润的声音与圆润的形状联系起来，将尖锐的声音与尖锐的形状联系起来。
阅读全文 →
9221 分
开源亚微米级3D运动控制平台面
Open Micro-Manipulator 项目提供了一个开源、低成本的电机驱动 XYZ 运动控制平台，能够实现亚微米级的精度，适用于显微镜观察和光学对准等应用。
阅读全文 →
10691 分
用户报告 Namecheap 域名被查封及支持问题
一系列报告和讨论凸显了用户对 Namecheap 域名管理的担忧，包括账户被查封、自动标记以及私募股权所有权对客户支持的影响。
阅读全文 →
11464 分
纽约众议员提出法案，要求游戏所有权优先于授权许可
拟议的《赋予玩家权力法案》旨在要求视频游戏发行商向消费者提供实际的所有权而非可撤销的许可，同时要求在服务器关闭后提供功能齐全的离线模式。
阅读全文 →
12188 分
Java 的密封类与穷举模式匹配机制
Java 17 引入了密封类（sealed classes）和接口，用于限制哪些类型可以继承或实现基础类。此功能支持 switch 表达式中的穷举模式匹配，允许编译器在无需 default 子句的情况下验证所有可能的情况均已处理。
阅读全文 →
13206 分
Free Pascal 编译器新增完整动态包支持
Free Pascal Compiler (FPC) 和 Lazarus IDE 推出了完整的动态包支持，允许开发者在无需重新构建整个 IDE 或应用程序的情况下安装组件和插件。
阅读全文 →
14252 分
Sphinx：旨在测试开发者对 AI 生成代码理解能力的 Git Hook
Sphinx 是一种新型 Git hook，它在推送过程中介入，确保开发者理解其 AI 代理生成的代码。通过针对边缘情况和逻辑提出特定问题，它旨在防止“盲目发布”由 AI 辅助编写的代码。
阅读全文 →
16159 分
复古游戏移植：PalmOS 版 Lemmings
一个 GitHub 仓库现已公开，其中包含经典益智游戏 Lemmings 的克隆版，该版本已移植到 PalmOS，这是一个经典的移动操作系统。该项目突显了人们对“复古”软件工程的持久兴趣，以及对小众硬件历史的保护。
阅读全文 →
17204 分
Lean 证明助手引入经过验证的内核以对抗 AI 驱动的漏洞
Lean 证明助手发布了 4.35.0 版本，其中包括多个“经过验证”的内核。这些内核旨在提供更高水平的安全保障，确保用于检查数学证明的核心逻辑本身是形式一致的，并降低被 AI 智能体发现的错误或漏洞的风险。
阅读全文 →
18281 分
KillSwitch：一种旨在对抗大语言模型的晦涩语言
Dominik Picheta 开发了 KillSwitch，这是一种基于栈的编程语言，专门通过利用大语言模型（LLMs）特定的架构弱点来对抗 LLMs 和代码智能体。
阅读全文 →
20183 分
Teal：一种用于 Lua 的静态类型方言
Teal 是一款将静态类型引入 Lua 编程语言的转译器，其功能类似于 TypeScript 与 JavaScript 的关系。该项目旨在提供类型安全，同时保持 Lua 的轻量级特性。
阅读全文 →
21101 分
Broadcom WiFi 漏洞影响全球数百万台路由器
Broadcom 专有 WiFi 实现中存在的一个长期漏洞允许在数百万台路由器上执行远程代码。尽管早在 2018 年就已知有修复方案，但许多制造商和 ISP 未能部署更新，导致设备暴露在未经身份验证的攻击中。
阅读全文 →
22126 分
深入了解 Intel 8087：微代码如何处理浮点运算
通过对 Intel 8087 内部电路和微代码的分析，揭示了这款 1980 年代的芯片如何通过位移器和前导零检测器等专用硬件，在浮点加法和减法运算中实现显著的性能提升。
阅读全文 →
23116 分
理解 Haskell 的 Kind 系统和高阶类型
Haskell 的 Kind 系统提供了一种对类型层面的构造进行分类的方法，从而实现了“高阶类型”（HKTs）。这允许开发者不仅抽象具体的数值，还能抽象如 'Maybe' 或 'Either' 等类型构造器。
阅读全文 →
24231 分
法律专家警告：Meta 修订后的条款仍授予广泛的抓取权限
尽管 Meta 从其新的服务条款中删除了“训练”一词，但其更新后的商业条款仍允许广泛抓取与商业账户相关的网站内容，以开发“商业产品”。
阅读全文 →
25229 分
数学领域的“危机”：Terence Tao 谈 AI 与发现感的丧失
著名数学家 Terence Tao 描述了数学领域正处于一种“战时状态”，因为 AI 模型开始解决复杂的数学问题，这可能会剥夺人类探索过程中的发现体验以及寻找解决方案的过程。
阅读全文 →
26136 分
SIGSALY：第二次世界大战中的秘密跨大西洋热线
在第二次世界大战期间，美国和英国利用 SIGSALY 这套尖端的安全电话系统，促进了温斯顿·丘吉尔和富兰克林·D·罗斯福等领导人之间的私人通信。
阅读全文 →
27132 分
Valen 的反向借用检查器：内存安全的新方法
Valen 编程语言正在实验一种独特的借用检查器，通过反向扫描函数逻辑来验证内存安全。这种方法旨在比传统的正向扫描方法更有效地简化 use-after-free 错误的检测，并处理复杂的循环行为。
阅读全文 →
28292 分
macOS 15.8.2 中 OpenGL 故障的报告
Apple 开发者论坛上的一个错误报告表明，macOS 15.8.2 中的 OpenGL 功能可能已损坏，一些观察者将此情况归因于 Apple 对该 API 长期以来的弃用政策。
阅读全文 →3065 分
Vacuula：用于修复旧款 Neato 扫地机器人的自定义服务器
Vacuula 是一款全方位软件解决方案，旨在通过为旧款型号提供自定义服务器和配置工具，来修复并控制“僵尸”状态的 Neato 扫地机器人。
阅读全文 →