本指南旨在提供 **Dune** 的实用入门介绍,它是 OCaml 生态系统中不可或缺的构建系统。本指南专为初学者设计,介绍了如何高效地组织、构建、测试及记录 OCaml 项目。
**核心组件:**
* **`dune-project`**:项目的根元数据文件,用于定义 Opam 等工具所需的配置和依赖项。
* **`dune` 文件**:位于子目录中的构建说明文件,用于定义“节”(stanzas)——即配置库、可执行文件和测试的声明性模块。
* **核心命令**:
* `dune build @all`:编译整个项目。
* `dune exec`:运行已编译的可执行文件。
* `dune build @doc`:通过 `odoc` 生成 API 文档。
* `dune runtest`:执行测试,包括用于验证命令行输出的“cram”测试。
**入门指南:**
虽然手动配置有助于开发者理解 Dune 的底层运作方式,但推荐使用 `dune init` 命令来创建新项目。该命令会自动生成包含所有必要文件的标准目录结构,让开发者能立即专注于编写代码。通过掌握这些基础知识以及 Dune 与 Opam 之间的交互,开发者可以在项目规模扩大时可靠地管理其 OCaml 项目。
“Souls Only” 是一个将字体作为解密层的工艺项目。与字符和字形一一对应的标准排版不同,该项目将两者解耦:存储的字节显示为随机噪点,而字体则充当渲染可读文本的密钥。
该系统采用同音替换法,将每个字符编码为四个 ASCII 符号,并通过字体的 GSUB 规则将其合并为平铺的半字形。由于映射存在于字体内部(通过 `cmap` 和 `GSUB`),标准复制粘贴操作或数据抓取工具只能获取无意义的乱码。
该项目包含一款静态字体和一款具备 “REVL”(显示)轴的可变字体(VF)。在默认状态下,字形扭曲到无法辨认;只有在特定轴值下,它们才会组合成可读文本。该项目旨在表达对数字隐私的关注,而非作为高安全性加密手段,因此如果遍历 “显示” 轴,仍易受到自动化 OCR 的破解。项目提供了键盘固件集成、自定义编码及网页实现的工具,所有资产均采用 SIL Open Font License 1.1 协议授权。
小米与 TileRT 共同发布了 **MiMo-V2.5-Pro-UltraSpeed**,这是首个解码速度超过 1000 tokens/s 的万亿参数人工智能模型。这一性能突破将 AI 从高延迟工具转变为人类认知的实时、无缝延伸,能够实现快速并行推理、高效率编程,以及在医疗和金融等时间敏感领域进行即时决策。
这一成就得益于在商用 GPU 上而非专用硬件上实现的“极限模型-系统协同设计”。主要创新包括:
* **选择性 FP4 量化**:对混合专家模型(MoE)的专家层应用 FP4 精度,同时在其他部分保持原始精度,在不牺牲推理质量的前提下减少带宽瓶颈。
* **DFlash 推测解码**:一种块级掩码并行预测方法,最大限度地减少了串行限制,使模型能够同时验证多个 Token。
* **TileRT 基础设施**:一种全新的执行模型,以持久的、微秒级的软硬件融合取代了传统的算子处理方式,确保了连续的数据流和最高的计算利用率。
该模型目前通过限时申请制 API 试用(2026 年 6 月 9 日至 23 日)开放,价格为原来的 3 倍,性能提升达 10 倍。此外,该检查点(Checkpoint)已在 HuggingFace 上开源,以鼓励社区创新。
爱德华·格莱泽认为,“15分钟城市”的概念虽然因强调步行友好和混合用途街区而值得称赞,但从根本上说是一种有害的模式,可能会导致孤立和隔绝的城市飞地。
格莱泽主张,城市的真正目的在于充当“机会引擎”,连接多元化的群体。通过将居民限制在狭小的地理范围内,这种模式可能会使低收入群体困在局部且相互隔绝的领域中,这更像是乡村贫困的停滞,而非城市成功所带来的流动性。他警告称,用虚拟工作取代现实互动会进一步加剧不平等,因为大多数低技能工人无法享有这种特权。
格莱泽主张建立一个互联互通的大都市,而不是将城市拆解成各自独立的“15分钟”碎片。他建议改善交通基础设施,实施拥堵收费以资助公共交通,并推行能够适应新兴技术的灵活城市规划。他最终断言,我们必须优先考虑城市流动性和面对面的交流,以确保城市能够继续履行其历史使命:为人们,尤其是起点较低的人们,提供向上流动的途径。