EZ-TRAK 是一款面向业余无线电爱好者、气象爱好者和教育用途的卫星跟踪软件套件，专为使用便携式天线手动跟踪卫星而设计。它与安装在天线上的专用 EZ-TRAK BLE 设备（需单独购买）连接，以提供实时方位角和仰角数据。 该软件包含三个主要组件：一个用于配置的启动器（位置、卫星选择、TLE 数据源 - Celestrak 或 SatNOGS）、一个显示天线位置极坐标图和过境预测的卫星跟踪器，以及一个可选的旋转器控制应用程序。 主要功能包括动态卫星跟踪、过境预测、BLE 设备集成以获取位置数据、天线指向记录和用户友好的界面。安装需要 Python 3.8+、BLEAK、Matplotlib、Skyfield、NumPy 和 Requests。EZ-TRAK BLE 设备通过蓝牙提供位置数据，并可与 Farabrella 卫星天线配合使用。该软件为专有软件，不提供任何保修。

请启用JavaScript和Cookie以继续

苹果CEO蒂姆·库克宣布，未来大部分销往美国的iPhone将在印度生产，而越南将成为iPad、Apple Watch和其他产品的首要生产中心。这一转变是为了应对美国可能对中国商品征收的关税，此前特朗普政府曾对中国商品征收145%的关税。尽管获得了临时豁免，但未来仍不确定，白宫可能还会征收关税。库克指出，中国仍将是苹果销往美国以外地区产品的首要生产地，苹果正在建立库存以降低风险。苹果预计现有关税将导致9亿美元的成本增加。尽管如此，最近的销售数据超出了预期。苹果还在美国投资5000亿美元，扩大业务范围并在德克萨斯州新建了一家工厂。财报发布后，苹果股价在盘前交易中下跌。

⚠️Tippy Coco 仅适用于电脑，不适用于手机和平板电脑。iPad 配备折叠键盘可以使用，但仅限于此。手机无法运行游戏。唤醒野兽……游戏已准备就绪。按[空格键]启动。

2025年5月，回首涅槃乐队的《Nevermind》（《别在意》），人们将其1991年的意外成功归因于其原始的能量和毫不掩饰的音色。虽然最初人们欣赏它时并未进行深入分析，但仔细聆听后，就会发现其迷幻吉他声下隐藏着创新的和声选择。 这张专辑显著的特点是，它主要使用了传统音阶以外的大调强音和弦进行，很大程度上避免了小调和复杂和弦的使用。虽然在此之前也存在类似的技巧，但《Nevermind》独一无二地以这种方式构建了整张专辑。库尔特·科本的音乐直觉，而不是正规训练，似乎推动了他做出这些非常规的选择。他承认自己缺乏音乐理论知识、和弦名称，甚至基本的音调（大调/小调）区分。这种直觉的方法促成了这张专辑独特而持久的吸引力，也展示了打破常规是如何创造出突破性音乐的。

Cjam是一款轻量级且高效的Windows电脑MP3编辑软件，旨在快速操作而无需完整音频重新编码。用户可以通过拖放导入文件，并通过基于文本的命令应用操作，从而能够顺序执行剪切、拼接、淡入淡出和添加静音等操作。它支持MP3、CUE、M3U以及其自身的自定义CJAMC、CJAMJ和CJAM格式。 最新版本1.9.6.0（2025年5月3日发布）包含错误修复和功能新增，需要Windows 10或更高版本以及Microsoft .NET 6.0或更高版本。安装非常简单：解压ZIP文件并运行“Cjam.exe”。您可以从提供的链接下载它。Cjam允许通过简单的界面进行快速而精确的MP3编辑。

本文挑战了视觉Transformer (ViT) 因二次自注意力机制而难以处理高分辨率图像的观点。作者认为，ViT能够很好地扩展到1024x1024像素²，足以满足大多数图像编码任务。跨不同GPU的基准测试表明，ViT比同等CNN更快，内存效率更高，尤其是在较新的硬件上。 作者还强调，高分辨率并非总是必要的，认为对于许多任务来说，较低分辨率(224-896像素²)就足够了，因为计算机视觉模型不需要人类那样高的审美细节。高分辨率下的性能提升往往是由于模型容量（FLOPs）的增加，而不是仅仅由于分辨率的提高。 此外，文章还重点介绍了局部注意力机制，例如ViTDet中的机制，它通过将注意力限制在局部窗口内来提高ViT在高分辨率下的速度和内存效率。作者总结道，ViT是一种可行且通常优于CNN的替代方案，提倡通过实证评估来克服先入为主的局限性。

博卡奇卡村居民以压倒性优势投票，将SpaceX的发射场正式并入德克萨斯州星际基地市，标志着埃隆·马斯克太空雄心的重大胜利。投票结果为212票赞成，6票反对，这使得SpaceX能够简化开发流程，并为其员工建设便利设施。目前约有500人居住在1.5平方英里的发射场区域，另外还有3100人居住在附近的布朗斯维尔。 马斯克在2021年提出了星际基地的想法，他认为设立城市是为参与太空计划的人们“建设尽可能最好的社区”的一种方式。此举让人联想起历史上在制造工厂周围建立城镇的做法，以方便就业、提供工厂资助的住房和资源获取，旨在创建一个自给自足的生态系统。SpaceX希望星际基地能够巩固美国在全球太空竞赛中的领先地位。

QTR的《边缘金融》反思了沃伦·巴菲特卸任伯克希尔·哈撒韦公司一事，肯定了他的投资才能，但也强调了他对货币政策和品牌资产的战略性运用。作者将巴菲特描绘成一位精明的投资者，利用其声誉来确保达成有利的交易。文章在赞扬其传奇的同时，也表达了对当前市场和美国经济现状的担忧。伯克希尔巨额的现金储备，加上巴菲特的离任，暗示着缺乏有吸引力的投资机会以及美国制造业的衰退。QTR将巴菲特早期对传统美国公司的投资与当前以投机性风险投资和扭曲估值为特征的市场环境进行了对比。作者认为，巴菲特的退休象征着从价值投资转向由流动性和叙事驱动的市场的转变，这让人们对美国生产力和金融稳定性的未来产生疑问。

1968年，Codd提出的元胞自动机（CA）旨在简化冯·诺依曼的自复制元胞自动机，减少所需状态数。冯·诺依曼使用了29个状态，而Codd仅用8个状态就实现了计算和构造的普适性。Codd证明了在他的元胞自动机中存在自复制机器的可能性，其灵感来自冯·诺依曼的普适构造器，但完整的实现直到很久以后才完成。 其他研究人员进一步简化了这一概念。Banks创造了一个具有普适计算和构造能力的4状态元胞自动机，但它不能自复制。Devore缩小了Codd设计的规模，并在1992年通过模拟演示了后代的构建。Langton在1984年创造了具有更少细胞的自复制循环，但牺牲了普适计算能力。基于王氏W机的Codd自复制计算机最终在2009年由Hutton实现，后者纠正了Codd原始设计中的细微错误。

请提供需要翻译的内容。

TScale是一个基于C++/CUDA的Transformer库，旨在高效地在消费级硬件（特别是NVIDIA GPU）上进行大型语言模型（LLM）的训练和推理。它通过优化的架构、更快的收敛速度、降低的注意力计算成本以及对FP8/INT8精度的支持来实现这一点。 主要特性包括：CPU卸载以减少GPU内存占用；在同构主机上进行同步分布式训练；在异构的、地理位置分散的主机上进行异步分布式训练，并使用1比特梯度压缩以最大限度地减少网络开销。 TScale展示了一种新颖的“模型大小”方法，它使用一个较小的模型配合一个巨大的（1TB）索引进行token预测，从而显著降低了困惑度。 编译需要CUDA v12.3和C++编译器（Windows使用MSVC，Linux使用CMake/Clang）。训练使用脚本进行数据处理和模型训练，分布式训练支持`pow2`数量的工作主机。每个工作主机可以使用多个GPU。 推理通过`gpt_infer`启用，这是一个提供模型延续的基本HTTP服务器，但目前它针对演示而非速度进行了优化。

近期GLP-1药物的新闻重点突出其可及性的提高及其对消费者支出的影响。诺和诺德正与远程医疗平台合作，以折扣价直接向消费者提供Wegovy，旨在提高其可负担性。与此同时，礼来公司旗下Mounjaro药物的需求量很高。 FinanceBuzz的一项调查发现，52%的GLP-1药物使用者减少了餐厅消费，37%减少了酒精消费，29%减少了食品杂货支出。该调查还揭示了人们对GLP-1药物的一些普遍担忧。虽然20%的美国人尝试过GLP-1药物，但大多数人并不打算开始使用，尽管他们对减肥感兴趣。 凯撒家庭基金会健康追踪调查显示，6%的美国成年人正在服用GLP-1药物，其中43%被诊断患有糖尿病，25%患有心脏病，22%被医生告知超重或肥胖。通过远程医疗平台获得Wegovy的经济实惠性是一个重要进展，但健康饮食和运动仍然是具有成本效益的替代方案。

请启用JavaScript和Cookie以继续

白宫副幕僚长史蒂芬·米勒表示，特朗普政府认为，特别是未经父母同意，对未成年人进行变性医疗护理属于“虐待儿童”。他指责教师试图将儿童“转变”为异性，并誓言司法部正在与执法部门协调以打击这种行为。米勒谴责变性手术和激素治疗是“化学阉割和性 mutilation（生殖器切除）”，声称这些行为“野蛮”、“不道德”且会造成不可逆转的伤害。他声称，卫生与公众服务部（HHS）和司法部将确保纳税人的钱不会用于这些程序。米勒表示，HHS已将其指南中宣扬儿童变性的“垃圾、伪科学”内容删除，并正在发布新的指导意见，建议医生和医院不要进行这些手术。他还强调了政府阻止男性参加女子体育运动和活动的努力，威胁要切断允许这种情况发生的中小学和大学的联邦资金。

您的浏览器禁用了 JavaScript。请启用 JavaScript 以继续。本网站的必需部分无法加载。这可能是由于浏览器扩展、网络问题或浏览器设置造成的。请检查您的网络连接，禁用任何广告拦截器，或尝试使用其他浏览器。

2007年，比利·贝克写到了他妻子劳里的意外经历——她成为了俄罗斯方块的世界纪录保持者。一次与电子游戏裁判的谈话启发了贝克，他发现妻子的俄罗斯方块技术超群。这促使他们前往新罕布什尔州的Funspot，美国经典街机博物馆的所在地，尝试挑战Game Boy俄罗斯方块的世界纪录。 起初，他们被告知纪录是327行，但事实证明，劳里玩的彩色版游戏的纪录是545行。但这并没有阻止劳里，她在裁判和一群游戏玩家面前现场比赛。尽管压力重重，分心不断，她仍然打破了现有纪录，达到了惊人的841行。这一成就让她赢得了“世界最伟大的俄罗斯方块玩家”的称号，也让贝克开始思考精通技艺的意义，最终把整理行李箱的任务交给了他这位精通俄罗斯方块的妻子。

sxwm 是一款轻量、快速且可配置的窗口管理器，仅需 libX11 和 Xinerama 即可运行。它提供平铺和浮动布局，九个集成工作区，并支持通过用户友好的 `~/.config/sxwmrc` 文件实时重新加载配置。主要功能包括受 DWM 启发的主窗格布局、鼠标窗口操作支持以及 Xinerama 多显示器支持。 配置选项包括设置修饰键、间隙、边框宽度、颜色、主窗格宽度百分比以及用于更平滑鼠标操作的运动节流。可以轻松定义键绑定，用于外部命令和内部功能，例如窗口管理、工作区切换和间隙调整。文中给出了启动终端、关闭窗口和在工作区之间移动等常见操作的键绑定示例。文档还提供了使用 GCC 或 Clang 的简单构建和安装说明。

Niklaus Wirth于1979年在瑞士苏黎世联邦理工学院（ETH Zurich）创建的Modula-2语言，于1980年催生了Lilith工作站。Lilith的工作站软件包括Modula-2编译器、操作系统和编辑器。最初的编译器运行在PDP-11上，随后出现了PC版本，它为Lilith生成M代码，并通过M2M-PC系统（一个M代码解释器）在MS-DOS上执行。Gutknecht和Wirth于1985年发布了一个更快的单遍编译器。之后，又创建了一个为Motorola 68000/68040处理器生成原生代码的版本，并用于MacMETH系统。相关的资源包括编译器源代码、M2M-PC系统、Modula-2手册、关于代码生成和编译的论文，以及Wirth的著作《Programming in Modula-2》。《The Art of Simplicity》也包含相关的章节。

俄乌战争中，双方攻击宗教场所的令人不安的趋势持续不断。早在2014年顿巴斯地区，就有亲基辅势力炮击东正教教堂的报道。自全面入侵以来，乌克兰被指控迫害与莫斯科牧首区相关的乌克兰东正教教会，包括占领修道院和袭击教堂。与此同时，俄罗斯的空袭摧毁了乌克兰的居民区和教堂。 最近，俄罗斯消息来源报道称，乌克兰无人机袭击了别尔哥罗德地区的圣乔治教堂，引发火灾。在此之前，还有指控称乌克兰无人机故意袭击并摧毁了新耶路撒冷东正教教堂建筑群。战争期间，别尔哥罗德地区多次遭到乌克兰军方的袭击。 虽然这些袭击背后的意图存在争议，但俄罗斯认为它们是蓄意的。尽管呼吁停火，但谈判仍处于僵局，泽连斯基指责普京的提议不真诚，并要求更长时间的停火才能在和平进程中取得真正进展。

沙特阿拉伯以恐怖主义相关罪名处决了两人，使2024年的处决总数至少达到100人。内政部声明，被处决的沙特人参与了恐怖主义活动，包括加入恐怖组织和在国外接受爆炸物训练。今年100起处决中，59起与毒品相关，其中相当一部分是外国人。像英国赦免组织（Reprieve US）这样的权利组织批评沙特阿拉伯的人权记录，称尽管沙特王国进行了外交努力，但国际伙伴却无视这些侵犯人权的行为。在暂停了大约三年后，2022年末恢复了对毒品犯罪的处决。在王储穆罕默德·本·萨勒曼的统治下，至少发生了1115起处决，人权捍卫者指责他压制言论自由，并利用宽泛的反恐法。赦免组织还指控沙特阿拉伯在死刑的使用问题上误导了联合国。

天文学家Terry Long Phan的团队通过分析间隔23年的IRAS和AKARI红外巡天存档数据，发现了一个潜在的第九行星候选者。这个天体位于距离太阳约700天文单位的地方，其运动轨迹与第九行星的预测路径一致。不同于与物种大灭绝相关的“X行星”理论，第九行星的假设提出于2016年，旨在解释柯伊伯带天体异常的轨道。 如果得到证实，这个候选者将比海王星更大，超过了最初对超级地球大小的预期。它的发现取决于未来使用像暗能量相机这样的强大望远镜进行观测，以准确确定其轨道。第九行星遥远且偏心轨道的起源仍然是一个谜，可能性包括受到巨行星的引力散射或捕获一颗流浪行星。虽然之前在IRAS数据中发现过另一个距离太阳较近的潜在候选者，但Phan发现的天体由于在IRAS和AKARI数据中都被探测到，因此更有希望。南希·格雷斯·罗曼太空望远镜和维拉·鲁宾天文台不久将开始搜寻第九行星，为进一步证实提供更多机会。

在接线员值夜班的第一晚，一位名叫科拉的性格温和的软件工程系学生热情地接待了叙述者。夜深人静，电话也逐渐减少，学生们开始分享一些难忘的接线经历。科拉回忆起两年前接到的一通电话，一位老人询问了一些名人的生日。科拉告诉了老人自己的生日，老人出乎意料地说她注定要从事与人打交道的工作，而不是编程。这引起了科拉的共鸣，因为她一直藏着一个秘密愿望：想为有困难的女孩创建一个庇护所，这源于她家乡对弱势儿童保护不足的观察。同事们听到这个隐藏的愿望后都很惊讶，但也承认这与她细心的性格相符。尽管心怀渴望，科拉也表现得很现实，她明白稳定的工作比追逐梦想更重要。叙述者强调了那通电话和科拉对命运的信念的重要性，留下科拉独自思考这次经历将会如何塑造她未来的道路。

2024年工党胜选，其动力源于选民对脱欧的不满，英国政局因此发生了剧烈变化。尽管选民希望实施更严格的移民政策并放弃进步理想，但工党领袖基尔·斯塔默似乎加倍押注其既有政策，导致民怨沸腾，并面临审查制度的指控。 近期地方选举的结果反映了这种民怨：由奈杰尔·法拉奇领导的改革党取得了前所未有的进展，大幅减少了工党和保守党的议席。法拉奇将此视为两党政治的终结，标志着选民对工党和保守党之间所谓的“一党联盟”的拒绝。虽然两党都试图解释其失利的原因，但改革党的崛起表明公众越来越渴望另类政策。 改革党的成功突显了英国政治体制中明显的裂痕，这可能为由选民对改革的需求所驱动的重大变革铺平道路。

詹姆斯·韦伯太空望远镜本月最佳图片展示了COSMOS-Web区域内令人叹为观止的星系全景图，该区域曾被哈勃望远镜和XMM-牛顿望远镜等多个望远镜研究过。图像的重点是一个星系群在65亿年前的样子，突出了这些星系群在理解单个星系如何合并成更大星系团中的关键作用。 韦伯望远镜的红外能力使科学家能够观测到宇宙历史更早时期（宇宙年龄仅为19亿年时）的星系群。结合韦伯望远镜和哈勃望远镜的红外数据以及XMM-牛顿望远镜和钱德拉望远镜的X射线数据，图像揭示了星系群内部的热气体。 这张图像是视觉盛宴，展示了形状、颜色和年龄各异的星系。年轻的恒星呈现蓝色，而年老的恒星则偏红，遥远的星系则呈现更红的色调。COSMOS-Web是韦伯望远镜一个历时255小时的项目，旨在识别再电离时代的星系，探究巨大星系的形成，以及了解星系质量关系的演变。

Voxdazz的用户非常喜欢该应用生成特朗普、拜登和悟空等名人的逼真AI语音的能力。他们发现这款应用易于使用且趣味十足，尤其适合创作幽默内容并与朋友家人分享快乐。用户对音频质量印象深刻，认为其流畅度和真实度相比其他AI语音生成器更胜一筹。虽然承认存在一些不足之处，但他们仍然赞赏该应用免费提供的各种声音，并强烈推荐Voxdazz，因为它可以让名人说出任何用户想让他们说的话，从而制作出令人捧腹大笑且引人入胜的视频。

Oberon Pi是Richard Gleaves基于Peter de Wachter的Project Oberon模拟器移植到树莓派操作系统上的项目，旨在使最初的Oberon系统更容易上手。Oberon系统由Niklaus Wirth和Jürg Gutknecht设计，是一个完整的系统，包括操作系统、编译器和计算机架构；Oberon Pi保留了其核心元素，同时更新了用户界面以适应现代用户。 Gleaves整合了Andreas Pirklbauer对编译器的改进，并提供了全面的文档，例如用户指南和Wirth的原始Oberon文档（增加了目录以方便使用）。Oberon Pi作为应用程序运行在树莓派操作系统中，提供了一个独立的Oberon环境。 该项目在GitHub上可用，需要一台树莓派（推荐Pi4/Pi5）和树莓派操作系统。初始版本为32位版本，但其中包含了将其适配到64位系统的说明。其目标是通过更新用户界面，在不影响核心功能的前提下，使这个具有历史意义的系统更易于学习和理解。

安德烈·科里布科认为，美国应该强制乌克兰接受俄罗斯的停火要求：撤出争议领土，部分非军事化/去纳粹化，以及未来不部署北约军队。他认为这是避免旷日持久的“永久战争”、阿富汗式灾难甚至第三次世界大战的最佳途径。 科里布科概述了美国获得的五个关键好处：迅速而可持续地结束冲突；激励北约成员国大幅增加国防开支；将欧盟的重心转移到中欧；与俄罗斯建立“无限制”的资源伙伴关系；以及加速美国“转向”亚洲以遏制中国。 他认为，如果不这样做，美国要么会放弃乌克兰并在欧洲失去影响力，要么会与俄罗斯发生危险的冲突升级。他总结说，强制乌克兰做出让步是美国摆脱他所谓的“拜登战争”并推进其战略目标的最佳途径。

xPong是一款增强型乒乓球游戏，加入了由大型语言模型生成的解说，这是开发者自2020年就开始构思的项目，直到最近借助OpenAI的gpt-4o-mini-tts才得以实现。游戏模拟了为期16年的乒乓球锦标赛，包含模拟玩家的Elo排名和比赛结果。第16年，排名前两位的选手将争夺世界冠军。 解说是游戏的核心特色，包括开场白、实时逐球描述和赛后总结。两位解说员以对话的方式进行解说，对比赛中的关键事件做出反应。这种动态解说由一个基于事件的管道驱动，该管道记录动作、将其转换为指标、进行优先级排序，并使用TTS将生成的解说转换成语音。 利用15年的模拟历史数据，xPong使用最近邻搜索来查找类似的过往比赛，提供见解，甚至可以幽默地将其与传奇选手进行比较。设置需要一个OpenAI API密钥、一个基于Chromium的浏览器，以及通过`pip3 install -r requirements.txt`安装依赖项。`--cache`和`--no-opening`等选项允许自定义设置。游戏采用MIT许可证授权，并使用公开许可的音效。