日报

New U.S. college grads now have higher unemployment than the average worker

美国应届大学毕业生失业率已反超全美平均水平，打破了数十年来的学历优势，且这一趋势早在疫情和 AI 爆发前就已显现。

Sem: New primitive for code understanding – not LSPs, but entities on top of Git

Git 之上新增实体级语义原语，一条 sem 命令即可覆盖 diff/blame/impact/log/entities/context，提供 rename 检测与结构哈希，AI 代理准确率提升 2.3 倍，适合想用 Git 真实变化而非行级 diff 的开发者

sem diff 变实体级 git diff，函数改动一目了然，AI 准确率涨 2.3 倍

Meta confirms 1000s of Instagram accounts were hacked by abusing its AI chatbot

Meta 确认其 AI 聊天机器人存在漏洞，导致逾 2 万个未开启双重验证的 Instagram 账号被黑客非法接管。

Python JIT project was asked to pause development

Python 指导委员会要求 CPython JIT 项目暂停新功能开发，并限期 6 个月内提交正式 PEP 以决定其去留。

Zeroserve: A zero-config web server you can script with eBPF

零配置 eBPF 脚本 Web 服务器，单核心跑分超 nginx，适合想用脚本改路由和限流的需求

单 tarball 打包网站，eBPF 脚本实现零配置 web 服务器，io_uring 和 eBPF 中间件让 nginx 告别传统配置文件

Motorola effectively bricked its entire line of WiFi routers without explanation

Motorola 路由器因配套 App 宕机数周且官方下架产品线，导致大量设备无法设置或重置，实质性 “变砖”。

Moving beyond fork() + exec()

Linux 内核 fork ()+exec () 模式优化提案：Chen 提出的 spawn templates 被拒，但建议转向 posix spawn ()，评论区热议 Cost vs benefit 与 io uring 替代

LWN 内核 fork / exec 提案讨论终结 spawn templates，转向 posix spawn 却没落地

Running Python code in a sandbox with MicroPython and WASM

Simon Willison 发布 micropython-wasm alpha，带 C 代码的 362KB WASM 沙箱能安全执行 Python 代码、限内存 / CPU、控制文件网络交互，适合测试 Datasette Agent 插件

Simon Willison 用 MicroPython + WASM 打包成 micropython-wasm，给你安全 sandbox 跑插件代码

Benchmarks in Leipzig

49 位数学家发布包含 100 道研究级数学题的新基准测试，实测显示顶级大模型已能解决绝大部分高难度问题。

Google will pay SpaceX $920M per month for compute

谷歌将每月向 SpaceX 支付 9.2 亿美元租用约 11 万块 GPU，以补充其 Gemini Enterprise 平台的算力缺口。

The Smart TV in Your LivingRoom Is a Node in the AIScraping Economy

揭秘智能电视和手机如何通过内置 SDK 成为 AI 抓取数据的 “住宅代理” 节点，并深入分析了其绕过 VPN 的技术手段。

GrapheneOS user reported to authorities for using GrapheneOS

身份验证服务 Yoti 被曝会自动标记运行 GrapheneOS 的设备，并将其上报给执法部门。

S&P 500 rejects SpaceX, also blocking entry for OpenAI and Anthropic

S & P 500 拒绝为 SpaceX 破例修改准入规则，OpenAI 与 Anthropic 的快速入指计划亦受阻。

Lockdown Mode

OpenAI 推出 “锁定模式”（Lockdown Mode），通过限制联网与外部服务访问，降低提示注入攻击导致的数据外泄风险。

The perils of UUID primary keys in SQLite

SQLite UUID 主键插入性能惊人下降 14-16 倍，UUID7 无需 ROWID 接近 1M / s，可直接参考基准对比

SQLite 用 UUID7 主键插入百万行只需 1.2 秒，换 UUID4 直接降速 15 倍

Google to pay SpaceX $920M a month for compute capacity at xAI data centers

Google 斥资每月 9.2 亿美元向 SpaceX 租用 AI 算力，以缓解 Gemini Enterprise 需求压力并助力 SpaceX IPO 前的业绩。

Transformers are inherently succinct

论证 Transformer 在描述语言时比 RNN 和 LTL 具有指数级的 “简洁性” 优势，并指出这种紧凑性导致其形式化验证在计算上极度困难（EXPSPACE-complete）。

Harness engineering: Leveraging Codex in an agent-first world

揭秘 OpenAI 如何实现 “零人工代码” 开发：让 Codex 编写百万行代码，人类转向设计代理运行环境。

Cloudflare CEO is lying to you about the bot traffic jump

质疑 Cloudflare CEO 关于 “机器人流量首次超过人类” 的言论，指出其通过误导性的数据筛选手段夸大了机器人流量占比。

Gov.uk has replaced Stripe with Dutch provider Adyen

英国政府数字服务局（GDS）将 GOV.UK Pay 的部分支付处理商从 Stripe 更换为荷兰公司 Adyen，以引入 Open Banking 支付功能。

Gemma 4 QAT models: Optimizing compression for mobile and laptop efficiency

Google 发布 Gemma 4 QAT 量化模型，专为移动与笔记本优化，E2B 可压缩至 1GB；适合追求本地高效运行的人群值得点进读细节。

Gemma 4 QAT 压缩版能把模型压到 1GB 内存，llama.cpp 和 Ollama 直接跑，质量不掉

U.S. Military Turned GPS into a Global "Numbers Station"

研究发现美国军方近 20 年来一直利用公开 GPS 信号作为隐藏的 “数字电台”，向全球分发加密密钥。

pg_durable: Microsoft open sources in-database durable execution

Microsoft 开源的 PostgreSQL 扩展，支持在数据库内直接运行具备断点续传能力的持久化 SQL 工作流。

Conventional Commits encourages focus on the wrong things

深度反思 Conventional Commits 的弊端：为什么 “类型” 不如 “范围” 重要，以及如何借鉴 Linux / Go 的提交规范。

I tested every IP KVM in my Homelab

知名技术博主 Jeff Geerling 对市面上几乎所有主流 IP KVM 设备（从 PiKVM 到百元内廉价方案）进行的深度横评与选购指南。

The Quiet Numbers Station: Decoding Nineteen Years of GPS Cryptography

揭秘 GPS 信号中隐藏 19 年的 “数字电台”：研究人员通过大数据分析，拆解了美军如何利用公开频率分发军事加密密钥。

Did Claude increase bugs in rsync?

作者对 rsync 项目所有 36 个带 bug 数据的发布进行分布分析，仅用 severity 加权每 10 次提交的 bug 数做精确置换检验，结论是 Claude 辅助的 2 个发布并不异常（p = 46%）

rsync 项目用 severity 加权 bugs / 10 commits 指标分析，Claude 辅助版本与历史分布重合度 46%，没证据说 AI 开发会让工具变坏

Programmers will document for Claude, but not for each other

探讨程序员为何更愿意为 AI 编写文档，并分享了利用 Claude 自动生成项目总结与交接文档的实用工作流。

Show HN: Lowfat – pluggable CLI filter that saved 91.8% of my LLM tokens

Show HN 项目：Lowfat – pluggable CLI filter that saved 91.8% of my LLM tokens

lowfat CLI 插件让 Claude Code 等 agent 自动压缩 git diff ls 后读文件，节省 90% 以上 token

ESP32 Bit Pirate, a Hardware Hacking Tool with WebCLI That Speaks Every Protocol

基于 ESP32-S3 的开源固件，可将开发板转化为支持多种有线及无线协议的硬件黑客工具（类似 Bus Pirate）。