此页面提供Google Cloud服务状态信息，用户可查看所列服务的当前状态。若遇到未列出的问题，请联系支持团队。页面包含FAQ链接以了解仪表板发布内容，并指向Google Cloud主站获取额外信息。对于安全产品相关事件，请访问指定链接；对于Looker（原始）相关事件，请访问另一链接。

Securely connect to anything on the internet with Tailscale. Built on WireGuard®️, Tailscale enables you to make finely configurable connections, secured end-to-end according to zero trust principles, between any resources on any infrastructure.

The jemalloc memory allocator was first conceived in early 2004, and hasbeen in public use for about 20 years now. Thanks to the nature of open source software licensing,jemalloc will remain publicly available indefinitely. But active upstream development has come to anend. This post briefly desc...

New revelations that spyware made by a U.S-backed Israeli company was used against at least three European journalists have raised concerns about abuse of commercial spyware even in democratic countries.

https://www.nytimes.com/2025/06/12/technology/meta-scale-ai.html

https://news.ycombinator.com/item?id=44268448

Cloudflare's Status Page - Broad Cloudflare service outages.

Rubén Osorio’s blog

OxCaml 摘要

OxCaml 是 OCaml 编程语言的一个快速演进的扩展集。它既是 Jane Street 的生产编译器，也是一个致力于通过优化提升 OCaml 性能导向编程能力的实验平台。其目标是未来能将这些扩展贡献给上游的 OCaml 项目。

核心设计目标

OxCaml 的主要设计目标是为程序行为的关键性能方面提供安全、便捷、可控的掌控能力，且遵循以下原则：

• 安全：确保程序员能高效产出正确代码。
• 便捷：在增加表达能力的同时，尽量维持 OCaml 优秀的类型推断能力，避免过度注解。
• 可预测：使关键性能细节在类型层面显式化，延续 OCaml 代码易于理解其性能表现的特点。
• 按需使用：扩展带来的复杂度仅在需要优化时引入。
• 兼容 OCaml：所有有效的 OCaml 程序也是有效的 OxCaml 程序，旨在让 OxCaml 感觉像是 OCaml 的自然进化，而非一门新语言。

主要扩展领域

OxCaml 的扩展主要涵盖以下几个方面：

1. 无畏并发：通过类型系统新增的功能，在编译期静态地排除数据竞争，提升并发程序的正确性。
2. 内存布局：允许程序员精确指定数据在内存中的布局方式，并提供对 SIMD 处理器扩展的原生访问。
3. 分配控制：为程序员提供控制内存分配的工具，以减轻垃圾回收（GC）压力，提升缓存效率和程序行为的确定性。
4. 生活质量改进：一些非直接面向系统编程但日常实用的扩展，例如：
   • 多态参数
   • Include Functor
   • 标签化元组
   • 不可变数组

使用与生态

• 开源实验性：OxCaml 是开源的，欢迎实验性用户（尤其是研究人员和爱好者）试用并提供反馈。其扩展特性不保证稳定性或向后兼容性（但保持与上游 OCaml 的向后兼容）。
• 配套工具链：为了易于使用，它提供了经过修改的标准 OCaml 工具链，包括：
  • 兼容 dune 和 opam 的包管理。
  • 通过 LSP 服务器实现的编辑器集成。
  • 源代码格式化工具。
  • 文档生成工具。
• 库发布形式：Jane Street 的开源库会发布两个版本：一个是为上游 OCaml 准备的（剥离了扩展）；另一个是为 OxCaml 准备的（充分利用了扩展）。部分不可擦除扩展的库将仅提供 OxCaml 版本，待相关扩展上游集成后，才会导出 OCaml 兼容版本。

With the launch of Android 16 earlier this week, Google did not release the Pixel hardware repos and device trees...

这个交互式太阳系模型通过让月球仅有1像素大小，以惊人的真实比例展示了行星之间的巨大距离。从太阳开始，用户需要不断向右滚动才能依次经过水星、金星、地球、火星、木星、土星、天王星、海王星和冥王星，期间大部分空间是空旷的黑色。

主要体验和事实包括：

• 惊人的距离：例如，从地球滚动到木星，如果以75英里/小时的速度开车，需要超过500年。光也需要很长时间才能穿越这些距离。
• 认知挑战：人类的大脑难以处理如此巨大的空间尺度。我们倾向于使用比喻和缩小规模的地图，但都无法真正传达这种“空旷”的本质。
• 宇宙的“空”：宇宙绝大部分（约99.9999999999999999999958%）是空的，甚至原子内部也是如此。这种空无处不在，有时会让大脑感到不适。
• 意义与反思：尽管物质在宇宙中看似微不足道（如同黑毛衣上的绒毛），但正是因为它们的存在，才赋予了宇宙意义。项目引发了关于人类在浩瀚虚空中既渺小又非凡的矛盾思考。
• 交互元素：地图提供公里、英里、天文单位等多种距离单位切换，并包含快速导航到各行星的图标。

该项目直观地揭示了太阳系的真实比例，迫使人们思考空间、时间、认知以及我们在宇宙中的位置。

由虚假验证码驱动的黑暗广告科技帝国

2024年末，安全研究人员发现，克里姆林宫支持的虚假信息运动利用了一种成熟的恶意广告技术来绕过社交媒体平台的审核。这项技术由一个庞大的黑暗广告科技生态系统支撑，该系统比此前所知的更具韧性和错综复杂。

核心发现：恶意流量分配系统（TDS）与虚假验证码

• VexTrio 被认为是现存最古老的恶意流量分配系统（TDS）。与合法TDS用于管理广告流量不同，VexTrio主要用于管理来自网络钓鱼、恶意软件和社会工程诈骗受害者的流量。
• 虚假信息网络“Doppelganger”依赖于一种复杂的“域名伪装”服务，该服务与VexTrio共享基础设施，并帮助其虚假新闻网站长期在线。
• LosPollos 和 TacoLoco 是两个联属营销网络，它们将流量导入VexTrio的TDS。其中，TacoLoco使用欺骗性策略，将推送通知授权请求伪装成“验证码”挑战，诱使用户启用通知。
• 一旦用户上当，其设备将被持续推送虚假病毒警报和误导性弹出消息。
• 据GoDaddy报告，2024年近40%被入侵的网站通过LosPollos的智能链接将访客重定向至VexTrio。

背后的实体与否认声明

• 安全公司Qurium和Infoblox的调查显示，LosPollos和TacoLoco是由Adspro Group运营的服务，该公司在捷克共和国和俄罗斯注册，其基础设施托管在瑞士。
• 这些网站显示内容版权归瑞士公司ByteCore AG和SkyForge Digital AG所有，它们均由瑞士托管公司Teknology SA的所有者朱利奥·维托里奥·莱昂纳多·切鲁蒂运营。
• 切鲁蒂坚决否认与VexTrio有关联，并声称他的公司严格遵守运营所在国的法规，只是广告和营销领域的参与者。他将行业问题归咎于出版商欺诈、可疑流量和不正当竞争。

生态系统的韧性与演变

• 在Qurium发布调查结果后四天，LosPollos宣布暂停其推送货币化服务。不到一个月，Adspro更名为Aimed Global。
• 研究人员发现，长期将受害者重定向至VexTrio的恶意软件DollyWay，于2024年11月20日突然停止，转而将流量导向另一个名为Help TDS的TDS。
• Infoblox的分析表明，VexTrio与Help TDS以及另外四个基于俄罗斯的推送货币化程序（Partners House、BroPush、RichAds、RexPush）存在长期合作关系，它们都为在线约会等计划吸引注册。

安全影响与用户建议

• 安全专家指出，将此类恶意广告技术仅视为广告软件或恐吓软件是短视的。这些TDS是传递信息窃取程序和各类诈骗（每年造成消费者数十亿美元损失）的邪恶威胁。
• 战略上，俄罗斯有组织犯罪团体控制着恶意广告技术。
• 用户应谨慎对待浏览器的网站通知请求。因为许多通知请求被恶意公司滥用，他们付费给网站所有者安装通知脚本，然后将通讯渠道转售给诈骗者。
• 建议在主要浏览器中完全阻止网站发送通知请求（可在Firefox、Chrome、Safari的设置中配置），以防患于未然，保护自己和亲友。

https://tattoy.sh

Luxe Game Engine 网站保护机制说明

概述

网站管理员部署了名为 Anubis 的保护系统，以防止 AI 公司的大规模网络抓取行为，这类行为可能导致网站服务器停机和资源不可用。

Anubis 系统的工作原理

• 基于工作量证明（Proof-of-Work）：Anubis 采用类似于 Hashcash 的方案，原本设计用于减少电子邮件垃圾邮件。
• 成本控制：在个体用户层面，额外的计算负载可忽略不计；但在大规模抓取场景下，它会显著增加成本，使抓取行为变得昂贵且不经济。

系统目标与临时性

• 临时解决方案：Anubis 是一个过渡性措施，为开发更高级的技术争取时间。
• 未来计划：更多资源将用于浏览器指纹识别和无头浏览器检测（例如通过字体渲染方式），以避免向合法用户显示挑战页面。

技术要求与用户建议

• JavaScript 依赖：Anubis 需要现代 JavaScript 功能才能运行。
• 插件兼容性：用户应禁用 JShelter 等可能干扰脚本的浏览器插件，以确保正常访问网站。

From the Zed Blog: Working toward genuine, quality software in an era where code production is not the constraint anymore.

Erythritol may impair cellular functions essential to maintaining brain blood vessel health, according to researchers at the University of Colorado Boulder. Findings suggest that erythritol increases oxidative stress, disrupts nitric oxide signaling, raises vasoconstrictive peptide production, and diminishes clot-dissolving capacity in human brain microvascular endothelial cells.

以色列对伊朗发动大规模袭击，地区紧张局势急剧升级

核心事件： 以色列于周五凌晨对伊朗发动了史无前例的军事打击，目标直指伊朗的核计划、导弹项目及军事领导层。以色列总理内塔尼亚胡称此行动为“雄狮崛起”行动，旨在消除伊朗对以色列的生存威胁，并表示行动将持续数日。

主要打击目标与伤亡： 袭击主要针对伊朗关键设施，包括：

• 核设施：位于纳坦兹的铀浓缩设施起火受损，但国际原子能机构确认未导致辐射升高。
• 军事领导层：伊朗伊斯兰革命卫队总司令侯赛因·萨拉米、武装部队总参谋长穆罕默德·巴盖里、前最高国家安全委员会秘书阿里·沙姆哈尼以及圣城旅空军司令等高级军官在袭击中丧生。
• 科技人员：据报道有六名伊朗核科学家死亡。
• 防空系统：以色列军方称其战斗机对伊朗西部的防空系统进行了大规模打击，摧毁了数十个雷达和导弹发射装置。

伊朗反应： 伊朗方面反应强烈：

• 伊朗最高领袖哈梅内伊警告以色列将面临“严厉惩罚”，并证实多名指挥官和科学家死亡。
• 伊朗武装力量发言人称美以将“付出沉重代价”，外长阿拉格齐称此为“战争宣言”。
• 伊朗已向以色列发射了超过100架无人机作为报复，以色列军方称正在其境外进行拦截。
• 伊朗已任命新的军事指挥官以填补空缺。
• 伊朗领空关闭，民航停飞。

国际立场与地区影响：

• 美国：国务卿卢比奥表示美国未参与袭击，但以色列在行动前“告知”美国这是其自卫所必需的。特朗普总统在社交媒体上敦促伊朗达成核协议，并称支持以色列，认为此次袭击“非常成功”。
• 区域反应：沙特阿拉伯谴责袭击侵犯伊朗主权，违反国际法；中国驻伊朗使馆称局势“严峻复杂”。
• 冲突升级风险：分析人士警告，以色列的袭击可能引发伊朗的大规模报复，将整个地区拖入全面战争。若以伊冲突扩大，可能将美国卷入其中，目前中东地区约有4万美军驻扎。以色列已宣布进入特别紧急状态，征召数万名预备役士兵。

背景与时机： 此次袭击发生在地区局势紧张之际：

• 伊朗此前宣布将因国际原子能机构通过其不遵守不扩散协议的决议而提升核活动。
• 美国与伊朗的核谈判近期陷入僵局，原定周日举行的第六轮谈判前景不明。
• 情报显示，以色列试图利用伊朗在经历长期制裁和此前以色列对其防空系统及地区代理人（如真主党）打击后的军事劣势期采取行动。以色列摩萨德还被指在袭击前向伊朗境内走私了武器，用于从内部攻击伊朗防御系统。

此次行动被普遍认为是地区长期冲突的重大转折点，其后续发展及伊朗的报复力度将决定中东是滑向更广泛的战争，还是开启新的外交博弈。

Moving electricity around the world has huge financial and environmental benefits. Unfortunately, current power transmission systems are both lossy and expensive to build. This post explores an alternative design for cables to make undersea power transmission substantially cheaper.

Casey Handmer June 2025 Download a printable PDF. NASA was founded in 1958 in response to Sputnik and the emerging necessity of a robust, government supported space exploration and technology development program to safeguard US interests in space. NASA embodies the US ideals of optimism and technical excellence. I was privileged to work at NASA’s…

项目概述

这是一个用Go语言从头编写的BitTorrent客户端实现，支持通过BitTorrent协议下载文件。项目实现了客户端的核心功能，包括种子文件解析、peer发现与通信、以及文件下载管理。

主要功能

1. Bencode编解码：支持Bencode标准的所有数据类型（字符串、整数、列表、字典），并具备健壮的错误处理与验证机制。
2. 种子文件处理：可解析.torrent文件（包括单文件和多文件种子），计算info hash，提取分块哈希值，支持所有标准种子文件字段。
3. Peer发现与通信：实现HTTP tracker支持、peer握手协议、完整的BitTorrent消息协议以及peer连接管理。
4. 下载功能：支持分块（piece）与块（block）的管理、并发下载、进度跟踪，能够组装单文件和多文件种子的文件内容，并提供块级别的存储管理。

项目结构

项目结构清晰，分为以下模块：

• cmd/：命令行接口与主应用程序。
• internal/：内部包，包含核心功能模块：
  • bencode/：Bencode编解码。
  • torrent/：种子文件处理。
  • tracker/：Tracker协议实现。
  • peer/：Peer通信。
  • download/：下载管理。
• pkg/：公共包。

环境要求与安装

• 环境要求：Go 1.21或更高版本。
• 安装步骤：克隆仓库后，进入目录并运行go mod download下载依赖。

开发状态与计划

• 当前状态：项目正在积极开发中，当前实现进度可参考checkpoint.md文件。
• 计划功能：未来计划支持磁力链接、元数据交换协议以及DHT（分布式哈希表）。

参考依据

项目开发参考了BitTorrent协议规范及Bencode规范文档。

https://www.dns0.eu

安克（Anker）因火灾和烧伤风险宣布召回超过110万个移动电源。此次召回涉及型号为A1263的PowerCore 10000移动电源，原因为“锂离子电池存在潜在问题”，可能引发火灾安全隐患。根据美国消费品安全委员会（USCPSC）的信息，公司已收到19起火灾和爆炸报告，造成轻度烧伤及超过6.07万美元的财产损失。

召回范围包括约115.8万个于2016年6月至2022年12月期间在亚马逊、新蛋和eBay等在线平台销售的设备。受影响设备可通过侧面的安克logo及底部边缘的型号A1263进行识别。但安克仅召回在美国销售且序列号符合特定条件的产品，消费者需通过安克官网查询设备是否在召回范围内。

安克为受影响消费者提供两种补偿方案：价值30美元的安克官网礼品卡（该移动电源原售价约27美元），或免费更换一款升级版10000毫安移动电源（型号A1388），该新型号配备电量显示和USB-C充电线挂绳。

为获得礼品卡或更换设备，安克要求提交以下材料：使用记号笔在移动电源上清晰写下提交日期及“recall”或“recalled”字样的照片，以及显示设备底部型号和序列号（SN）的照片。购买收据并非必需，但可提供。

确认设备属于召回产品后，安克建议将其送往能够安全处理锂离子电池的专业设施进行处置，因存在火灾风险。消费者可通过美国环境保护署（EPA）网站或其他专业电子废物处理机构查找相关设施。切勿将设备丢弃在垃圾桶、回收箱或零售店提供的旧电池回收箱中。

此次召回也提醒消费者，移动电源和备用电池随时间推移可能产生严重问题，尤其是这些涉事设备已有近十年历史。若长期使用锂离子电池设备，需留意过热或明显膨胀等问题，并在发现潜在风险时妥善处置。虽然固态电池技术目前成本高于锂离子电池，但更强大、更安全、更耐用，消费者可考虑升级至固态电池。

For sure easier than solving it in SAT!

https://news.ycombinator.com/item?id=44269225

二维非硅计算机实现重大突破

核心进展： 宾夕法尼亚州立大学的研究团队成功开发出全球首台基于二维材料的计算机，实现了简单逻辑运算。该成果发表于《自然》杂志，标志着向更薄、更快、更节能的电子产品迈出了关键一步。

技术核心：

• 材料替代： 摆脱传统硅基技术，使用两种仅原子厚度的二维材料制造晶体管：
  • 硫化钼：用于制造n型晶体管。
  • 硒化钨：用于制造p型晶体管。
• CMOS架构： 成功构建了互补金属氧化物半导体计算机，这是现代电子设备的核心技术，需要n型和p型晶体管协同工作以实现低功耗、高性能。

制造与性能：

• 工艺方法： 采用金属有机化学气相沉积法生长大面积二维材料，并制造了超过1000个每种类型的晶体管。
• 性能参数：
  • 工作电压低，功耗极小。
  • 能执行简单逻辑运算，工作频率可达25千赫兹。
  • 作为一个“单指令集计算机”，其频率虽低于硅基电路，但已验证功能可行性。

意义与展望：

• 突破性意义： 首次实现了完全由二维材料构成的功能性CMOS计算机，解决了规模化应用的关键挑战。
• 未来路径： 硅技术已发展80年，而二维材料研究起步于2010年左右，尽管仍需优化，但此进展预示着二维材料计算机的开发将是一个循序渐进的过程，且前景可期。
• 研究支持： 该工作依托于宾州州立大学的“二维晶体联盟材料创新平台”，并获得了美国国家科学基金会、陆军研究办公室和海军研究办公室的部分资助。

策梅洛选择公理百年回顾：问题何在

本文基于构造类型论，分析策梅洛选择公理（ZAC）的问题。核心观点是：ZAC的困难不在于“选择函数”的存在性，而在于其隐含的外延性要求。

历史背景与争议

• 起源：策梅洛为证明良序定理，于1904年引入选择公理。其1908年的形式（ZAC）指出：对于一个可划分为若干非空不相交子集的集合S，存在一个子集S₁，恰好从每个子集中选取一个元素。
• 争议：ZAC引发了广泛争论，被批评是非构造性的。直觉主义者（如布劳威尔、贝尔、波莱尔、勒贝格）始终拒绝它。
• 构造性观点：比肖普（1967）指出，基于BHK解释，构造性选择公理（AC） 是有效的。其核心是：若对每个i，存在x满足性质A(i, x)，则存在一个函数f，对每个i返回满足性质的x。这在构造类型论中可通过强存在消去规则证明。

策梅洛选择公理的问题分析

通过在构造类型论中形式化ZAC，作者揭示了其真正症结。

1. 构造性AC（直觉选择）：形式为 AC 或 GAC。它是可证的，本质是从前提中提取见证（选择函数）。
2. 尝试证明ZAC：构造性AC只能保证存在一个选择函数 f。为满足ZAC（要求存在一个“选择出的”集合S₁），需要定义 S₁ = {f(i) | i ∈ I}。要证明这个S₁满足ZAC的唯一性条件，关键在于证明选择函数 f 是外延的，即当指标 i ≍_I j 时，有 f(i) ≍_S f(j)。然而，构造性AC 无法保证 这一外延性。因此，尝试证明ZAC失败。
3. 核心问题：ZAC隐含要求从外延等价的前提（∀i (∃x)A(i, x)）中产生一个外延的选择函数。但在构造性框架下，这相当于“无中生有”地获得外延信息。

等价定理与理论后果

作者在构造类型论中证明了关键的等价性定理：

定理I：在构造类型论中，以下陈述等价：

1. 外延选择公理（EAC）：它要求选择函数 f 必须是外延的。
2. 策梅洛选择公理（ZAC）。
3. 满射分裂：每个外延满射函数都有一个外延的右逆。
4. 等价类唯一代表元：从任何等价关系的等价类中都能选取唯一代表元。

这表明，ZAC与拓扑理论中的选择公理（陈述3）等价，但与构造上有效的直觉选择公理（AC）不同。

定理II：当用EAC加强构造类型论时，可以在Aczel解释下验证集合论的选择公理。进而，结合Diaconescu定理，EAC足以解释整个ZFC集合论。

结论：何为“问题”与“正确”形式

• ZAC的“问题”：在于它要求选择函数具有外延性，而这一性质无法从纯逻辑的、构造性的选择原理中获得。在外延数学框架（如ZF集合论）中，所有函数默认外延，此问题被掩盖。
• 正确的外延选择形式：若坚持外延性，则合理的原则是唯一选择公理（AC!）。它要求：如果对每个i，存在唯一的x满足A(i, x)，那么就存在一个外延的选择函数。AC!在构造上是可证的，因为它直接从唯一性中推导出外延性。
• 框架启示：构造类型论（作为内涵理论）为清晰地区分和分析这些选择原理提供了合适的基础。外延性需要额外的假设（如EAC），而非免费获得。AC是构造数学的基石，但ZAC/EAC则需要额外的理论代价。

2025年6月12日，国土安全部部长克里斯蒂·诺姆在洛杉矶就移民执法行动及抗议活动举行新闻发布会期间，加利福尼亚州民主党参议员亚历克斯·帕迪拉被强制驱离现场并被戴上手铐。

事件经过： 视频显示，在诺姆发表强硬言论（称联邦执法机构将留守洛杉矶并加大行动以“解放”该市）后，帕迪拉试图发言提问并高声表明身份。随即，一名特勤局特工抓住他的外套，将其强行推出会场。在会场外的扭打中，帕迪拉大喊“别碰我！”，随后被按倒在地并被戴上手铐。

双方立场与背景：

• 帕迪拉（民主党） 表示，他出席是为了就特朗普政府“日益极端的移民执法行动”寻求答案，因近期向国会提问未获回应。他认为政府的回应方式令他担忧普通移民群体的处境。
• 国土安全部 声明称帕迪拉进行了“不敬的政治表演”，特勤局人员因其行为将其视为“攻击者”，并称“特工行为恰当”。
• 白宫 指责帕迪拉“只想博关注而非寻求答案”。

政治反应与后续：

• 民主党人 强烈谴责。参议院民主党领袖查克·舒默称事件“令人作呕”，要求彻查。参议员沃伦等人将此与“法西斯状态”关联，呼吁共和党人发声。
• 共和党人 意见分歧。众议院议长迈克·约翰逊指责帕迪拉行为不当，可能应受谴责。参议院共和党领袖约翰·图恩表示需要了解全貌。
• 事件发生在美国国内因移民执法行动、联邦政府与加州州长纽森之间的紧张关系升级，以及国会监督权受到挑战的背景下。
• 帕迪拉是首位拉丁裔加州参议员，长期批评特朗普的移民政策。前副总统哈里斯支持帕迪拉，称其代表了加州民众的诉求。

Software developer by trade, physicist by soul

https://www.wsj.com/tech/army-reserve-tech-executives-meta-palantir-796f5360

This new paper by 11 authors from organizations including IBM, Invariant Labs, ETH Zurich, Google and Microsoft is an excellent addition to the literature on prompt injection and LLM security. …

A.O. Scott ponders the specific gravity and unlikely grace of Kay Ryan’s “Turtle.” And we have a game to help you memorize it.

Newly purple streetlights might seem innocuous, but they could affect driver and pedestrian safety

https://www.luu.io/posts/2025-database-pendulum