ICRAR/科廷大学研究人员发现了GPM J071507−114153，这是首个白矮星绕太阳型（G型）恒星运行的射电脉冲系统。这一长周期暂现源发出间歇性射电信号；与常见的红矮星系统不同，这种配对是新的。对超过100小时的射电数据的分析揭示了白矮星的轨道运动，表明脉冲起源于白矮星附近或白矮星本身。信号还揭示了太阳型伴星上的恒星耀斑和磁突起。该天体由MWA探测，由MeerKAT定位，并由凯克天文台进行光学确认。作为SKA的先驱望远镜，这些望远镜预示着未来许多发现。该研究发表于《自然·天文》。

招股说明书是监管文件，提供有关 Anthropic 业务、财务报表、风险因素、管理团队、资金用途、发行详情等详细信息。投资者在投资前应仔细审阅招股说明书。

英伟达CEO黄仁勋面临日益加深的领导危机，有报道称其有婚外情，其中一段涉及一名被美国官员怀疑与中国情报机构有联系的女性。英伟达股价盘前下跌约7.5%，董事会正在考虑他的命运。中国指责华盛顿利用间谍指控为芯片限制辩护，而美国官员怀疑新加坡的Megaspeed公司规避出口管制。报道称商务部长霍华德·卢特尼克身陷内部纷争。分析师丹·艾夫斯表示，黄仁勋不可替代，但英伟达的AI芯片地位将保持不变，他列举了继任、调查和中国GPU出货等方面的不确定性。埃隆·马斯克对黄仁勋可能运营其Terafab的建议作出了积极回应。这场危机发生在特朗普与习近平峰会之前。

启用 JavaScript 和 Cookie 以继续

一位旅行者通过嗅探官方底座的 USB-PD 流量并修补 Cable Matters 集线器，逆向工程了 Nintendo Switch 2 底座。官方底座协商供电、DisplayPort Alt Mode，然后是任天堂专用的厂商消息；集线器的 VL103 PD 控制器被修补（约 540 字节）以冒充底座身份并回应这些消息，从而启用 TV 模式。RTD2142 DP 转 HDMI 转换器也被修补（约 108 字节），将 HDR 视频标记为 BT.2020 并在 HDR 变化时重建 InfoFrame，解决了 HDMI 上 HDR 偏淡的问题。充电可同时工作。VRR 仍不受支持且已被禁用。USB/以太网未经过充分测试。该集线器仍可与 PC/手机配合使用。

英国计划中的16岁以下社交媒体禁令在生效前就已扩大。官员们现在正考虑将限制扩展到Vinted和eBay等二手市场，理由是直接消息存在诱骗风险。作者认为，该政策实际上要求所有人而非仅儿童进行身份验证。文化大臣莉萨·南迪支持更广泛的网络监管，现有措施包括游戏聊天的身份检查、数字宵禁和色情内容年龄验证。作者警告，这会形成不断扩大的“楔子”，可能要求更多服务进行身份验证，最终延伸到大多数网络活动或通过政府年龄验证应用进行互联网访问。

这篇文章认为，软件正确性之所以本质上困难，是因为程序抗拒完全的数学理解。它借助可计算性与复杂性理论，回顾了哥德尔、图灵及相关结论：停机问题是不可判定的，赖斯定理限制了非平凡性质的判定，有界停机表明分析速度不可能快于实际运行。它讨论了模型检验、演绎证明、抽象解释和类型，指出这些方法都仍受限于状态爆炸、复杂性或不精确性。限制语言或模块化程序通常并不使验证变得可行。作者结论是不存在通用的银弹，实际进展需要对软件、缺陷和人类行为进行经验研究，采用权宜方法，而不是期待普遍的数学解决方案。

访问受限 我们检测到您的网络存在异常活动。此页面的访问暂时受限。 你是研究人员吗？ 请以 ResearchGate 会员身份登录或注册，以验证您的访问权限。 登录 创建账户 Ray ID: a5950b5f19856cc1 客户端 IP: 47.245.80.60 © ResearchGate GmbH. 保留所有权利。

约2,800名来自11个国家的部队于11月9日至22日参加在波兰举行的“Koalicja”演习，由英国和法国领导。这是乌克兰多国部队——“志愿联盟”的一部分——进行的首次重大演习，为可能的战后任务做准备；若俄罗斯与乌克兰达成和平协议，该任务将支持重建乌克兰军队。该部队仅在战争结束后应乌克兰请求部署，不用于维和或停火监测。演习测试指挥、整合、后勤以及潜在的海上排雷。它与11月10日至11日在阿布扎比举行的美国调解的俄乌会谈同期进行。领导人表达了对近期达成协议的希望，而俄罗斯警告说，和平协议达成前部署外国军队将被视为敌对行为。

Karlyn Borysenko声称极左活动人士正在与法国同行协调，并准备在2028年5月1日举行总罢工以扰乱美国经济。她引用了一场涉及“五月一日强”（主要由教师工会成员组成的联盟）的Zoom组织通话录音，并表示一位法国教师工会领袖参与其中。她还提到美国汽车工人联合会主席肖恩·法恩计划在2028年五月一日进行重大劳工行动。根据Borysenko的说法，这个日期对社会主义者和共产主义者很重要，可能在2028年总统大选前造成经济动荡。这些都是她的说法，尚未得到独立验证。

启用 JavaScript 和 cookies 以继续

文章认为，泽连斯基拒绝和平机会——先是2022年春天，后是2023年初——延长了战争并导致许多乌克兰人丧生。它引用报道称，2023年的条款与早期谈判相似，俄罗斯从大部分被吞并地区撤军，而乌克兰承认克里米亚并允许陆地走廊。作者表示，泽连斯基在进攻失败后现在面临更差的条款。它还暗示特朗普可能通过限制Starlink/Starshield等卫星系统向乌克兰施压以迫使谈判，可能达成冻结前线的协议、美国斡旋的能源安排以及没有美国第五条保障的欧洲维和人员。它声称普京可能接受这些条款而泽连斯基会抵抗，并得出结论：削减支持可能迫使实现和平并拯救乌克兰。

bootvine 是一个 Linux 启动控制台 UI，它用待处理 systemd 任务的实时树和已完成单元中最慢单元的时间线，替代滚动的内核/systemd 日志。它还跟踪关机、就地处理诸如 LUKS 解锁等密码短语提示，并使用最近的 journal 行显示失败原因。要求包括作为 PID 1 的 systemd 246 或更新版本、libdbus、libsystemd、一个虚拟终端，以及用于完全启动可见性的 systemd initrd。它可以通过 Nix 示例虚拟机在不安装的情况下试用。文档采用 GPL-3.0-or-later 许可。

波兰11月11日的独立游行纪念了该国在被瓜分123年后于1918年获得独立。地方官员估计有25万人参加，组织方则称超过50万人。卡罗尔·纳夫罗茨基总统在唐纳德·图斯克总理司法改革引发的政治危机中出席，右翼批评者称该改革为试图发动司法政变。路透社将游行描述为“极右翼”，引发网络批评和社区注释，后者澄清极右翼团体的存在并不意味着整个活动或参与者为极右翼。这场争议凸显了媒体对游行定性的分歧。

伊朗少将穆赫森·雷扎伊警告称，如果美国在欧洲的基地被用于对伊朗发动袭击，伊朗可能打击这些基地，并称伊朗的能力已增强。他表示，不会有任何浓缩铀离开伊朗，库存将用于核动力舰船、潜艇，以及可能的小型模块化反应堆。雷扎伊说，德黑兰将在华盛顿满足七项条件后重新开放霍尔木兹海峡，拒绝了美国提案，称其具有欺骗性，并在否认会晤即将举行的同时仍致力于外交。另外，最高领袖穆杰塔巴·哈梅内伊下令部队立即、有力且不受地理限制地作出回应，并扩大目标数据库，纳入所有美国和以色列资产。

我们网站的安全保护触发了拦截。如果你认为这是错误的，请发送邮件至 [email protected]。请说明你是如何进入该网页的，并附上页面底部的 Cloudflare Ray ID。如果你希望询问访问我们内容的权限，请发送邮件至 [email protected]。Cloudflare Ray ID：a59406565fa5fd1f 返回 The Atlantic

启用 JavaScript 和 Cookies 以继续

启用 JavaScript 和 cookie 以继续

虚假炸弹威胁邮件发送至意大利、爱尔兰、苏格兰和北爱尔兰各地学校，引发疏散和调查，但官员们认为并无可信危险。在意大利，约6000所学校收到该邮件，至少300所学校被疏散；信息威胁大屠杀，称学校和总理座驾中有炸弹，并署名“Mikhail Antropov”。总理乔尔贾·梅洛尼表示没有具体危险，这些警报似乎旨在引起恐慌。教育部长朱塞佩·瓦尔迪塔拉称有312所学校受影响，可信度低，警方和检察官正在调查。据报道，该邮件来自一个被入侵的台湾大学账户。在爱尔兰，蒙斯特地区约400所学校以及都柏林学校和新闻机构收到威胁；爱尔兰警方认为它们不可信。约470所苏格兰学校和300所北爱尔兰学校也收到威胁；警方未发现可信危险。此事发生在近期欧洲航班炸弹威胁和更广泛的网络攻击担忧之后。

Javier de la Torre 建了一个两平方米的菜园，并将其变成由代理驱动的物联网系统。他安装了 Ecowitt 传感器，用于测量土壤湿度、温度、天气、叶片湿度等指标，还安装了摄像头，并对所有内容进行了空间映射。数据流入 LakehouseBox Iceberg 表，与照片和天气预报一起，支持代理查询。一个托管代理每天早上运行，分析花园历史、预报和图像，发送简短报告，并可通过一部旧 Android 手机点击 Rain Bird 应用调整灌溉。该系统观察、存储、思考、行动，并在第二天检查结果。它花费了约 300 欧元的传感器费用，加上免费层存储，引出了作者的笑话“60 欧元的生菜”。他认为代理可以替代规则引擎，需要长期历史和记忆，且平台应接受简单的设备协议。剩余问题包括防护措施、数据丢失、隐私和不完整的主权。总体而言，该项目表明小型低成本花园现在可以使用严肃的分析和自主护理。

sysrpl 正在开发一款完全开源的 Linux 弹珠模拟引擎，并计划在 2026 年 IAAPA 博览会上向厂商展示。近期工作包括改进的声音系统（带有力衰减的环境音效）、更好的物理效果、控制台、TypeScript 离屏渲染、Asteroids 视频模式、游戏内编辑器以及多种相机模式。下一步计划包括完善物理、添加上层台面、语音台词、更多美术、文档、对自定义台面和 DMD 动画的 TypeScript 支持，以及双显示器背板。开发者还希望获得台面美术方面的帮助，可通过消息或电子邮件联系。

用于明确的掌握请求（如“教我”、“考我”等）的苏格拉底式辅导技能，而非一次性问题。它首先确认意图，然后将主题拆分为4–10个子技能，并在教学前进行3–5题的诊断。它在0–5级量表上追踪每个子技能，并在每次变化后渲染ASCII进度图。教学一次只进行一个问题——预测、解释、找缺陷、应用、连接——不提供提示；解释仅在2–3次失败尝试后给出，随后重新测试。正确答案可能会受到唱反调的质疑。等级通过2次以上独立检查获得，包括无提示回忆；间隔复习可能降低等级。5级要求处理边缘情况并具有可教授的清晰度。会话在达到目标等级（默认4/5，完全掌握为5/5）后结束，并进行最终混合评估。支持命令：显示进度、更难/更简单、直接告诉我、保存状态、从……恢复。

2025年，在有未成年子女的家庭中，外国福利受益人领取了205.4亿欧元社会福利中的122亿欧元（59.4%），主要为乌克兰人（34.4亿欧元）、叙利亚人（22亿欧元）和阿富汗人（约10亿欧元）。同一类别中的德国人占40.5%。虽然18岁以下人口中85%为德国公民，但36.8%的外国儿童与7.2%的德国儿童生活在福利家庭中。在所有受益人中，外国人占比从2010年的19.6%升至2025年的47.3%，支付金额从69.2亿欧元升至217.5亿欧元。德国选择党议员René Springer批评了这些支出，并表示无法自给自足的外国人应失去居留许可，同时提出将资金用于国内用途。文章还指出，归化——2025年超过33万人——可能因归化受益人被统计为德国人而模糊福利数据，并引用估算称自2016年以来外国人已至少给纳税人造成4000亿欧元成本。

在软件行业工作15年后，作者发现自己的直觉越来越不可靠，因为AI改变了长期规则背后的成本。曾经被视为坏主意的做法如今行得通：不经队友评审就合并PR（Claude写代码，工单负责人借助CI/Greptile评审），把团队拆分到并行流（Claude帮你上手时，上下文切换很便宜），以及放弃“深入单一技术”的建议，转而强调扎实基础加上产品/设计技能。其他曾经异端的想法——大重写、自建而非购买、原型化多个版本、使用不熟悉的语言——现在也值得重新审视。规律是：规则建立在上下文切换慢、知识稀缺等成本之上，而AI降低了这些成本。因此作者现在会问，是什么成本让某个“坏主意”变坏，以及这个成本是否还存在，并开展更多实验。结论是：经验仍然重要，但在快速变化的领域里，适应能力和快速学习更重要。

虽然无论从哪个角度看，他都只是个小画家，瓦夫热涅茨基却是一位影响深远的考古学家，他不仅发现了波兰土地上最早的黑曜石器物，还发现了早期的土屋、陶器和石碑。他的先驱性工作在其视觉艺术中留下了印记，其中包括最早的描绘考古发掘的画作之一。《Rozkopany kurhan》（"被挖掘的墓冢"），创作于1891至1892年间，其值得注意之处在于它借用了历史画的惯例，所描绘的并非是对过去的理想化场景，而是分隔着那些发现史前时代的探索者与久远年代支离破碎、令人困惑的遗迹之间的鸿沟。

RamaSite 是一款免费、开源、自包含的 PHP CMS，名称取自阿瑟·C·克拉克的《拉玛》。它将所有内容存储在一个 SQLite 数据库和一个 uploads 文件夹中，无需数据库服务器、外部服务、命令行或配置文件编辑。安装方式是将发布 zip 上传到 Apache/cPanel 主机并完成浏览器设置界面；升级时会自动更新数据库。它包含 Markdown 页面/博客/文章、菜单、卡片/模块/轮播、图片/文件库、嵌入 YouTube、表单、主题、重定向、sitemap、robots.txt、RSS、分析/搜索验证、多管理员、双因素认证、密码重置、HTTPS 强制和一键备份。要求：PHP 8.4.1+（含指定扩展）、SQLite 3.26+、Apache mod_rewrite。设置需要 setup-key.txt 中的密钥。管理后台位于 /admin。基于 Laravel/Filament 构建；由 Dale Franks 以 MIT 许可证发布。

Darling 的最新更新强调了三项主要进展。第一，新的 AI 辅助贡献政策回应了“slop”担忧，同时利用 LLM 使与 Apple 工程能力竞争变得现实。贡献者对提交的每一行代码仍完全负责，并必须自行解释；净室规则禁止使用泄露材料、Apple 的受限源码以及匹配反汇编。第二，初始 ARM64 支持已到来，这在 Apple 脱离 x86 的背景下至关重要；VibeDarling 分支的 ARM64 开发增强了对该支持的信心。第三，未来计划包括使用代理驱动合并将分支工作合并回主库、正式支持 i386、x86-64 和 ARM64、实验通过 Dynarmic 在 x86-64 上运行 ARM64 应用、稳定 AppKit，以及添加原生 GUI 工具，如配置工具和日志查看器。项目还邀请通过 Discord 和 OpenCollective 参与贡献。

Johnson 反驳媒体叙事：显示俄罗斯死亡人数为 393,881–450,100 的 Rosstat 被盗数据，并不能推翻芬兰大学研究人员 Alexander Grable 的论文，该论文估计乌克兰死亡人数远超俄罗斯。他表示，这次泄露来自公开反克里姆林宫的黑客组织，未经验证，且看起来像是一场 timed to coincide with the spread of Grable’s paper 的影响行动。他认为伤亡估计必须考虑火力因素：俄罗斯在火炮、炮弹、滑翔炸弹、导弹和无人机方面拥有巨大优势，炮弹数量约 2400 万枚，而乌克兰约 700 万枚。Grable 对乌克兰死亡人数的估计与这种火力不平衡相符，但 Johnson 承认 Grable 的俄罗斯死亡人数数字过低。他总结说，尽管一个数字有误，但更广泛的主张——乌克兰因俄罗斯武器更多而遭受更重损失——仍然合理，且被盗数据不会改变战场物理事实。

自1983年以来，香港将年龄调整后的癌症死亡率从每10万人136.7例降至71.1例，尽管年度病例增至约3.8万例；2023年癌症仍导致近1.5万例死亡。专家表示，进一步改善需要预防、更早诊断和更好治疗可及性。晚期诊断常见，超过半数肺癌和45%肝癌在晚期被发现。筛查参与率低，符合条件女性中约一半接受宫颈癌筛查，而世卫组织目标为70%。AI肺部扫描研究可能降低成本，更广泛的乙型肝炎检测可能将肝癌风险和死亡率降低30–60%。脂肪肝病也影响30–50%居民。新疗法可提高生存率，但成本和补贴限制可及性，治疗延误仍存在。香港还希望通过临床试验和内地合作扩大癌症研究，但人才短缺仍存。总体而言，它必须改善早期发现、筛查、可负担性和研究能力。

创新 在Stingray Marine Solutions，创新是我们一切工作的核心。通过结合先进的激光技术、AI驱动的监控和实时数据分析，我们持续开发前沿解决方案，以改善鱼类福利、优化生产并减少环境影响。我们智能、非侵入式的方法确保更健康的鱼类、更高的效率以及更可持续的水产养殖未来。