LibRedirect是一款浏览器扩展程序，它优先考虑您的隐私，通过自动将热门网站重定向到替代的、注重隐私的前端来实现。它支持YouTube、Instagram、Reddit、TikTok等众多平台，并为每个平台提供多种选择。 例如，YouTube可以重定向到Invidious、Piped或FreeTube；Reddit用户可以选择Libreddit或Teddit；Twitter重定向到Nitter；Instagram重定向到Proxigram；TikTok重定向到ProxiTok。LibRedirect还扩展到其他服务，例如ChatGPT、Github，甚至Urban Dictionary，分别将其替换为DuckDuckGo AI Chat、Gothub和Rural Dictionary等替代方案。它还涵盖文件共享、搜索和翻译服务。通过使用这些替代前端，用户可以更私密地浏览网页，并更好地控制自己的数据。

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

开始副业 学习西班牙语 每天步行1万步 学习吉他 戒掉TikTok 减重5公斤 进行公开演讲 学习人工智能 多吃蛋白质 争取升职 存1万美元 开始跑步 阅读12本书 每天冥想 创作10幅艺术作品 早上6点起床 每天写日记 戒烟 学习10道新菜谱 游览3个国家 开始副业 学习西班牙语 每天步行1万步 学习吉他 戒掉TikTok 减重5公斤 进行公开演讲 学习人工智能 多吃蛋白质 争取升职 存1万美元 开始跑步 阅读12本书 每天冥想 创作10幅艺术作品 早上6点起床 每天写日记 戒烟 学习10道新菜谱 游览3个国家

Clippy 将从 2025 年 6 月 26 日（Rust 1.89.0 beta 版）到 2025 年 9 月 18 日（Rust 1.89.0 正式版）进行为期 12 周的功能冻结。在此期间，将不接受任何新功能（lint），重点放在错误修复和改进现有 lint 的准确性上。用户可以期待更少的误报和更好的边缘情况处理。 新的 lint 建议仍然欢迎以 issue 的形式提交，但相关的 pull request 将在冻结期后审核。高级的新 lint PR 可能会根据具体情况进行审核。 用户可以通过报告错误、处理现有 issue、改进文档或修复崩溃来提供帮助。目标是提高现有 lint 的质量和可维护性。可以通过贡献指南、“good first issues”、Zulip 和用于反馈的草稿 pull request 获得帮助。此暂停旨在确保 Clippy 的长期健康，并为 Rust 用户提供更高质量的体验。

`mbake` 是一款 Makefile 格式化工具，旨在提高一致性和效率。它通过 `~/.bake.toml` 文件使用可配置的规则集来强制执行样式指南，包括缩进、空格和 `.PHONY` 声明管理。它具有 CI/CD 集成和检查模式。 其主要功能包括智能 `.PHONY` 检测，该功能会动态分析配方以识别和管理虚目标。该格式化工具还支持自动插入缺失的 `.PHONY` 声明。它具有可扩展的插件架构。 `mbake` 提供用于格式化、验证、配置和更新的子命令。它优先考虑对文件的最小改动以保持文件结构，并具有快速执行和可靠验证的特点。 对于开发，插件架构允许自定义格式化规则。为开发者提供了贡献指南，以便他们可以 fork、分支、添加测试、提交更改、推送和打开拉取请求。

Claude Code 现在支持远程 MCP 服务器，通过直接连接您喜爱的工具和数据源，无需本地服务器管理即可实现个性化的编码体验。这允许 Claude Code 访问来自第三方服务的上下文，例如开发工具、项目管理系统和知识库，从而促进在这些服务中执行操作。 无需管理本地服务器，只需将 Claude Code 与供应商托管的 MCP 服务器集成即可实现无缝访问。与 Sentry 和 Linear 等服务的集成，可以直接在编码环境中立即访问错误报告或项目详细信息。Linear 的 Tom Moor 强调了他们的 MCP 集成如何通过提供实时项目上下文来简化工作流程，从而最大限度地减少上下文切换。 远程 MCP 服务器消除了维护负担；供应商负责更新和扩展。Claude Code 的原生 OAuth 支持确保与现有帐户安全连接，无需管理 API 密钥。远程 MCP 服务器支持现已推出，并提供文档和 MCP 目录来指导用户。

关于我们 版权 联系我们 创作者 广告 开发者 条款 隐私权政策与安全 YouTube 使用方式 测试新功能 © 2025 Google LLC

这是一个非常交互式的应用程序，它真的需要 JavaScript 才能运行。

TPU是谷歌定制的ASIC，专为高矩阵乘法吞吐量和能效而设计，以满足不断增长的AI应用需求。与拥有众多核心和大型HBM的GPU不同，TPU优先考虑片上内存，并严重依赖 systolic array（ systolic array）和提前编译 (AoT) 来提高效率。 Systolic array，一个处理单元网格，擅长密集矩阵运算，避免频繁访问内存。XLA编译器预先优化程序，最大限度地减少能耗高的缓存使用。TPU架构可从单个芯片扩展到托盘、机架（3D环形结构中包含64个芯片）和集群（TPUv4中最多包含4096个芯片）。光路交换 (OCS) 能够在集群内灵活使用非连续的TPU切片，从而提高资源利用率和容错能力。 对于大型模型，多个集群通过较低带宽的数据中心网络 (DCN) 相互连接。谷歌利用XLA编译器协调芯片间的通信，从而隐藏硬件的复杂性。

假设以色列发起“雄狮崛起”行动，重创伊朗核设施，但深埋地下的福尔多设施幸免于难。这引发华盛顿关于是否动用美军GBU57巨型钻地炸弹的争论。尽管伊朗随后进行导弹反击，但消耗了其大部分武器储备。 特朗普总统在向伊朗下达限制核计划最后期限后，考虑对伊朗采取军事打击，但也在权衡潜在后果。摧毁福尔多设施的后果令人担忧，可能出现亲西方的礼萨·巴列维政府，也可能出现类似萨达姆倒台后伊拉克的混乱局面，导致出现流氓民兵组织和核威胁。 行动的成功取决于缜密的情報收集，包括摩萨德在伊朗境内的秘密行动。中国在伊朗的巨额投资增加了事情的复杂性，北京可能会利用这一局势。作者总结说，任何美国的行动都必须伴随明确的战后治理和稳定政治路线图，以防止中国利用事态发展。

sapf（发音同“sound as pure form”）是一种特定领域的语言，用于创建和操作音频，它采用类似于FORTH、APL和Joy的函数式、基于堆栈的范式。它通过对延迟的、潜在无限的音频和控制事件序列进行自动映射、扫描和归约操作，强调简洁的表达。这种受APL启发的途径避免了显式循环，使得可以用最少的代码实现复杂的音频处理。 受结合式语言的启发，sapf采用后缀表示法，简化了语法并促进了函数组合。虽然受到了这些语言的影响，但sapf包含了词法变量。关键数据类型包括实数、字符串、列表（流/信号）、表单（字典）、函数和可变的引用。多通道扩展和特殊的映射运算符提供了对音频处理的细粒度控制。数学运算符扩展了归约和扫描变体，以实现高效的序列处理。sapf旨在提供一个强大而富有表现力的环境，用于探索声音作为基本元素。

陆军上校内森·麦科马克因其批评以色列的社交媒体帖子被曝光后，被免去了参谋长联席会议黎凡特和埃及部门的职务。这些帖子发布在一个半匿名的X账号上，指责以色列“犹太至上主义”，不成比例地袭击巴勒斯坦平民，并且是对美国的损害性盟友。 五角大楼正在对此事进行调查，并声明麦科马克的观点并不代表国防部。虽然陆军政策鼓励士兵在网上表达政治观点，但建议不要暗示国防部的认可。尽管其中一篇帖子包含免责声明，但它可能将某个立场归因于国防部。 麦科马克的免职是在《犹太新闻联合会》(JNS)的一篇报道强调了他的言论之后发生的。《犹太新闻联合会》此前曾获得亲以色列亿万富翁谢尔登·阿德尔森的资助。麦科马克的履历包括在伊拉克战争后赴伊拉克服役，而那场战争是基于关于伊拉克核武器计划的虚假说法发动的，这些说法是由本雅明·内塔尼亚胡推动的。他的经验本来可能为五角大楼提供宝贵的视角。

这篇cr.yp.to博客文章批评了NIST将Kyber-512选为后量子密码标准化的决定。作者声称NIST在其安全分析中犯了一个关键错误，即错误地将攻击成本相乘而不是相加，导致Kyber-512的安全估计值被夸大。这个夸大的估计值被用来为Kyber-512的入选辩护，尽管它与NTRU相比灵活性有限。作者指出了Kyber参数大小的僵化性，并指出NTRU提供了更广泛的安全级别范围，并且在大小-安全权衡方面通常优于Kyber。 此外，作者认为NIST操纵了评估标准，优先考虑密钥生成速度（Kyber的优势）而不是通信成本和数据大小（NTRU的优势），并且歪曲了数据呈现以偏向Kyber。NIST使用了一种无记忆的安全指标来拒绝NTRU的最低比特大小，但没有对Kyber采用相同的标准，忽略了将NIST使用的最低安全比特大小标准化的风险。作者建议放弃Kyber-512，并敦促NIST对其安全评估提高透明度。

第九巡回上诉法院由三位法官组成的全体一致的法官小组推翻了加州的“30天限购一支枪支”法，认为该法违反了第二修正案。该法律限制个人每30天只能购买一支枪支。法官丹妮尔·乔·福雷斯特（Danielle Jo Forrest）代表法院撰写判决书，驳斥了加州的论点，即第二修正案只保证拥有单支枪支的权利，并强调该修正案保护的是拥有“武器”（复数）的权利。法院认为该州的理由毫无根据。此外，该小组认为该法律缺乏历史依据，正如最高法院的布鲁恩（Bruen）判决所要求的那样，指出历史记录甚至没有确立加州这项“每月限购一支枪”法律的历史先例。

本文强烈反对跨性别激进主义，尤其反对未成年人的性别确认治疗。文章认为跨性别意识形态建立在有缺陷的科学基础上，并受企业贪婪和意识形态狂热驱动。作者断言，进步主义者错误地将一种精神疾病正常化，危及弱势儿童。最高法院维持田纳西州禁止性别确认治疗的裁决被视为对跨性别运动的胜利。作者声称，民主党在遭受政治后果后正试图与该问题保持距离，而左派则谴责这是背叛。文章批评儿童跨性别诊所的激增，并对不可逆的医疗干预以及社交媒体和自恋型父母的影响表示担忧。作者认为儿童无法同意如此改变人生的决定，并且“跨性别儿童”没有科学依据。他们驳斥了拒绝治疗会导致自杀的论点，并将性别确认治疗谴责为危险的政治实验。

威廉·普莱费尔（1759-1823）的一生充满丑闻，正值法国大革命和美国崛起等重大历史事件发生之际。早期他曾与詹姆斯·瓦特共事，但在伦敦和巴黎的商业冒险屡屡失败，常常伴随着不当行为的指控。他卷入了俄亥俄公司丑闻，欺骗法国精英购买俄亥俄河谷未开发的土地。 回到伦敦后，他因债务入狱，但成为英国政府的自由职业秘密特工。他参与揭露了法国信号系统，并策划了一项伪造货币的计划以破坏法国经济。后来，他又试图勒索一位富有的苏格兰勋爵，但未成功。 尽管行为不端，普莱费尔却彻底革新了数据可视化，发明了条形图和饼图，并在其《商业与政治地图集》和《统计摘要》等著作中率先使用了线形图。布鲁斯·伯科维茨的著作《普莱费尔》详细记述了他的生平和各种阴谋。

洛杉矶道奇队正在向近期洛杉矶联邦移民行动中受影响的非法移民家庭提供100万美元的援助。道奇队首席执行官斯坦·卡斯滕虽然没有直接提及移民与海关执法局（ICE），但他表示，该组织正在响应城市的需要，并将与当地团体合作，提供进一步的支持。洛杉矶市长卡伦·巴斯感谢道奇队，并指出近期事件造成的恐惧和经济影响。此前，道奇队拒绝了ICE官员进入其停车场的请求，但国土安全部（DHS）对此说法提出异议，称边境巡逻局（CBP）车辆因无关原因短暂在场。在数十名非法移民被捕后，该市发生了抗议活动，导致财产损失、人员受伤和数百人被捕。前总统特朗普授权国民警卫队和海军陆战队维持秩序，保护联邦财产，并敦促ICE开展大规模驱逐行动，目标是洛杉矶等庇护城市。

北半球的夏至和南半球的冬至在全球范围内以古代和现代传统相结合的方式庆祝。在斯堪的纳维亚和波罗的海国家，仲夏节包括花环、装饰的柱子和篝火，反映了人们在漫长冬季之后对阳光的喜悦。篝火，有时被称为约翰尼斯火 (Johannisfeuer)，在欧洲其他地区也很常见，它与异教和基督教传统都有联系。 在英国，人们会在巨石阵聚集，观察太阳与巨石的排列；在南美洲，节日则会祭祀印加太阳神因蒂。甚至在阿拉斯加，一个大型节日还包括午夜棒球赛来庆祝夏至。在亚洲，一些华人社群仍然保留着祭拜太阳的习俗。日本则以点蜡烛放松等新的传统方式来庆祝夏至。夏至和冬至提醒着人类与太阳和四季变化之间永恒的联系。

跳至内容 首页游乐场参考研究类型推断动物园游乐场研究Github🕹️交互式游乐场直接在浏览器中尝试类型推断示例并探索各种算法。简化了实践经验。🧩统一的语法和实现多种类型推断算法中一致的语法——无需浪费时间构建新的解析器或漂亮打印机。👩‍💻对语言实现者友好代码可能比论文中使用的符号更清晰易懂。在MIT许可证下发布。版权所有 © 2025 陈翠

随着以色列警告可能与伊朗爆发持久战，紧张局势进一步升级。以色列声称暗杀了三名伊朗高级军事官员，其中包括据称参与策划10月7日哈马斯袭击的赛义德·伊扎迪。另一名指挥官本汉·沙里亚里据报道因协助向地区代理人转移武器而被杀害。以色列军方再次袭击了伊斯法罕核设施，并发布了显示重大损毁的视频，同时保证没有发生放射性泄漏。 作为报复，伊朗向以色列发射了弹道导弹，一架伊朗无人机袭击了以色列北部的一所房屋，但未造成人员伤亡。尽管国际社会通过外交努力试图缓和局势，但以色列军方表示必须为长期冲突做好准备，预示着两国之间可能爆发长期对抗。

美国政府在斯诺登泄密事件后实施的禁止雇员和承包商查看公开泄露的机密文件的政策适得其反。虽然这项政策旨在防止进一步泄密并维持对解密的控制，但它却阻碍了对情报技巧和网络安全实践的理解。“维基解密”、“斯诺登事件”和“Discord泄密”等重大泄密事件为美国及其对手的方法提供了宝贵的见解，但该政策却因担心职业影响而阻止专家们研究这些事件。这种情况也延伸到网络安全专业人员，他们被限制分析泄露的黑客工具以进行防御。这项政策甚至影响到学生和学者，限制他们获取重要信息。虽然该政策的某些方面是合理的，但政府拒绝允许分析已经公开的信息是荒谬的，这阻碍了美国学习和适应数字时代现实的能力。理解和吸取这些泄密事件的教训，而不是压制它们，对国家安全至关重要。

德国国家电视台MDR在其“Einfach Genial”（妙不可言）栏目中制作了一部关于我们的理念、技术发展和测试的纪录片，该栏目主要展示发明家和初创企业的新技术。可以使用自动翻译字幕功能观看纪录片，并配有英文字幕。

我想要在我的苹果硅Mac上运行微软新的Edit终端文本编辑器，尽管没有官方的版本。我使用了Docker在一个容器中运行aarch64-linux-gnu版本。最初，我使用Ubuntu和Alpine基础镜像的单行shell命令，但由于每次运行都要安装软件包，所以速度很慢。 为了改进这一点，我创建了一个使用Alpine和`gcompat`（用于glibc兼容性）的多阶段Docker构建。构建阶段下载并解压Edit，而最终阶段只安装运行时依赖项并复制Edit二进制文件。这使得镜像更小更快。 最后，我将镜像发布到了GitHub容器注册表。在生成一个具有write:packages和read:packages访问权限的PAT（个人访问令牌）后，我登录，标记镜像并推送。然后将软件包可见性设置为公开。我还创建了一个包含Dockerfile和使用说明的仓库。现在，任何在苹果硅Mac上安装了Docker的人都可以使用以下命令在本地文件上运行Edit：`docker run --platform linux/arm64 -it --rm -v $(pwd):/workspace ghcr.io/simonw/alpine-edit`

请启用JavaScript和Cookie以继续

一笔加密货币意外之财催生了Invictus太阳能项目，该项目旨在通过德克萨斯州的一座太阳能发电厂将数字收益转化为清洁能源，并利用投资税收抵免和合格机会区计划等税收优惠。然而，该项目面临着不可预见的挑战，包括矿产权利分散，需要获得27位所有者的豁免，以及配电线路存在问题，需要进行代价高昂的升级。尽管初步评估显示该项目可行，但详细的互联研究却揭示了局限性：需要花费100万美元升级，但发电量却从计划中的4.54兆瓦降低到3兆瓦。本来就微薄的财务状况因此崩溃。监管不确定性加剧了这种情况，太阳能电池板的潜在关税以及合格机会区计划的到期都带来了影响。最终，在经过一年的工作、大量的资金投入以及复杂的技术和法律障碍后，该项目被叫停。

本文探讨了Jane软件套件，该套件最初由Arktronics公司为Apple II开发，后来移植到Commodore 128和Thomson MO5。Jane旨在提高生产力，包含文字处理（Janewrite）、电子表格（Janecalc）和数据库（Janelist）应用程序，并具有用户友好的图标界面。尽管它最初很有前景，并拥有在线帮助等独特功能，但Jane却收到了褒贬不一的评价，人们批评其运行缓慢且功能有限，尤其是在Commodore 128版本上。Arktronics公司由霍华德·马克斯和鲍比·科迪克（后来的动视公司著名人物）创立，该公司财务状况不佳，导致诉讼不断，最终走向衰败。该软件的遗产包括其罕见的法国Thomson MO5版本，该版本展示了光笔界面。虽然Jane从未获得广泛成功，但它突显了Commodore公司在商业软件市场竞争的努力，并为早期软件开发和界面设计提供了宝贵的见解。

纽约州州长凯茜·霍楚尔宣布，该州将拨款5000万美元的纳税人资金，用于支付面临驱逐出境的非法移民的法律费用，此举遭到共和党人的批评。 此次宣布是在纽约市主计长布拉德·兰德被指控在一次移民和海关执法局（ICE）行动中袭击联邦官员后做出的，尽管后来指控被撤销。 霍楚尔为这笔资金进行了辩护，她表示担心移民在没有充分的法律代理的情况下与家人分离。 共和党人，包括众议员伊丽莎·斯特凡尼克，谴责了这笔支出，称其滥用了纳税人的钱，优先考虑非法移民而不是纽约人。 兰德的事件，以及其他民主党政治家与执法部门类似的冲突，被一些人解读为试图将自己描绘成压迫性政府的受害者。 当局为这些逮捕辩护，指出针对ICE官员的袭击事件大幅增加，并强调没有人凌驾于法律之上。 此次争议突显了在移民执法政策上持续存在的政治分歧。

Strawberry 🍓 编译器提供了一个用 Rust 编写的 B 编程语言实现，使用 fasm 作为后端。虽然 WarningCompiler 功能尚不完整，但该项目包含一个编译器 `b`，可以执行 B 程序（例如，`./build/b -run ./examples/hello_world.b`）。更多示例请参见 `./examples/` 目录。 `btest` 实用程序简化了测试过程。它从 `./tests/` 编译并运行针对支持目标的测试，生成一个测试状态矩阵报告。运行 `make` 命令可以构建编译器和 `btest`。 可以使用标志自定义测试：`-t` 指定目标平台（例如，`./build/btest -t fasm-x86_64-linux`），`-c` 选择特定的测试用例（例如，`./build/btest -c upper`）。可以组合使用 `-c` 和 `-t` 来进行更细粒度的控制（例如，`./build/btest -c upper -c vector -t fasm-x86_64-linux -t uxn`）。`btest` 可以优雅地处理错误，并为每个测试编译状态报告。

在初创公司，速度的压力往往会导致“p值篡改”，团队操纵数据以寻找统计上显著的结果，这些结果可能是假阳性。一个常见的错误是在没有调整p值阈值的情况下运行多个A/B测试，增加了偶然获胜的几率。Bonferroni校正方法通过将标准p值（0.05）除以测试次数来解决这个问题。 另一个问题是“指标转移”，即在实验失败后，团队寻找其他指标来宣布胜利，从而夸大了假阳性率。预先注册，提前声明成功指标，可以防止这种情况发生。 最后，“偷看”结果（在A/B测试结束前）会扭曲p值。顺序检验根据测试停止的时间调整p值阈值。 遵循统计最佳实践——预先注册假设，避免事后挖掘指标，校正多个变量，并应用正确的阈值——可以得出可靠的结果并真正理解用户。