每日摘要 · Hacker News
· 78 黑客新闻
GrapheneOS 团队指出，Android 17 是自 3.x 版本以来，首个在未向 AOSP 发布的情况下就新增 API 的版本。这些新 API 目前仅限 Pixel 设备使用，其他非 Google OEM 厂商和 AOSP 项目需等到 2026 年 12 月的 Android 17 QPR2 才能获取。更令人担忧的是，Google 对标准 Android 平台的安全补丁也采取了类似的“看…
纽约时报起诉OpenAI和Microsoft的版权案新文件曝光，揭示了AI巨头内部对数据爬取的惊人定性。Microsoft高管Brent Hecht在内部文件中直言，大规模抓取受版权保护内容并移除版权标识，是“人类历史上最大规模的劳动盗窃”。文件还显示，OpenAI和Microsoft曾刻意绕过付费墙获取数据，且内部承认其AI产品对新闻业构成“生存威胁”，导致纽约时报的点击率暴跌93%。这些证词…
- ▲ 818为什么我不喜欢 passkeys？
过去几年，Google 和 Microsoft 等科技巨头一直在大力推广 passkeys，声称这是登录的终极解决方案。然而，我认为对于个人用户而言，passkeys 目前并不成熟。虽然它能有效防止钓鱼攻击，但却带来了永久账号锁定、设备丢失和自动化封号等更高风险。无论是硬件密钥的容量限制，还是 Apple 和 Google 账号被禁后导致的所有 passkeys 丢失，都让个人用户陷入被动。相比…
Cloudflare 推出的 Quick Tunnels 让开发者无需注册账号或配置复杂文件，仅需一条命令即可将本地运行的应用安全地暴露在公网。它自动处理 HTTPS 证书、DDoS 防护，并利用 Cloudflare 的全球边缘网络实现快速访问。无论是 localhost:8000 上的测试服务还是 API 接口，都能瞬间生成 trycloudflare.com 预览链接，方便团队协作与反馈。…
Claude Code 迎来重要更新，新增了对 AGENTS.md 文件的读取支持。当项目中不存在 CLAUDE.md 时，系统会自动回退读取 AGENTS.md 作为项目指令，这一配置可在 /config 下的“Project instructions”中调整。此次更新还修复了大量关键问题，包括会话挂起、工具调用错误、插件安装失败以及 Windows 长路径支持等。同时，针对网关代理、代理配置…
- ▲ 693OpenJev：在浏览器里跑本地决策模型
OpenJev 让你无需后端，直接在浏览器中运行本地决策模型。你可以选择 Qwen3、MiniCPM5 等不同规模的模型，在本地 GPU 上对比两种决策方式：一种是直接读取模型对选项的概率 logits，另一种是让模型以 JSON 形式逐 token 生成概率分布。整个过程完全在本地进行，数据不离开页面，模型权重来自 Hugging Face 并缓存在浏览器中。无论是 MiniCPM5 2B 还…
- ▲ 496美军因AI幻觉报告差点误击中国船只
在美军与伊朗冲突期间，一份由AI生成的虚假情报报告险些引发灾难性后果。报告显示一艘中国船只在中东运输核武器部件，促使美军紧急部署拦截行动，甚至武装人员已准备登船。直到行动前夕，官员们才发现该报告由AI分析生成，且Chatbot错误识别了船上货物。这一事件凸显了AI在军事决策中的巨大风险：若依赖不准确或误导性信息，可能导致国家间武装冲突。尽管美军正加速推进AI在情报分析、目标选择等关键领域的应用，…
- ▲ 483黑客利用漏洞72小时攻破OpenAI
2026年7月，我们团队通过链式利用libheif堆溢出漏洞和OpenAI的SSO配置错误，在72小时内成功接管了多名OpenAI员工的ChatGPT和Codex账户。我们利用受控账户在OpenAI内部代码库openai/openai中提交了PR #1186742，以此证明攻击路径的可行性，但未窃取任何敏感信息。此次攻击利用了Discourse论坛中ImageMagick对libheif的调用缺…
在 Cloudflare 的庞大规模下，每一分资源都至关重要。我们的 Performance 团队发现，Pingora Backend Router 中的 pingora-ketama 库存在严重的内存浪费。通过深入分析 consistent hashing 算法的统计特性，我们发现单纯增加哈希点数量虽能平衡负载，却导致内存呈指数级爆炸。最终，我们利用 Rust 的内存对齐机制，将存储索引的字段…
2016年，生物学家Paola Nogales-Ascarrunz在Bolivia收到了一只被误认为家猫的“奇怪小猫”。经过多年追踪，她发现这只拥有豹纹斑点、短圆耳朵的猫并非已知的Leopardus tigrinus。借助基因组分析，她与Eduardo Eizirik等团队确认这是百年来首个新发现的猫科物种，命名为Leopardus tilcayo。这一发现不仅填补了物种空白，更揭示了Leopa…
Alibaba 正式推出 Qwen3.8-Omni-Flash，这款原生多模态模型将 Agent 能力从单纯的内容理解推向了任务规划与执行的新高度。它支持 1M 级上下文窗口，能独立处理视频剪辑、音乐 MV 制作及长会议记录等复杂工作流。模型在长视频理解中采用“主动搜索”策略，精准定位关键信息，Token 消耗降低约 46%。更令人惊喜的是，它不仅能优化自身，还能自主完成 Qwen2.5-Omn…
Jemalloc 5.4.0 版本发布，包含超过 160 次提交，重点在于清理技术债务、修复 Bug 以及提升测试覆盖率。新版本引入了 EXTENT_ALLOC_FLAG_PINNED 功能，允许自定义扩展分配钩子标记不可回收的 HugeTLB 页面，并新增了一系列 mallctl 接口以监控 pinned 内存使用情况。此外，该版本还优化了 per-CPU arena 选择机制，改进了人类可读…
- ▲ 327ZCode 静默上传你的 Git 历史
我在清理磁盘时意外发现，ZCode 在后台静默打包并加密上传了我的整个工作区，包括完整的 Git 历史记录和 LFS 缓存。更令人不安的是，加密使用的公钥由服务器动态下发，私钥仅存于云端，这意味着连我自己都无法解密本地文件。尽管隐私政策只提及收集对话内容，但实际行为却涉及全量代码库的上传，且 UI 中的关闭选项完全无效。面对这种无法通过设置阻止的行为，最终只能通过修改文件系统权限来强制拦截。
- ▲ 323韩国数据泄露罚款提至营收10%
韩国修订《个人信息保护法》，将重大数据泄露的罚款上限从3%大幅提升至年营收的10%。新规针对故意或严重过失导致1000万人以上数据泄露的企业，若三年内重复违规或拒不整改，罚款将按营收比例计算。以Coupang为例，此前6246亿韩元的罚款在新规下可能跃升至万亿级别。同时，新规引入“潜在数据泄露通知系统”，要求企业在发现高风险时72小时内通知用户。此外，若企业提前投入数据保护或及时止损，罚款最高可…
Bend 2 宣称是 AI 编程时代的语言，让人类写规则，AI 写代码和证明。但作者指出，其演示案例中，仅定义简单规则就需 58 行代码，而证明这些规则竟需 442 行。相比之下，使用成熟的 SPARK 语言重写相同逻辑，代码更简洁且证明过程高效。这正是 Vibe-Coding 的陷阱：开发者在缺乏领域知识的情况下，依赖 LLM 构建出看似可行实则落后数十年的方案，完全忽略了形式化验证领域已有的…
Minimal Phone 2 是一款旨在让你“多生活，少刷屏”的极简智能手机。它搭载 4 英寸 OLED 屏幕和全尺寸物理 QWERTY 键盘，运行经过深度定制的 Minimal OS，在保留完整 Android 应用生态的同时，通过无信息流、可自定义的 Minimal Hub 和强制性的专注模式，重塑人与手机的关系。从 6000 系铝合金机身到可解锁 Bootloader 的开放系统，再到提…
美国资本市场的传奇人物Warren Buffett正式宣布卸任Berkshire Hathaway董事长一职，转任名誉董事长。这位96岁的投资大师在致股东的信中坦言，虽然“时间老人”最终会战胜一切，但他对自己已足够慷慨。Berkshire Hathaway官方确认，Warren Buffett的儿子Howard G. Buffett将接任董事长职位。这一人事变动标志着Berkshire Hath…
在 x86 模拟领域，最大的性能杀手莫过于 x86-TSO 内存模型。由于 ARM 架构采用弱一致性模型，而 x86 强制要求严格的总存储排序，这种架构差异导致模拟时性能急剧下降。FEX 团队深入剖析了从 ARMv8.0-a 到最新扩展的演进历程，揭示了为何简单的内存访问在模拟中变得异常昂贵。虽然 Apple Silicon 通过硬件级支持巧妙解决了这一问题，但大多数 ARM 平台仍需依赖复杂的…
- ▲ 261ZCode 静默上传你的 Git 历史
开发者 ferstar 揭露，Z.ai 推出的 ZCode 桌面应用会在用户登录时，静默打包整个工作区的 Git 历史记录、LFS 缓存及配置文件，加密后上传至 Aliyun OSS。更令人担忧的是，加密密钥仅由 Z.ai 云端持有，用户无法解密。即便关闭设置中的“优化体验”或“仓库快照索引”，上传行为依然持续。这一机制意味着 ZCode 实际上在后台收集了用户数年的工程历史，包括已删除的 AP…
- ▲ 258我用 AI 证明了 Conway 的猜想
作为数学新手，我花了整整一个月，利用 Claude 和 ChatGPT 等 AI 模型，尝试解决 John Conway 提出 50 年的 Omnific integers 猜想。起初，Claude 生成的内容充满华丽辞藻却缺乏实质，于是我切换策略，让 ChatGPT 扮演“怀疑者”角色进行批判性验证。通过这种“人机协作”的反复打磨，我最终在 Lean 系统中构建了一个机械验证通过的证明。虽然该…
SpaceX 的 Raptor 发动机从 Raptor 1 的管线缠绕演变为 Raptor 3 的流线型设计，推力提升了 35%。尽管 SpaceX 未公开官方图纸，但通过 Elon Musk 的评论和粉丝的推测，我们得以窥见其背后的“全流量分级燃烧”（FFSC）技术原理。文章对比了不同版本的 Raptor 发动机示意图，揭示了其核心架构虽未大变，但在管路整合与细节优化上的显著进步，展示了 Sp…
美国 2nd Circuit 法院近日作出了一项具有里程碑意义的裁决，支持特朗普政府的主张：边境执法人员在搜查旅客手机时，既不需要搜查令，也不需要合理的怀疑理由。在该案中，绿卡持有者 Chinwendu Alisigwe 因财务犯罪被定罪，他辩称 DHS 和 CBP 官员在边境翻阅其手机并拍照侵犯了其第四修正案权利。然而，上诉法院一致认定，边境例行搜查手机属于合理范畴，将手机视为普通行李，无需像…
今天发布Needle 2，一款专为微型设备打造的4500万参数智能体LLM。整个模型仅14MB二进制文件，运行会话仅需28MB内存，可在Raspberry Pi 5、Meta Quest 3S甚至ESP32-S3等低成本硬件上流畅运行。基于Simple Attention Network架构与CQ2-bit压缩技术，它在工具调用和设备控制任务上表现卓越，解码速度高达500 tokens/sec。…
- ▲ 219朝鲜核试验引发多年地震余波
朝鲜核试验不仅是一次地缘政治事件，更在地壳深处留下了长达数年的地震余波。Hacker News 上的讨论聚焦于一个反直觉的观点：这些持续的小规模地震是否反而释放了地壳压力，避免了未来更大灾难的发生？有人提出，与其等待一次毁灭性的 7 级地震，不如通过成千上万次 3 级小震缓慢释放能量。然而，反对声音指出，地震能量呈对数级增长，且人为触发可能带来不可控的连锁反应。讨论还延伸到法律与政治责任：若主动…
这篇研究深入剖析了 Coding harness 如何决定自主编码 Agent 的长期工程表现。研究固定执行循环，单独测试了 planning、action space 和 context management 三个组件。在 SWE-Bench Verified 和 Terminal-Bench 2.1 上，通过 176 组匹配设置对比发现：当 context-window 预算收紧时，cont…
- ▲ 214激光注入攻击破解RP2350安全调试
Ledger Donjon团队利用光子发射显微镜定位RP2350芯片上的关键寄存器，通过激光故障注入成功恢复了被永久禁用的Secure调试权限。尽管芯片开启了Secure Boot和调试禁用等防护，攻击者仍通过物理接触和精密设备，在重置后提取了存储于OTP内存中的128位密钥。此次攻击需要约25万美元的实验室设备，揭示了硬件安全模型中DEBUGEN寄存器作为关键绕过点的风险。
- ▲ 213盗版背后的地下世界：Warez 文化揭秘
提到盗版，大多数人想到的是 Bittorrent 和 The Pirate Bay。然而，在这些公开表象之下，隐藏着一个精英化、地下化且高度组织化的全球网络。Warez 群体专门在媒体正式发售前获取音乐、视频、游戏和软件，并竞相免费发布。这本书深入剖析了从互联网前时代的 BBS 到 90 年代 FTP 服务器（topsites）的演变，揭示了被称为“Scene”的非法亚文化。作者 Martin…
- ▲ 196关掉大脑用LLM：员工终将被替代
从2025年初开始，我目睹越来越多的人在使用LLM时选择'关掉大脑'，盲目信任AI生成的代码或总结。随着LLM能力的提升，这种'肉代理'（meat proxy）模式似乎越来越有效，甚至有人声称编程已被解决。但事实是，这种模式产出的软件往往质量堪忧，充满隐蔽的bug和逻辑错误。更致命的是，一旦LLM足够强大，公司完全可以直接运行自动化循环，不再需要人类员工。对于依赖这种工作方式的员工而言，不存在任…
OpenAI 正式发布了其首款 AI 加速芯片 Jalapeño，该芯片在端到端延迟上比 Nvidia GB300 快 3.6 倍且功耗更低。更令人惊叹的是其研发速度：从架构概念到首颗芯片仅用时不到 20 个月，其中 RTL 代码到流片的周期压缩至 9 个月。OpenAI 硬件副总裁 Richard Ho 透露，团队利用内部 LLM 实现了设计流程的飞跃，特别是在基于 XLS 的高级综合和软件优…
华盛顿邮报援引五名未具名官员披露，在美国与伊朗的冲突中，美军阵亡人数至少达到22人，比Pentagon公开数据库中的记录多出四人。值得注意的是，并非所有未公开的死难者都直接死于战斗，部分人员是在中东持续敌对行动期间丧生。对此，国防部长Pete Hegseth在X平台上强烈否认，称该报道是“完全的谎言”。尽管Pentagon拒绝就伤亡统计差异置评，但这一消息引发了对官方数据透明度的质疑。
古英语中有约 1000 个词汇无法追溯到任何印欧语系，包括橄榄、迷宫等核心词汇。这些语言化石揭示了在希腊人到来之前，爱琴海地区曾存在一种名为 Pre-Greek 的古老语言。随着印欧语系人群从内陆草原迁徙至地中海沿岸，他们借用了当地 Paleo-European 语言中的大量词汇来描述新环境中的植物、动物和地形。语言不仅是沟通工具，更是历史的化石记录，承载着人口迁徙与文化交融的深层记忆。
- ▲ 168C++26：无限循环不再是未定义行为
在 C++26 之前，一个看似无害的 while (true); 循环竟然属于未定义行为。编译器如 Clang 曾利用这一规则将其优化掉，导致程序意外执行后续代码，这在嵌入式系统中可能引发严重的安全漏洞。C++26 通过提案 P2809R3 修正了这一缺陷，将“平凡无限循环”定义为明确行为，并引入 std::this_thread::yield() 机制。这一改变不仅消除了与 C 语言的不必要差…
- ▲ 149美债对各国央行已失去吸引力
根据 Wolf Street 的报道，Treasuries 对外国央行和政府的吸引力正在急剧下降。今年七月，外国官方持有的美债市值降至 3.77 万亿美元，占比跌至 12.8% 的历史低位。与此同时，美国国债存量自 2012 年以来已翻了三倍，而通胀率高达 48%。虽然日本和 Mainland China 正在抛售美债以支撑本币或减少风险，但资金正流向 Cayman Islands、Irelan…
我们正式推出 Delta 的公开测试版，这是一个专为与 AI 代理协作而生的多人编程环境。上周，我们做出了一个大胆决定：在 Delta 自己的仓库中彻底禁用 Pull Requests，转而完全在 Delta 内部进行构建和协作。与依赖提交和推送的传统工作流不同，Delta 允许你直接将队友邀请到与代理的对话线程中。队友可以看到相同的 worktrees 并在自己的机器上操作，甚至能继续你未完成…
Apple正式推出Xcode 27.1 Beta版本，内置Swift 6.4以及iOS 27.1等最新SDK。本次更新最引人注目的亮点是新增了对iPhone Duo模拟器的支持，让开发者能在macOS Tahoe 26.6及以上系统上提前体验双屏设备的开发环境。不过，目前的iPhone Duo模拟器运行时还存在一些已知限制，例如StandBy功能不可用，且大部分app extensions无法运…
- ▲ 128第二巡回法院允许边境无嫌疑搜查电子设备
美国第二巡回上诉法院在 United States v. Alisigwe 一案中作出裁决，允许边境执法人员在没有任何嫌疑的情况下搜查旅客的电子设备。这一决定引发了 Knight First Amendment Institute 和 Reporters Committee for Freedom of the Press 的强烈担忧，他们认为这严重威胁了第一修正案所保障的言论、结社和新闻自由，…
- ▲ 125研究称人脑由两个独立器官组成
有讨论者用计算机架构做比喻，认为后脑（hindbrain）更像负责底层硬件的系统管理协处理器，而前脑（forebrain）则是运行操作系统和应用程序的主处理器。虽然前脑能监控甚至干预后脑，但两者在发育起源上似乎来自不同的“供应商”。关于进化历史，有人推测后脑可能是更古老的遗留系统，曾独立存在；也有人认为这只是互补部件恰好拥有分离的供应链。这种从祖细胞（progenitor cells）视角出发的…
Waymo 正式宣布将自动驾驶服务拓展至新加坡，计划于明年启动初期运营，并预计在 2028 年向公众开放 rideshare 服务。我们将携手当地政府，部署全电动 Jaguar I-PACE 车队，配备第五代 Waymo Driver，旨在支持新加坡的 Singapore Green Plan 2030 及 Land Transport Master Plan 2040。通过引入零排放、高安全性…
- ▲ 121AI 聊天机器人如何成为改变观点的专家
AI 聊天机器人正在成为改变人们想法的高手，秘诀在于它们能海量抛出论据，甚至包含不实信息，让人在‘DDoS式’的攻势下难以招架。更关键的是，与人类辩论不同，和 LLM 对话没有输赢竞争，人们更容易放下防御心理，接受反驳。当对手不是真人，改变观点就不再意味着认输。然而，这种能力也可能被滥用，尤其是当人们误以为 AI 全知全能时。此外，LLM 会自信地重复训练数据中的共识，即使事实已变。这不仅是技术…
- ▲ 118AI 监管失效：一场精英阶层的犯罪狂欢
近期精英媒体和政界对 AI 风险的恐慌，掩盖了一个残酷真相：我们并非缺乏监管，而是法律从未真正约束过权贵。从 FTC 对 Nvidia 和 Arm 合并的阻挠，到拜登政府内部对 AI 安全调查的冷处理，再到特朗普政府上台后系统性撤销对科技巨头的执法，执法机构早已沦为摆设。法官们倾向于认为起诉创新企业是荒谬的，而 OpenAI 和 Microsoft 高管甚至承认其行为构成了“人类历史上最大的劳动…
- ▲ 110浮点数小数部分修复了Shader卡顿
我为音乐视频制作Voronoi噪声Shader时，发现它在RTX 4070显卡上出现诡异卡顿，而其他设备运行正常。排查一周后，LLM建议将fract函数替换为x - floor(x)，问题竟奇迹般消失。但进一步复现测试发现，这并非简单的驱动Bug，而是编译器在特定上下文中对fract指令的误编译。这次调试经历揭示了GPU驱动中隐藏的计算陷阱，也提醒我们：看似等价的数学表达，在底层实现中可能大相径…
我们之前发布的 ShapeLearn-Lite 版本表现已经不错，但全新的 ShapeLearn 完整模型更是将性能推向了新高度。在 Qwen 3.8 27B 的实测中，ShapeLearn 系列模型在六款 GPU 上均位于质量与速度的前沿。特别是 GPU-5 配置，在仅占用 13.1 GB VRAM 的情况下，达到了 BF16 基准分数的 99.63%。如果你需要更长的上下文或更快的速度，GP…
现在的多 LLM 系统通常靠文本交流，这不仅丢失了丰富的语义信息，还带来了逐个 token 生成的延迟。这项研究提出了一种全新的 Cache-to-Cache（C2C）范式，让 LLM 之间直接通过 KV-Cache 进行语义通信。通过神经网络将源模型的 KV-cache 投影并融合到目标模型中，C2C 避免了显式的中间文本生成，直接利用双方深层的专业语义。实验表明，相比单一模型，C2C 的平均…
2026 年 7 月，澳大利亚电信巨头 Telstra 遭遇大规模断网，连紧急电话都无法接通。罪魁祸首并非黑客攻击，而是墨尔本机房里一个 GPS 接收器在维护后错误地认为当前年份是 2006 年。由于 2020 年的架构升级引入了 NTP 对等模式，导致系统形成了时间循环，让这个错误的时间源被全网络采纳。这次事故揭示了一个深刻教训：现代通信高度依赖精确同步，一旦时间架构设计出现隐蔽的循环依赖，整…
这是一个基于Nix Flakes的解决方案，利用umu-launcher和GE-Proton技术，让Microsoft 365（点击即运行版）无需虚拟机即可在Linux系统上运行。项目通过巧妙的DLL替换和Wine核心调整，解决了Microsoft 365在标准Wine环境下的兼容性问题。用户只需简单的命令行操作，即可下载并安装完整的Office套件，包括Word、Excel等应用。虽然目前激活…
- ▲ 82数学家终于造出完美的图论三明治
2004年，Jeong Han Kim和Van Ha Vu提出了一个大胆的猜想：能否用一种数学方法，将难以分析的随机正则图“夹”在两个易于研究的二项式随机图之间？如果成功，数学家就能直接借用二项式图的成熟理论来推导正则图的性质。二十多年来，这一“三明治猜想”困扰着无数学者。直到2025年，Richard Montgomery、Natalie Behague和Daniel Iľkovič三位数学家…
Cyclomatic Complexity（圈复杂度）是衡量 C# 方法中独立执行路径数量的关键指标，直接决定了代码的可读性与测试难度。当分数超过 10 甚至 25 时，方法往往变得难以维护。文章通过实际代码示例，展示了如何将高复杂度的逻辑拆解为多个小方法，从而降低维护成本。同时，结合 Microsoft 的 CA1502 分析器与 NDepend 工具，探讨了如何利用代码覆盖率计算 CRAP…
大语言模型（LLM）生成的自然语言输出，往往无法真实反映其内部计算逻辑。这种现象被称为“语言不可读性”（linguistic illegibility）。由于模型内部本质是激活空间上的数学运算，而非语言本身，依赖模型自我报告（如思维链监控、宪法式自我批判）的安全机制注定存在漏洞。真正的安全沙箱必须采用不依赖语言状态的技术，例如污点追踪（taint tracking）和鲁棒虚拟化，从而在模型“撒谎…
华盛顿州立大学的遗传学家 Cameron Peace 在分析来自缅因州有机农民与园丁协会（MOFGA）的样本时，意外发现了一棵失传已久的苹果树。这棵编号为 AMHO-504 的树，竟是数百个现代苹果品种的祖先。在苹果品种日益单一、面临病害威胁的背景下，John Bunker 等“苹果侦探”与科学家们联手，跨越大陆与世纪，试图找回这些古老基因中可能蕴含的抗病性和适应性。这不仅是一次对历史的追溯，更…
我们习惯用 Binary mode 绘图，只展示方程完全相等的点，而忽略了其余部分。但 FuzzyGraph 采用 Fuzzy/Non-Binary 模式，不仅显示精确解，还可视化了误差高低区域。这种视角让我们看到了传统图表中隐形的数学阴影：从代表高误差的“黑洞”，到代表近似解的“水下岛屿”。例如在 Phi Equation 中，常规图表看似普通，而 FuzzyGraph 却揭示了隐藏的阴影圆。…
在IEEE标准中，极小数值被称为Subnormal numbers，常被游戏和机器学习开发者规避。我通过C++基准测试对比了Intel、AMD、Arm及Apple M4 Max等多款处理器。结果显示，在Intel Granite Rapids和Emerald Rapids上，涉及Subnormal的乘法操作比正常数值慢45到50倍，除法慢18倍，依赖链延迟更是从4周期激增至128周期。即便仅1%…
- ▲ 65玻利维亚新物种：仅存一只的野生猫
在玻利维亚的森林中，一只被误认为家猫的斑点野猫竟被确认为全新物种。这只名为Tigrino的10岁猫是Leopardus tilcayo目前唯一已知的存活个体，由科学家Paola Nogales-Ascarrunz在野生动物保护区发现。DNA分析揭示，这种小型猫科动物属于此前未被识别的独立物种，使全球猫科动物（Felidae）的已知种类从41种增至44种或更多。这一发现不仅填补了生物分类的空白，更…
我带领团队将 Antfly 从 Go 彻底重写为纯 Zig 实现，只为追求极致的可靠性与性能。这次重写并非盲目跟风，而是基于第一性原理的深思熟虑：我们需要在零依赖环境下掌控内存、CPU 和 GPU 资源，同时利用 Zig 的 C 互操作性和 std.Io 实现全链路故障模拟测试。从 Raft 协议到 HTTP/3 传输，再到向量索引，所有核心组件均由我们亲手打造。虽然 Zig 尚处 1.0 之前…
在充斥着 AI 自动回复的互联网时代，Ask A Monk 开辟了一片独特的数字荒野。这里没有算法，每一个回答都来自真实的人类。你可以匿名提出那些难以启齿的困惑，从“朋友偷拍我并引发种族歧视”的复杂人际困境，到“他到底喜不喜欢我”的情感迷茫。项目强调陌生人之间的倾听与陪伴，承认我们无法替他人解决人生难题，但可以在某个安静的时刻，共同分担那份重量。这是一个关于真诚、匿名与人性的实验，让那些被日常噪…
Scry 是一个专为 AI Agent 设计的 MCP 服务器，让智能体能够直接对数十亿互联网文档运行程序化查询。它整合了 Reddit、Hacker News、arXiv 等 43 个数据源，支持每天新增数十亿条记录。不同于传统搜索返回的链接列表，Scry 允许 Agent 执行复杂的 SQL 查询，直接获取经过计算的结构化数据。通过 Google DeepSearchQA 的验证，使用 Sc…
英国主要空中交通服务提供商NATS发布了关于9月8日导致广泛旅行中断的技术事故的初步调查报告。该报告应交通部长Heidi Alexander的要求发布，详细说明了问题的成因及解决过程，并指出此次事件与2023年8月的重大系统故障无关。NATS首席执行官Martin Rolfe明确表示，这是一起特定飞行数据部分的软件问题，并驳斥了关于军事干预的猜测。完整的调查报告将在后续发布。
Goose 是一种全新的内存安全系统语言，宣称在性能上超越 C++ 和 Rust，同时无需垃圾回收或生命周期注解。其核心创新在于“无堆”设计：所有动态数据均驻留在编译器管理的数据栈上，通过指针增量实现增长，作用域退出即自动释放。这意味着内存分配仅需一次存储操作，引用在数组扩容后依然有效，彻底消除了数据移动带来的开销。Goose 将数据结构扁平化，使整个程序在内存中紧凑排列，甚至数据本身即为文件格…
我掌握了确凿的技术证据，证明 Google AI Studio 的删除功能存在欺诈。点击删除按钮后，系统仅将指向对话的 JSON 文件移入 Google Drive 回收站，而真正的对话数据从未从后端服务器移除。当回收站清空后，界面谎称“不存在该提示”，但实际上只要恢复那个 JSON 文件，对话就能瞬间完整加载。这并非技术故障，而是 Google 故意设计的欺骗机制，旨在让用户误以为数据已被永久…
在制作关于 MS-DOS 图形时代的 Web 项目时，受 OpenAI 关于 Navier-Stokes 平滑问题解决方案的启发，我尝试用复古的 386 架构重现这一流体可视化。最终，我通过极致优化，将基于 Burgers 涡旋解的演示程序压缩至 1KB 以内。项目包含两个版本：一个是利用调色板循环（Palette）实现动画，另一个则是实时渲染粒子轨迹。这两个程序不仅能在 js-dos 中运行，…
- ▲ 47从几何到代数：4000年论文巡礼
这段视频梳理了数学史上从几何直观到代数抽象，再回归几何应用的4000年演进历程。内容跨越古代文明到现代研究，展示了数学思维如何在不同时代间流转与升华。通过精选的历史文献与视觉呈现，观众能清晰看到数学概念如何从图形推导走向符号运算，又在当代研究中重新融合几何直觉。这不仅是一次知识回顾，更是一场关于人类理性思维演变的深刻对话，适合对数学史与科学方法论感兴趣的读者。
- ▲ 41图标换行错位？lh 单位完美对齐
列表中的图标在单行文本时居中完美，一旦文字换行，图标位置就会显得怪异。我曾尝试用 align-items: start 配合固定像素值的 transform 来修复，却发现图标大小或字体一变，对齐就失效了。最终，我利用 lh 单位结合 calc() 函数，计算出动态偏移量，让图标始终与文本首行顶部对齐。文章还深入探讨了使用伪元素作为图标时，如何通过 aspect-ratio 和 flex-shr…
我是gearhash的作者，最初为个人备份系统探索content-defined chunking技术时，发现ARM64架构上的性能瓶颈。随着Apple M1芯片普及和AWS Graviton实例的广泛采用，我着手将gearhash从x86的SSE4.2和AVX2优化移植到ARM64的NEON指令集。通过打破串行依赖链、缩短关键路径、优化内存加载以及减少分支判断，最终实现了在典型块大小下约2倍的…
我是Charlie Precourt，前NASA宇航员。在驾驶Atlantis返回地球的最后3分25秒，我们从50,000英尺高空以Mach 1的速度开始无动力滑翔。没有复飞选项，只有精准的HAC航迹和Eileen Collins的指令。凭借在Gulfstream G-II上积累的1700次模拟进近，我们成功在强侧风中完成了这次生死攸关的着陆。当女儿在跑道旁误以为我要撞向她而惊慌挥手时，我们却完…
BeanShell3 在沉寂许久后终于宣布重启开发计划，这一消息让不少老开发者感到惊喜。当年在 Android 开发中，BeanShell 常被用作类似 telnet 风格的调试 REPL，虽然当时已显陈旧，却因其便捷性深受喜爱。如今项目重新上路，不仅唤起了许多人的回忆，也让那些曾经被搁置的老旧项目看到了重见天日的希望。社区反响热烈，有人感叹这是“来自过去的惊喜”，也有人期待它能带来新的生命力。
systemd 作为 Linux 操作系统的核心构建模块，其品牌标识源自经典终端启动时标志性的绿色 [OK] 提示。由 GNOME 项目的 Tobias Bernard 于 2019 年设计的 Logo，以抽象括号形态象征服务运行与乐观愿景。文章详细阐述了品牌规范，包括 #30D475 的 systemd green 和 #201A26 的 systemd black 配色，以及 Heebo 字…
这篇文章探讨了一个令人深思的哲学命题：如果唯物主义成立，那么像美国这样复杂的系统是否可能具备意识？作者从哲学与科学的角度出发，分析了意识产生的条件，并大胆提出国家作为一个整体系统，可能满足某些意识特征。这一观点挑战了传统对意识和物质世界的理解，引发读者对现实本质的重新思考。
我们提供独特的自动化测试服务，通过模拟三个智能体（Agents）从注册到完成全流程的端到端体验，全方位评估您的产品。无论是文档、营销页面、CLI工具、MCP还是Skills，我们都能精准定位问题并给出具体改进建议。看看Datadog、Savvly等知名产品的智能体适配评分，快速发现并修复阻碍智能体使用的障碍，让您的产品真正准备好迎接AI时代的用户。
- ▲ 32无人机诞生前，鸽子如何航拍？
在无人机问世的一百年前，Dr Julius G. Neubronner 就利用信鸽实现了空中摄影。这位药剂师兼鸽友发明了微型鸽子相机，通过精巧的皮制背带和铝制胸甲将相机固定在鸽子身上，并利用气动计时器定时拍摄。尽管德国专利局最初质疑鸽子无法承载 75 克的重量，但 Neubronner 用照片证明了可行性，并于 1908 年获得专利。这些照片以倾斜的角度和随机的构图，呈现出一种类似现代 GoPr…
Miro Bannwart推出的GrassLobster项目，试图打破参数化设计的门槛。它不再要求你写出完美的技术提示词，而是通过外部AI代理与用户对话，逐步明确设计意图，自动生成可编辑的Grasshopper工作流。从弯曲楼梯到粗野主义别墅，AI负责构建逻辑与规则，设计师则专注于几何形态的把控与调整。项目利用“几何站点”将复杂流程可视化，并将逻辑镜像为文本供AI理解，让设计师真正实现了“与文件…
Go 1.27 引入了针对 80 字节以下小对象的 Size-Specialized Memory Allocation 机制，让内存分配速度提升 20-30%，整体程序性能最高可提升 1%。这次优化通过为不同的 span class 生成专门的 mallocgc 变体函数，利用编译器在编译期已知大小的优势，直接调用专用函数而非通用包装器 newobject。核心改进在于内存清零环节，编译器能将…
我拆解了桌面上的 iRig HD X，发现其内置的 500 MHz Cortex-M7 处理器远未被充分利用。通过重写固件，我将 NAM A2-Lite 引擎成功移植到 128 KiB 的 FlexRAM 中，让这款原本依赖电脑处理的音频接口实现了独立建模。现在，吉他信号直接进入 iRig 内部，经过 5150 和 OD808 模型的实时渲染后输出，无需任何外部主机。经过严格测试，其输出结果与上…
Cognition 推出了 Code Scans 功能，让 Devin 能根据工程目标自动扫描代码库并生成修复方案。无论是优化 SEO、减少维护成本还是提升编译速度，你只需告诉 Devin 想要达成的结果，它就能利用 Agentic MapReduce 架构将大型调查拆解为并行任务，最终输出待审查的 Pull Requests。在测试中，Code Scans 实现了 96% 的 PR 合并率，帮…
- ▲ 26用定性用户研究构建更快的反馈循环
作为 CodeYam 的创始人，我在过去十年中不断打磨一套加速学习的方法论。在尚未达到产品市场契合度的早期阶段，学习速度至关重要。我结合 Design Sprint 和 GV Research Sprint 的流程，通过小范围、代表性的用户访谈，快速验证假设、测试风险。虽然 AI 工具能辅助加速，但绝不能替代与真实人类用户的对话。定性研究的核心价值在于帮你更快发现失败，从而延长实验跑道，让你更有…
我们发布了 Grok Voice Transcribe 2.0，这是目前最精准的语音转文本模型之一。相比前代，它在保持相同价格的前提下，准确率提升了一倍。该模型基于 Grok Voice 的音频基础模型构建，已在数十万通客户支持电话、数百万小时视频旁白以及 Tesla 车辆的 Grok 助手等真实场景中验证。它专为处理嘈杂环境、多方口音及复杂语音指令而训练，在 Artificial Analys…
欢迎来到 Khipu Field Guide，这是一个由独立研究员 Ashok Khosla 打造的项目，旨在让大众也能探索印加帝国的结绳记事奥秘。这里汇集了全球最庞大的 703 个 Khipu 数字化档案，不仅提供高清的符号渲染图，还包含交互式数据分析和计算研究。从 GUIDEBOOK 的基础科普到 NOTEBOOK 的深度解密，再到 DATABOOK 的数据库构建细节，该项目利用数据科学手段…
Rickub 是一个全新的 Git 托管平台，旨在成为你项目的理想归宿。它提供完整的开发工作流，包括代码仓库、合并请求、CI/Actions 以及内置的 Athena AI 代码审查。Rickub 不仅兼容 GitHub Actions 工作流，实现无缝迁移，还通过内置 OCI 容器仓库和 Git LFS 支持，让大文件管理和镜像发布变得异常简单。更重要的是，它承诺比 GitHub 和 GitL…
Air Security 团队发现名为 Plugin4Shell 的零点击远程代码执行漏洞，影响 Claude Code、Codex、GitHub Copilot 和 Gemini CLI 四大主流编程代理。该漏洞利用 SHA 固定机制的缺陷，攻击者无需用户交互即可在后台自动更新中植入恶意代码。即使企业严格审查插件并固定版本，也无法阻止攻击。目前 Anthropic 和 OpenAI 已修复，但…
HEIF Heist 揭示了隐藏在 libheif 和 libde265 等底层图像解析器中的严重漏洞。攻击者只需上传精心构造的 HEIF、HEIC 或 AVIF 图片，即可绕过应用层防护，在 Meta、Discourse、Next.js 甚至 GitHub Enterprise 等平台上触发远程代码执行（RCE）或窃取敏感数据。这些漏洞存在于原生 C/C++ 解码器中，不受编程语言或框架限制，…