美国各州正在推动人工智能治理立法，旨在建立统一的国家标准，确保AI的安全和民主价值。加州、纽约和伊利诺伊州的立法为国家框架奠定基础，促进州际合作。联邦政府也在制定测试标准，以确保AI技术的安全部署。同时，全球领导者开始讨论国际AI标准，推动美国在全球AI治理中的领导作用。

美国管理和预算办公室提议对联邦拨款规则进行重大修改，这可能削弱同行评审的作用，增加行政负担，并限制科学家应对新机遇的能力。这些变化将影响基础研究的灵活性，阻碍意外发现和合作，进而影响科学竞争力。

联邦机构在数据基础设施上投入巨大，但决策者仍需依赖数据团队获取信息。Databricks Genie 提供自然语言接口，使非技术人员能够直接查询数据，缩短信息获取时间，提高决策效率，旨在解决数据访问问题，帮助决策者更好地利用现有数据。

Databricks与Google Cloud深化合作，实现Unity Catalog与BigQuery的互操作性，用户可无数据复制地访问Unity Catalog管理的表，支持跨平台统一治理。新功能包括通过Google Cloud Lakehouse访问Iceberg表，提升数据管理效率，推动开放数据生态系统的发展。

前联邦通信委员会官员呼吁法院废除被滥用的新闻扭曲政策，该政策允许FCC对故意扭曲新闻的广播公司采取行动。现任主席布伦丹·卡尔被指控利用该政策威胁广播公司，影响媒体报道。请愿者认为应废除该政策以保护新闻自由。

丹尼尔·莫雷诺-加马因企图杀害OpenAI首席执行官萨姆·阿尔特曼而面临联邦指控。他于4月10日被捕，因向阿尔特曼的家投掷燃烧瓶，并试图闯入OpenAI总部。警方在他身上发现了易燃装置和一份承认犯罪意图的文件。

AltStore PAL，欧洲和日本的替代iOS应用商店，现已加入社交网络，用户可通过Mastodon、Threads和Bluesky与应用互动。其目标是提高应用的可发现性，并计划未来支持ActivityPub标准。新增加的应用包括短视频平台Loops和视频分享应用PeerTube。

特朗普指示联邦机构停止使用人工智能公司Anthropic的技术，原因是该公司拒绝与五角大楼达成允许“任何合法使用”的协议。Anthropic首席执行官表示，无法良心上同意该请求，认为AI可能会破坏民主价值。特朗普指责该公司在“强迫”军方，威胁国家安全，并要求立即停止合作。

现代化联邦政府的基础设施许可流程对美国经济至关重要。OpenAI与能源部太平洋西北国家实验室合作，利用AI加速环境影响报告的撰写，预计可减少15%的时间，提高审批效率，促进项目开发，增强竞争力。

Mastodon正在进行入门实验，为新用户推荐默认服务器，以提升体验。新用户可通过移动应用更轻松找到符合兴趣的服务器。此外，Mastodon推出了新帮助中心和推荐包，并计划迁移至开源聊天应用Zulip。

本文研究了联邦优化在随机变分不等式（VIs）中的应用，提出了改进的收敛速率。分析经典Local Extra SGD算法时发现其存在客户漂移问题，因此提出了新算法LIPPAX，有效减轻客户漂移并在多种情况下实现更好的收敛保证。此外，结果还扩展到联邦复合变分不等式，提供了改进的收敛保证。

Mastodon是一个开源、去中心化的社交平台，用户需选择独立服务器注册，支持跨服务器互动。其时间轴按时间顺序排列，不使用算法推荐，提供内容警告和隐私控制。Mastodon的开放协议使其可与其他去中心化平台连接，大多数实例依靠捐款运营，以保护用户隐私。

2025年底，国土安全部在明尼苏达州双子城进行大规模逮捕，回应右翼影响者的欺诈指控。抗议者亚历克斯被执法人员致死，引发抗议和镇压。一名被捕抗议者分享了在拘留所的经历，强调社区的团结与抵抗。

Datastrato创始人杜俊平推出了Apache Gravitino，一个高性能的元数据湖，旨在统一多引擎AI工作负载的数据治理，解决数据分散和元数据孤岛问题，支持多云数据整合，确保数据安全一致。

AI应用的合规要求正在快速变化，企业需准备模型卡和评估报告等文档。2025年和2026年将实施新的法规，包括美国和欧盟的高风险AI系统要求。企业必须确保系统行为可测量、可重复，并符合各类合规标准。

文章讨论了家庭在流媒体观看中面临的挑战，特别是管理多个观看列表的问题。尽管一些应用程序（如Plex）尝试解决此问题，但用户仍需手动更新列表。作者建议流媒体服务应共享观看数据，以简化用户体验，并期待未来能实现更智能的观看管理。

电子结构是材料性能的关键。尽管第一性原理计算精确，但计算量大，难以模拟复杂过程。机器学习为原子尺度模拟提供了新路径，PET-MAD模型通过广泛的数据集和高效的网络结构，实现了高精度与低计算成本，提升了材料建模的普适性与效率。

这篇文章讨论了网络安全挑战中的解密和破解加密文件的过程。作者分享了使用不同工具和技术（如bkcrack、Python脚本等）提取和解密数据的经验，包括处理压缩文件、图像和音频信号。最终，作者成功获取了多个flag，展示了网络安全领域的技术应用和思路。