## 超级SNES：一款新的SNES模拟器 超级SNES是由原始ZSNES开发者创建的全新SNES模拟器，具有更高的准确性和GPU加速增强功能。它具有高度精确的CPU和音频核心，以及一个PPU核心，支持高分辨率Mode 7和针对每个游戏的增强。 主要功能包括快进/倒带、存档、作弊码以及经典UI和现代UX改进。 “超级增强引擎”目前支持7款游戏，并计划增加更多，提供诸如高分辨率纹理、超频、宽屏支持、无损音频，甚至3D效果等功能——所有功能均可单独切换。 目前处于早期开发阶段，超级SNES专注于修复错误、实现特殊芯片模拟（DSP1、SuperFX）以及进一步优化。 **用户必须提供自己的ROM；开发者不提供ROM。** 这是一款很有前途的模拟器，旨在超越传统的SNES模拟。

2026年4月20日至21日，GitHub 经历了一次服务降级，影响了代码扫描、代码质量分析和项目看板，持续时间约为19小时，完全恢复项目看板功能耗时更长。4月20日10:28至15:04 UTC，新的拉取请求无法触发代码扫描或质量检查，新的问题无法显示在项目看板上。 根本原因是一种序列化错误，阻碍了事件触发和更新。GitHub 通过部署修复程序来恢复代码扫描/质量的事件发布，并更新项目看板的事件消费者，然后对受影响的项目条目进行重新索引，从而缓解了该问题。 虽然核心问题已于4月20日晚上解决，但重新索引过程意味着在事件期间链接到项目的问题需要数小时才能完全正确显示。GitHub 正在实施更严格的模式验证和改进的监控，以防止未来发生类似事件。

## Easyduino：开源开发板PCB设计 Easyduino项目旨在为流行的微控制器开发板（如Arduino、ESP32、Raspberry Pi Pico和STM32 Bluepill）创建标准化、开源的PCB设计，使用KiCad软件。它解决了这些板子在设计工具和规范上的碎片化问题——这些板子历史上使用不同的软件（Eagle、Altium、KiCad）并在不同的地点开发。 该项目尽可能地复制原始板子的布局和引脚，使用4层PCB，采用JLCPCB JLC04161H-7628堆叠方式。由于可用性或成本原因，元件选择有时会发生偏差（例如，01005元件、Atmega16u2）。详细差异记录在每个项目的readme文件中。 每个板子的项目都包含KiCad文件、自定义封装/库（如果需要）以及一个“ProductionFiles”文件夹，其中包含BOM、数据表、Gerber文件和PDF。该项目与KiCad v8.0.0和v10兼容。 Easyduino采用CERN开放硬件许可证Version 2 – 许可性，允许在正确署名的情况下免费使用、修改和商业应用。欢迎贡献和问题报告！

(Empty input provided. There is nothing to translate.)

巴西当局已关闭27个预测市场平台，包括Kalshi、Polymarket，甚至Robinhood的预测功能。此次打击行动由财政部主导，Anatel负责执行，原因是这些平台被认为在巴西的法律框架之外运营。 新的法规于五月生效，严格限制允许的合约类型，*仅*限于与经济指标（通货膨胀、利率等）相关的合约，禁止与体育、政治或娱乐相关的合约——将其归类为赌博。官员们表示，此举是为了解决日益增长的家庭债务和用户潜在的财务风险。 此举与全球对预测市场日益严格的审查和禁令趋势一致，在一些欧洲国家已经出现。美国的情况更为复杂，联邦和州监管机构之间存在持续的争论。巴西的行动旨在规范此前不受监管的行业，并保护公民免受 perceived 的财务风险。

霍尔木兹海峡附近的持续冲突正在扰乱全球能源流动，尤其影响氦气供应。由于海湾地区的重大来源无法使用，市场正在寻找替代方案。埃克森美孚在怀俄明州的拉巴奇工厂，提供全球20%的氦气，并拥有80年的储量，正处于有利地位。 美国能源公司（USEG）正在成为另一个潜在的赢家。他们最近与一家全球工业气体公司达成了一项为期五年的“包销”协议，每月供应120万立方英尺氦气，这是他们从蒙大拿州的大天空碳中心获得的第一个合同收入来源。 该协议价格为每千立方英尺285美元，大大降低了USEG第一阶段的运营风险，并凸显了由供应受限和需求上升推动的强劲氦气市场。USEG的股价在公告后上涨了35%，表明投资者对其作为主要国内氦气供应商的潜力充满信心。

## 解耦DiLoCo：在互联网上扩展AI训练 谷歌的解耦DiLoCo系统显著提升了大型AI模型训练的可扩展性和效率。它成功地使用标准互联网连接（2-5 Gbps）在四个美国区域预训练了一个120亿参数的模型，实现了**比传统方法快20多倍**的训练速度。 这种加速来自于将通信与计算*集成*，消除了因等待数据同步而导致性能瓶颈。DiLoCo还能够利用地理分散的、之前“闲置”的计算资源，甚至**在一次训练中结合不同世代的硬件**（例如TPU v6e和v5p）——在保持性能的同时延长硬件寿命。 这种全栈式的AI训练方法代表着迈向具有弹性的、互联网规模AI基础设施的重要一步，解决了后勤挑战，并最大限度地利用可用的计算能力，以应对AI模型持续增长的需求。

财政部最近的700亿美元5年期国债拍卖被描述为平平，尽管有一些积极信号。最高收益率达到3.955%，略低于上个月，但已连续第11次出现“尾部”——表明需求略低于预期。 投标覆盖率为适中，但外国买家的需求大幅增加（分配给Indirects的比例达到2025年5月以来的最高水平72.3%），提振了拍卖表现，抵消了对持续尾部的担忧。交易商获得的份额为今年1月以来最低，表明整体兴趣浓厚。 尽管结果相对积极，但10年期国债收益率仍升至盘中高点，主要受油价上涨驱动——目前是债券市场的主要焦点。由于外国参与度较高，5年期国债拍卖略好于早先的2年期国债拍卖。

## 应对团队错位与优先考虑影响 在组织变革期间，一个新的客户体验 (CX) 团队被引入到一个由四个工程团队组成的部落，事先没有进行沟通。虽然目标——改善 CX——是有效的，但该团队的创建源于一个过时的运营模式，侧重于技术组件而非端到端的产品所有权。 工程经理没有挑战这一决定，而是专注于理解团队的任务：构建一个仪表盘以缩短工单解决时间。然而，CX 团队孤立运作，缺乏必要的账户信息访问权限，并且严重依赖工程团队的支持——重现了他们试图解决的问题。 为了实现业务目标，采取了一种务实的方法：构建更简单、团队特定的仪表盘，赋能 CX 自助服务，并通过培训和文档优先考虑自主权。这绕过了集中开发的仪表盘，由于团队内部的技能差距，该仪表盘难以实施。 虽然最初受到对新团队有投入的领导层的抵制，但这种方法迅速改善了关键指标。最终，CX 团队在成立五个月后解散，证明了赋能现有团队在新运营模式下拥有 CX 的有效性。这次经历强调了将团队结构与当前需求对齐，以及优先考虑有影响力的解决方案而非严格遵守过时计划的重要性。

## 最高法院将审理关键隐私案件：《Chatrie v. 美国》 4月27日，最高法院将审理《Chatrie v. 美国》一案，此案对数字隐私和执法部门获取手机位置数据具有重大影响。案件的核心是“地理围栏搜查令”——针对犯罪现场附近设备位置数据的请求——以及它们的使用是否违反了宪法第四修正案中关于禁止不合理搜查的规定。 Okello Chatrie 辩称，他因武装抢劫的定罪是基于非法获取的数据。警方获得了一份犯罪现场附近匿名位置数据的搜查令，然后*在没有*进一步搜查令的情况下，缩小了搜索范围至特定设备，并从谷歌获得了用户订阅信息，最终确定了 Chatrie 的身份。 政府为自己的行为辩护，援引“第三方原则”——即自愿与谷歌等公司共享的数据不受相同隐私规则保护的观点。Chatrie 的律师反驳说，手机位置数据更像一本“数字日记”，应该得到更强的保护，并引用了《Carpenter v. 美国》一案的判决。 专家称这是一起里程碑式的案件，可能重塑法院在数字时代平衡执法需求与个人隐私的方式。法院将专门关注 Chatrie 案件中搜查令的执行情况，但预计其裁决将对未来的地理围栏请求和数字隐私法产生广泛影响。

Canva的新AI功能“Magic Layers”（魔法图层）被发现会自动将用户设计中的“巴勒斯坦”一词替换为“乌克兰”。该功能旨在分离图像元素以便编辑，但意外地修改了文本，特别是针对“巴勒斯坦”一词，而“加沙”等相关术语则未受影响。 这一问题由X（前身为Twitter）的一位用户发现并迅速传播，其他用户也证实了这一错误，之后Canva对此进行了处理。Canva已声明问题已解决，并正在实施进一步的安全措施以防止类似事件再次发生。 这一事件引发了对Canva的AI中存在偏见的担忧，并且对于该平台而言，这是一个重大的失误，尤其是在其扩展AI能力以与Adobe等行业领导者竞争之际。Canva为该错误造成的任何困扰表示歉意。

请启用 JavaScript 并禁用任何广告拦截器。

人工智能行业正面临日益严重的“算力危机”，成本上升且GPU可用性有限，这使得优化至关重要。然而，标准的GPU利用率指标（如来自`nvidia-smi`的指标）具有误导性——它们报告的是GPU*是否*在运行，而不是它*如何高效*地工作，通常即使在工作负载很小的情况下也会显示100%的利用率。这导致对更多硬件的投资浪费，并阻碍有效的优化。 Systalyze推出了**Utilyze**，一个免费的开源工具，通过跟踪算力和内存吞吐量作为硬件*实际*容量的百分比（计算SOL%和内存SOL%）来准确衡量GPU效率。与现有工具不同，Utilyze提供实时、准确的视图，且不会降低性能，从而识别当前性能与可实现潜力之间的差距。 通过基准测试，Utilyze显示了报告利用率和实际利用率之间的显著差异，揭示了大量的优化机会——在某些情况下，性能提升高达6-8倍。Systalyze的平台建立在Utilyze的测量基础上，可以自动识别和验证有影响力的优化。该公司鼓励社区贡献，以完善各种模型和硬件的可实现性能基准。最终，准确的测量被认为是严格、持续的人工智能性能改进的基础。

GitHub Copilot 将于 2026 年 6 月 1 日过渡到基于使用量的计费方式，用每月提供的 **GitHub AI 额度** 替换当前的付费请求系统。此举旨在使定价与实际使用量保持一致，特别是随着 Copilot 发展成为一个更强大、更具“代理性”的平台，对计算资源的需求也随之增加。 计划定价（Pro、Pro+、Business、Enterprise）**不会**改变，但额度将根据订阅层级包含在内（例如，Copilot Pro 每月 10 美元包含 10 美元额度）。基于已发布的 API 费率，token 消耗（输入、输出、缓存数据）将决定额度使用情况。代码补全和 Next Edit 建议将不使用额度。 企业用户将受益于共享额度使用和在不同层级的新预算控制。将在 5 月初推出预览账单体验，帮助用户了解预计成本。最近实施的临时使用限制将在过渡后放宽。 这种转变将确保可持续且可靠的 Copilot 体验，为用户提供对支出的更多控制权，并根据需要购买额外额度的能力。

苹果公司最近修补了一个安全漏洞，该漏洞允许联邦调查局访问iPhone上已删除的Signal消息，即使启用了阅后即焚功能。该漏洞存在于iOS推送通知数据库中，该数据库在删除消息和卸载应用程序后仍会保留消息的缓存预览。 此事通过与FBI案件相关的法庭文件曝光，404 Media报道称，该机构能够提取这些消息。Signal确认苹果的修复解决了该问题，强调虽然他们的应用程序使用端到端加密，但设备层面的漏洞仍然可能损害数据安全。 这凸显了仅依靠加密的局限性，并引发了对操作系统安全影响消息隐私的担忧。Telegram的创始人提出了一种解决方案：完全消除通知预览，以确保完全的隐私。苹果的更新现已发布，旨在防止未来访问已删除的消息数据。

请启用 JavaScript 并禁用任何广告拦截器。

启用 JavaScript 和 Cookie 以继续。

## Scratch 持续存在的 SVG 安全问题 Scratch 一直面临着源于其处理用户提交的 SVG 图像的安全漏洞。 核心问题在于将潜在的恶意 SVG 内容解析到主文档中，即使是短暂的，用于诸如边界框计算之类的操作。 Scratch 的策略一直是逐步改进 SVG 清理，但这种方法始终未能成功。 自 2019 年以来，已经发现了许多绕过方法，包括通过 `<script>` 标签、事件处理程序和 CSS `@import` 语句进行的 XSS 攻击。 更最近，出现了允许通过 `<image>` `href` 属性、CSS `url()` 函数，甚至像 `src()` 和 `image()` 这样的未来 CSS 功能进行 HTTP 泄漏的漏洞。 每次修复都会被绕过，这表明了基于 SVG 的攻击的复杂性和不断演变性。 作者认为，依赖复杂的清理是不可持续的，因为新的 CSS 功能和解析器不一致性不可避免地会产生新的漏洞。 一种更强大的解决方案，在 Scratch 的分支 TurboWarp 中实施，涉及在具有严格内容安全策略 (CSP) 限制的 iframe 内对 SVG 进行沙箱处理。 这利用了浏览器内置的安全机制，减少了对自定义解析的需求，并提供了一种更具未来防御性的防御措施。 最近的发现，甚至包括像 Claude 这样的 AI 模型，不断揭示新的漏洞，突出了持续存在的挑战。

该节目在SVT Play播出，记录了麋鹿每年迁徙到夏季觅食地的过程。数千年来，这些雄伟的动物一直沿着相同的路线迁徙，观众可以连续第八个季节见证这一传统。 该系列节目一窥这场古老的旅程，记录了麋鹿前往更肥沃的牧场。自4月18日起，每天都会发布新剧集，持续报道正在进行的迁徙。这是一个观察自然奇观的机会，它已经在地貌上上演了数千年。

苹果公司对于macOS 27即将到来的潜在变化出奇地坦诚，这可能是由于这些变化对企业用户的影响。预计将有两大转变。 首先，苹果可能会**最终移除对AFP文件共享协议的支持**，推动用户转向SMB3。这主要影响那些仍然使用较旧硬件（如Time Capsule或不支持SMB3的NAS系统）的用户——在不更换这些设备的情况下升级macOS将变得不可能。 其次，macOS 27很可能**需要TLS 1.2（或更优选1.3）才能连接到某些服务器**，这将影响MDM、应用程序分发和软件更新等服务。确定兼容性很复杂，需要使用苹果提供的特定诊断配置文件和终端命令进行详细的日志分析。 苹果目前正在评估这些变化的潜在影响，如果出现重大问题，可能会推迟实施。重要的是，这两个变化都不会追溯应用，允许继续使用旧系统，只要不升级到macOS 27即可。预计六月和七月将发布测试版，完整版预计在九月发布。

美国财政部对2年期国债的690亿美元拍卖结果略有成功，较上个月疲软的销售有所改善。最高收益率达到3.812%，低于上个月的3.936%，与拍卖前的预期基本一致。 需求有所增加，投标覆盖率升至2.653，但仍保持在历史狭窄区间内。然而，内部需求出现了一些变化：间接竞标者所占份额较小（56.48%），而直接竞标者参与度显著增加（31.65%），导致交易商所占份额减少（11.87%）。 总体而言，虽然此次拍卖并非突出，但与上个月结果相比的积极趋势预计将支持市场情绪，为下午进行的7年期国债销售奠定基础。

最高法院本周对国会选区划分图做出了不同的裁决，对德克萨斯州有利，对弗吉尼亚州有利。在 *Abbott v. LULAC* 案中，法院推翻了下级法院的禁令，允许德克萨斯州在2026年选举中使用其2025年中期的国会选区划分图，尽管有指控称其不当考虑了种族因素。索托马约尔、卡根和杰克逊大法官持异议。 与此同时，弗吉尼亚州法院驳回了共和党对民主党立法者绘制的新选区划分图的挑战。法官维持了一项选民批准的公投结果，裁定该程序合宪，尽管存在对选区紧凑性和党派偏见的担忧。预计该弗吉尼亚州的选区划分图将显著改变该州的国会代表团构成，可能将民主党多数从6-5增加到10-1，并创造更多竞争激烈的选区。 弗吉尼亚州的裁决将由该州最高法院进一步审查，以确定公投程序的合法性。这些决定凸显了持续不断的选区划分法律斗争及其对权力平衡的影响。

## 数学形式化的历史与批判 本文反思了数学形式化的发展历程，起因是对Lean当前热情的关注。作者是该领域的资深人士，提醒人们不要忘记数十年前的先期工作，强调了如AUTOMATH（可追溯至1968年）等系统，它们已经实现了显著的形式化成果——包括兰道的《分析基础》——尽管缺乏现代便利性。 作者承认Lean的优势——强大的社区、工具和库，但批评了依赖类型领域中 perceived 的“教条主义”和从众现象。他们强调，进步并非通过追随潮流实现，并指出LCF、HOL Light和Isabelle/HOL等替代方案，已经成功地形式化了复杂的定理。 一个关键论点集中在“命题即类型”与替代逻辑基础之间的争论上，倡导简单性和可读性。作者支持LCF通过抽象数据类型进行动态检查的方法，认为不需要像Lean和Coq等系统中常见的庞大“证明对象”。最终，本文认为应该根据实际需求（协作、现有库）来选择工具，但鼓励考虑Isabelle，因为它具有自动化和可读性，尤其是在人工智能工具越来越多地帮助简化证明和在系统之间进行翻译的情况下。作者还承诺未来会发表一篇专门介绍经常被忽视的Mizar系统的文章。

德国总理弗里德里希·梅尔茨严厉批评了美国针对伊朗冲突的外交政策，称其对美国来说是一种耻辱。他表示，伊朗领导层正巧妙地避免谈判，导致美国官员的访问毫无成果。梅尔茨对美国缺乏明确的退出策略表示担忧，并将此与阿富汗和伊拉克的长期且最终失败的干预行为相提并论。 他还强调了这场冲突对欧洲的经济成本，指出其对经济产出的负面影响。梅尔茨表示，如果他预见到局势会升级和持续，他本会发出更强硬的警告。 他的评论正值欧洲对美国做法日益不安，并且不愿加入美国领导的联盟之际，这源于特朗普政府发出的相互矛盾的信号。 局势进一步复杂化在于，美国可能对未提供支持的盟友进行报复，而与此同时，欧洲也面临来自俄罗斯的威胁担忧。

## TP-Link TL-SG108：释放隐藏潜力 TP-Link TL-SG108 是一款经济实惠的 8 端口千兆以太网交换机，基于 Realtek RTL8370N 芯片。虽然看似基础，但该芯片却令人惊讶地具备了更昂贵“网页智能”管理型交换机中的功能——区别主要在于软件限制。 TL-SG108 随附有限的固件，使用小容量 SPI 闪存芯片，无法访问 VLAN 等高级功能。然而，爱好者可以通过升级闪存容量（至 32Mbit）并刷新 Netgear GS308Ev4 等替代固件来解锁这些功能。这需要编程器和新的闪存芯片，并涉及修改交换机的 MAC 地址。 尽管潜力巨大，但升级并非总是顺利。问题包括 LED 功能丢失和设备难以重置。此外，Araknis AN-110 等类似交换机也使用 RTL8370N，但尽管硬件具备能力，仍然限制了功能。最终，为了可靠的管理型交换，一个带有 OpenWrt 支持的二手专用管理型交换机通常比修改基本型号更好。TP-Link 近期的重组也可能影响未来的固件兼容性。

## 30,000 英尺高空的 MacBook 与 LLM：本地推理实验 一次前往 Google Cloud Next 2026 的 10 小时飞行成为本地 LLM 推理的测试场地。作者配备 MacBook Pro M5 Max (128GB 内存，40 核 GPU)，通过 LM Studio 运行 Gemma 4 31B 和 Qwen 4.6 36B，同时搭载完整的开发环境，为 loveholidays 构建一个计费分析工具，从而揭示标准仪表板中先前隐藏的见解。 实验证明，对于编码、工具开发和探索性数据分析等专注的工程任务来说，本地推理是可行的，甚至在较小的任务中可以与云端模型相媲美。然而，也出现了一些限制：电池迅速耗尽（每分钟 1%），产生大量热量，超过 10 万 token 的上下文窗口会降级，以及偶尔出现无限循环。 至关重要的是，定制的工具——`powermonitor` 和 `lmstats`——揭示了一个隐藏的瓶颈：航空公司提供的电缆仅提供 60W 的功率，而不是广告宣传的 70W，从而限制了性能。这凸显了“机械同理心”的价值——理解 AI 的物理成本，以优化云端使用。作者计划在返程航班上使用正确的电缆进行进一步测试，并探索由神经网络引擎驱动的 LLM。

## 蔓藤：一种自扩展的自主代理沙箱 蔓藤是一个使用AWS Strands Agents SDK和Tauri构建的自主代理系统，展示了自主工具发现、创建和复用。其核心原则是：代理*构建*所需工具，而不是依赖预定义的集合。 你提供一个任务，蔓藤首先检查能力注册表。如果存在合适的工具，则执行它。否则，蔓藤会自主编写一个新的工具（使用TypeScript），注册它，然后执行它——所有这些都不需要你的提示。每次会话后，注册表都会增长，使后续交互更有效率。 该系统仅利用三个引导工具和一个能力注册表（存储为文件），由Bedrock模型（Claude）驱动的Strands代理管理。通信通过标准输入/输出上的JSON-RPC进行。 蔓藤的设计注重简单性和控制，提供了一个使用Tauri和React构建的桌面应用程序，以及一个用于代码执行的沙盒Deno环境。它有力地展示了代理如何能够随着时间的推移动态地适应和扩展其能力。

一场名为“人民对抗毒药”的两党集会计划于4月27日在最高法院举行，届时将开始审理一起关于拜耳（孟山都的母公司）和“除草剂”与癌症潜在关联的案件。来自密苏里州的约翰·德内尔患有非霍奇金淋巴瘤，他赢得了一起对孟山都的125万美元判决，声称“除草剂”暴露导致了他的疾病，但拜耳辩称联邦法律优先于州责任索赔。 此案凸显了“让美国再次健康”（MAHA）运动内部日益增长的紧张关系。虽然MAHA倡导者赞扬特朗普政府在卫生及公共服务部肯尼迪部长领导下推动更健康食品政策的一些举措，但他们批评最近的一项行政命令，该命令加强了草甘膦的生产并为拜耳提供责任保护。 托马斯·马西和切利·平格里等议员正在推动对农业法案的修正案，以*取消*化学公司的法律豁免权。“除草剂”的争论中心在于平衡农业生产力与潜在健康风险，再生农业的支持者倡导使用“除草剂”中的关键成分草甘膦的替代品。美国环保署目前认为草甘膦“不太可能”具有致癌性，这是拜耳辩护的关键点。

## 市场总结：央行与地缘政治风险 – 下周展望 本周将有五家G10央行（日本央行、美联储、加拿大央行、欧洲央行、英国央行）举行会议，但预计不会出现政策变化。市场焦点将集中在政策制定者就伊朗局势引发的增长放缓和通胀双重风险发出的信号。荷兰合作银行仍然预计美联储将在今年晚些时候降息，这可能得益于确认新的美联储主席提名人选的进展。 地缘政治紧张局势依然高企，伊朗正在寻求俄罗斯的支持，同时拒绝与美国进行直接谈判，除非解除海军封锁。油价最初因缺乏和平谈判而上涨，但随后回落，而股市仍保持乐观，这得益于强劲的第一季度收益。 日本央行会议尤其值得关注，加息预期从四月推迟至六月。市场还将关注即将离任的美联储主席鲍威尔对其未来角色的信号。英国央行和欧洲央行面临解决通胀的压力，可能导致加息，但时间仍不确定。关键经济数据发布包括澳大利亚CPI、美国GDP及个人消费支出，以及欧洲GDP及劳动力数据。