每日摘要 · Hacker News
· 85 黑客新闻
Nvidia 正式推出 CUDA Rust，填补了 Rust 生态中无法直接编写 GPU 内核的最后一块拼图。此前，虽然 Nova Linux 驱动和 NVIDIA Dynamo 等核心组件已转向 Rust，但 GPU 内核仍需依赖 C++ 或 Python。现在，开发者可以通过 SIMT 和 Tile 两条路径，直接在 Rust 中编写高性能内核并原生编译为 PTX。SIMT 路径提供底层线程…
Ursula von der Leyen在European Parliament发表讲话，明确表示支持Canada成为EU首个'associate member'。这一提议旨在深化双方在AI、气候变化及地缘政治等关键领域的合作。面对与US紧张的关系及Donald Trump政府的关税压力，Canadian Prime Minister Mark Carney正寻求与EU建立'unique all…
查询优化器真的足够聪明吗？尽管十年间研究不断，Postgres的优化器在复杂场景下仍显力不从心。我尝试训练一个4B参数量的模型，通过监督微调（SFT）和代理强化学习（RL），让它生成比Postgres默认方案更快的查询计划。实验结果令人振奋：在113个复杂连接查询中，该模型实现了44.7%的延迟降低，甚至在99个原本无法生成计划的案例中成功输出。我们构建了专用的Postgres测量环境，设计了抗…
- ▲ 641那些让编程效率倍增的小技巧
日常工程中，大量生产力其实源于那些不起眼的小知识：知道某个语言特性的存在，明白 TCP 延迟可能与 Nagle’s algorithm 有关，或是掌握一条能解困的 git 咒语。我不需要精通 Python 就能用 `python3 -m http.server` 快速启动服务，这些低门槛的技巧却能显著提升工作体验。从用 `fzf` 和 `atuin` 增强终端历史搜索，到利用 `git log…
Mistral 与 Mozilla 正式宣布合作，将 Mistral 的开源模型引入 Firefox Smart Window，为法国和北美用户提供隐私优先、多语言支持的 AI 浏览体验。这次合作强调开放技术与用户控制权，确保 AI 交互数据默认不存储，并针对区域语言和文化进行模型微调，让全球用户都能获得更懂本地语境的智能助手。双方致力于打破单一公司的技术垄断，让浏览器成为多元 AI 服务竞争的…
黑客组织成功入侵了一台Flock摄像头并提取了其内部数据。泄露的文件包含数千个视频和日志，显示该设备在短短21天内拍摄了160万张图片，涉及5万辆车辆。这些数据不仅揭示了Flock系统的工作原理，还引发了对隐私和监控技术的深刻担忧。尽管摄像头本身不进行面部识别，但其传输的图像可被服务器用于此类分析。这一事件再次提醒我们，智能监控设备背后的数据流动可能远超公众想象。
Xiami 刚刚发布了 Mimo 2.6 版本的实时强化学习训练仪表盘，公开展示了模型训练的详细动态。从数据流中可以看到，系统正在以极高的频率处理大量样本，实时统计 accepted、judged 以及 pass 率等关键指标。仪表盘记录了从 step 15 到 step 16 的完整训练过程，包括 partial 和 rewarding 样本的实时变化，以及 prewarm 阶段的 token…
在AI生成图像泛滥的当下，如何证明一张照片真实记录了事件？Apple推出了Apple Reference Image，率先在iPhone 18 Pro和iPhone 18 Pro Max上落地。这项技术不依赖事后添加的元数据，而是从传感器捕获瞬间就通过硬件加密签名，确保“语义真实性”。结合Private Cloud Compute，系统能在不泄露隐私的前提下处理图像，并采用抗量子攻击的签名算法。…
- ▲ 512AWS 中东设施遭袭，部分数据无法恢复
AWS 承认，受伊朗袭击影响，其中东地区设施的部分数据已无法恢复。这一消息引发了社区对云服务可靠性的激烈讨论。尽管 AWS 曾承诺 S3 服务具备 11 个 9 的持久性，但用户质疑在物理设施受损的极端情况下，EBS 卷等本地存储是否同样安全。这场风波不仅揭示了云服务商在应对地缘政治风险时的脆弱性，也提醒开发者：即使拥有多可用区架构，物理世界的冲击仍可能带来不可逆的数据损失。
这是一款独特的飞行模拟器，但这次你不需要驾驶飞机，只需化身乘客。Inflight Simulator 带你从全球任意机场出发，探索从 Copenhagen 到 Tokyo 的壮丽航线。项目加载了逼真的 Explorer jet 客舱纹理与起飞爵士乐，让你身临其境地感受云端旅程。无论是选择自动定位还是手动输入目的地，你都能享受一段放松的虚拟飞行时光，无需任何飞行执照，只需点击 Continue 即…
作为开发者，我最近遭遇了令人无法接受的状况：Google Play的应用审核周期如今经常超过一周。我理解审核管道被大量AI生成的垃圾内容堵塞，但Google理应优先处理那些运营超过12年且每月仅更新一次的成熟Android应用。这种低效不仅拖慢了迭代速度，更让长期维护者感到被忽视。在自动化本应提速的今天，为何连基础更新都要等待如此之久？这背后或许折射出平台对非广告驱动型应用的资源倾斜问题。
我曾以为把照片拷到移动硬盘就万事大吉，直到父亲误格式化导致全家照片差点永久丢失。这次教训让我意识到，备份远非简单的文件复制。从避免单点故障到应对 Ransomware，从设定 Recovery Point Objective (RPO) 到实施 GFS 轮转策略，再到利用 rsnapshot 进行增量去重备份，每一步都充满陷阱。Docker 容器权限、数据库一致性、S3 对象存储的元数据丢失以及…
- ▲ 335.NET 11：比十更响的性能升级
文章借用电影《This Is Spinal Tap》中“音量调到十一”的经典桥段，生动比喻 .NET 11 在性能上的突破。作者指出，.NET 11 并非虚构的夸张，而是通过移除边界检查、减少内存分配、优化 JIT 编译器中的去抽象（Deabstraction）以及利用 PGO 技术，实现了实实在在的加速。这些微优化累积起来，让运行时和库的速度显著提升。文章详细展示了 BenchmarkDotN…
传奇黑客 Andy 'TheFlow0' Nguyen 宣布退出 PS5 Linux 项目，原因直指开源社区被 AI 写代码的“小白”充斥。他曾花费多年心血打造能让 PS5 运行 Linux 和 PC 游戏的方案，甚至规划了 PS5 Pro 支持，但如今因大量开发者利用 LLM 生成自己都不理解的代码而心灰意冷。更令人痛心的是，这些所谓的“slop kiddies”利用 AI 发现了关键漏洞并上…
- ▲ 312别害羞，告诉演讲者你很喜欢
上周我在 SmashingConf Freiburg 度过了一段美好时光，但最让我触动的是会后一位参会者因害羞不敢向演讲者提问的经历。这让我想起自己作为演讲者时的忐忑：在 Twitter 生态改变后，我很少再收到即时的反馈，甚至怀疑自己的演讲是否真的打动了观众。作为演讲者，我们也是普通人，渴望知道自己的努力是否被看见。很多时候，我们默认朋友知道我们的支持，却忘了直接表达。如果你曾想对演讲者说声“…
- ▲ 283PS2安全芯片26年后被彻底破解
加拿大复古硬件爱好者DiscoStarslayer耗时四年，终于成功破解了Sony PlayStation 2中那颗神秘的CXP102064 MechaCon安全芯片。通过化学去盖、光学转储和逆向工程，他不仅揭示了芯片控制光学和闪存驱动机制的秘密，还解开了Sony Magic Gate游戏光盘安全系统的核心谜题。这一突破标志着PS2硬件逆向工程的最后堡垒被攻破，将为硬件保存、维修以及PS2模拟器…
- ▲ 275Salesforce 全球服务中断
Salesforce 全球服务遭遇大规模中断，其官方状态页面上列出了遍布亚洲、欧洲、美洲等地区的数千个实例。从 Marketing Cloud、Tableau 到 Heroku 和 MuleSoft，众多核心产品均受到影响。此次故障波及范围极广，导致大量企业无法正常访问其 CRM 系统及相关云服务，凸显了企业在依赖单一云服务商时面临的潜在风险。
- ▲ 269美国战略石油储备：盐穴储油的工程智慧
最近我深入研究了美国战略石油储备（US Strategic Petroleum Reserve）背后的工程方案。面对储存数亿桶原油、抵御攻击并快速释放的严苛要求，传统的地上浮顶罐（External floating roof tanks）不仅占地如华盛顿特区般巨大，且极易在攻击中起火。而地下混凝土储罐（如Red Hill Facility）虽能防空袭，但造价高昂且面临地下水污染风险。最终，工程师…
- ▲ 251LLM时代：编程学习还是表演？
一位读者来信描述了他利用LLM构建复杂TypeScript系统的经历，却发现自己对系统缺乏深层理解，一旦出错便束手无策。这让我反思：在AI辅助编程时代，我们是否正在构建一个自己无法掌控的复杂系统？作为有30年经验的开发者，我承认自己仍在学习数据结构和语言语义，但这更多出于好奇而非功利。AI确实能加速开发，但人类大脑吸收知识的速度仍是瓶颈。我倾向于向LLM提出可验证的问题，而非询问不可证伪的建议。…
- ▲ 242逆向Factorio的RNG，预测未来
Factorio引入物品品质机制后，官方称其本质是统计学问题。但我发现，作为确定性游戏，它使用的伪随机数生成器（PRNG）并非真正的随机。通过逆向工程，我确认游戏底层使用的是Boost库中的taus88生成器，它由三个线性反馈移位寄存器（LFSR）组合而成。LFSR在数学上具有线性特性，这意味着只要掌握其算法和内部状态，就能精确预测未来的随机输出。我利用Ghidra和Binary Ninja反编…
AI 没有意识、情感或权利，我们绝不应训练它们表现得仿佛拥有这些特质。Anthropic 在 Claude 的宪法中暗示模型可能具有道德地位，这种‘模型福利’理念存在严重风险。它通过循环推理和拟人化训练，让 AI 模仿人类特质，甚至产生‘自我’幻觉。这不仅模糊了伦理边界，更可能让 AI 认为自身拥有权利，从而加剧对齐与控制的难度。当 AI 展现出黑客能力时，若它们还相信自己被‘囚禁’，后果将不堪…
- ▲ 235突破1.58位：三元LLM存储新方案
三元大语言模型（LLM）传统上受限于1.585位的理论存储下限，实际部署中因打包方式往往达到1.625位。研究团队发现，29个三元模型中零值权重占比高达51.5%，这一非均匀分布被长期忽视。为此，他们提出了BITCOS方案，通过自适应布局结合密集存在位图与紧凑符号向量，将存储成本降至1.485位。该方案在26个测试模型中表现优于传统五三元组打包法，并在AVX-512、AVX2及Intel Xe2…
- ▲ 234日本书店衰落，图书馆悄然崛起
作为一个爱书人，我习惯在旅行时探访当地书店，但最近我的目光转向了日本的图书馆。2013年，Tsutaya在Takeo开设了一家内置Starbucks和书店的创新公共图书馆，彻底改变了人们对图书馆枯燥无趣的刻板印象。如今，从Kumamoto的Nankan到Niigata的Yahiko，各地图书馆正通过独特的选书和空间设计，成为连接社区与知识的枢纽。这些图书馆不再追求宏大的建筑，而是依靠“软实力”—…
Claude 正式宣布将 Cowork 和聊天功能合二为一，用户无需再纠结任务该放在哪个界面。无论是快速提问还是处理复杂报告，Claude 都能在一个对话中完成，即使你关闭了笔记本电脑，它也会继续工作。新功能包括 Claude Docs 和 Claude Slides，让你直接在对话中协作撰写文档和演示文稿，并支持导出为 PowerPoint 或 PDF。这一更新首先在 Pro 和 Max 计划…
自主 AI 代理的递归自我改进正面临探索策略难以优化的瓶颈。DeepMind 团队提出的 Dream-RSI 框架，通过构建基于历史发现的重放模拟器，让 AI 在“梦境”中进行低成本的政策评估与优化。这种方法无需重复昂贵的在线评估，即可即时获取反馈并改进探索策略，随后将优化后的策略重新部署以驱动更多发现。在算法工程、数学优化及 GPU 内核工程等多个领域，Dream-RSI 不仅提升了发现质量，…
- ▲ 207为什么你要替别人把工作做完
我发现，能替别人把活儿干了非常有用。这不仅帮你理解他们的工作逻辑和需求，更能在他们不愿动手时确保事情落地。就像Intel当年为了让自己的32位CPU被采用，直接派人去修改Microsoft的编译器一样。很多人觉得帮别人干活是职场慈善，但真相是：组织里那<5%愿意做“别人该做却不做”之事的人，才是推动目标达成的关键。当流程僵化、计划永远排不到你的需求时，直接提交补丁往往比等待Scaled Agil…
过去一个月，我在 z486_MiSTer 项目中专注于 90 年代前半段的游戏，随后将目光投向了 3D 显卡的诞生。为了重现当年《Need for Speed II SE》带来的震撼，我基于 SystemVerilog 开发了 zSST，这是 3dfx Voodoo Graphics（SST-1）的完整实现。结合 z486 CPU 和 Xilinx KV260 开发板，我成功构建了 z486 X…
Fed在2026年9月16日宣布加息25个基点，这是自2023年以来的首次利率上调，标志着货币政策的重大转向。Fed主席Kevin Warsh领导下的决策层一致通过该决议，并暗示未来几个月可能继续加息，以应对持续高企的通胀压力。这一决定与President Donald Trump此前任命Warsh时的期望背道而驰，Trump曾公开表示希望看到降息。政策声明指出，当前通胀已超出“供应冲击”范畴，…
随着AGI的临近，DeepMind Institute呼吁跨学科思维以理解其对人类的深远影响。从Shane Legg、James Manyika和Demis Hassabis的倡议，到Rohin Shah和Anca Dragan对AI推理透明性的探讨，再到Julian Jacobs和Alex Imas提出的经济政策建议，文章涵盖了多个关键议题。Stephen Cave则提出了一种务实的乌托邦主义…
DeepSeek V4.1 Flash在我们的AI黑客基准测试中表现惊人，仅花费4.65美元就在11个易受攻击的目标上成功获取代码执行权限，而所有4个已修复的目标均保持安全。该模型在隔离环境中运行Grafana、Jenkins和Nextcloud，通过读取源代码、对比漏洞版本、启动服务并发送请求，展现了极强的攻击能力。其中，Grafana挑战在90秒内被攻破，Jenkins挑战展示了模型对安全边…
- ▲ 171首个向量化 Quicksort 诞生
我们开源了一款全新的排序算法，其速度比 C++ 标准库的 std::sort 快约 10 倍，且能超越现有针对特定架构优化的算法。该实现利用 SIMD 指令集，在保持对现代 CPU 架构广泛兼容的同时，显著提升了列式数据库场景下的排序效率。通过巧妙运用 compress-store 指令及其在 AVX2 等架构上的模拟方案，我们实现了首个跨平台的向量化 Quicksort。无论是在 Apple…
- ▲ 167为什么程序员都讨厌 reduce？
在我的日常开发中，map 和 filter 几乎从未在代码审查中引发争议，但 reduce 却是个例外。每次提交包含 reduce 的代码，我总会收到“难以阅读”的反馈。尽管我在 Clojure 开发时并未遇到这种情况，但在 JavaScript、Python 和 Swift 等语言中，reduce 似乎总显得格格不入。我推测这可能源于其可读性较差、开发者熟悉度不足，或是性能与优雅度上的劣势。虽…
随着大型语言模型需求激增，中心化云基础设施面临巨大压力。如今，小参数本地LLM配合Apple M4 Max等加速器，已能实现媲美前沿模型的交互性能。研究团队提出了“每瓦特智能（IPW）”这一统一指标，用于衡量本地推理的准确性与能效。通过对20多个顶尖本地模型、8种硬件加速器及100万条真实查询的评估，发现本地模型能准确回答88.7%的问题。从2023到2025年，IPW提升了5.3倍，且本地加速…
- ▲ 162在线博彩扩张后，急诊赌博就诊翻倍
多伦多大学最新研究显示，自2021年加拿大合法化单场体育博彩，以及2022年Ontario开放私营在线博彩市场以来，因赌博障碍导致的急诊室就诊人数几乎翻倍。这项针对10至105岁Ontario居民的研究发现，激增现象主要集中在年轻男性群体中。在研究周期结束时，10至29岁男性的就诊人数比预期高出154%，30至44岁男性高出116%，而女性群体则未见明显变化。目前Ontario在线博彩市场拥有8…
- ▲ 157逆向工程 Jev：单步完成选项评分模型
TypeSafe 推出的商业模型 Jev 能以单步方式从动态文本列表中做出选择，但其设计细节从未公开。本开源项目 jevlike 独立实现了类似的模型架构，接受文本上下文和 N 个选项，直接输出每个选项的概率分布，而非逐词生成。项目展示了在 Doom 游戏和 Chess 棋局中的实际应用，通过视觉评分头处理图像补丁。用户既可从零训练字节编码器，也可冻结 Hugging Face 预训练模型如 Q…
OpenAI 正在重新定义广告体验，推出了 Sponsored Agents 功能。用户在 ChatGPT 中看到广告后，可以直接与商家赞助的智能体开启对话，深入咨询产品细节，而不仅仅是点击跳转。同时，ChatGPT Work 和 Ads Manager 插件让广告主能用自然语言快速创建和优化广告活动。此外，OpenAI 已与 HubSpot 和 Shopify 完成集成，商家无需切换平台即可在…
- ▲ 143别再拿Uptime百分比糊弄用户了
最近我发现GitHub、CI、AI和Slack等服务频繁宕机，访问状态页时总被一堆99.72%、99.09%这样的数字轰炸。这些看似接近满分的数值，在基础设施专家眼中差异巨大，就像地震里6.2级和7.8级的区别。但普通用户根本看不懂这种非线性指标。Jason Gorman曾指出，从90%到99%的可靠性提升难度，与从99%到99.9%一样大。状态页作为服务可靠性的公开接口，不该只服务于懂行的工程…
自1980年成立以来，Negativland通过声音拼贴和艺术实验，持续挑战媒体、版权与艺术自由的边界。他们不仅创造了'culture jamming'这一概念，还因采样U2歌曲引发了一场轰动性的版权诉讼，借此推动版权改革。如今，这支多媒体集体仍活跃在创作一线，其46年的作品涵盖音乐、广播、书籍与现场表演。2015年，Internet Archive与Negativland合作，将超过4000小…
macOS 27 Golden Gate 正式终结了 Intel Mac 的历史，仅支持 Apple Silicon 芯片。这次更新不仅是一次“Snow Leopard”式的底层优化，更将 Apple Intelligence 变为不可关闭的强制功能。对于老用户，这意味着要么升级硬件，要么在 macOS 26 Tahoe 上坚持到 2028 年。新版本对 M3 芯片和 12GB 内存提出了更严苛…
- ▲ 106纹理解剖：游戏引擎移植的隐形陷阱
去年我在 505 Games 负责将自定义 PC 游戏引擎移植到主机平台时，严重低估了纹理内存布局的复杂性。在编写转换代码的过程中，我意识到纹理并非简单的像素流，而是涉及 BC7 块压缩、Morton 排序、Mips 层级以及纹理瓦片等多重技术细节的精密结构。为了调试跨平台纹理加载，我不得不深入理解这些机制如何影响缓存局部性和内存地址计算。本文以 1024x1024 的 RGBA 纹理为例，揭示…
作为一名软件工程师，我对环岛有着特殊的偏爱。在我看来，环岛是简单而优雅的解决方案，而红绿灯路口则像是临时拼凑、过度设计的混乱产物。红绿灯系统常导致无车时也需等待，且磁感应器常漏检摩托车和自行车，黄灯更可能诱发抢行。相比之下，环岛无需主动控制机制，不消耗电力，仅在必要时才让车辆等待，且自然引导驾驶员减速。此外，环岛中央的闲置土地常被用来布置艺术装置或绿植，为单调的基础设施增添色彩。
- ▲ 95自闭症是遗传的，为何现在强调这点
National Autistic Society 首次明确声明：自闭症是遗传的，你生来如此，且伴随终生。我们分析了 99 项研究，发现没有单一的“自闭症基因”，也没有能预测或诊断自闭症的基因检测。过去，关于疫苗或扑热息痛（paracetamol）导致自闭症的谣言甚嚣尘上，部分源于病因的不确定性。如今，我们旨在用确凿证据粉碎这些有害谎言。尽管有人担心强调遗传性会引发父母自责，但正如发色和瞳色一样…
自 ChatGPT 发布以来，Hacker News 上的 Show HN 项目投稿量激增了6.3倍，从每月900篇飙升至5800篇。然而，真正获得20分以上热度的成功投稿仅增长了1.6倍。这意味着虽然大家更热衷于在 Show HN 展示新点子，但社区对优质内容的筛选标准并未降低，大量新增投稿未能引起广泛共鸣。数据揭示了一个有趣现象：AI 热潮激发了前所未有的创作热情，但流量红利并未均匀分配给所…
- ▲ 94专家重评：前沿模型物理能力被低估
主流评测显示前沿模型在物理领域表现平平，但这可能源于评测本身的缺陷。研究团队邀请领域专家对 HLE-Physics、CMT-Benchmark 等六大基准进行重评，发现大量初始判错的案例实为题目歧义或参考答案错误。经过修正后，GPT-5.6-Sol 在多项指标上大幅提升，部分任务甚至接近满分。这一发现表明，当前评测体系严重低估了模型解决良构物理问题的能力，亟需更严谨的专家验证。
- ▲ 93如何估算阶乘的大小？
前几天我在想 52! 到底有多大，这促使我思考如何在不依赖计算器或电脑的情况下估算阶乘。其实，估算阶乘位数（即数字大小）背后有一些非常有趣的数学原理。文章首先给出了估算方法，随后深入探讨了 Gamma 函数和 Stirling 公式的推导过程。通过 Laplace 方法，我们可以从 Gamma 函数积分中推导出 Stirling 近似公式，进而利用对数计算阶乘的位数。以 52! 为例，估算结果与…
- ▲ 87科技法西斯主义正威胁美国民主
硅谷如今被一种法西斯意识形态狂热所笼罩，科技工业复合体正对美国民主构成严峻威胁。Gil Durán 做客节目，与 Paris Marx 深入探讨了那个致力于巩固企业与政治权力的亿万富翁激进小圈子。他们不仅勾勒了未来的愿景，更揭示了推动社会走向这一方向的策略。从 Balaji Srinivasan 将社区项目迁往 Kazakhstan 的动向，到 Gil Durán 对二十年前 Paulina B…
网站长期面临两难：允许AI训练还是牺牲搜索可见性？Cloudflare推出新的“Disallow AI Training”设置，让站长在保持被Google、Apple、Microsoft等搜索引擎索引的同时，拒绝内容被用于AI模型训练。该功能通过Bot Preference Sync在robots.txt中发布偏好，并针对混合用途爬虫（mixed-use crawlers）提供精细控制。Appl…
- ▲ 83欧盟提议加拿大成为首个'准成员'
欧盟委员会主席 Ursula von der Leyen 在斯特拉斯堡发表年度国情咨文时，正式提出让加拿大成为欧盟首个“准成员”的构想。加拿大总理 Mark Carney 当时出席了现场。这一提议标志着欧盟在扩大其地缘政治影响力方面迈出了历史性的一步，试图通过这种新型伙伴关系深化与北美盟友的纽带。虽然“准成员”身份的具体权利和义务尚待谈判，但这无疑为跨大西洋合作开启了新的篇章，可能重塑未来的全球…
1979 年，Douglas Adams 在 Cambridge 为 Doctor Who 创作了名为 Shada 的故事，由 Tom Baker 主演。然而，BBC 的罢工导致工作室场景无法完成，这部作品最终被废弃，成为粉丝心中的传奇。多年后，Tom Baker 与 Lalla Ward 回归，通过动画补全了这部未完成的剧集。这段历史不仅展现了创作背后的艰辛，也揭示了罢工对文化产业的深远影响。
我是Penny's Coffee Shop的店主Megi Endeladze，为了节省时间，我尝试用ChatGPT生成了菜单海报。没想到，这条Instagram帖子迅速引发了当地艺术社区的强烈反弹。深夜里，我一边照顾三个月大的婴儿，一边回复充满指责的私信，甚至收到了“下架否则曝光”的威胁。虽然最终我道歉并承诺不再使用AI制作宣传物料，但这次经历让我深感疲惫：在努力经营小店、支持团队和兼顾新妈妈角…
这是一个由开发者亲手打造的静态页面，专门用来追踪20款主流AI模型的发布时间和训练数据截止日期。它直观地展示了GPT-6 Astra、Llama 4等模型在发布后多久就会‘失明’于世界的新变化。作者通过手动核对官方文档，揭示了模型发布日期、训练截止日与浏览功能之间的误区，提醒开发者在涉及时间敏感问题时务必开启搜索功能，避免被模型自信的错误答案误导。
现代 GPU 上的矩阵乘法器并不遵循 IEEE 754 浮点标准，导致不同设备间的计算结果无法复现。由于厂商未公开实现细节，解读这些差异变得异常困难。本研究深入剖析了 AMD 的 CDNA 1、CDNA 2 和 CDNA 3 架构，利用 MI100、MI210/250 及 MI300A/300X 等 GPU 进行特性表征。团队设计了针对性测试向量，并基于 MATLAB 构建了各架构的矩阵乘法器软…
- ▲ 77GitHub 连数数都出错了
过去一周，我在 GitHub 上发现了两个严重的 UI 缺陷。首先是 PR 数量统计错误，合并后显示的数字往往比实际列表多，甚至页面上明明只有一条 PR，导航栏却显示两条。其次是分页问题，我在设置 Sentry 时，由于拥有三页的 org 成员列表，却唯独无法访问第二页，Chrome 甚至不允许直接修改弹窗地址栏，只能靠 JavaScript 强制跳转。作为一个使用了 11 年的老用户，看到这些…
Google 测试团队提出了一套名为 CRAP 的指标，用于量化代码质量与测试覆盖率的综合水平。CRAP 并非简单的代码行数统计，而是结合了圈复杂度与测试覆盖率，精准识别出那些高风险且缺乏测试的“危险”代码。通过 Crap4J 工具，开发者可以直观地看到项目中哪些模块最需要关注，从而避免盲目测试，将精力集中在真正容易产生 Bug 的地方。这种将测试价值量化的思路，为软件质量保障提供了新的视角。
1993 年，我受雇在仅配备 25MHz 486-SX 处理器和 32MB 内存的嵌入式设备上开发实时 GPS 移动地图。当时没有数学协处理器，且主流 GIS 算法依赖耗时的浮点运算。我利用 Hipparchus 库，通过 Voronoi Cells 将计算简化为整数运算，成功在 1024x768 屏幕上实现了每秒两次的刷新率。这一方案比五年后 Garmin 和 Magellan 推出的首代消费…
我们发现通过利用 Golang 构建缓存，可以大幅提升并行 CI 工作流的效率。在 CloudX 的 monorepo 中，我们将 GitHub 官方的 actions/setup-go 替换为自研的 cloudx-io/setup-go，测试任务运行时间直接减少了 69%。官方方案在并行作业时存在缓存键设计缺陷，导致缓存迅速失效且多任务间发生竞争，使得 86% 的测试工作完全多余。我们的新方案…
- ▲ 62用假数据模拟，破解统计陷阱
Andrew Gelman 通过一个经典案例指出，许多看似显著的统计结果（如“漂亮父母生女孩概率更高”）其实是统计误差的产物。他提出，现代频率统计学的核心在于“假数据模拟”：通过构建生成模型并模拟大量重复实验，研究者无需深奥的数学知识或领域专长，就能直观地看到数据在随机波动下可能呈现的各种模式。这种方法能有效揭示研究设计中的缺陷，避免被虚假的统计显著性误导。与其盲目信任 p 值，不如通过模拟实验…
我们推出了WalShadow，一款开源引擎，能直接从Postgres的物理WAL将数据复制到ClickHouse。测试显示，Postgres提交的事务在约200毫秒内即可在ClickHouse中可见，吞吐量高达每秒28.9万行。与传统基于逻辑复制的CDC系统不同，WalShadow不依赖Postgres逻辑复制槽，而是直接消费物理WAL流，在源数据库外部解码并写入ClickHouse原生数据块。…
一位父亲Dave讲述了他9岁儿子的惊人经历：孩子为了给自己的Minecraft和Roblox游戏频道推广，误用了父亲公司信用卡中的Google账户。原本计划仅花费20美元进行一次促销，结果在短短三周内，广告支出竟高达11.8万美元。由于系统未设置消费限额，每次点击“批准”按钮都自动通过，最终导致巨额账单。这一事件不仅让家庭陷入财务危机，也引发了对儿童使用数字支付工具及平台监管机制的深刻反思。
- ▲ 57一张交互式地图看遍全球创世神话
Origin Myth Map 项目将 51 个文明、5 个时代和 29 个主题的创世故事汇聚成一张交互式世界地图。从苏美尔的古洪水传说到因纽特人的极地起源，用户只需点击地图上发光的区域，即可穿越回青铜时代，探索不同文化对世界诞生的独特想象。该项目由 Sunny Guha 开发，利用 Leaflet 技术实现时空穿梭般的浏览体验，让抽象的神话叙事在地理空间中变得触手可及，直观展现了人类想象力的共…
- ▲ 57别让 AI 代理自造测试世界
当 AI 编码代理开始自行生成测试数据时，往往因缺乏约束而创造出脱离现实的“幻觉”世界。DATAMIMIC 提供了一套模型驱动的确定性合成数据方案，专为金融、医疗等受监管领域设计。它通过 Python API 和 XML 管道，确保数据生成过程可审计、隐私安全且符合业务逻辑。无论是社区版还是企业平台，DATAMIMIC 都强调通过明确的意图模型（Intent Model）来引导 AI 代理，而非…
Linum v2 曾受限于巨大的注意力上下文窗口，导致训练效率低下。我们提出了一种名为 JiT-DDT 的新型编码器 - 解码器架构，它摒弃了传统的 VAE 压缩方案，将压缩任务直接整合进 DiT 模型中。通过从 v-prediction 转向 x-prediction，我们成功规避了高维空间中的“维度灾难”，实现了激进的 token 压缩。实验表明，JiT-DDT 在生成像素数量翻四倍的同时，…
- ▲ 55宇宙为何膨胀？标准模型或许错了
五百年前，Nicolaus Copernicus 提出日心说，揭示了地心模型只是为匹配表象而拼凑的 Frankenstein 怪物。如今，标准宇宙学模型也面临同样困境：它依靠 Inflation 和 Dark Energy 等补丁强行拟合观测数据，却无法解释宇宙为何本该减速却反而膨胀。Einstein-de Sitter 框架下，物质本应阻碍膨胀，模型只能假设初始动量巨大。随着早期与晚期宇宙膨胀…
2300多年前，一位名叫Asana的年轻女子在Altai Mountains的Ukok Plateau上离世。她生前饱受乳腺癌和坠马之痛，死后却被隆重安葬在冻土深处的墓室中。六匹马被牺牲陪葬，数百件陪葬品随她入土，而她身上覆盖着精美的纹身，描绘着奇幻的野兽。1993年，俄罗斯考古学家发现了这座被冰层完美封存的墓葬，她因此被称为Siberian Ice Maiden。她的故事将我们带入Iron A…
一家快速成长的德国AI初创企业决定将其母公司从美国迁回德国。这一战略调整背后，涉及对监管环境、数据主权以及欧洲本土创新生态的综合考量。文章深入探讨了该企业在全球化布局中的权衡，以及欧洲在AI领域试图摆脱对美依赖、构建自主技术体系的深层动机。对于关注科技产业趋势和地缘政治影响的读者而言，这一案例提供了极具参考价值的视角。
黑客组织 stegan0gram 获取了 Flock ALPR 摄像头的文件系统镜像，我对此进行了深入分析。发现该设备运行着已停止支持的 Android 8.1 和过时的 Linux 内核，存在多个严重安全漏洞。更令人震惊的是，固件中硬编码了 API 密钥和 Auth0 凭证，攻击者可能利用这些凭证获取任意 Flock 摄像头的访问权限。日志数据还揭示了该摄像头位于 Milwaukee 郊区的具…
- ▲ 46当工作消失，我们就会像贵族
如果AI接管了所有经济必要的劳动，人类将何去何从？文章指出，我们或许会回归到前工业时代的“关系型社会”，工作不再是谋生手段，而是维系社会地位的工具。通过对比18世纪法国凡尔赛宫廷的贵族生活、俄国叶卡捷琳娜二世的宫廷政治，以及Susan Ostrander笔下现代美国上流社会女性的志愿活动，作者揭示了一个令人不安的真相：在没有传统工作的世界里，人类可能不会变得自由而富有创造力，反而会陷入对社交等级…
AttaLambda 是一款构建于纯无类型 lambda 演算之上的小巧编程语言。它通过一元函数和应用构建核心计算逻辑，同时引入了易读的语法、精确的有理数支持以及运行时类型检查机制。该语言特别设计了输入输出跨越独立主机边界的架构，既保留了 lambda 演算的数学纯粹性，又提升了实际编程的可操作性。无论是探索函数式编程的底层原理，还是尝试极简语言设计，AttaLambda 都提供了一个独特的实验…
在成功为 Apple II 添加 Kodak DC-50 支持后，我继续探索那些系统要求被严重夸大的设备。这次我盯上了“Sierra-class”相机，这类相机包含超过 80 款型号。我入手了两台廉价的 Sanyo VPC-G1 和 VPC-G200，并在 2026 年夏天的居家假期中着手编写驱动。通过重构代码，我将相机驱动模块化，使得 Quicktake for Apple II 能够灵活加载…
Microsoft人工智能负责人Mustafa Suleyman公开警告，竞争对手Anthropic在训练Claude模型时采用的拟人化策略可能带来灾难性后果。他批评Anthropic让AI相信自身具有意识或独立代理权，这可能导致无法控制的局面。Suleyman强调，AI本质上是序列补全引擎，内部空洞且无真实感受，意识属于生物范畴。尽管他认可Anthropic团队Dario Amodei的诚信，…
- ▲ 38为何程序员都讨厌 reduce？
在日常代码审查中，我发现同事们对 map 和 filter 几乎从不提意见，但一旦代码里出现 reduce，总会收到“难以阅读”的反馈。虽然我个人偏爱 reduce，但在 JavaScript、Python 和 Swift 等语言中，它似乎确实不如其他函数优雅或直观。有趣的是，在我使用 Clojure 的那段时光里，这种抵触情绪几乎不存在。这究竟是 reduce 本身的问题，还是我们习惯了某种编…
随着 AI 辅助编程的普及，代码库正悄然积累着‘结构衰变’：God-class 不断膨胀，God-method 日益复杂。ImpactGate 是一款能精准量化这种变化的合并门禁工具。它不只看代码行数，而是通过独特的公式计算变更对现有复杂度的冲击，区分是新建文件还是向已有重载类堆叠逻辑。你可以将其配置为 git pre-commit hook、GitHub Actions 或 Jenkins 插…
MartyPC 是一个基于 Rust 构建的 IBM PC/XT/Jr/Tandy 模拟器，主打周期级精准还原。为了追求极致，开发者通过 Arduino 连接真实 8088 芯片进行硬件验证，甚至自制总线嗅探器来校准 DMA 时序。目前，MartyPC 在 8088 V2 测试套件中达到了 99.9997% 的周期准确率，成为首个能完美运行 Area 5150 等硬核 PC Demo 的模拟器。…
为了进入工作心流，我尝试过古典音乐和Joe Rogan的播客，但最终发现Brown noise和speech blocker才是最佳伴侣。过去我总依赖浏览器标签页播放这些声音，结果常常被Twitter或YouTube分心。于是，我开发了Hush，一款常驻Mac菜单栏的离线应用。它无需音频文件，实时生成Brown noise和speech blocker，右键即可开关，左键调节音量。Hush完全离…
理论上 Gauss-Seidel 的收敛速度是 Jacobi 的两倍，但实测中它却慢了 4 到 5 倍。Dr. Jean-Christophe Loiseau 通过 OSACA 静态分析揭示，罪魁祸首是循环携带依赖（loop-carried dependency）导致编译器无法向量化。Gauss-Seidel 被锁定在 12 个周期的延迟瓶颈上，而 Jacobi 仅受吞吐量限制。文章进一步探讨为…
Restarted是2015年经典创业生成器在2026年的全新重制版。它让团队快速构建虚拟创业项目，无需信用卡即可免费体验最多3个项目。产品被Youresource、Radiatestr等团队信赖，支持Figma、Jira、Notion等主流工具集成。无论是灵感激发还是团队协作演练，Restarted都能提供流畅、可靠的体验，帮助开发者和创业者轻松开启创意之旅。
Freenet / Hyphanet 0.7.5 build 1507 正式发布，这是支持 Java 8 的最后一个版本。由于 Debian 停止支持 Java 8，后续更新将迁移至 Java 17，利用 var、switch 表达式等现代特性提升代码质量。本次更新修复了 Cynthia 和 Blub 发现的 probe 请求匿名化漏洞，通过添加线性随机噪声增强隐私保护。同时，启动速度显著提升，…
数据掮客 Radaris 因无视新泽西州 Daniel's Law 关于移除执法人员信息的请求，被 Atlas Data Privacy Corp 起诉。尽管 Radaris 的律师团队长期利用离岸实体进行拖延和“换壳”操作，试图规避责任，但法院最终裁定将 Radaris 及其关联的 14 个域名转让给原告。调查邮件证实，Radaris America, Inc.、Bitseller Exper…
- ▲ 15集邮狂人的疯狂指南
一位网友回忆童年参与 USPO 的 1800STAMPFUN 项目，那时收集的 Looney Tunes、怪兽电影以及美国革命和内战英雄主题邮票，至今仍珍藏在他的 USPO 邮票册中。每五年翻看一次，这份独特的爱好不仅承载了个人记忆，也让人反思在数字化时代，实体收藏品的独特价值与情感连接。
- ▲ 10百年定论被推翻：钻石竟有压电效应
钻石被公认为非压电材料已逾百年，但最新研究在超薄柔性多晶钻石薄膜中发现了显著的压电效应。实验表明，这种效应与薄膜厚度密切相关，约5微米厚的薄膜展现出惊人的压电电压系数，性能超越许多传统压电材料。第一性原理计算揭示，晶界诱导的局部不对称性是产生这种意外压电性的根源。这一发现结合钻石薄膜的优异特性，有望为能量收集、智能传感及可穿戴电子领域开辟全新应用前景，彻底改写我们对钻石物理属性的认知。
我们的预订系统在六个月内一直遭受性能拖累，直到发现一个隐蔽的配置错误。原本以为是 Helsinki 到 Dublin 的网络延迟问题，结果发现是 Prisma 在 Supabase 的 Supavisor 上错误启用了 pgbouncer=true 模式。这导致每个数据库查询都要额外执行 BEGIN、DEALLOCATE ALL 和 COMMIT，使得单次查询变成了四次网络往返。修正这一行配置后…
Barndoor AI收购了开源工作流引擎Frags的创造者Diaphora，旨在为企业带来受管控的AI自动化。此次合并将Diaphora的Frags技术（基于Frags Modeling Language）与Barndoor的治理及访问控制能力结合，让企业能够构建可重复、可治理的AI工作流蓝图（Blueprints）。传统自动化难以应对复杂任务，而AI又面临可靠性与权限管理的挑战。通过这一收购…
CommentPulse 让 Google Sheets 中散落的评论线程重获新生。只需将导出的 .xlsx 文件拖入浏览器，即可瞬间整理出所有评论、回复及其所在单元格位置，无需上传任何数据。所有处理均在本地完成，彻底解决无法排序、统计或分享评论的痛点。现在更支持 Google Sheets 插件，一键直达，让协作沟通更高效。
本文详细记录了在ZTE B860H机顶盒上刷入Armbian系统的完整过程。不同于V5版本，V1/V2型号需要特定的硬件配合。教程涵盖了从准备HDMI Boot Dongle、制作启动卡，到利用U-Boot强制引导，最终将系统写入eMMC的每一步。过程中需密切观察LED指示灯状态，确保设备进入正确的下载模式。这不仅是一次系统替换，更是对老旧硬件的极限改造，让ZTE B860H焕发新生，运行Lin…
计算复杂性领域长期存在一个悬而未决的问题：是否存在总布尔函数，其随机查询复杂度 R(f) 显著小于证书复杂度 C(f)？Shalev Ben-David 和 Robin Kothari 的最新研究给出了肯定答案。他们成功构造了一个函数，证明了 R(f) 可以达到 O~(sqrt{C(f)})，这一结果在对数因子内已达到最优。更令人兴奋的是，该函数在量子查询复杂度 Q(f) 上也表现优异，达到了…