面向全球创始人的开放合作及搬迁建议： 美国：旧金山、奥斯汀、剑桥、西雅图、洛杉矶、纽约市、普罗维登斯、圣何塞、奥克兰、罗利、安阿伯； 葡萄牙：里斯本； 芬兰：赫尔辛基； 匈牙利：布达佩斯； 挪威：奥斯陆； 印度：浦那； 英国：伦敦； 韩国：首尔； 澳大利亚：悉尼； 以色列：特拉维夫； 西班牙：巴塞罗那； 新加坡：新加坡

你需要启用JavaScript才能运行此应用。

加里·阿伯纳西认为，获得负担得起且可靠的能源是政府过度干预所威胁的一项基本自由，他将此与导致《权利法案》的担忧相提并论。他批评拜登政府的能源政策具有强制性和高成本性，偏向不可靠的能源。虽然特朗普政府撤销了其中一些强制性规定，但阿伯纳西担心未来政府可能会恢复类似的政策。 他提倡《经济适用、可靠和清洁能源安全法案》（ARC-ES）作为解决方案。ARC-ES旨在通过优先考虑国内生产的燃料来源来确保能源独立，根据成本、可用性和电网稳定性来定义“经济适用”和“可靠”的能源，并将“绿色能源”的定义扩大到包括天然气和核能。阿伯纳西强调将能源确定性编入法典以保护美国人获得经济适用和可靠能源的重要性，他认为这对于他们的自由和安全至关重要。他与《独立宣言》作类比，倡导一份“能源独立”宣言。

芝加哥太阳时报和费城问询者报等多家报纸刊登了一份夏季阅读书单，其中充斥着ChatGPT生成的虚假书籍。这份书单是来自King Features Syndicate的联合内容包“高温指数”（Heat Index）的一部分。自由撰稿人Marco Buscaglia承认过度依赖ChatGPT，实际上将AI编造的书籍和描述冒充成真实的。 这些AI生成的书籍，被归咎于真实作者，主题倾向于“觉醒”（woke）主题。除了阅读书单外，“高温指数”的其他文章也包含AI生成的来源和引用，包括一位虚构的食品人类学家和一个虚构的网站编辑。 太阳时报和问询者报急忙道歉并与之撇清关系，理由是内部政策禁止将AI用于内容创作。Buscaglia承担了全部责任，对辜负出版物的信任表示后悔。他为自己的行为辩解说，对内容的需求使得AI辅助成为必要，甚至考虑换个职业。此事突显了在新闻报道中依赖AI的潜在陷阱以及事实核查的重要性。

本文评论了Byrne Hobart和Tobias Huber合著的《Boom: Bubbles and the End of Stagnation》以及David A. Mindell的《The New Lunar Society: An Enlightenment Guide to the Next Industrial Revolution》，并将其置于“末日科技乐观主义者”的论述框架中。《Boom》认为投机泡沫尽管有风险，但对进步至关重要，并提出了一种区分“好”泡沫和“坏”泡沫的框架。然而，评论者认为这个框架存在缺陷，无法有效指导泡沫的产生。《新月球协会》则提出了相反的观点，强调产业、制造业和工艺创新的重要性，并从工业革命时期的历史月球协会中吸取教训。Mindell批评了将产品创新置于制造和维护之上的做法。虽然《Boom》夸大了泡沫的作用，《新月球协会》则为技术进步提供了更扎实和可行的愿景，倡导以人为本的方法，以及将价值观转向重视产业和熟练劳动力。文章最后提出，政府可以作为“市场制造者”来创造增长。

ACE-RISCV是一个开源项目，它提供了一个安全的计算框架，其中包含一个针对RISC-V架构的，经过形式化验证的安全监控器。该项目设计为可移植的，并专注于使用RISC-V CoVE规范对安全监控器的实现进行形式化证明。 ACE支持使用后量子密码学（ML-KEM、SHA-384、AES-GCM-256）进行本地认证，以验证嵌入式系统中机密虚拟机的身份。它目前的目标是具有各种扩展的64位RISC-V架构。 该项目提供了在不受信任的Linux KVM虚拟机管理程序下，在模拟的RISC-V环境中构建和运行示例机密工作负载的说明。构建该框架需要大量的资源和时间。摘要列出了系统依赖项、Rust安装、代码库检出以及构建和运行带有机密虚拟机和认证的测试环境的命令。

针对以色列的国际压力正在升级，起因是发生在杰宁的事件：以色列士兵据报朝来自欧盟、英国、法国、中国、俄罗斯和其他国家的使团成员开了警告枪。这些外交官访问约旦河西岸城市杰宁时，以色列国防军据称向他们开火，引发巴勒斯坦权力机构的谴责，后者声称该代表团遭到蓄意袭击。以色列国防军表示，外交官偏离了批准路线，因此开了警告枪。此次事件涉及众多国家，包括那些早已批评以色列政策的全球南方国家。这一事件加剧了以色列本已存在的国际孤立，而加沙的军事行动扩大以及饥荒报道则进一步恶化了这种局面。随着各国可能召见以色列大使以及加沙地区计划扩大行动，杰宁事件进一步增加了以色列面临的巨大压力。

GitHub是一个基于网页的平台，用于软件开发中的版本控制和协作。它提供代码仓库、问题追踪、用于代码审查的拉取请求以及讨论论坛等功能。它还提供自动化工作流的工具（Actions）、云端开发环境（Codespaces）以及查找和修复漏洞的工具（高级安全功能）。 GitHub 适用于各种规模的公司，为企业、小型团队和初创公司提供解决方案。其用例包括DevSecOps、DevOps和CI/CD。 该平台提供文档、学习路径和社区文章（ReadME项目）等资源。GitHub还允许用户通过GitHub Sponsors资助开源开发者。企业用户可以受益于GitHub高级安全功能、Copilot for business（AI辅助开发）和高级支持等功能。它还包括用于搜索代码、仓库、用户和问题的搜索功能。

ClipJS 首页项目关于我 欢迎使用ClipJS 在您的电脑或手机上编辑视频，无需下载，无需注册，无需水印。 在线、免费且开源 开始使用GitHub 星标 它能做什么？ 无水印 无需水印即可编辑您的视频。 无广告 编辑和渲染无需观看任何广告。 无需注册 立即开始使用应用程序，无需注册，无需帐户，即可开始工作。 速度 所有操作都在您的浏览器中运行，因此无需将文件上传到第三方服务或等待。 修剪视频 修剪视频以去除不需要的部分，将视频缩减到最重要的部分。 合并 将多个视频、图像、文本和音频合并到一个文件中。 © 2025 ClipJS。保留所有权利。

据报道，新任NIH主任杰伊·巴塔查里亚博士在一次员工全体会议上暗示新冠病毒可能起源于武汉实验室，并且NIH可能资助了这项研究，此言论引发了员工退场。巴塔查里亚表示，疫情可能是人为研究造成的，“这并非不可能”，并且NIH可能参与其中。这导致数十名员工离开了会议，而巴塔查里亚则对此调侃道是“言论自由”。 他还表示，如果NIH资助的研究确实导致了这场疫情，就必须采取措施来防止未来进行风险性研究。巴塔查里亚目前正面临对其领导下的NIH参与武汉病毒研究所（据FBI和CIA推测为病毒来源）病毒操纵实验的审查。 此外，在巴塔查里亚的领导下，NIH正面临27亿美元的预算削减和1200多名员工的裁员。他为这些削减辩护，称一些NIH资助的研究“具有意识形态性质”，并且缺乏科学依据。巴塔查里亚以共同撰写《大巴灵顿宣言》而闻名，该宣言主张在疫情期间对非易感人群结束封锁。

🐀🥄🍲 Ratatoi是一个C语言库，它包装了stdlib的strtol函数（就像atoi一样），但它很邪恶。如果检测到溢出，它会调用abort()，导致程序崩溃并输出Aborted (core dumped)。通过这种方式，它优先考虑内存安全，而不是默默地在错误状态下运行，而无需在每个地方手动调用strtol并检查错误。

理解P（可在合理时间内解决的问题）和PSPACE（可在合理空间内解决的问题）之间关系的探索，是复杂性理论的核心挑战。虽然P是PSPACE的子集，但普遍认为PSPACE要大得多，这意味着空间比时间是一种更强大的计算资源，因为内存可以重复利用。 研究人员试图通过证明有限空间的算法可以解决需要更大时间预算的问题来证明这一点，他们使用了一种叫做“模拟”的技术。Hopcroft、Paul和Valiant通过设计一种节省空间的通用模拟程序取得了初步突破。然而，研究人员发现了一个根本性的限制：你不能在同一时间重复使用相同的内存位置，这阻碍了研究的进展。 五十年来，这一限制阻碍了研究进展，直到Ryan Williams来到康奈尔大学——复杂性理论的历史中心——着手解决P与PSPACE问题。Williams早期就展现出对该领域的专注投入，为他后来突破性的工作奠定了基础，最终打破了僵局。

恭喜你被选中在加州车辆管理局工作，负责审批和拒绝车牌！在你开始正式工作之前，我们为你准备了一次测试。答错三个，游戏结束。这些都是加州车辆管理局系统中实际批准和拒绝的车牌。内容警告：加利福尼亚州居民提交的内容可能包含非常成人化和其他令人不安的内容。祝你好运！开始 感谢你完成测试！觉得自己能考得更好吗？再试一次

近期发表在《自然》杂志上的一项研究表明，基因工程改造后缺乏半胱氨酸合成能力并喂食无半胱氨酸饮食的小鼠，体重迅速下降（一周内减重30%）。纽约大学格罗斯曼医学院的研究人员发现，半胱氨酸的缺乏会扰乱代谢途径，导致能量产生效率低下并强制燃烧脂肪。半胱氨酸的缺乏会降低辅酶A（CoA）的水平，从而阻碍碳水化合物和脂肪转化为能量。 这项研究首次证明了CoA如何塑造成年小鼠的代谢，以及去除半胱氨酸导致的体重减轻程度超过去除任何其他必需氨基酸。半胱氨酸的缺乏激活了整合应激反应（ISR）和氧化应激反应（OSR），进一步导致体重减轻。 虽然这些发现意义重大，但作者警告不要立即将其应用于减肥，因为半胱氨酸存在于大多数食物中，完全去除它可能是有害的。未来的研究将集中于靶向特定细胞或组织以诱导体重减轻，而无需完全去除半胱氨酸，这可能会为人类的体重管理提供一种新的方法。

在一次采访中，彼得·希夫批评了特朗普政府对中国的贸易战，称这是一场被包装成胜利的失败战争。他驳斥了贸易逆差源于外国作弊的说法，指出其原因是美元高估。希夫强调，关税是由美国消费者而非中国支付的，这是一种间接税。他认为，政策制定者不可能同时希望美元坚挺和贸易逆差减少，因为这两个目标是矛盾的。美元贬值会减少贸易逆差，但会导致通货膨胀上升。希夫警告说，由于不可持续的支出和对外国债权人的依赖，一场美元和主权债务危机迫在眉睫。他认为去美元化进程已经开始，并将加速，最终导致贷款方停止为美国债务融资。最终，希夫认为目前的经济道路是不可持续的，不可避免地会导致清算。

不丹的“会说话的邮票”，也就是微型可播放的乙烯基唱片，是一种独特且价值越来越高的收藏品。这些邮票发行于1972年，单面，33 1/3转每分钟，收录了不丹民歌、历史和用英语和宗喀语演唱的国歌。 这是美国冒险家伯特·托德的创意，他创立了不丹的邮票项目。这些邮票最初被认为是新奇的小玩意儿。然而，最近美国的黑胶唱片收藏家们发现了它们，这极大地提高了它们的价值。一套曾经售价约17英镑的邮票，现在售价超过300英镑，预计价格还会进一步上涨。托德的创新方法，包括3D邮票和香氛邮票，帮助不丹在世界邮票收藏家面前声名鹊起。

Google AI Studio 现在是构建 Gemini API 的最快方式，它拥有先进的模型，例如 Gemini 2.5 和包括 Imagen、Lyria RealTime 和 Veo 在内的生成式媒体工具。 该平台引入了新的“构建”选项卡，该选项卡针对 Gemini 2.5 Pro 的编码能力进行了优化。用户可以直接从文本、图像或视频提示生成和迭代 Web 应用程序，查看代码差异，并一键部署到 Cloud Run。Google AI Studio 处理 API 调用，并为共享应用程序使用其自身的免费配额。 新的“生成媒体”页面简化了多模态生成，可访问 DeepMind 的模型。Lyria RealTime 支持交互式音乐生成，而 Gemini 2.5 Flash 通过自然的音频对话和主动的背景噪音过滤增强了实时 API。Gemini 2.5 Pro 和 Flash 现在还提供文本转语音 (TTS)，具有可自定义的声音和表达风格。 此外，现在还集成了模型上下文协议 (MCP) 支持和用于内容检索、摘要和事实检查的新型 URL 上下文工具。

MPEC 2025-K47 公告了对小行星 2017 OF201 的观测结果和轨道根数。观测工作在加拿大-法国-夏威夷望远镜 (T14) 和托洛洛山美洲天文台 DECam (W84) 于 2011 年至 2018 年间的不同年份进行。观测者和测量者为李 J 和程 S。 2017 OF201 的轨道根数，计算历元为 2025 年 5 月 5.0 日 TT，包括半长轴 (a) 880.0169161，偏心率 (e) 0.9485897，倾角 (Incl.) 16.21146 度。它还列出了近拱点 (Peri.)、升交点 (Node) 等根数，以及星等参数 H 和 G。详细内容列出了几次观测的残差值，表明观测位置和计算位置之间的差异。提供了星历表，给出了 2025 年 4 月、5 月和 6 月不同日期的预测赤经和赤纬，以及与地球的距离 (Delta)，与太阳的距离 (r)，距角，相位和 V 星等。

Appwrite Sites是Appwrite的一款新产品，它通过直接集成到Appwrite平台中，简化了web应用程序的部署和托管。这消除了对Vercel或Netlify等外部服务的需要，简化了开发流程并降低了订阅成本。 Appwrite Sites提供静态托管、针对流行框架（React、Next.js、Flutter等）的服务器端渲染（SSR）支持、用于自动部署的Git集成、部署预览、全球CDN和DDoS保护等功能。它利用Appwrite网络实现低延迟访问，并提供专用的DNS服务。 部署通过Appwrite控制台或CLI管理，可用于云端和自托管环境。提供可随时使用、可自定义的模板来加速网站创建。Appwrite Sites将在2025年7月1日前免费使用。其目标是通过提供构建、部署和扩展web应用程序的无缝集成体验来提高开发人员的工作效率，让开发人员能够专注于构建而不是管理基础设施。

Shopify 店面 Web Components 允许你使用简单的 HTML 将 Shopify 驱动的电商功能嵌入任何网站。忘记复杂的 JavaScript ——这些组件负责查询店面 API，让你轻松显示产品、系列和购物车。 只需包含 `<shopify-store>` 和 `<shopify-context>` 组件，用你的商店详细信息配置它们，然后利用 CSS 和 HTML 来设置数据的样式并创建自定义的购物体验。无论你想将产品集成到现有内容中，还是构建全新的电商页面，店面 Web Components 都提供了一种灵活且简化的解决方案。 探索资源和 Playground 开始使用，并查看如何将 Shopify 电商引入你的网站的示例。

美国小型企业管理局（SBA）正在改革其社区优势贷款计划，原因是贷款违约率“惊人地高”，是整体7(a)贷款组合违约率的两倍多。该计划旨在援助服务不足的社区，但由于监管不力，导致违约率高达7%。SBA已暂停扩大该计划，并将要求贷款机构满足更严格的财务稳定性标准并增加资本储备。管理者凯莉·洛夫勒批评该计划滥用政府资源，偏袒特定群体而非真正有需要的企业。 这些变化紧随SBA为恢复7(a)计划财务完整性而采取的其他措施之后。由于取消了贷款机构费用并放宽了承保标准，7(a)计划曾出现现金流为负的情况。尽管这些政策正在收紧，但在特朗普政府时期，发放给制造商的7(a)贷款却激增。目前正在进行一项两党合作努力，通过《美国制造业融资法案》进一步支持小型企业，该法案提议提高小型企业制造业贷款的限额。然而，由于经济不确定性，小型企业的乐观情绪仍然低迷。

Langfuse于2025年5月21日推出了可自定义的仪表板，使用户能够通过Langfuse UI或API中的定制图表来可视化LLM的使用情况。 这源于其现有静态仪表板的局限性，该仪表板无法适应不同的用户角色。 该架构包含三个关键组件：数据库抽象、查询构建器和仪表板构建器。数据库抽象提供了一个虚拟数据模型，将数据库与请求模式解耦。查询构建器利用ClickHouse，将灵活的JSON配置转换为针对多级聚合的优化查询。仪表板构建器允许用户创建、重用和维护单个图表。 开发过程涉及使用AI工具进行代码生成和单元测试，重点是查询验证和SQL注入预防。向云用户发布测试版，以便在扩展到自托管部署之前进行迭代反馈和改进。 发布内容包括额外的图表组件、可调整大小的小部件和Langfuse管理的仪表板，后者是用户可以调整的主题式仪表板。未来的开发计划包括表格、数据透视表以及与其实验功能的集成。

LlamaIndex 从 Poetry 和 Pants 迁移到 uv 和 LlamaDev 来管理其包含 650 多个 Python 包的大型单体仓库。之前，Poetry 负责单个包的管理，Pants 负责整个单体仓库的测试协调，但这种设置存在依赖项解析缓慢、缓存服务器维护复杂以及 CI 调试困难等问题。 迁移到 uv 后，其速度和简便性解决了依赖项管理的瓶颈，而定制工具 LlamaDev 则取代了 Pants 的构建协调功能。LlamaDev 分析 `pyproject.toml` 文件中的依赖关系图，并根据文件更改确定相关的测试。 新的设置使完整的测试运行时间减少了 20%，日志更清晰，贡献者更容易进行 CI 调试，构建具有基于锁文件的可重复性，并且消除了对外部缓存资源的依赖。LlamaDev 使得为 LlamaIndex 做贡献更加容易。

我们使用 Cookie 和类似技术来提升您在我们网站上的体验。这些技术允许我们存储和访问设备信息，例如浏览行为和唯一标识符。 您的同意允许我们处理您的数据，从而启用各项功能。虽然某些存储对于网站运营或您请求的服务至关重要，但其他用途，例如记住您的偏好设置，也被使用。 我们也可能仅将存储用于匿名的统计分析。但是，如果没有具体的法律要求或第三方合作，这些匿名数据无法用于识别您的个人身份。 请注意，某些存储和访问用于创建用户画像，以投放定向广告或跟踪您在网站上的活动以用于营销目的。选择不同意或撤回同意可能会限制某些网站功能。

Rishi Jha及其同事提出了一种新颖的无监督方法，用于在不同的向量空间之间翻译文本嵌入，无需配对数据、编码器或预定义匹配。他们的方法利用了一种通用的潜在表示，根据柏拉图式表征假设，该表示被认为反映了“普遍的语义结构”。这种方法有效地将不同架构、参数数量和训练数据的模型之间的嵌入进行转换，同时保持较高的余弦相似度。这意味着来自一个模型的嵌入可以准确地表示在另一个模型的向量空间中。该研究强调了向量数据库中潜在的安全漏洞：即使仅访问嵌入向量，攻击者也可以提取有关源文档的敏感信息，从而实现分类和属性推断。该论文于2025年5月18日发表，并于2025年5月20日进行了修订。

根据特朗普政府的新指导方针，美国政府正在限制新冠疫苗的推荐接种范围，主要集中在老年人和高危人群。美国食品药品监督管理局（FDA）在《新英格兰医学杂志》上概述的新框架强调，要简化针对65岁以上人群和患有健康风险的年轻人的更新版疫苗的审批流程。但是，它敦促在批准针对更健康人群的改良疫苗之前进行广泛的研究。这标志着与之前建议所有六个月以上美国人都应每年接种新冠疫苗的政策相比发生了转变。FDA官员维奈·普拉萨德博士称这是一种“合理的妥协”，既允许继续为高危人群接种疫苗，又可以收集有关疫苗对更健康人群益处的更多数据。对于那些不完全符合既定风险类别的人群的疫苗接种途径问题依然存在。虽然2023年新冠肺炎相关死亡人数超过4.7万，但专家们仍在争论每年为所有人接种疫苗的必要性与有针对性的推荐之间的关系。美国疾病控制和预防中心（CDC）的咨询小组将于6月份讨论针对不同人群的疫苗接种建议。

特朗普宣布斥资1750亿美元（20年内可能高达5000亿美元）建造名为“金色圆顶”的太空导弹防御系统，引发了中国和俄罗斯的强烈反应。该系统旨在拦截全球范围内的导弹，甚至包括来自太空发射的导弹。中国外交部发言人毛宁表示对此“严重关切”，称这将加剧太空军事化，引发新的军备竞赛，损害全球安全。毛宁敦促美国放弃该项目，增进战略互信。特朗普则将该项目吹捧为实现里根“星球大战”愿景的举措，但批评人士认为这不过是重蹈覆辙。克里姆林宫也回应了中国的担忧，指出这违反了和平利用太空的原则。随着美国太空军等倡议的兴起以及SpaceX等公司的成功，竞争对手国家担心美国将在太空获得战略优势，这可能促使它们开发自己的军事太空能力以进行反制。

这篇博文详细介绍了如何使用`clang-include-graph`可视化Chromium的包含图，重点介绍了GraphML输出和Gephi的可视化。这个过程涉及构建Chromium以生成`compile_commands.json`，这对于`clang-include-graph`至关重要。关键的命令行选项控制图的范围，专注于Chromium的源代码目录并调整编译器标志。 生成的GraphML文件表示包含图，然后对其进行分析。使用NetworkX的Python脚本计算节点/边的数量、度中心性和循环的存在等统计数据，揭示了诸如包含最多的文件和循环的普遍性等信息。 Gephi用于可视化该图，并在节点上添加注释以显示组件信息并进行颜色编码。尝试了不同的布局（Yifan Hu、Circular、Circular Pack），以完整的规模以及针对`/base`、`/net`、`/ui`和`/chrome`等几个子目录可视化该图。还可视化了V8目录中最大的强连通分量，揭示了其高循环贡献。主要目标是测试`clang-include-graph`在大规模代码库中的可行性。

Go语言的并发依赖于由Go调度器管理的goroutine，调度器已从简单的M:N线程模型发展到更复杂的GMP（Goroutine、Machine、Processor）模型。这种演变解决了诸如锁竞争和局部性差等性能瓶颈。 调度器的核心功能是`schedule`，它查找并执行可运行的goroutine。Goroutine的创建包括初始化和将其放置到处理器运行队列中。在Go 1.14中引入的非合作式抢占，使用`sysmon`守护进程和信号处理来防止goroutine饥饿。 Go的高效I/O处理得益于`netpoll`，它利用非阻塞I/O和I/O多路复用（Linux上的`epoll`）进行并发网络和文件操作。垃圾回收器（GC）也使用专门的goroutine与用户代码并发运行。可以使用运行时API（如`GOMAXPROCS`）来调整调度器。理解这些机制对于编写高性能的Go应用程序至关重要。

Signal 桌面版在Windows系统上实现了一个“屏幕安全”设置，在Windows 11上默认启用，以对抗微软的“召回”（Recall）功能。该功能会捕获用户的活动截图，“召回”功能对Signal消息的隐私构成威胁。“屏幕安全”启用后，可以防止截取Signal桌面版内容的屏幕截图。 此解决方案使用DRM标记来阻止截图捕获，这通常用于版权保护，也体现了Signal可用的工具有限。虽然这可能会影响辅助功能工具，但可以在Signal的隐私设置中轻松禁用此设置。Signal批评微软缺乏用于隐私保护的开发者工具，并警告未来与人工智能相关的威胁。 他们强调操作系统厂商需要为保护隐私的应用程序提供保护敏感数据的工具。Signal强调在消息应用程序中隐私的重要性，认为它们应该像私密浏览窗口一样受到谨慎对待。最终，Signal能否支持某个平台取决于厂商对隐私的承诺。