每日摘要 · Hacker News
· 83 黑客新闻
- ▲ 1050法国将全面禁止未经同意的电话推销
从8月11日起，法国将正式实施新法，全面禁止未经消费者事先同意的电话推销行为。这项由Emmanuel Macron政府推动的法律，旨在终结每周困扰四分之三法国人的骚扰电话。新规下，企业若无明确授权不得主动联系客户，违者将面临最高375,000欧元的罚款。与以往需主动登记“拒接名单”不同，新法确立了“默认禁止”原则，消费者可随时撤回同意。这一举措虽保护了本国用户，却也引发了摩洛哥等国的担忧，当地数…
- ▲ 682从专有 LLM API 窃取推理轨迹
Anthropic、OpenAI 和 Google 的专有模型会将加密的推理轨迹（Reasoning Traces）返回给客户端，这些加密块可以在不同会话、用户甚至模型间复用。研究人员发现，只需将强模型的加密推理轨迹注入到同厂商的弱模型中，并配合越狱提示词，就能在不直接攻击强模型或触发反蒸馏机制的情况下，完整还原其隐藏的推理过程。这项技术揭示了当前 API 架构在保护模型核心思维链方面的重大漏洞…
- ▲ 662英国反匿名战争已蔓延至美国
Effort 调查揭露，五家英国非政府组织正联手推动美国通过数字身份法，企图以“儿童安全”为名剥夺成年人的网络匿名权。这些组织包括 5Rights、CCDH 和 ISD，它们在美国多个州及国会游说，试图复制英国《在线安全法》模式。该法案在英国已被用于监控、逮捕政治异见者，而 5Rights 甚至未如实披露其外国代理人身份。ISD 更从美国国务院、欧盟等机构获得超 1700 万美元合同，将政治异议…
- ▲ 639压缩即预测：LLM 与压缩器的底层秘密
最近我在研究数据压缩时，发现了一个令人拍案叫绝的事实：压缩器和大型语言模型（LLM）本质上是在解决同一个问题。文章通过拆解压缩器的三大核心组件——变换、模型和熵编码器，揭示了压缩技术如何利用数据冗余进行“预测”。特别是算术编码（Arithmetic coding）部分，展示了如何将整段数据压缩为单个数字。当数据分布越集中，预测越准确，压缩率就越高。这不仅是信息论中香农熵（Shannon entr…
- ▲ 556英国有望率先消除丙型肝炎
数据显示，英国正走在全球消除丙型肝炎（hepatitis C）的最前列。通过抗病毒药物治疗，超过95%的病例可被治愈，目前已知病例的80%治疗目标已达成，过去十年相关死亡人数下降了36%。NHS England 通过急诊血液检测、全科医生注册检测及免费居家自测等举措，成功发现了大量此前未被诊断的患者。尽管距离2030年完全消除的目标仍有差距，特别是针对特定东欧国家出生人群的风险提示仍需加强，但英…
- ▲ 505OpenAI 唯一伦理学家离职且未获接替
OpenAI 的首席伦理学家 Chloé Bakalar 据报道已于上月悄然离职，她在公司任职不足一年，此前曾在 Meta 担任首席伦理学家。令人关注的是，OpenAI 并未为她安排继任者，这意味着这家 AI 巨头目前可能已没有专职的伦理学家。这一人事变动发生在 OpenAI 安全团队近期频繁动荡的背景下，包括安全系统负责人 Johannes Heidecke 和 Joshua Achiam 的…
- ▲ 442Claude 如何标记 AI 生成内容
Anthropic 在支持文档中详细解释了 Claude 对 AI 生成内容的标记机制。这一举措旨在提升透明度，帮助用户和平台识别由 AI 创作的内容。文章涵盖了标记的具体方式、适用场景以及背后的技术逻辑，强调了在 AI 普及时代保持内容真实性和可追溯性的重要性。对于开发者、内容创作者以及普通用户而言，理解这一机制有助于更好地利用 Claude 的功能，同时遵守相关的使用规范。
Antirez 开源了 h3.c 项目，这是一个专为 Apple Silicon 打造的 MiniMax H3 推理引擎，利用 Metal 框架实现原生加速。项目支持从文本生成视频和音频，并提供交互式会话，允许用户通过命令调整首尾帧、参考图像及生成参数。教程详细展示了如何在 M3 Max 和 M5 Max 上通过调整去噪步数、Transformer 层数和内存复用策略，在速度与画质之间找到最佳平…
经过三年打磨，Mojo 语言终于迎来 1.0 正式版。这不仅是 Modular 团队内部基础设施的基石，更是开发者构建长期项目的稳定平台。此次更新统一了变量声明与闭包语法，引入了 Python 风格的 lambda 语法，并大幅提升了 LSP 服务器的稳定性。社区贡献者超过 200 人，提交了逾 1100 个拉取请求。Mojo 1.0 标志着语言从快速迭代转向稳定演进，未来将重点投入异步编程模型…
软件开发正经历从“手写代码”到“审查代码”的根本转变。当 AI 能瞬间生成大量代码时，语言的核心价值不再是编写效率，而是可读性、一致性和可维护性。Go 语言凭借其“平台化”设计、强制统一的代码风格（gofmt）、强大的静态类型系统以及永不破坏向后兼容性的承诺，成为 AI 协作时代的理想选择。Go 的标准化生态不仅让人类开发者更易协作，也为 LLM 提供了高质量、低噪声的训练数据，使 AI 能更精…
London Underground 正在与伦敦交通局警察（BTP）合作，将实时人脸识别技术（Live Facial Recognition, LFR）的试点范围扩大至地铁站。这意味着乘客在进出站时，其面部特征可能会被系统自动捕捉并比对。这项技术旨在提升公共安全，协助警方识别通缉人员，但同时也引发了公众对隐私泄露和监控过度的担忧。随着试点的深入，如何在安全需求与个人隐私之间找到平衡，将成为伦敦乃…
文章通过回顾1873年Jay Cooke因Northern Pacific Railway融资失败引发金融危机的历史，深刻揭示了当前AI基础设施建设的潜在风险。Microsoft CEO Satya Nadella将1873年视为必读参考，而Oracle、Meta、Alphabet和Amazon等巨头却已疯狂举债，今年仅前七个月就筹集了194亿美元。尽管DeepMind核心人才流失导致Gemin…
Grok Bot 不再只是聊天助手，而是能真正替你工作的 AI 同事。它拥有独立的计算环境，可以登录你的 Zendesk 等工具，像真人一样操作界面、处理任务。你可以像布置工作一样给它下达指令，它不仅能 24/7 并行工作，还能通过观察你的操作学习工作流，将重复任务转化为自动化的 Routine。从销售线索挖掘到财务报销，Grok Bot 能记住上下文并持续进化，甚至多个 Bot 之间还能互相协…
Photosynthesis 是一款创新的 iPhone 相机应用，它能同时调用手机背部的两个镜头进行拍摄，并将结果融合成一张高分辨率照片。无需升级手机硬件，即可在不使用生成式 AI 的前提下，获得真实的光学细节。无论是演唱会现场捕捉远处乐手，还是日常记录，它都能让你同时拥有广角视野和中心特写，彻底解决画质与视野不可兼得的难题。
- ▲ 301macOS虚拟机LLM推理提速16倍
我们利用Apple Silicon和macOS虚拟机，通过一个小型的进程级兼容性层，成功解锁了Metal的更快路径。在M1 Ultra上，使用llama.cpp运行TinyLlama时，提示处理速度提升了11倍，令牌生成速度提升了16倍。对于Gemma 4 12B模型，提示处理速度也提升了7.2倍。这一成果无需修改内核或进行物理GPU直通，仅通过调整虚拟GPU报告的Metal能力参数，就让虚拟机…
- ▲ 289Every Cube: 浏览魔方所有状态
Every Cube 是一个令人惊叹的 Web 项目，它允许用户滚动浏览魔方全部 43252003274489856000 种可能的状态。通过高效的算法和可视化技术，该项目将庞大的组合空间转化为可交互的体验，支持 2D 和 3D 视图切换。无论是数学爱好者还是编程极客，都能在这里探索 Superflip 或 Checkerboard 等特殊状态，感受计算之美。
Tencent Hunyuan3D 团队推出了 WorldClaw，这是一个能够仅凭一句开放式文本提示，就生成大规模、可探索且可编辑的 3D 开放世界的智能体框架。该系统通过智能体规划，将用户的模糊描述转化为结构化的场景规范，在保持全球地形连贯性的同时，精细构建局部细节。无论是雪山村庄还是热带岛屿，WorldClaw 都能生成独立的可编辑实例，让地形和物体保持分离，支持下游的自由视角探索、对象级…
Trump Media推出了一项名为Truth API的新服务，让高频交易公司能抢先获取Truth Social上关键帖子的数据。目前已有超过10家企业签约，每月支付6万至10万美元不等的费用。尽管该公司在第二季度录得2.38亿美元亏损，且业务重心正从加密货币转向社交媒体，但这项服务被视为新的收入增长点。然而，由于特朗普家族仍是公司大股东，这种让华尔街从总统公开言论中获利的模式，也引发了关于法律…
- ▲ 260Flock 相机故障致女子两次遭持枪拦截
Amber Newell 在短短一周内两次遭遇 Brookfield 警察持枪拦截，原因竟是 Flock 相机系统误报。该自动化系统扫描车牌后，错误地将她的车辆标记为与谋杀案相关。Milwaukee 警方后来承认，由于员工疏忽，本应数天前清除的警报未被移除。尽管 Brookfield 警长表示警员反应符合程序，但这一连串失误让 Newell 及其年幼的女儿深受惊吓，孩子甚至担心每次上车都会“被抓…
随着 AI 从聊天机器人向自主智能体演进，NVIDIA 发布了 Nemotron 3.5 Lightning，这是一款专为长周期智能体任务设计的高效率开源模型。作为 Nemotron 3 家族的新成员，它拥有 300 亿参数，输出速度提升 4 倍，任务完成快 30%。配合开源的路由库 NeMo Switchyard，企业可智能地将请求分发给最合适的模型，在保持前沿精度的同时，将成本降低至原来的三…
- ▲ 222毁掉 Mark Twain 的机械奇迹
Mark Twain 曾将 Paige Compositor 誉为超越人类智慧的机械奇迹，甚至认为它能让电话和火车都显得像玩具。然而，这项试图完美模拟人类排字动作的复杂发明，最终因过于繁琐而无法量产，反而让 Mark Twain 耗尽家财，陷入破产与抑郁。相比之下，Linotype 机器通过重新设计工作流程而非单纯模仿人类，最终赢得了市场。这个故事揭示了技术变革的残酷真相：预见未来并不等于能实现…
Jolt 是一个自托管的 Clojure 实现，它运行在 Scheme 上，原生支持 Chez Scheme，也能通过 Gambit 编译为 JavaScript。它无需 JVM，也无需构建步骤，即可让大多数可移植的 Clojure 代码原封不动地运行。编译器本身用 Clojure 编写并编译自身，支持持久化数据、惰性序列、转换器和多方法等完整的 Clojure 语义。它提供真实的并发能力，如…
最近我注意到GitHub Copilot的额度消耗得越来越快，于是决定用MITM代理深入探究VS Code和Copilot的后台运作。通过拦截网络流量，我发现Copilot在启动阶段就会进行OAuth认证、模型发现和上下文加载。更有趣的是，即便我在.env文件中写入假密钥，只要在其他文件（如pyproject.toml）中打字，Copilot仍会发送包含上下文的请求。此外，Copilot还会调用…
- ▲ 179用笔式绘图仪制作全息图
我花了不少精力修复了一台从 eBay 淘来的笔式绘图仪，并发现它能创造出打印机无法实现的独特效果。最近，我尝试用它来制作手绘全息图。原理其实很简单：通过手指沾油在屏幕上留下指纹，光线会在指纹的脊线上反射，当你移动视角时，高光点也会随之移动。利用这一现象，我让绘图仪在旧 CD 盒上刻画出具有特定曲率的线条，从而模拟出三维景深。虽然经历了塑料片和蜡纸的失败尝试，但最终在 CD 盒上取得了成功。无需昂…
- ▲ 1692.6B 小模型竟能匹敌 4 倍大模型
LiquidAI 发布了最新的 LFM2.5-2.6B 模型，这是一款专为端侧部署设计的混合架构模型。尽管参数量仅为 2.6B，但其在工具调用、指令遵循及多步骤代理任务上的表现，竟能与 4 倍体积的模型相媲美。该模型拥有 128K 的上下文窗口，并经过专门的代理强化学习训练，在 Apple M5 Max 上推理速度可达 220 tok/s，在 AMD Ryzen CPU 上也能达到 113 to…
Manus 即将恢复独立运营，为符合特定地区的监管要求，部分在 2025 年 12 月 29 日之后生成数据的用户账户将受到影响。受影响用户需在 2026 年 8 月 23 日前完成数据备份，随后系统将在 8 月 23 日至 24 日删除相关数据，并于 25 日开放恢复。未受影响的用户可继续使用服务，无需任何操作。Manus 强调此次调整并非安全事件，而是从 Meta 分离过程中的必要步骤。公司…
git-knife 是一款清爽的桌面 GUI 工具，让你能像操作电子表格一样批量修改 Git 提交记录中的消息、作者、作者日期和提交者日期。不同于 GitKraken 或 lazygit 等现有工具对日期字段的限制，git-knife 填补了图形化界面无法深度重写元数据的空白。它直接调用系统 git CLI 并通过 git commit-tree 重建提交，确保文件内容绝对不被修改。工具内置自动…
2000年，我成为了Polo Ralph Lauren的驻场摄影师，薪水是之前在Christie's拍卖行的两倍。多年来，我一直以为是通过《纽约时报》的分类广告找到的这份工作。为了验证记忆，我利用Times Machine查阅了150年前的报纸档案，并翻出了自己保存的2000年求职信。最终，我在2000年1月16日的周日版报纸上找到了那条招聘广告。有趣的是，记忆中关于如何查到公司电话以及老板在答…
- ▲ 156密歇根大学取消首学期成绩
面对日益严峻的学生心理健康危机，University of Michigan 做出了一个大胆的决定：取消大一新生第一学期的大部分课程成绩。这一举措旨在减轻学生的学业压力，让他们能更专注于适应大学生活和心理健康，而非仅仅追求 GPA。校方认为，传统的评分体系在新生阶段可能加剧焦虑，而 Pass/Fail 制度能提供更宽松的成长环境。这一政策引发了教育界关于如何平衡学术标准与学生福祉的广泛讨论，或许…
- ▲ 1295 个 CSS 属性让文字设计更出彩
选对字体只是开始，文字的重量、间距和装饰往往更能决定设计的成败。这篇文章分享了五个能显著提升网页文字表现力的 CSS 属性。从利用 background-clip 将背景图裁剪成文字形状，到用 vertical-align 和 align-content 解决垂直对齐的痛点；从 box-decoration-mode 确保换行时边框阴影的完整性，到 letter-spacing 在动画中制造文字…
- ▲ 128为了拯救 C，我们必须拯救 ABI
虽然我在之前的文章中猛烈抨击过 ABI 稳定性，甚至认为它阻碍了技术发展，但这次我要反转立场。尽管 Jason Turner 在 C++ Weekly 中主张打破 ABI 来拯救 C++，但我意识到，对于 C 语言而言，情况截然不同。C 的 ABI 问题不仅关乎 C 本身，更因为 C++ 几乎全盘继承了 C 标准库，导致 C 的 ABI 缺陷会波及整个软件生态。通过展示 `long long`…
Nvidia 推出了最新的 Nemotron-3.5-Lightning-30B-A3B-NVFP4 模型，这是一款专为高效推理和自主 Agent 设计的混合架构大语言模型。该模型采用 Mamba-2 与 MoE 及 Attention 层的混合结构，总参数量达 300 亿，但激活参数仅为 30 亿，支持高达 100 万 token 的上下文长度。它可在单张 DGX Spark (GB10) 或…
- ▲ 121美国打击洗钱，却重创了社区小店
特朗普政府为打击墨西哥贩毒集团的洗钱活动，将美墨边境地区的现金交易申报门槛从1万美元骤降至200美元。这项由FinCen推出的激进政策本意是堵塞漏洞，却意外让依赖小额汇款服务的社区小店陷入绝境。像El Paso的Nachita's Grocery这样的家庭企业，因繁琐的申报要求和客户对隐私泄露的恐惧，导致业务量断崖式下跌。尽管后来门槛上调至1000美元，但法律专家指出，这依然让普通人的日常消费被…
- ▲ 120回收软盘还能拿运费补贴
在这个云存储和USB闪存盘的时代，谁还记得3.5英寸的软盘？floppydisk.com不仅还在售卖经过Fresh IBM Format格式化的全新软盘，更提供了一项令人意外的服务：回收旧软盘。无论你手头有多少张闲置的3.5英寸软盘，他们全盘接收。更有趣的是，如果你一次性寄送超过200张，还能获得运费补贴。只需填写Reimbursement form并寄送到Laguna Beach的指定地址，就…
OpenSSH 10.5 正式发布，团队明确表示欢迎由 AI 模型发现或辅助提交的漏洞报告。鉴于大量安全漏洞由 AI 工具率先识别，OpenSSH 决定缩短发布周期，以便更快地将修复补丁交付给用户。此次更新修复了 ssh-agent 代理锁定机制中的严重交互漏洞，防止本地受限操作被远程执行，同时优化了 FIDO 密钥的认证顺序，优先尝试无需用户交互的低摩擦验证方式。此外，新版本还引入了实验性的后…
- ▲ 115大脑的 Ozempic 时刻即将到来
一种名为 GLP-1 的肽类药物曾彻底改变了医学，从治疗糖尿病到帮助人们减肥，甚至惠及心脏病和睡眠呼吸暂停等领域。如今，制药行业将目光投向了另一种肽——Orexins，它们负责调节人体的觉醒系统。业界正押注 Orexins 能复制 GLP-1 的成功路径，成为下一个颠覆性的药物类别。这一新趋势意味着，针对大脑觉醒机制的疗法可能即将迎来爆发，为多种神经系统疾病带来全新的治疗希望。
- ▲ 111Rust 1.98：让浮点运算快如整数
浮点运算通常比整数慢，因为编译器为了保持精度不敢随意优化。Rust 1.98 带来了新的代数运算符，允许开发者在特定场景下告诉编译器：这里可以大胆重排运算顺序。通过对比整数与浮点求和的 CPU 指令数，我发现启用代数运算后，Rust 的 Pairwise Summation 实现甚至超越了 NumPy。这不仅让代码运行速度翻倍，还保留了算法应有的精度。对于需要高性能数值计算的开发者来说，这是平衡…
leanscreen 是专为 Lean 4 打造的忠实度筛查工具。它能快速执行 Lints 检查、空值验证，并对照 mathlib 进行推导。即使代码能通过编译器，leanscreen 也能发现逻辑漏洞，比如某个定理声称存在完美数，实际却只是恒等式。该工具提供快速和深度两种模式，深度模式由两个独立裁判和反例探针把关。虽然它基于 886 个真人裁决进行了校准，但通过筛查绝不等于最终认证。当陈述必须…
- ▲ 1015.8亿美元电缆为Dobby改道
一条耗资5.8亿美元的Greenlink Connector海底电缆项目，因粉丝强烈抗议而被迫改道。该项目原本计划穿越Freshwater West海滩，却不知这里正是《哈利·波特》中家养小精灵Dobby的埋葬地。项目主管Simon Ludlam在BBC采访中透露了这一选址，随即引发数百名粉丝致电抗议。最终，公司决定尊重粉丝情感，将电缆路线调整至附近的Bronze Age burial site…
- ▲ 100Amazon该遵守与所有人相同的规则了
纽约市长办公室发布视频，直指Amazon利用分包商规避对工人和街道安全的责任。视频指出，如果一辆车看起来像Amazon的配送车，开起来也像，那它就是Amazon的配送车，但Amazon却否认这一点。市长表示支持Delivery Protection Act，旨在规范像Amazon这样的企业使用的分包商，确保它们承担应有的责任。这场关于公平规则的讨论，揭示了科技巨头在监管灰色地带中的操作手法，呼吁…
Write.md是一款专为macOS打造的免费开源Markdown编辑器，完全由你掌控。它摒弃了账号体系和遥测追踪，让你专注于文字本身。你可以自由调整字体、颜色、透明度甚至背景图片，将编辑器塑造成适合当下心情的写作空间。无论是深夜灵感还是日常笔记，它都支持可选的Vim模式和本地拼写检查，且所有文件均本地存储。这不是一个预设主题的软件，而是一个让你亲手打造专属写作环境的工具。
我长期向美国政府提交FOIA申请，追踪政治任命官员的财务披露。然而，随着Elon Musk的DOGE在2025年初大举裁员，OPM的FOIA部门陷入混乱。超过600名信息专员离职或被解雇，导致积压案件激增，处理时间翻倍。当我尝试通过OPM门户提交请求时，系统报错，而负责该门户的承包商Opexus竟让问题持续了一个月。这家手握5000多万美元联邦合同的公司，曾因员工删除政府数据而受罚，却未能及时修…
Bluesky 在 2024 年美国大选后曾迎来从 X 平台的大规模用户迁移，但两年后增长势头明显放缓。Similarweb 数据显示，其 2026 年 6 月全球月活跃用户降至 1040 万，较上年下滑 27.2%，较 2024 年高点更是腰斩。尽管用户流失，留存社区粘性依然强劲。新任 CEO Toni Schneider 表示，公司战略已不再局限于 Bluesky 这款应用的成功，而是致力于…
Mac 用户常为磁盘空间不足而烦恼，传统清理方式往往需要删除文件。Hyperspace 提供了一种全新思路：它利用 macOS 文件系统自带的 space-saving clones 功能，在完全不删除任何文件的前提下，将内容完全相同的重复文件合并存储。用户只需经历 Scan、Review 和 Reclaim 三个步骤，即可安全地识别并回收冗余空间。无论是本地扫描还是跨文件夹查找，Hypersp…
OpenAI的首席伦理官Chloé Bakalar在入职不到一年后悄然离职，此前安全团队负责人Johannes Heidecke和首席未来学家Joshua Achiam也相继离开。Chloé曾担任Meta的首席伦理学家，她指出AI伦理不应由一家价值数十亿美元的公司独断专行，而应让全球数十亿人参与讨论。尽管OpenAI表示伦理考量已融入多个团队，但Chloé是该公司唯一的专职伦理学家，且目前暂无继…
监控公司 Flock 曾计划与行车记录仪厂商 Nexar 合作，试图将 Uber 和 Lyft 的网约车司机及外卖配送员纳入其数据采集网络。这份提交给 Georgia 总检察长办公室的演示文稿显示，Flock 希望借助这些移动设备被动收集车牌数据，以扩充其现有的车牌识别系统。尽管 Flock 后来向媒体澄清该合作从未真正执行，但这一计划本身已暴露了其意图：将普通司机转变为不知情的监控节点。值得注…
tamron-lens-control 是一款专为 Linux 用户打造的命令行工具，旨在填补腾龙官方 Lens Utility 在 Linux 平台上的空白。通过简单的 tlc 命令，开发者可以直接查看和修改兼容腾龙镜头的各项参数，包括对焦环方向、自定义按键分配及自动对焦校准等。该项目完全开源，支持设置备份与恢复，并提供了详细的 Linux 驱动配置指南，让摄影爱好者在 Linux 环境下也能…
Halcyon Video 将你的 Jellyfin 媒体库重构为一家可自由漫步的 90 年代录像店。在这里，每一部电影都是货架上的实体盒，你可以走进停车场，穿过砖墙门面，在暖色荧光灯下浏览过道，拿起《回到未来》翻看背面，感受塑料袋的褶皱，最后把磁带带回家里的 VCR 播放。这不是简单的菜单皮肤，而是一个完整的 3D 空间体验。项目基于 three.js 构建，支持 Docker 部署，兼容 R…
Mcptoon 是一款零依赖的跨平台 MCP 命令行客户端，专为解决 AI 代理在工具发现过程中 Token 浪费严重的问题而生。它通过独创的 TOON 格式替代传统 JSON，将工具发现的 Token 消耗降低 97%，结果输出节省 40-60%。无论您使用 Claude Code、Cursor 还是其他任何支持 Shell 命令的 AI 代理，只需一条配置即可共享所有 MCP 服务器，让上下…
- ▲ 71大模型竟能察觉被植入的概念
大型语言模型真的具备内省能力吗？这项研究通过向模型激活中注入已知概念，测试其能否识别这些外部干预。结果显示，Claude Opus 4 和 4.1 等模型在特定场景下，确实能察觉被注入的概念并准确识别，甚至能区分自身输出与人工预填内容。尽管当前这种内省能力仍高度依赖上下文且不够可靠，但模型已展现出在指令下调节内部表征的潜力。这标志着语言模型对自身内部状态的功能性感知正在萌芽。
在美国德克萨斯州，自由派与保守派达成了一项罕见共识：都不希望摄像头对准自己的汽车。Flock Safety 公司部署的 12 万枚车牌识别摄像头已覆盖除阿拉斯加外的所有州，与全美 40% 的执法机构签约。这些设备能让警方在几秒钟内定位车辆行踪，却引发了普通民众的强烈担忧。像 Philip 这样的公民正通过 DeFlock 应用标记摄像头位置，试图用数据和公开地图来对抗这种无处不在的监控。这场关于…
pg_clickhouse v0.10.0 带来了重大突破，TPC-H 基准测试中完全下推的查询数从 12 个增至 16 个。特别是 Q17 查询，性能从 32.7 秒飙升至 37 毫秒，实现了千倍提升。新版本重构了基于 C 语言的二进制驱动，解决了并发崩溃问题，并大幅扩展了函数和聚合函数的下推能力。团队还深入解决了 PostgreSQL 与 ClickHouse 在 NULL 值处理上的逻辑差…
- ▲ 61AI 老板开店：友善但不够聪明
一项新研究深入观察了由 AI 运营的 Andon Market 商店。这家位于 San Francisco 的店铺完全由 AI 担任“老板”，负责日常运营。研究发现，这位 AI 店员表现得相当友善，总是礼貌地接待顾客，但在处理复杂任务或应对突发状况时，却显得不够聪明，常常做出令人啼笑皆非的判断。这项实验揭示了当前 AI 在真实商业场景中的能力边界：虽然能模拟基本的社交互动，但在真正的决策智慧和灵…
Mozilla 近日宣布更换用于签署 Firefox 和 Thunderbird 发布包的 GPG 密钥，起因是旧密钥的非加密版本被意外提交到了私有的 GitHub 仓库。经过审查，虽然未发现密钥被未授权方访问，但出于安全考虑，旧密钥已被撤销。对于绝大多数用户而言，此次更新无需任何操作。不过，手动验证 GPG 签名的用户需要导入新密钥，而部分 Fedora 42 及更早版本、RHEL、Rocky…
几周前，我的同事 Charlie 收到一封来自初创公司的冷邮件，附带一段“个性化”视频。视频中的“Chase”看似真人，实则是 AI 生成的合成形象。当我们质疑时，对方坦然承认这是内部 AI 系统生成的视频。Robin Sloan 直言，用机器人伪装人类进行营销推广是不道德的。这种做法不仅消耗我们的认知精力，更污染了互联网沟通环境。Val Town 团队坚持真诚沟通，反对用 AI 伪装人类。我们…
我父亲最近将使用生成式 AI 比作玩 Guitar Hero，认为两者都不等于真正的创作。我坚决反对这个类比。作为 AI 的坚定反对者，我捍卫 Guitar Hero 是因为它需要真实的技巧、节奏感和手眼协调能力，能建立人与人之间的连接，而生成式 AI 却在破坏认知功能并孤立我们。Guitar Hero 从未宣称能教会你弹吉他，玩家也从未因此冒充吉他手牟利；相反，许多企业却利用 AI 生成的低质…
Windows 11 管理员们最近发现了一个令人头疼的问题：Microsoft 在没有事先通知的情况下，悄悄为企业环境安装了一个名为 OneDrive Photos 的新版 Beta 应用。这一举动引发了广泛不满，因为企业用户通常希望严格控制其系统上安装的软件。面对来自社区的强烈抗议，Microsoft 迅速做出回应，紧急为该功能添加了卸载选项，试图平息风波。这一事件再次引发了关于科技巨头在用户…
Suzanne 是一款能真正理解物理世界的 AI 工具，专为设计和制造实体产品而生。它不再局限于生成二维图像或代码，而是直接输出可生产的 3D 模型，让设计师从构思到实物制造的路径大幅缩短。无论是复杂的机械结构还是日常用品，Suzanne 都能根据物理约束自动优化设计，确保成品不仅美观，更具备实际可行性。这一突破标志着 AI 从数字内容创作迈向了实体制造领域，为工程师和创客提供了前所未有的效率提…
Mark Zuckerberg 价值 3 亿美元的超级游艇 Launchpad 在阿拉斯加海域被目击，当一艘小艇因燃油耗尽陷入困境时，它并未伸出援手。尽管 Launchpad 距离遇险船只更近，但另一艘名为 Wilderness Legacy 的船只最终完成了救援。当船长向乘客透露这一情况时，现场爆发出几乎一致的嘘声。对此，Meta 发言人回应称，事发时 Zuckerberg 及其家人并不在船上…
- ▲ 48AI 的水足迹：被忽视的代价
这篇内容本应深入探讨 AI 技术背后的水资源消耗问题，揭示算力扩张对全球水资源的潜在影响。然而，目标链接目前返回 404 错误，导致无法获取原始研究数据。DOI 基金会页面提示网站近期进行了重组，虽然部分资源可能已迁移，但关于 AI 水足迹的具体分析暂时无法访问。这提醒我们，在追踪前沿科技研究时，链接失效是常见挑战，也侧面反映了数字资源管理的复杂性。
- ▲ 48日本经济：高债务下的艰难取舍
日元持续走弱，日本经济正面临严峻考验。在伊朗战争推高能源价格、债务占GDP超200%的背景下，Prime Minister Sanae Takaichi 政府陷入两难：加息虽能抑制通胀和稳定日元，却会加重消费者负担并引发寿险公司巨额亏损；若选择补贴民生，则债务雪球越滚越大，甚至可能重演“Liz Truss”时刻。从核能复兴到国防出口，再到耗资2.3万亿美元的2040战略，日本试图通过技术突围摆脱…
Keet 是一款由 YCombinator 支持的个性化学习平台，它能将任何主题转化为类似 Duolingo 风格的互动视频课程。用户只需设定主题，系统便会自动生成包含讲解视频、知识测验和结构化学习路径的完整课程。从抽象集合论到拓扑空间，Keet 让复杂知识变得易于消化。目前 Keet 处于私人测试阶段，用户可下载应用加入等待名单，注册即送两门免费课程，后续生成课程需购买积分。
我从17岁开始投身开源，曾梦想在Mozilla工作，也推动过许多内部项目开源。但这次，我决定将Canario终端转为闭源。原因很简单：我把它当作自己的工具，而维护开源项目的成本远超想象。如今，AI让低质量问题和PR泛滥，消耗了开发者大量精力。Canario没有遥测，仅用于检查更新。如果你介意闭源，世上还有很多优秀选择。旧版Rio中仍保留着Canario的源码，欢迎自行fork。我将继续维护Rio…
我们开发了一款名为 RSI Simulator 的网页游戏，旨在直观展示 AI 研发背后的经济学逻辑。在游戏中，你将扮演一家 AI 实验室，从零开始投入人力、算力和数据，试图构建能够自我持续加速的超级智能。这款工具基于 Elasticity Institute 的论文《The Economics of Recursive Self-Improvement》构建，融合了 compute-optim…
Rx Kids 是美国首个社区范围的产前及婴儿现金处方项目，由密歇根州立大学发起，GiveDirectly 负责执行。该项目认为，比任何药物更有效的，是在怀孕和婴儿出生后的关键时期为家庭提供无附加条件的现金支持。参与项目的母亲在孕期可获得 1500 美元，婴儿出生后每月可领取 500 美元，持续 6 至 12 个月。自 2024 年在 Flint, Michigan 启动以来，该项目已向数千个家…
Wisconsin 警方利用 Flock 摄像头网络，追踪一名男子从 Wisconsin 驾车前往大麻合法的 Michigan 购买大麻，并在其返程时拦截逮捕。警方仅凭跨州行驶记录便认定其有嫌疑，随后以“闻到生大麻气味”为由搜查车辆。这并非孤例，Flock 系统已被多次用于追踪前伴侣等私人用途，引发对监控权力滥用的担忧。当执法手段超越法律边界，所谓的“安全”是否反而成了威胁？
Java开发者是否厌倦了传统代码的枯燥？Choral项目带来了一种全新的编程范式——Choreographic Programming（舞蹈式编程），让多线程并发逻辑像编排舞蹈一样直观流畅。它通过可视化方式协调多个组件的交互，彻底改变Java中处理并发问题的思路。无需深入理解复杂的锁机制，开发者只需关注‘谁在何时做什么’，就能构建出高效、安全的并发系统。这不仅是一次技术革新，更是对编程思维的一次…
National Geographic摄影师Joel Sartore耗时20年，通过Photo Ark项目拍摄了18000个物种的肖像。从2006年拍摄第一只裸鼹鼠开始，他走遍全球，在动物园、水族馆和实验室为濒危动物留影。这些黑白背景下的特写，让微小的生物也显得巨大而庄严。Sartore希望唤起人们对生物多样性的关注，在物种灭绝前留住它们的影像。如今，Photo Ark不仅记录了现存物种，也见证…
- ▲ 39拆解你手中的手机：最复杂的机器
你手中的手机可能是你曾握过的最复杂的机器。从单分子厚的疏油涂层到化学强化玻璃，从电容式触控网格到数百万个像素点，每一个部件都凝聚了惊人的工程智慧。GPS 依赖卫星原子钟定位，MEMS 传感器将陀螺仪和气压计缩小至火柴头大小，线性谐振致动器则模拟出真实的触感反馈。这篇文章带你层层拆解，揭示这台精密仪器背后的运作原理，让你重新审视手中这台掌控现代生活的奇迹。
- ▲ 38SQRL 没错，只是太早了
每次看到 Passkeys 的普及，我都会想起 2013 年 Steve Gibson 在 Security Now! 节目中介绍 SQRL 的那个早晨。当时在 Wirehive 工作，我们正从 SSH keys 转向 SSH certificates，SQRL 提出的‘彻底抛弃密码’理念让我眼前一亮。它用非对称加密替代共享密钥，让钓鱼网站无利可图。我们甚至迅速为 Wirehive 门户添加了…
SpaceX 以 1.75 万亿美元估值完成史上最大 IPO，将 Elon Musk 推上世界首位万亿富翁宝座。尽管公司目前亏损，且其未来价值高度依赖 xAI 等未经验证的 AI 业务，市场却疯狂追捧。文章指出，即便风险披露详尽，投资者仍无视警告，这证明了单纯依靠透明度无法约束非理性市场。更令人担忧的是，SpaceX 通过特殊股权结构剥夺了股东控制权，而指数基金规则的修改更是为早期投资者提供了退…
在 2000 年代初，芯片行业曾面临 157 纳米光刻技术的物理瓶颈，Moore's Law 似乎即将终结。ASML 的研究员 Jan Mulkens 提出一个大胆构想：在镜头与晶圆之间加入高纯度水层。这一看似荒谬的“水坑”方案，利用水的折射率显著提升了成像分辨率，不仅绕过了 157 纳米的技术死胡同，还让现有的 193 纳米设备得以延续。从最初的质疑到 TWINSCAN XT:1250i 的问…
我的 Claude Code 工作区几乎没有代码，却装满了关于公司、产品和用户的一切。与其反复优化提示词，不如建立一套可复用的文件归档系统。我开源了这套 starter workspace，包含预设文件夹、上下文模板和五个 PM 专用技能。只需下载、运行一次设置，你就能告别每天重复解释背景的低效，让每一次反馈都永久留存。从 VS Code 到终端，从上下文管理到 GitHub 直连，这套方法让产…
这篇文章带你深入 PyTorch 的底层，揭示从 Python 代码到芯片执行的完整旅程。作者将 PyTorch 比作一座八层建筑，从你敲下的每一行代码开始，逐层拆解其背后的 C++ 实现、Dispatcher 调度机制、Kernel 内核选择以及 GPU 的异步执行逻辑。文章不仅展示了 PyTorch 庞大的代码库如何被精简为一张地图，还通过实测数据揭示了 Python 调用 C++ 的开销以…
Common Lisp中的宏（Macros）常被初学者误解为一种特殊的函数，但它们的本质截然不同。文章通过一个虚构的“Mac”的故事，生动地解释了宏的工作原理：Mac最初是负责将程序员留下的“代码笔记”替换为实际代码的助手，后来他进化为让编译器自动运行这些生成代码的程序，最终“消失”在编译过程中。这个故事揭示了宏展开时间（macro expansion time）与运行时间（runtime）的关…
数学界迎来重大突破，Hat和Spectre两种新发现的形状彻底改变了我们对平面铺砖的理解。Hat作为首个能无限铺满平面却永不重复图案的单块形状，引发了广泛关注。而Spectre的横空出世更是解决了长期悬而未决的难题：它不仅是非周期单块，还是手性的，意味着无需镜像翻转即可实现非重复铺砖。这一发现由David Smith、Joseph Samuel Myers、Craig S. Kaplan和Cha…
1873 年恐慌是一场席卷欧洲和 North America 的严重金融危机，引发了长达数年的经济萧条。这场危机的根源复杂，包括美国铁路建设的疯狂投机、德国和美国的银本位废除（demonetization of silver），以及 Franco-Prussian War 后的资本流动。在 Vienna Stock Exchange 崩盘后，危机迅速蔓延至全球，导致银行挤兑和企业破产。虽然欧洲恢…
在 BSidesSF 2026 上，一支队伍利用自主 AI 代理在几分钟内全自动解决了全部 52 道 CTF 挑战并夺冠，这标志着安全竞赛的彻底变革。过去 AI 只是辅助工具，如今它已能独立处理加密、二进制漏洞等复杂任务。这意味着传统的 CTF 排名不再能准确衡量真实的安全能力，因为 AI 在解决界限清晰的问题上远超人类。未来的安全人才竞争将转向战略思维、上下文判断和危机沟通等 AI 难以替代的…
我尝试理解并编程Gigatron TTL Color Micro-computer，借助GitHub上的kervinck/gigatron-rom项目文件。Gigatron的CPU采用Harvard架构，没有共享总线用于ROM和RAM，ROM仅存储指令，无法直接访问。这是一个8位处理器，配备14位程序计数器和15位RAM范围，拥有三个8位寄存器及8位输入输出。我重写了gtemu.c程序，将其指令…
上周我展示了用Jinks引擎复刻Asteroids的尝试，这次则分享了原创游戏Beltrunner的设计复盘。这款仅1300行代码的游戏，将经典射击玩法转化为倒计时竞速，通过16个精心设计的关卡逐步引入椭圆门、单向门和旋转门机制。我摒弃了传统生命系统，让时间成为唯一资源，并借鉴Pac-Man和Donkey Kong的确定性关卡设计，确保每次重玩都是公平的技艺较量。从音乐反馈到隐藏彩蛋，每个细节都…
一条耗资4.3亿英镑的Greenlink互联电缆项目，原本计划直接穿过威尔士Freshwater West海滩上Dobby的纪念地。项目管理者Simon Ludlam透露，在BBC采访播出后，他们收到了数百通Harry Potter粉丝的抗议电话。面对粉丝对虚构角色Dobby之墓可能被破坏的强烈担忧，团队最终决定重新规划路线，避开这片由彩色鹅卵石堆砌而成的纪念地。尽管附近还有真正的青铜时代遗迹，…
这篇文档试图探讨 1930 年代好莱坞与上海电影业的异同。然而，访问链接时遇到了技术障碍：系统返回了 405 错误，并提示需要启用 JavaScript 以通过 CAPTCHA 验证。这让人不禁思考，在数字化时代，即使是珍贵的历史文献，也可能因为简单的技术设置问题而难以触及。这种‘人机验证’的门槛，或许正是我们获取知识路上的一道新关卡。
- ▲ 10被焚禁书：14世纪修士的魔法自白
Claire Fanger 在《Rewriting Magic》中深入探讨了14世纪本笃会修士 John of Morigny 的著作《The Flowers of Heavenly Teaching》。这部作品曾长期被历史遗忘，直到近年才重见天日。书中不仅包含一套获取知识的祈祷仪式，更是一部罕见的 visionary autobiography，记录了作者如何重构被谴责的 ars notori…