Cosmodial 天图 正在加载星空…… Cosmodial
Cosmodial 天图 正在加载星空…… Cosmodial
现代执法正日益受到“战士心态”的主导,这种心态训练警察将每位平民都视为潜在的致命威胁。虽然其初衷是提高警察的安全,但这种过度警惕的思维方式在社区信任方面造成了巨大障碍,因为它阻碍了积极的互动,并常将非暴力事件升级为可避免的冲突。 为恢复合法性,作者主张进行根本性的文化转变:以“守护者”身份取代“战士”身份。这种转变将服务、沟通和公众信任置于单纯的战斗战术之上。为落实这一变革,作者提出了两项切实可行的改革措施: 1. **强制性的非执法接触:** 要求警察与社区成员进行积极、非惩罚性的互动,以建立融洽关系,并将警徽背后的双方人性化。 2. **战术克制:** 训练警察优先考虑耐心与降级冲突,当警务目标可以通过更安全、更审慎的方法实现时,应避免不必要的身体接触。 总之,作者认为,通过将警务视为一种与社区共同完成——而非针对社区实施——的协作服务,执法机构不仅能提高警察和平民的安全,还能培养有效执法所必需的公众信任。
特斯拉在丹麦发布的自动驾驶汽车宣传视频中,显示出多处在哥本哈根交通环境下的违规行为。丹麦骑行者协会和丹麦汽车协会(FDM)对此表示担忧。 汽车 2026年6月10日 15:56 收听文章 保存文章 已保存 已读 在特斯拉获得丹麦批准后发布的这段短视频中,一辆自动驾驶的特斯拉究竟会犯下多少错误?观看视频,亲自数一数。 汽车 2026年6月10日 15:56
为了提升 macOS 上的编程智能体性能,作者通过 `llama.cpp` 结合 Metal 加速,对本地环境中的 **Gemma 4 26B**(GGUF 格式)模型进行了优化。通过集成**多 Token 预测(MTP)草稿模型**,生成速度从 58.2 token/s 提升至 72.2 token/s(提升 24%),表现优于原生 MLX 实现。
**关键组成:**
* **引擎:** `llama.cpp`(构建时支持 Metal/Accelerate)。
* **模型:** Gemma 4 26B-A4B(Q4 量化)搭配 Q8 MTP 草稿头。
* **优化:** 在 M1 Max 上,使用 `--spec-draft-n-max 3` 可达到最佳速度。
* **功能:** 集成的多模态投影仪支持截图分析,兼容 OpenAI 的 `llama-server` 可实现与“Pi”编程智能体的无缝衔接。
作者指出,虽然 Qwen 3.6 35B 等替代模型在编程逻辑上更出色,但 Gemma 4 + MTP 的配置在日常智能体工作流中仍是更快速、更具响应性的选择。文中还提供了详细说明,包括用于自动化的 Shell 脚本包装器和 Pi 的配置方案,以实现开箱即用的本地开发体验。
您好,您提供的文本区域为空,请提供需要翻译的内容。
作为一名开源维护者,作者表达了对大量低质量、由人工智能生成的“路过式”拉取请求(pull request)涌入的沮丧。为了避免沦为“半人马”(即被迫花费时间审查机器生成代码的人类),作者更新了贡献指南以应对这一趋势。 未经请求的拉取请求现在将被直接关闭。贡献者必须先开设一个问题(issue),以确保他们是真正对项目感兴趣的人,而非只会懒散地向大语言模型输入提示词的用户。作者认为,他们已没有时间和兴趣在人工智能生成的“垃圾”中筛选潜在的改进。 在反思开源现状时,作者担忧对人工智能的依赖正在侵蚀编程技艺以及曾经让协作软件开发充满意义的社区精神。通过强制执行“以人为本”的贡献流程,作者旨在保护自己的时间,并在自动化的未来中维护项目的完整性。
作者因需赶工完成紧急的翻译任务而提前离开了健身课,一位熟人问她为什么不直接用 ChatGPT 来提高工作效率。这次经历凸显了一个日益严重的误解:人工智能会让专业人才变得过时。 作者认为,虽然人工智能可以在创建词汇表或格式检查等行政任务中作为有用的工具,但它无法复制专业翻译所必需的细微差别、文化本地化和批判性思维。就像蹒跚学步的孩子一样,人工智能需要持续的监督,并且经常会产生“幻觉”而编造信息。 这种荒谬感在那位熟人自己的职业选择中体现得淋漓尽致;尽管她建议作者使用人工智能,但她自己却承认无法在人力资源工作中应用人工智能,因为它“不够可靠”。最终,作者强调人工智能是专业人士的一种进阶工具,而非替代品。就像使用锤子的屋顶修理工依然是熟练的工匠一样,作家和翻译人员仍然不可或缺,他们提供的监管和专业知识是技术无法比拟的。
请启用 JavaScript 和 Cookie 以继续。
WASI 0.3.0 现已正式发布。它在 WebAssembly 组件模型中引入了原生的、基于完成机制的异步支持,标志着一个重要的里程碑。 通过将 `future<T>` 和 `stream<T>` 直接集成到规范 ABI 中,WASI 0.3 取代了 WASI 0.2 中繁琐且需手动编排的事件循环。此前,各组件在协调异步操作时困难重重;现在,宿主环境可以管理一个供所有组件共享的统一事件循环。这一转变简化了组件接口,实现了跨多种语言(包括 Rust、Go、Python 和 JavaScript)的惯用异步绑定,并支持高性能的服务链式调用,有望将服务间的延迟从毫秒级降低至纳秒级。 至关重要的是,WASI 0.3 是一项稳定且已获批准的规范,能够保证长期兼容性。目前,Wasmtime 和 Jco 等运行时已开始提供支持,客户端工具链的更新也正在进行中。通过将异步处理视为“一等公民”,该版本解决了长期存在的组合问题,并为高效、可互操作的 WebAssembly 开发树立了新标准。
这篇文章探讨了“main 函数之前(life-before-main)”的技术威力——即 Rust 二进制文件在用户代码开始运行前,运行时进行引导的阶段。通过利用链接器段和构造函数,开发者可以执行复杂的任务,这些任务通常比传统的运行时方法更高效、更简洁。 核心要点包括: * **初始化与注册:** 利用链接器段和 `ctor` 或 `link-section` 等库,你可以在依赖树的任何位置注册代码或数据(例如 CLI 子命令或插件)。这实现了一种在编译时而非运行时收集数据的依赖注入形式。 * **性能优势:** 由于这种初始化发生在 `main` 之前的单线程环境中,你可以在无需昂贵的锁、原子操作或动态内存分配的情况下初始化或排序数据。 * **架构简洁性:** 这种模式实现了控制反转,允许“收集器”模块从项目的不同部分获取数据,而无需创建复杂的循环依赖。 尽管这些技术功能强大,但使用时需谨慎,因为它们可能会干扰死代码消除(dead-code elimination),涉及平台特定的复杂性,且目前在 Miri 等工具中的支持有限。当你需要高性能、无锁且零分配的数据聚合时,可以考虑使用这些技术。