11043 分
Anthropic 发布 Claude Haiku 5.5，定位为最快且最具成本效益的小型模型
Anthropic 推出 Claude Haiku 5.5，将其定位为其产品线中最便宜、最快且最强大的小型模型。该模型在大幅降低价格的同时，提升了知识工作、计算机使用、推理和编码基准测试的性能，并新增了可调节的努力设置，使用户能够在成本和智能之间取得平衡。
阅读全文 →
22107 分
玛格丽特·汉密尔顿，阿波罗软件先驱，享年90岁
玛格丽特·汉密尔顿领导了负责开发NASA阿波罗任务载舱飞行软件的团队，她在90岁时去世。她在优先驱动软件和防御性编程方面的创新对登月任务的成功至关重要。
阅读全文 →
3706 分
Bigwords.page 仅通过 URL 将任何浏览器变为全屏显示牌
Bigwords.page 通过将所有内容编码在 URL 片段中，让您无需账户、后端或服务器存储即可创建用于消息、计时器或标牌的全屏显示。
阅读全文 →
4753 分
OpenAI 发布具有交互式智能 UI 的 GPT-6，用于 ChatGPT
OpenAI 已为 ChatGPT 推出 GPT-6 模型，引入了智能 UI，使响应能够在文本旁边呈现交互式图形、按钮和表单。该更新通过思考期间的即时回答提高了响应速度，并增强了安全性，先向付费用户推出，随后向免费用户推出。
阅读全文 →
5571 分
Chrome 155 添加基于 Rust 实现的 JPEG XL 解码支持
Chrome 155 为 JPEG XL 图像格式添加了解码支持，相比 JPEG 提供 30‑50% 更好的压缩率，支持无损压缩、HDR 和渐进式解码。该解码器基于纯 Rust 实现（jxl‑rs），消除了内存不安全的漏洞，同时通过 SIMD 优化提升性能；这一决定受到通过 Interop Project 的开发者反馈的影响。
阅读全文 →
7601 分
Visa、Mastercard及主要银行因信用卡费用面临新的反托拉斯诉讼
圣地亚哥的一家披萨店提起的集体诉讼指控Visa、Mastercard及美国多家最大银行通过涉及互换费的反竞争行为，人为抬高商户接受信用卡支付的费用。
阅读全文 →8302 分
Docker Agent：用于构建和共享隔离 AI Agent 的声明式 YAML 框架
Docker Agent 让开发者可以用 YAML 定义 AI Agent，为其配备 MCP 工具，在本地或 OCI 仓库中运行，并可选择在 Docker 沙箱中执行以实现隔离。
阅读全文 →
10234 分
雷丁住宅下的地下隧道网络标价30万英镑出售
一名土木工程师在其蒂尔赫斯特房产下方花费二十年挖掘15米深的隧道现已出售，具备地下铁路、秘密入口以及超过1300平方英尺的地下空间。
阅读全文 →
11346 分
纳维-斯托克斯方程在翻译中丢失：为什么AI生成的数学证明可能无法反映原始论点
最近的一篇论文认为，将自然语言数学证明翻译成如Lean这样的形式语言的过程充满歧义，以至于即使经过Lean验证的AI生成证明也可能无法准确反映原始的自然语言论点，该文以OpenAI声称的纳维-斯托克斯方程爆炸问题的证明作为案例研究。
阅读全文 →
13406 分
重新创建的 Commodore 64 键帽字体将复古计算机排字带入现代使用
从复古键帽照片中忠实重现了原始 Commodore 64 键盘字母，为设计师和爱好者提供了适用于当代项目的真实 1980 年代计算机字体。
阅读全文 →
15395 分
数学末日：AI生成的证明洪流席卷数学
斯科特·阿伦森的博客描述了OpenAI模型突然释出372项声称的数学突破，包括独特游戏猜想的证明以及在去随机化、量子复杂性和算法方面的进展，同时指出这些证明目前对人类读者来说是不透明的，需要AI辅助才能验证。
阅读全文 →
16238 分
机器如何学会精度、summary:
本文追溯了工业革命期间精密工程的发展，重点介绍了约翰·威尔金森的镗床、亨利·莫德斯莱的滑枕和螺纹车床以及约瑟夫·惠特沃斯的百万分之一英寸测量和三板法，展示了每一步如何使机械部件的精度不断提高。
阅读全文 →
17303 分
2026年诺贝尔化学奖表彰分子不对称控制的发现
Henri B. Kagan 和 Kenso Soai 获得 2026 年诺贝尔化学奖，以表彰他们在非线性效应和自催化方面的开创性工作，这使得生产单一镜像异构体的分子成为可能，这对药物开发至关重要。
阅读全文 →
18284 分
Strands Decider 2B：用于快速智能体工作流的紧凑型开源决策模型
Strands Agents 发布了 Strands Decider 2B，这是一个 20 亿参数的决策模型，它用指针头替换了语言模型头，以对预定义选项进行评分。该模型提供低延迟决策、置信度分数，并定位于智能体系统中的路由、工具选择和防护栏等任务。
阅读全文 →
20240 分
Penguin Mail 为 Linux 带来基于 Rust 的电子邮件和日历，附带可选 AI 助手
Penguin Mail 是一款用 Rust 编写的面向 Linux 的开源电子邮件和日历客户端，提供适用于 Gmail、Microsoft、IMAP/POP3 账户的统一收件箱，采用本地数据存储，并提供可选的 AI 助手，该助手可通过 LM Studio 或 Ollama 在用户本地机器上运行。
阅读全文 →
21375 分
Meta 和 Microsoft 缩减内部 Claude AI 使用，同时投资专有替代方案
尽管这两家科技巨头正在显著减少员工对 Anthropic Claude AI 的访问，因为他们正在转向内部编码工具，但他们仍然是该 AI 提供商的主要外部客户。
阅读全文 →
22369 分
AnyPS5 通过原生库移植实现在 PC 上运行 PS5 游戏
AnyPS5 是一个开源项目，通过实现 PlayStation 5 的系统库并使用重链接器转换游戏二进制文件，将 PS5 可执行文件移植到 Linux 和 Windows 上原生运行，实现无需模拟的兼容。
阅读全文 →
23244 分
开发者面临日益加剧的职业不安全感、倦怠和AI焦虑的2026年调查
2026年开发者状态调查揭示了软件开发人员中普遍存在的职业不安全感、倦怠和对AI的观点分化，超过一半的人经历过倦怠，近一半的人预计因不可控的因素而在未来五年内换工作，这反映了科技行业的日益不稳定。
阅读全文 →24192 分
ESP32-C3 Adblock：基于哈希的 DNS 过滤在 2 美元微控制器上
一个 GitHub 项目展示了如何在约 2 美元的 ESP32-C3 微控制器上实现类似 Pi-hole 的 DNS 广告拦截器，将 537,000 个域名存储为 40 位哈希值在 flash 中，以避免 PSRAM 需求，同时保持约 10 毫秒的查询时间。
阅读全文 →
25149 分
拆除八十年历史炸弹的精准与危险
2026年1月，德文郡同一天发现了两枚未爆炸的二战炸弹，爆炸物处理专家面临评估已劣化的引信以决定是移动设备还是原地引爆的关键挑战——这一过程因八十年的腐蚀和环境暴露而变得越来越困难。
阅读全文 →
26162 分
谷歌推出 Playground：无代码游戏创作平台
谷歌推出了 Playground，这是一个实验性平台，使用户能够无需编码技能，通过自然语言提示来创建、游玩和分享自定义游戏。
阅读全文 →
27186 分
谎言的代价：罗伯特·克林格利的 Mineserver Kickstarter 如何陷入多年失信
对技术专栏作家罗伯特·X·克林格利失败的 Mineserver Kickstarter 项目的详细审视，该项目在 2015 年筹得超过 35,000 美元却未交付任何单位，揭示了一种日益升级的借口和失信模式，最终毁掉了他的信誉。
阅读全文 →28239 分
God of War PSP 游戏通过 WebAssembly 重新编译在浏览器中运行
一个 GitHub 项目展示了如何通过静态重新编译 MIPS 代码为 WebAssembly，使用 PSP 操作系统的高层仿真层和 WebGL2 渲染器，使得 PSP 游戏可以直接在网页浏览器中运行，实现诸如《战神》之类作品的可玩帧率。
阅读全文 →
29156 分
理解 Codemode：Harness‑Side 脚本用于 LLM 代理编排
Codemode 提供了一个 harness‑side JavaScript 沙盒，使 LLM 代理能够编排工具调用、保留结构化输出并持久化状态，而不会占用模型的上下文窗口。
阅读全文 →
3080 分
随机选择中取模偏差的陷阱，https://antithesis.com/blog/modulo-bias
使用简单的取模操作从列表中选择随机项会导致概率偏斜，这一微小错误称为取模偏差。博文解释了为什么 random_u64() % n 无法给出均匀概率，用小例子演示了这种扭曲，并主张使用更高级的 API，如 random_between 或带权重的 random_choice 来避免此错误。
阅读全文 →