## 气象局网站改版引发强烈不满 澳大利亚气象局（BoM）耗资巨大且备受批评的网站改版引发了全国范围内的强烈反弹。该改版项目于十月启动，历经十年等待，耗资9650万澳元（约合6230万美元），最初预算仅为410万澳元。但该项目一经推出，便立即收到用户投诉，特别是农民和渔民，他们发现获取关键预报信息变得更加困难。 #changeitback 标签迅速走红，用户们哀叹失去熟悉的功能、不直观的导航以及雨雷达破坏性的配色方案。专家指出，“程序性记忆”的中断——即对解读天气模式的根深蒂固的知识——是关键问题。 尽管气象局声称安全性和可访问性得到改善，并保证了社区协商，但公众的强烈抗议迫使该机构负责人道歉，并受到了政府的谴责。部分旧网站内容已恢复，并承诺将根据收到的40万条反馈意见进行进一步修改。这一事件凸显了该机构与其用户之间的脱节，并强调了气象局在受极端天气事件影响日益加剧的国家中的重要作用。

牛津最近对进入市中心的汽车征收5英镑拥堵费，出租车、紧急车辆和货车除外。 这引发了一次有趣的法律询问：由牛拉的马车是否需要缴纳此费用？ 深入研究相关立法——包括道路使用者收费规定和道路交通法——显示，该费用适用于“机动车辆”。 虽然牛车符合某些标准（四个轮子、载客、重量），但它*缺乏*机械动力。 法律将机动车辆定义为“机械驱动”，而牛的努力不符合这一条件。 此外，该费用通过车牌识别来执行，而牛车没有车牌。 因此，从法律上讲，牛拉的马车是豁免的。 作者强调了英国立法在线的可访问性，这是政府透明度的一个积极方面，即使是这样的小众问题也可以直接调查。

一项新的民意调查显示，法国政治正在强力转向右翼，国民联盟（RN）主席乔丹·巴尔德拉预计将在所有测试情景下赢得2027年总统选举。为公共参议院进行的Odoxa-Mascaret民调显示，巴尔德拉将在决选中以53%对47%击败中间派爱德华·菲利普，以56%对44%击败现任总理加布里埃尔·阿塔尔。他还将以显著优势（74%对26%） decisively 击败极左领导人让-吕克·梅朗雄。 由于过去的定罪，玛丽娜·勒庞可能无法参选，巴尔德拉被视为她的继任者，并在公众支持度方面领先七个百分点。尽管马克龙总统和勒科尔努总理的认可度略有提升，但该民调凸显了对RN平台日益增长的支持，尤其是在移民、农业和安全方面。该调查对1200多名注册选民进行了代表性抽样，误差范围在1.5到3.5个百分点之间。

最近兰德公司的一项研究显示，虽然大多数美国男孩和年轻男性*拥有*成年导师，但他们常常缺乏来自*男性*角色的关键指导。尽管90%的人表示总体上可以获得指导，但仍然存在显著差距——尤其对于来自低收入家庭的男孩而言——女性是他们在学业、人际关系和未来规划方面的主要支持来源。 这种差异与令人担忧的趋势相吻合：男孩在学业上落后于女孩，辍学率更高，并且越来越脱离教育和就业。 重要的是，2010年至2023年间，年轻男性的自杀率上升了26%，男性自杀的几率是女性的四倍。 该研究发现，大约40%的男孩缺乏在学业上提供帮助的男性导师，超过40%的男孩缺乏在人际关系方面提供建议的男性导师。获得男性指导与家庭收入密切相关，家庭收入低于5万美元的男孩中，只有不到一半的人拥有在学业上提供帮助的男性导师，而家庭收入超过10万美元的男孩则为72%。研究人员强调了同性指导的潜在益处，并强调需要解决男性志愿服务的障碍。

该网站正在使用安全服务来保护自身免受在线攻击。您刚才的操作触发了安全解决方案。 提交特定词语或短语、SQL命令或格式错误的数据等行为可能会触发此阻止。

启用 JavaScript 和 Cookie 以继续。

该项目使用光线行进和距离场技术，创建具有柔和阴影的视觉上吸引人的文本渲染效果。距离场本质上是一张图像，表示每个像素与文本形状的距离。演示通过使用自定义库从渲染的文本生成该字段。 该效果的核心在于模拟光线和阴影。对于每个像素，都会向光源投射一“射线”。射线“行进”前进，利用距离场确定在不与任何文本字形相交的情况下，它可以安全移动多远。如果射线击中字形，则该像素处于阴影中。 为了创建逼真的*柔和*阴影，该算法不仅确定像素是否处于阴影中，还根据射线与字形的接近程度及其与光源的距离，确定其被阴影遮挡的*程度*。这通过一系列涉及与最近字形的距离和射线进度的计算来实现。进一步的改进，例如在光线行进步骤中添加随机抖动，有助于减少条带伪影，但仍会保留一些颗粒感。最终结果并非物理上准确，但提供了一种视觉上令人愉悦且性能良好的阴影效果。

## 内核基础：总结 内核并非一个简单的进程，而是基础系统本身——核心权限，管理硬件和软件交互。它*服务*于用户进程，处理系统调用，响应中断，并管理任务调度以确保平稳运行。 至关重要的是，内核建立了一个分层系统，其特征是**虚拟化、内存映射、隔离和控制**。这种结构提供了一个安全且有组织的运行时环境。与用户进程不同，内核并非被*运行*——它*是*进程运行的环境。 关键功能包括连接应用程序和硬件之间的桥梁，以及为了稳定性和安全性强制进程间的隔离。理解这种区别对于掌握操作系统架构至关重要。

交互式λ-规约示例 启动器Lamping A Lamping B List Head Ω (非规范化) Y (非规范化) 两次平方 擦除 vs 共享 复制器衰减 图着色 Δ-网络 (2025) λ-演算 (1936+) 绝对层级 (默认) 相对层级 线性 (L) 仿射 (A) 相关 (I) 完全 (K) 0/0 GitHub

为了透明起见并希望与社区分享，这篇博文包含有关最近影响到部分客户的安全事件的关键信息。2025年11月8日，Mixpanel检测到一起短信钓鱼活动，并立即启动了我们的事件响应流程。我们采取了全面的措施来控制和消除未经授权的访问，并保护受影响的用户帐户。我们聘请了外部网络安全合作伙伴来修复并应对该事件。

本资源介绍表面连续性的概念——设计中曲线和线条连接的平滑程度，使用一个3D可打印模型展示四个等级：G0（尖锐）、G1（切线）、G2（曲率匹配）和G3（曲率变化率匹配）。 关键在于，连续性的细微差异会显著影响设计的触感和美观。虽然文章和视频（链接在原文中）解释了理论，但实际操作模型——感受过渡——是理解这些区别的最佳方式。 除了美观之外，G3连续性在3D打印方面还具有实际好处，可以减少“振铃”伪影，并可能通过确保打印头更平滑地移动来提高打印速度。该模型是学习高级曲面技术的起点，如提供的视频示例所示。

经过2016年9月起共368期，“ECMAScript News”通讯已停止出版。这一决定是由于持续的财务亏损所致，源于过去两年广告商和订阅者数量的双双下降——与之前的增长势头相反。 创作者对忠实的读者们在通讯运营期间的支持表示感谢，该通讯专注于JavaScript及其相关工具。虽然这是当前形式的最后一期，但创作者Axel有可能在2026年以新的形式恢复通讯，届时将通过最后一封电子邮件告知。

## AMD 的 NPS0：统一内存访问的权衡 NUMA（非统一内存访问）传统上与服务器的插槽边界对齐，但现代芯片通过细分和模式（如 AMD 的 NPS，每个插槽节点数）增加了复杂性。NPS0 独特地将双插槽系统呈现为单个内存池，提供统一的内存访问——类似于桌面系统——但代价是 DRAM 延迟增加。 虽然通过消除对 NUMA 感知代码的需求来简化编程，但 NPS0 引入了显著的延迟惩罚。最近使用 AMD EPYC 9575F 处理器进行的测试显示，延迟超过 220 纳秒，比标准的 NUMA 配置增加了近 90 纳秒。虽然带宽有所提高，但只有在极高的需求下（约 400 GB/s）才能变得有利。 性能影响因工作负载而异。具有高缓存命中率的应用程序受益于处理器更高的时钟速度，而严重依赖 DRAM 的应用程序则会受到影响。尽管存在延迟，EPYC 9575F 在某些 SPEC CPU2017 测试中表现出人意料的好成绩，这归功于其强大的缓存。 最终，作者得出结论，由于巨大的延迟惩罚，NPS0 不值得在现代系统中使用，并建议随着服务器复杂性的增加，NUMA 优化仍然是实现可扩展性能的必要手段。

## ERA：使用微型虚拟机安全运行不受信任的代码 ERA 允许您使用类似于容器的微型虚拟机，在本地安全地运行不受信任或 AI 生成的代码。它具有快速启动时间（约 200 毫秒）和友好的开发体验。通过全球部署的 Worker/API（参见 cloudflare/README.md），也可提供完全托管的云层。 **安装：** 主要通过 Homebrew（推荐）：`brew tap binsquare/era-agent-cli` & `brew install era-agent-cli`。依赖项包括 `krunvm` 和 `buildah`。macOS 用户需要区分大小写的 APFS 卷，可通过提供的脚本轻松设置。 **主要特性：** * **安全执行：** 将代码隔离在微型虚拟机中。 * **快速性能：** 200 毫秒启动时间。 * **语言支持：** Python、JavaScript/Node.js/TypeScript、Go、Ruby。 * **CLI 工具：** `agent vm create`、`agent vm exec`、`agent vm temp` 用于虚拟机管理和代码执行。 * **云部署：** 可选择作为 Cloudflare Worker 部署。 **配置：** 重要的环境变量包括 `AGENT_STATE_DIR`（用于虚拟机数据）和 `AGENT_LOG_LEVEL` 用于日志控制。 详细的平台特定说明和示例可在 `era-agent/README.md` 中找到。

## 贪婪、主动推断与血管系统：统一理论 迈克尔·约翰逊提出了一种新理论，将佛教关于痛苦的现象学（*tanha* – 通常翻译为渴望或执着）与现代神经科学，特别是主动推断和血管平滑肌细胞（VSMC）功能联系起来。*Tanha* 被描述为一种本能的“抓取”——一种在感觉输入毫秒内发生的、为了稳定愉悦感觉并避免不愉悦感觉的反射性尝试。 约翰逊认为这种“抓取”不是一个缺陷，而是*主动推断*的副作用，主动推断是大脑预测和控制感觉的过程。然而，这个系统常常出错，产生过度的或不可能的预测，导致压力。他提出这个过程通过包围血管的 VSMC 表现出来，VSMC 压缩并“锁定”与这些预测相对应的神经模式，有效地将它们存储为血管张力。 这个“血管计算”框架表明 VSMC 不仅仅用于血流，而且积极地塑造神经活动，可能掌握着理解中期记忆和痛苦生理基础的关键。释放这种张力——通过冥想或桑拿/冷暴露等练习——可能对解脱至关重要。这个理论将佛教的洞察力与神经科学原理相结合，为系统神经科学提供了一种潜在的重组，并对福祉和人工智能对齐具有影响。

## 音乐与现代手术：舒缓的发现 来自德里 Maulana Azad 医学院和 Lok Nayak 医院的一项新研究表明，在全身麻醉期间播放音乐可以改善患者的恢复情况。研究人员发现，在腹腔镜胆囊切除术期间听舒缓的器乐（长笛或钢琴）的患者，所需的丙泊酚和芬太尼等阿片类止痛药剂量明显较低。 药物剂量的减少带来了更顺利的恢复、较低的应激激素水平以及手术期间更好的血压控制。即使在无意识状态下，听觉通路仍然活跃，允许大脑即使没有有意识的回忆也能感知音乐。这项研究强调了身体对手术的应激反应——即使在麻醉下——以及音乐如何帮助减轻这种反应。 研究人员认为音乐“人性化”了手术室，提供了一种非药物干预措施来改善健康状况。虽然音乐疗法在其他医学领域已经确立，但其在麻醉期间的应用代表着朝着优化手术护理并可能重塑医院实践的一个有希望的转变。进一步的研究正在进行中，以探索音乐辅助镇静的全部潜力。

威利斯·惠特菲尔德，一位来自桑迪亚国家实验室的谦逊物理学家，在20世纪60年代初发明了现代洁净室，彻底改变了制造业。面对微粒污染破坏敏感元件（包括核武器元件）的问题，惠特菲尔德在飞机上勾勒出了一种解决方案：层流空气。 该系统不断用高度过滤的空气扫过房间，将颗粒物推到地板上并循环清洁空气——本质上让“空气成为清洁工”。他的1961年原型在空气清洁度方面取得了惊人的1000倍的提升，最初受到怀疑，直到被证明有效。 桑迪亚为惠特菲尔德的设计申请了专利，促使其在电子、制药和医学等行业中迅速普及。这成为桑迪亚的首个重大技术转让，为制造精度设定了新标准。尽管他的工作具有开创性，惠特菲尔德仍然保持谦逊，总是将功劳归于他的团队。他于2014年追授进入国家发明家名人堂，并在桑迪亚竖立了一座雕像，以纪念他持久的遗产。

启用 JavaScript 和 Cookie 以继续。

此文档似乎是一个严重损坏的PDF文件。虽然大部分无法读取，但对剩余文本片段的分析表明，它可能包含混合文本，可能包括外语字符，以及可能的图像或格式化内容。 可见的片段暗示这是一篇学术或技术写作，其中包含符号以及潜在的数学或科学术语。 也有迹象表明存在格式元素，如标题或列表，但这些已被损坏所遮蔽。 由于损坏程度严重，无法确定文档的原始目的或内容。 需要恢复原始文件才能进行有意义的分析。 该文件的结构表明它曾经是一个有效的PDF，但已发生大量数据丢失。

托比亚斯·尼普科夫、贾斯敏·布兰切特、曼努埃尔·埃贝尔、亚历杭德罗·戈麦斯-隆多尼奥、彼得·拉米奇、克里斯蒂安·斯特纳格尔、西蒙·维默、詹博华 著，ACM Books 出版。本书是关于函数式语言数据结构和算法的介绍，重点在于证明。它涵盖了函数正确性和运行时间分析。它以统一的方式进行，通过关于函数式程序及其运行时间函数的归纳证明来实现。所有证明都已通过 Isabelle 证明助手进行机器验证。pdf 文件包含指向相应 Isabelle 理论的链接。点击图片下载整本书的 pdf：本书旨在随着时间推移而发展。如果您想贡献，请联系我们！

## Flutter 与复古 3D 渲染器：一个利基用例 Filip Hráček 详细介绍了他在 Flutter 游戏中实现软件 3D 渲染器的独特方法，旨在实现一种特定的“1970 年代科幻与现代军事用户界面”美学，而这种美学是标准渲染技术无法实现的。 渲染器最初是单线程的，利用 Flutter 的 `Canvas.drawVertices` 进行 GPU 加速，并使用 `TypedData` 进行高效的内存管理，避免频繁的垃圾回收。 随着复杂性的增加和对更广泛硬件兼容性的需求，性能成为一个问题。 Dart 的基于隔离的并发，虽然由于消息传递而安全，但为渲染每一帧的共享内存带来了挑战。 Hráček 通过利用 Dart 的 FFI 在本机堆上分配内存，在隔离之间共享内存，而无需进行代价高昂的复制来克服这个问题。 这涉及一种双缓冲和消息传递系统，将渲染任务转移到工作隔离，从而在强大的机器上将主线程性能提高了 20%。 他承认这种复杂性，并指出 Dart 团队正在探索更直接的共享内存支持。 虽然 AI 辅助在代码实现方面不可靠，但它有助于诸如样板代码生成和初始设置之类的任务。 最终，这个项目展示了一个高度定制的解决方案，它由美学目标和在 Flutter 框架内深入研究低级优化的意愿驱动。

美国食品药品监督管理局（FDA）专员马蒂·马卡里指控安东尼·福西博士领导了一场关于新冠病毒起源的“大规模掩盖”，具体是压制了武汉实验室泄漏理论。马卡里声称福西积极努力诋毁这一假设，引用了福西委托撰写的2020年2月的一篇论文，该论文驳斥了实验室泄漏的观点——而这篇论文得到了私下认为病毒确实起源于武汉实验室的科学家的支持。 马卡里进一步声称福西和弗朗西斯·柯林斯削弱了对潜在危险的“功能获得”研究的监管，允许联邦资助此类项目。他指出福西的总统赦免可能与这些行为有关。 这些指控还延伸到更广泛的审查，例如ZeroHedge和杰伊·巴塔查里亚博士（大巴林顿宣言的共同作者）因分享被卫生官员认为“不便”的信息而成为目标。巴塔查里亚现在在国立卫生研究院（NIH）工作，承诺将远离“错误信息检测”和审查。

## 感恩节：流失的宗教根源 J.T. Young 认为感恩节已经失去了其最初的宗教意义，变成了一个关注纵欲而非对*上帝*感恩的世俗节日。 建立第一个感恩节的清教徒将其视为对在巨大苦难中幸存下来的深刻精神表达——对危险旅程和在新世界第一个毁灭性年份后，神圣眷顾的直接回应。 他们的感恩是理所当然的， направлена на существо, способное принимать и признавать благодарность, в отличие от неодушевленных предметов или судьбы. 然而，在过去的四百年里，美国在很大程度上世俗化了这个节日，使其容易被那些寻求挑战传统价值观的人重新利用。 这种世俗化创造了一种空虚，用以自我为中心的态度取代了真正的感恩。 Young 认为，重拾感恩节的宗教核心——承认上帝是祝福的源泉——将恢复节日的意义和韧性，或许也能恢复整个美国社会。

## 阿尔茨海默病：摘要 阿尔茨海默病是一种进行性和致命性的神经退行性疾病，影响超过600万美国人，主要为65岁以上人群。它会逐渐破坏记忆力、思维能力和日常生活功能，通常在诊断前数年就开始悄然发生。主要有两种类型：早发型（65岁前，较罕见，可能进展更快）和晚发型（65岁后，更常见，通常进展较慢）。 该疾病会经历不同的阶段——从无症状的生物学变化到严重的认知和身体功能障碍，最终导致完全的功能依赖和死亡。目前的研究表明，多种因素之间存在复杂的相互作用，包括淀粉样蛋白和tau蛋白的积累、神经炎症、线粒体功能障碍、肠道健康和遗传因素。 虽然目前尚无治愈方法，但治疗侧重于通过药物（如胆碱酯酶抑制剂和免疫疗法药物）和疗法（认知刺激、回忆疗法）来管理症状。生活方式干预——包括健康的饮食（地中海/MIND饮食）、规律的锻炼、充足的睡眠、社交互动和精神刺激——至关重要。锂和苯甲酸钠等新兴疗法也在被探索中。诊断后的平均寿命约为七年，但差异很大。长期护理和支持性环境对生活质量至关重要。

## 心脏植入式电子设备 (CIED) 寿命：一种新的建模工具 本研究介绍了一种新的框架——功耗指数 (PCI)，用于评估心脏植入式电子设备 (CIED) 的寿命，解决了患者、医疗保健提供者和支付方面临的一个关键挑战。目前，由于报告不一致和编程设置不同，比较不同设备之间的寿命具有困难。 PCI（计算方式为时间 x 电流/电池容量）通过分析功耗和电池容量，实现了标准化的寿命评估。研究人员分析了主要 CIED 制造商的用户手册，对各种设备和设置的电流消耗进行了建模。该模型通过瑞典设备注册处的真实数据进行了验证，证明了其在预测前代设备寿命方面的强大准确性。 结果表明，背景电流占功耗的 50% 以上，凸显了其重要性。PCI 模型成功预测了当前一代设备的寿命，揭示了不同制造商之间的差异以及特定编程选项（如远程监测和起搏算法）的影响。该工具有望改善临床医生个性化的设备选择，并为医疗保健系统的采购决策提供信息，最终优化患者护理和成本效益。

## Bonsai_term: OCaml 终端 UI 库 Bonsai_term 是一个用于构建终端用户界面 (TUI) 的 OCaml 库，其编程模型与它的 Web 版本 bonsai_web 相似。 入门需要安装 OCaml 的包管理器 **opam**，然后使用它安装 **bonsai_term** 和 **oxcaml**（一个依赖项）。 平台特定的安装指南可在网上找到。 安装完成后，学习资源包括 `bonsai_term.mli` 源代码文件和 `bonsai_term_examples` 仓库中的示例。 `bonsai_web` 的文档也很有帮助，重点是效果、状态和增量等概念——虽然“vdom”方面可能不直接适用于终端 UI。 最后，网上有大量的 OCaml 学习资源。

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

## DIY NAS：2026版 - 摘要 本次构建是作者第十四个年度DIY网络附加存储（NAS）项目，其驱动力是追求小尺寸、至少六个硬盘位、低功耗和家庭实验室潜力。面对不断上涨的组件成本，作者尽管有所顾虑，仍选择继续进行，认为延误只会使情况恶化。 本次构建以Topton N22主板和英特尔酷睿i3 N355 CPU为中心，相比之前的版本，它提供了更多的SATA端口和更强大的处理器。它被安装在JONSBO N4机箱中，之所以选择它是因为它的尺寸和价格，尽管硬盘位连接有些不便。关键组件包括32GB DDR5内存、一对128GB SSD用于启动、两个1TB NVMe SSD用于应用程序/虚拟机，以及现有的硬盘用于大容量存储。 该NAS将运行TrueNAS SCALE，利用其企业级的稳定性和功能。基准测试证实了出色的性能，通常受限于网络速度而非NAS本身。作者承认可以通过妥协组件来节省成本，但强调了DIY的优势——可升级性和定制性，优于预构建解决方案。 最终，该NAS将被拍卖，以帮助寻找强大、可定制存储解决方案的买家。作者鼓励读者分享自己的DIY NAS经验并参与讨论。

## Penpot：开源设计与代码协作 Penpot 是一款免费、开源的设计工具，旨在实现设计师和开发者之间的无缝协作。它既有云端版本，也可自托管，并利用开放的 Web 标准（SVG、CSS、HTML、JSON）来消除传统的“交接”问题。 最近的更新，特别是 2.0 版本，引入了原生设计令牌等功能——这是设计一致性的单一真理来源——以及 CSS Grid 布局。Penpot 擅长使用组件和变体构建和维护设计系统，并将设计直接转换为可通过“检查”选项卡访问的可使用代码。 除了核心设计功能外，Penpot 还提供插件以扩展功能，并通过 Webhook 和 API 与开发工具链集成。一个强大的社区支持 Penpot 的开发，鼓励贡献并提供文档、教程和专门的学习中心等资源。 Penpot Fest 2025 将于 10 月 9-10 日在西班牙马德里举行。