← 往期列表

日报

2026 年 7 月 7 日 · 星期二

读过 90 篇 · 精选 30 篇

更多
精读 预计 5 分钟

Why false sharing alignment should be 128 bytes on x64

解释 x64 上 false sharing 需 128 字节对齐的原因，并对比 Skylake、Ice Lake 和 M1 的基准测试结果

x64 原子对齐该用 128 字节，Skylake 空间预取器让 64 字节仍假共享，实测延迟敏感场景更稳

Lobsters · 1 赞 · 0 评 进入阅读 →
精读 预计 5 分钟

Eliminating Go bound checks with unsafe

Go hot path 里移除 slice 边界检查的 unsafe 技巧，全新 2x 性能测试 + brotli 源码实战

Go unsafe 指针算术 2x 快消除热路径 bound check，3 行就转 leaf 无 CALL 开销

Lobsters · 3 赞 · 0 评 进入阅读 →
精读 预计 25 分钟

A Rust-to-Lean verification pipeline with AI provers: An experience report

Rust 加密代码转 Lean 4 形式化验证管道，首次结合 AI prover（Aristotle/Aleph）在 zkEVM 项目中验证 Plonky3/FRI 与 RISC Zero 原语，可快速判断是否适合生产级安全验证。

AI prover 自动证 Plonky3 bounds 定理到 Lean，工具链漂移和提取限制成了主要障碍

Lobsters · 2 赞 · 0 评 进入阅读 →
精读 预计 13 分钟

Turning a Chinese IoT camera into an owl livestream

从中国 IoT 摄像头逆向重播直播的完整工程指南，教你用 Hopper + LLDB + Theos tweak + Python 胶水实现本地 m3u8，不用下载 app。

Theos tweak hook Y5 摄像头 YUV 帧转 MJPEG 直播，内存泄漏和电池耗尽的坑全给你踩过了

Lobsters · 2 赞 · 0 评 进入阅读 →
精读 预计 2 分钟

Claude Fable 5 Backlash Grows

Claude Fable 5 7 月 1 日重启后，用户和 BridgeMind 基准测试报告安全分类器收紧导致编码调试性能大幅下滑，Anthropic 称模型未变只是扩大安全边际。

Claude Fable 5 被安全分类器 caged，coding benchmark 暴跌 86→26，模型本身未变

Hacker News · 9 赞 · 2 评 进入阅读 →
精读 预计 5 分钟

AT&T's very rare Security-Plus Telephone

AT & T 1987 年广告展示罕见 Security-Plus Telephone（STU - III 标准），提及 4.8 Kb / s 速率、32 个加密密钥、多终端共用及博物馆实物展示，适合对冷战加密设备感兴趣的收藏或历史爱好者

AT & T 1987 广告独家 4.8Kb / s STU - III 电话支持 32 个共享密钥 4 个独立安全级，可直接套用在 AI 工程安全通讯上

Lobsters · 2 赞 · 0 评 进入阅读 →
精读 预计 7 分钟

Securing agentic identity

一种针对 agentic AI 代理的身份安全方案，能有效防止凭证泄露并支持 mTLS 绑定，适合对 LLM 代理访问权限与安全敏感的企业

代理环境里别把真凭证塞进代码了，拿代理 + 加密 JWT + mTLS 绑定就能死死锁死它们

Lobsters · 2 赞 · 0 评 进入阅读 →
精读 预计 6 分钟

OpenSSH 10.4/10.4p1 Released

OpenSSH 10.4 发布，重点修复 sftp / scp 安全漏洞与 PQ 签名支持，值得点进查看补丁细节

OpenSSH 10.4 发布复合后量子签名实验支持，ssh-keygen -t mldsa44-ed25519 直接生成密钥

Hacker News · 7 赞 · 3 评 进入阅读 →
精读 预计 16 分钟

How ChatGPT Picks Sources (I Read the Network Traffic, Not the Outputs)

作者亲自抓取 ChatGPT 2 天网络流量，揭示其 4 种 result source（serp/labrador/bright/oxylabs）+ turn use case + 15-40 子查询机制，帮 AI SEO/GEO 用户直接判断哪类查询可被引用、如何让页面被抓取与置信

ChatGPT 把问题归 text 桶直接从训练数据答，当前高价值医疗指南等无 EEAT 支撑，必须先确认词句决定桶型

Hacker News · 3 赞 · 0 评 进入阅读 →
精读 预计 4 分钟

Orasort - Common prefix skipping, adaptive sort

2026 年博客旧文分享已过期的 US 专利，详细回忆 Orasort 算法（前缀跳过 + 自适应快排 + 键子串缓存）如何从 2000-2005 Oracle 开发经历而来，提供 5X 性能提升实测数据与分叉风险细节

Orasort 发明人把 5 倍快 Oracle 排序公开，共同前缀跳过 + 自适应 radix 直接可用

Lobsters · 2 赞 · 0 评 进入阅读 →
精读 预计 6 分钟

Show HN: Otari: your open-source LLM control plane

OpenAI 兼容网关开源工具，单端点代理 40+ 供应商，支持自托管密钥管理、预算控制与使用追踪，一键启动即运行，适合开发者快速搭建私有 LLM 控制平面。

Otari 一键跑起 OpenAI 兼容网关，40 + 提供商统一管理密钥预算和用量

Hacker News · 4 赞 · 0 评 进入阅读 →
精读 预计 2 分钟

Taiganet.com, Home of the WS4000 Simulator

taiganet.com 的 WS4000 Simulator 页面，教你如何用三文件便携版重现经典 NWS 天气界面、实时雷达与 4000 式爬滚消息，适合想玩老天气模拟器的用户。

三文件 64 位 WS4000 天气模拟器复刻，FMOD + 自定义布局直接抄

Hacker News · 8 赞 · 1 评 进入阅读 →
精读 预计 3 分钟

Learning to code is still worthwhile

Steve Krouse 分享学习编程的内在价值，否认它只是快速致富捷径，但强调它仍是教数学、培养元技能与表达创造力的最佳途径

编程教你调试逻辑元技能与 AI 工程真实变化，LLM 时代还能编码改变世界

Hacker News · 47 赞 · 22 评 进入阅读 →
精读 预计 4 分钟

Canonization and the Overhang

LLM 证明定理时『定理经济崩塌』，揭示软件『Canonization（规范）』与『Overhang（悬崖）』，代码生态如何从一次性工具进化成可复用抽象？

把单次 AI 证明变为可复用库，定义和抽象全变，帮你做工程时避开架构坑

Hacker News · 4 赞 · 0 评 进入阅读 →
精读 预计 6 分钟

GLM 5.2 and the coming AI margin collapse

GLM 5.2 开源权重模型推理成本低至传统 API 的 15-20%，切换成本极低，适合 Agentic 任务

GLM5.2 兼容端点零成本切换 Claude Code，coding plan 月 12 刀起，inference 成本仅 frontier 15-20%

Lobsters · 3 赞 · 0 评 进入阅读 →
精读 预计 3 分钟

Price per 1M tokens is meaningless

price per 1M tokens 的性价比评估，附 Claude、GPT、GLM 等模型 AA 基准测试对比表，揭露 token 效率和实际任务成本差异

1M tokens 单价没用，GPT-5.5 比 Claude Opus 4.8 每任务便宜近一半

Hacker News · 53 赞 · 24 评 进入阅读 →
精读 预计 4 分钟

Python 3.14 compiled to metal – no interpreter

Python 3.14 编译器 pon，用 Rust 写无解释器 JIT / AoT 编译器与运行时

pon 给你 Rust 写的 Python 3.14 原生编译器，无解释器也无字节码，pon run 就能 JIT，pon build 就能出独立可执行文件

Hacker News · 34 赞 · 11 评 进入阅读 →
精读 预计 7 分钟

Pruning RAG context down to what the answer actually needs

Kapa.ai 分享了自研 RAG 上下文剪枝代理，能丢弃 68% 上下文同时保留 96% 召回率，单次查询成本降低约三分之一，适合企业想优化 RAG 成本与召回的开发者参考

小模型 pruner 丢掉 RAG 68% context 保留 96% recall，单查询成本降四分之一

Hacker News · 27 赞 · 1 评 进入阅读 →
精读 预计 6 分钟

Hacking the Kyocera KY-42C

通过调试 KY - 42C 固件分析 BROM USBDL 锁定机制、编写 MTK Payload 解锁 fastboot 并实现完整设备转储，是 MediaTek 旧机型 bootloader 绕过实战案例

Kyocera KY - 42C 手机解锁 bootloader，三行代码就能刷进系统

Lobsters · 2 赞 · 0 评 进入阅读 →
精读 预计 6 分钟

Companies hire more after AI adoption

Ramp 经济实验室报告显示，AI 高强度采用公司 2 年内员工规模增长 10%，新入职岗位增长 12%，适合关注 AI 对就业影响的创业者和分析师参考

高强度 AI 采用公司两年后员工净增 10%，入门级还快 12%

Hacker News · 4 赞 · 0 评 进入阅读 →
精读 预计 22 分钟

A global workspace in language models

Anthropic 发现 Claude 内部形成 J-space：可报告、可调控、用于隐性多步推理，像人类全局工作空间一样广播信息；但非自动处理的核心。

Claude J-space 让你读出模型不写的内部思考，用 J-lens 直接复制代码到项目就能看到多步推理里的真实判断

Hacker News · 61 赞 · 9 评 进入阅读 →
精读 预计 5 分钟

Majority of Americans Support Banning Social Media for Kids Under 16

美国民众支持对未满 16 岁儿童禁止社交媒体，且支持家长同意、年龄验证与使用时限，跨年龄与党派群体一致，适合关注青少年网络安全政策的人点进去看

美国近六成人支持禁 16 岁以下社交媒体，父母支持率更高且跨党派一致

Hacker News · 9 赞 · 4 评 进入阅读 →
精读 预计 10 分钟

Show HN: Pulpie – Models for Cleaning the Web

Pulpie 开源模型：210M 参数编码器在 WebMainBench ROUGE-5 F1 达 0.862（与 Dripper 相当），在 L4 GPU 上每秒 13.7 页（Dripper 0.68），清洗 1B 页成本仅 $7,900，是 Dripper 的 1 / 20；开源 Hugging Face，适合大规模网页内容提取的创业者。

Pulpie Orange Small 210M 模型 20 倍快 20 倍便宜，ROUGE 0.862 直接跑赢 Dripper 600M 模型，网页清理端到端可落地

Hacker News · 39 赞 · 8 评 进入阅读 →
精读 预计 7 分钟

Union Busters Coming After Me

Fred Hutch 雇主雇佣 Ballard Spahr 针对反工会网站 real facts fred hutch . com 进行域名与内容指控的故事，展示工会反击策略与雇主恐吓手法。

Claude 让非商业反网站全改成红 beige，改了 11 次才打发律师，完美打脸公司 IP 敲诈

Hacker News · 87 赞 · 11 评 进入阅读 →
精读 预计 2 分钟

Kani: A Model Checker for Rust

Kani：Rust 的有界模型检查器，编译 MIR 进入 CBMC 引擎，零注释验证安全属性与功能正确性，适用于需要安全保证的生产 Rust 项目

Kani 用 cargo kani 零注释验证 Rust unsafe 安全和函数正确性，工业案例挖出 6 个未知 bug

Hacker News · 57 赞 · 2 评 进入阅读 →

读完去做事。