本指南旨在提供 **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 项目。
每日HackerNews RSS
“Souls Only” 是一个将字体作为解密层的工艺项目。与字符和字形一一对应的标准排版不同，该项目将两者解耦：存储的字节显示为随机噪点，而字体则充当渲染可读文本的密钥。
该系统采用同音替换法，将每个字符编码为四个 ASCII 符号，并通过字体的 GSUB 规则将其合并为平铺的半字形。由于映射存在于字体内部（通过 `cmap` 和 `GSUB`），标准复制粘贴操作或数据抓取工具只能获取无意义的乱码。
该项目包含一款静态字体和一款具备 “REVL”（显示）轴的可变字体（VF）。在默认状态下，字形扭曲到无法辨认；只有在特定轴值下，它们才会组合成可读文本。该项目旨在表达对数字隐私的关注，而非作为高安全性加密手段，因此如果遍历 “显示” 轴，仍易受到自动化 OCR 的破解。项目提供了键盘固件集成、自定义编码及网页实现的工具，所有资产均采用 SIL Open Font License 1.1 协议授权。
抱歉。
1999年，德克萨斯州泰勒市的一个农户以10美元的象征性价格，将87英亩土地转让给该市，并明确要求将其作为公共公园进行维护。几十年来，这片土地一直是帕梅拉·格里芬（Pamela Griffin）等当地家庭的重要社区活动空间，几代人都在此享受休闲时光。 然而，2025年，泰勒市政府绕过最初的协议，以1000万美元的价格将该地块出售给了开发商Blueprint公司。这片曾经旨在供公众享用的土地，如今被规划为一个占地13.5万平方英尺的数据中心。该项目将把工业基础设施置于变电站和铁轨之间，距离长期居住的民宅仅500英尺。此举引发了当地居民的担忧，他们对市政府将企业利益置于旨在造福社区的长期土地使用协议之上的做法表示不满。
这场争议涉及一块 87 英亩的土地。该土地最初由克伦威尔（Cromwell）家族捐赠给一家非营利组织，作为公共公园进行信托管理。近期，得克萨斯州泰勒市（Taylor）将该土地的一部分出售给一家私人开发商，用于建设一个价值 10 亿美元的数据中心项目，并提供了巨额税收返还。
当地居民起诉以阻止该开发项目，理由是原始契约中存在限制条款，但法官以缺乏诉讼资格为由驳回了此案。这一情况引发了关于以下议题的激烈讨论：
* **财产权与公共利益：** 批评者认为，城市不应被允许无视契约限制或“死者之手”（指逝者遗愿）的规定；而另一些人则主张，土地使用限制应当设有期限，以防止过去的所有者无限期地控制未来发展。
* **问责制：** 许多评论者对政府在为企业项目推翻社区意愿时所表现出的问责缺失表示不满。
* **诉讼资格：** 该案件凸显了挑战政府土地使用决策的难度，因为无论个人对其财产价值或社区环境的受损感受如何，往往都缺乏起诉市政行为的法律资格。
该讨论帖建议，未来的土地捐赠应通过私人保护信托机构进行处理，而非交给政府实体。
已拦截。您的请求因网络策略被拦截。请尝试在此处登录或创建帐户以恢复浏览。如果您正在运行脚本或应用程序，请在此处使用您的开发者凭据进行注册或登录。此外，请确保您的 User-Agent 不为空，并具有唯一性和描述性，然后重试。如果您提供了备用的 User-Agent 字符串，请尝试改回默认值，因为有时这会导致拦截。您可以在此处阅读 Reddit 的服务条款。如果您认为我们错误地拦截了您，或者您想讨论获取所需数据的更简便方法，请在此处提交工单。联系我们时，请提供您的 Reddit 帐户以及以下代码：019ea7f9-f6ff-770e-97e3-cdcf65c9b271
对不起。
小米与 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 上开源，以鼓励社区创新。
本帖讨论了超高速AI推理技术的兴起，特别介绍了小米 **MiMo-v2.5-Pro**，其推理速度已达到每秒 1,000 个 Token (TPS)。
**核心议题包括：**
* **工作流的转变：** 用户反馈称，近乎瞬时的 Token 生成将 AI 从“对话即等待”的工具转变为实时响应的伙伴。开发者指出，这使得“代理式”工作流成为可能，即 AI 可以实时迭代代码修复，有效消除了等待 Claude 或 GPT 等较慢模型时产生的切换任务疲劳。
* **性能与能力的权衡：** 尽管 DeepSeek 和小米 MiMo 等模型以速度和成本效益著称，但一些用户认为它们缺乏大型前沿模型所具备的“常识”和稳健的指令遵循能力，往往需要更具体的提示词才能避免在回答中出现“随意填补”导致的错误。
* **软件开发的未来：** 关于“劣质软件”的争议：批评者担心低延迟、大规模生产的代码会导致低质量、未经测试的软件泛滥。相反，支持者认为，快速迭代能促进更好的测试、重构和实验，而这些工作在以往往往因过于繁琐而难以实现。
* **地缘政治与经济背景：** 讨论涉及中国供应商（正迅速优化硬件效率）与西方实验室之间的竞争格局，并关注了审查机制、模型可用性以及当前 AI 定价模式的可持续性等问题。
请启用 JavaScript 并关闭广告拦截器
Bending Spoons 是一家以收购 AOL、Vimeo、Evernote 和 Komoot 等传统软件及数字媒体平台而闻名的意大利科技公司，目前已提交纳斯达克首次公开募股（IPO）申请。
该公司的商业模式经常受到用户和行业观察人士的批评，他们将其戏称为科技产品的“养老院”。批评者指出，该公司在收购后往往采取一致的策略：大规模裁员、激进提价，并专注于通过“平台腐烂”（enshittification）手段，从忠实用户群中榨取剩余收益。尽管管理层声称要重振停滞的软件，但许多长期用户反馈，软件界面体验下降、功能缩水，且比起实质性改进，公司更偏向于开发一些表面功夫的功能。
即将进行的 IPO 在 Hacker News 上引发了热议，许多人对该公司的高估值及其业务的可持续性表示怀疑。批评者认为，Bending Spoons 的运作方式如同 80 年代的杠杆收购公司，以牺牲产品质量和员工稳定性为代价，优先考虑股东的短期经济利益。尽管营收增长数据表现强劲，但许多科技专业人士仍对其长期前景持谨慎态度，认为这种“鲨鱼”模式必须不断收购新资产，以掩盖现有产品组合的衰退。
Amazon Cognito 现已推出多区域复制功能，允许您将身份数据（包括凭证、配置和联合设置）近乎实时地同步到备用用户池。此功能通过在区域性服务中断期间提供无缝的故障转移选项，增强了身份验证的弹性。 在故障转移场景中，流量可以重定向到二级区域，且无需用户重新进行身份验证。所有标准的身份验证方法（如基于密码的登录、社交身份联合以及机器对机器的流程）均可保持完全可用。 此功能作为 Essentials 和 Plus 层级用户池的附加组件，现已在北美、欧洲、亚太地区和南美等多个 AWS 区域提供。您可以通过 AWS 管理控制台、CLI 或 SDK 启用复制。有关设置和费用的更多详细信息，请参阅 AWS 官方开发者指南和定价页面。
抱歉。
为了实现“即时”启动的 Shell，作者主张追求极简与深思熟虑，而非堆砌臃肿的框架。通过避免使用 Oh My Zsh 和插件管理器等重量级工具，作者将启动时间控制在了 30 毫秒以内。 核心策略包括： * **拒绝框架：** 仅手动加载你实际需要的插件。 * **缓存补全：** 通过使用 24 小时缓存代替每次启动时的文件审计，来加速 `compinit`。 * **延迟加载：** 将 `nvm` 或 `kubectl` 等大型工具封装在函数中，使其仅在首次调用时加载，而非在 Shell 启动时加载。 * **异步提示符：** 使用如 `pure` 等能立即渲染并将 git 状态获取置于后台的提示符，以防止界面卡顿。 * **性能分析：** 使用 `zsh/zprof` 或 `hyperfine` 等内置工具来识别并移除加载缓慢的配置行。 归根结底，作者强调 Shell 的性能取决于“不装什么”。通过精心构建环境，终端将成为工作流中响应迅速、无缝衔接的延伸，而非“千刀万剐”般的性能杀手。
这篇 Hacker News 讨论帖探讨了对更快捷终端体验的追求。起因是一篇文章指出，缓慢的 Shell 启动时间会降低生产力。
**讨论要点总结：**
* **工具推荐：** 许多用户建议弃用 `nvm`，因为它开销过大。**mise**（一款多功能版本管理器）和 **Starship.rs**（用于提示符）因其卓越性能而备受推崇。
* **优化策略：** 参与者建议对非每次启动必需的工具进行“延迟加载”。另一些人则认为，最有效的性能提升在于保持简洁——避免使用像 `oh-my-zsh` 这样臃肿的框架，并精简 Shell 配置。
* **终端模拟器：** 关于终端性能的争论十分激烈。虽然 **Ghostty** 目前很热门，但一些用户认为它占用资源过多，更倾向于使用如 **Foot**（针对 Wayland/Linux）或 **Kitty** 等更轻量、高度优化的工具。
* **工作流理念：** 用户之间存在分歧：一部分人执着于毫秒级的启动速度，而另一部分人则很少打开新窗口，倾向于使用长驻会话（例如在 `tmux` 中）。
归根结底，参与者强调“速度”是主观的，往往取决于个人的工作流、硬件配置，以及在极简主义与功能需求之间寻求平衡的意愿。
请提供您需要翻译的内容。
Hacker News 社区最近讨论了一个名为“Performative-UI”的讽刺性 React 组件库，它模仿了现代 AI 初创公司中常见的刻板设计趋势。该项目包含了诸如 ASCII 英雄动画、渐变文本和复杂的 Canvas 特效等“桥段”，这些已成为“AI 原生”审美的标志。
此次讨论凸显了技术设计与市场现实之间的分歧：
* **“信号传递”论：** 许多用户认为，这些炫目的 UI 元素是有效的“第一印象”工具，能向投资者和非技术用户传递成功与创新的信号。许多人将其视为一种“制度同形”现象，即初创公司为了显得合法而趋向于某种特定的外观。
* **实用性与性能：** 批评者指出，这些动画往往会导致 GPU 使用率飙升并使移动端界面杂乱，但它们在提升通讯订阅等指标方面确实卓有成效。
* **关于“垃圾内容”（Slop）的争论：** 尽管许多人将该库贴上“AI 垃圾”的标签，但开发者们也承认，他们会使用这些组件在几分钟内通过“氛围编程”（vibe coding）快速搭建出看起来很专业的原型。
归根结底，这一讨论反映了一种愤世嫉俗但务实的共识：尽管这些设计趋势可能是表演性质且重复的，但它们对于提升产品关注度依然非常有效。
爱德华·格莱泽认为，“15分钟城市”的概念虽然因强调步行友好和混合用途街区而值得称赞，但从根本上说是一种有害的模式，可能会导致孤立和隔绝的城市飞地。
格莱泽主张，城市的真正目的在于充当“机会引擎”，连接多元化的群体。通过将居民限制在狭小的地理范围内，这种模式可能会使低收入群体困在局部且相互隔绝的领域中，这更像是乡村贫困的停滞，而非城市成功所带来的流动性。他警告称，用虚拟工作取代现实互动会进一步加剧不平等，因为大多数低技能工人无法享有这种特权。
格莱泽主张建立一个互联互通的大都市，而不是将城市拆解成各自独立的“15分钟”碎片。他建议改善交通基础设施，实施拥堵收费以资助公共交通，并推行能够适应新兴技术的灵活城市规划。他最终断言，我们必须优先考虑城市流动性和面对面的交流，以确保城市能够继续履行其历史使命：为人们，尤其是起点较低的人们，提供向上流动的途径。
关于一篇批评“15分钟城市”的伦敦政治经济学院（LSE）文章，Hacker News 上的讨论显示，人们普遍认为作者根本误解了这一城市规划理念。评论者指出，该文将此类城市描绘成孤立且受限的“飞地”，但实际上，它们只是交通便利、功能混合的社区，旨在减少对汽车的依赖，而非限制流动性。
参与者普遍认为这篇文章结构混乱，属于“引战”文章。许多批评集中在作者引用了“超级高铁”等不切实际且充满流行语的交通解决方案，却忽视了电动自行车等行之有效且务实的替代方案。许多用户指出，作者的论点似乎源于一种特定的郊区意识形态偏见，即认为步行是低地位的象征。
总体而言，社区对于一位哈佛附属学者竟然写出如此信息匮乏的批评感到沮丧；许多人指出，该文章无视了这些城市在欧洲和亚洲部分地区的实际运作方式。讨论最后认为，这篇文章与其说是一篇对城市规划的客观分析，不如说反映了一种有缺陷的、以美国为中心的视角，这种视角难以理解高密度、宜居步行环境的益处。