一个经验丰富的(Neo)Vim用户的配置

2024-06-30

本文详细介绍了一个经验丰富的 NeoVim 用户如何配置其开发环境,涵盖了搜索替换、代码移动、快速修复、拼写检查、状态栏、格式化、文件浏览、Git 集成、Treesitter、终端模拟器、Telescope、代码补全、LaTeX 等方面,并展示了如何通过插件和自定义配置来提高效率。

阅读更多
未分类 开发环境

每天都是猫头鹰的生日!——通过数学和 Rust 对一个经典问题的严谨探索

2024-06-25

本文探讨了一个经典的概率问题:在一个团体中,需要多少人才能保证每个人都能过到自己生日?作者首先介绍了优惠券收集器问题,并用它来计算在生日均匀分布的情况下,期望看到所有生日所需的平均人数。随后,作者引入了包含-排除原理,并用它计算了在给定人数下,所有生日都被庆祝的概率。为了更直观地理解,作者使用 Rust 语言编写了三种不同的蒙特卡罗模拟模型,并比较了它们的效率和准确性。最后,作者尝试使用 Flajolet 提出的公式来计算在真实的生日分布情况下,期望看到所有生日所需的人数,但由于计算复杂度过高,无法得到精确结果。

阅读更多