您好,请提供您需要翻译的具体内容。
您好,请提供您需要翻译的具体内容。
Python 指导委员会已要求将 CPython 中实验性的 JIT 编译器从非正式状态转变为通过标准追踪 PEP 正式支持的功能。 委员会在肯定贡献者出色工作的同时指出,关于长期维护、安全性、工具支持以及对下游打包者影响等关键问题仍未得到解决。因此,委员会实施了临时冻结:在 PEP 被接受之前,主分支不得合并任何新的 JIT 功能或优化。但漏洞修复和安全补丁仍可继续。 拟议的 PEP 必须明确维护计划、与现有工具(如调试器和性能分析器)的兼容性保证、成功指标,以及其与第三方 JIT 的关系。委员会建议 PEP 应优先构建灵活的 JIT 基础设施,而非偏向某一种特定的实现。 社区有六个月的时间提交并解决该 PEP。如果在此期间内没有提案被通过,JIT 代码将从主存储库中移除。此举旨在为如此重要技术范畴的项目提供必要的清晰度和承诺。
**zeroserve** 是一款高性能、零配置的 HTTPS 服务器,旨在替代 Nginx 和 Caddy 等工具。它直接从单个不可变的压缩包(tarball)提供网站服务,并利用 `io_uring` 处理所有 I/O 操作,从而实现卓越的速度和效率。 主要创新点包括: * **程序即配置**:用户无需使用复杂的声明式文件,而是将 eBPF 程序嵌入到压缩包中。这些脚本在用户空间沙盒中运行并即时编译(JIT)为原生代码,用于处理包括路由、身份验证、速率限制和反向代理在内的所有请求逻辑。 * **卓越性能**:在单核基准测试中,zeroserve 在提供小型静态文件和处理代理 API 请求方面的表现始终优于 Nginx 和 Caddy。 * **操作简便**:该服务器支持原子化部署——只需替换压缩包并发送 `SIGHUP` 信号,即可在不中断连接的情况下热重载网站、脚本和 TLS 证书。 * **现代安全性**:原生支持 TLS 1.3、加密客户端问候(ECH)以及 JA4 指纹识别。 通过将请求处理和配置集成到一个可脚本化的事件循环中,zeroserve 为现代 Web 服务提供了一种统一、易读且高效的解决方案。
在《Trees to Flows and Back》一文中,作者 Sai Niranjan Ramachandran 和 Suvrit Sra 弥合了两个看似无关范式之间的鸿沟:层次化决策树与连续扩散模型。该论文建立了这两类模型之间的形式化数学对应关系,揭示出两者均受名为“全局轨迹分数匹配”(GTSM)的共同优化原则支配。通过该框架,作者论证了理想化的梯度提升是这些模型的一种渐进最优方法。 这一理论统一带来了两项重要的实际应用: 1. **TreeFlow**:一种用于表格数据的生成模型,在提升保真度的同时实现了 2 倍的计算加速。 2. **DSMTree**:一种蒸馏技术,可有效地将层次化决策逻辑迁移至神经网络中,在多个基准测试中均能稳定地达到教师模型性能的 98% 以上。 通过证明决策树与扩散过程是同一事物的两个侧面,该研究为增强表格数据生成和模型可解释性提供了一个强有力的新视角。
软件开发者 Simon Willison 发布了 `micropython-wasm`,这是一个处于 Alpha 阶段的库,旨在为在大型应用程序中执行不受信任的 Python 代码提供一个安全、隔离的沙箱环境。
Willison 强调,对于像 Datasette 和 LLM 这样的项目,沙箱环境是必不可少的,这样可以在不影响系统稳定性、文件完整性或网络安全的前提下,实现功能强大且可扩展的插件系统。在发现现有的 Python 沙箱解决方案不可靠或维护不善后,他转向了 WebAssembly (WASM)。
通过利用 `wasmtime` 库和一个自定义编译的 MicroPython 版本,Willison 创建了一个稳健的沙箱,它提供了内存/CPU 限制、受限的文件系统访问,以及选择性公开宿主函数的能力。一个关键的突破是在多次调用之间保持了持久的解释器状态,从而支持复杂的多步代码执行。
尽管目前该工具仍处于 Alpha 阶段,但已可通过 PyPI 获取,并与 Datasette 生态系统集成。Willison 承认新沙箱固有的风险,但他希望这一原型能够鼓励专业安全团队进一步开发和标准化 Python-in-WASM 解决方案,以实现生产级的沙箱环境。
英国金融时报
安全验证
如需帮助,请访问 help.ft.com。对于给您带来的不便,我们深表歉意。
请启用 JavaScript 和 Cookie 以继续。
以下信息可帮助我们的支持团队解决此问题。
原因:挑战
请求 ID:a078d07b083088d4
状态码:403
条款与条件
隐私政策
Cookie 政策
管理 Cookie
版权声明
奴役声明与政策
© 英国金融时报有限公司 2026。FT 和“Financial Times”是英国金融时报有限公司的商标。
英国金融时报及其新闻报道受《金融时报编辑行为准则》下的自律制度约束。
**Splash** 是一种简单且易于阅读的色彩格式,它使用 3 位数字来表示 RGB 通道,每个数字的范围从 0 到 9。例如,900 代表纯红,000 代表黑色,999 代表白色。 作为一种情感化工具,Splash 通过提供仅 1,000 种颜色的有限选择来帮助创作者克服选择困难,消除寻找“完美”色调的压力。它具有高度灵活性:你可以通过将 0–9 映射到 0–255 来通过数学方式生成颜色,也可以使用查找表来定义自定义的品牌色板。 由于该格式避免了字母和复杂的语法,它在代码中非常易于实现——无论是通过简单的函数、CSS 变量还是预设的样式表。该系统旨在实现“顺滑”与易用,鼓励实验而非追求完美。通过限制选择,Splash 使设计过程更快、性能更高,并最终带来更多的自由。
本项目提供了一套轻量级、与渲染器无关的实时抖动物理标准,在简单的布娃娃系统与复杂的软体模拟之间找到了平衡点。通过使用 UV 映射权重绘制和阻尼弹簧骨骼,开发者可以定义出能随父级运动而真实抖动的柔软区域。
**核心组件:**
* **`jiggle-physics.js`**:纯粹的模拟引擎,基于父级的速度和加速度计算阻尼弹簧偏移量。它与渲染器无关,不需要 DOM 或 WebGL,可轻松集成到任何游戏循环中。
* **变形逻辑**:采用简单的通用公式 `vertex += weight * boneJiggle` 来驱动运动,从而实现局部的“肉体回弹”以及挤压和拉伸效果。
* **资源标准**:使用 UV 映射的权重纹理来定义柔软度(0–1)和骨骼分配。这种方法性能极高,每个顶点仅需一次纹理查找。
随附的 WebGL 演示(`jiggle-app.js` 和 `index.html`)展示了该系统的实际运行效果,其中包含用于绘制权重、调整物理参数(刚度、阻尼、重力)以及测试各种几何体的工具。该系统专为广泛的可移植性而设计;任何支持基础向量数学的引擎均可实现此标准。
Linux 内核开发者李晨(Li Chen)最近提出了“孵化模板”(spawn templates),旨在优化传统的 `fork()` 和 `exec()` 进程创建模式。虽然 `fork()` 在历史上被认为是优雅的,但由于它需要复制整个进程状态,而其中大部分工作随后又会被 `exec()` 丢弃,因此其计算成本很高。李晨的提案旨在通过允许应用程序将可执行配置缓存为模板来加速这一过程,从而降低频繁重复命令的设置成本。 尽管该提案显示出 2% 的性能提升,但内核维护者最终拒绝了其当前的形式。像 Mateusz Guzik 这样的审查者认为,业界需要完全摒弃 `fork()` 惯用法,转而创建“纯净”的进程。Christian Brauner 建议使用 `pidfd` 抽象采用替代方法——即创建一个空进程并通过新的系统调用(类似于 `fsconfig()`)进行配置。 李晨认同这一方向,将重心转向开发更稳健、原生的 `posix_spawn()` 实现。这一转变表明,虽然“孵化模板”不会被实现,但它成功催化了 Linux 迈向更简洁、更高效的进程创建 API 的进程。