@lyricorpse 要注意像 sans, serif, monospace 这种字体是操作系统 dependent 的。

@thedrwu 装了 LaTeX 可以用 pdfcrop 裁 pdf 白边。当然 png 可以用 imagemagick 裁白边。

考虑一下全面使用 LaTeX 渲染所有文本 。

https://matplotlib.org/users/usetex.html

然后你的问题就变成了，两个操作系统各装一遍 LaTeX。

还加个 Docker，不然装环境特麻烦。

最基础的，你需要 Linux，需要 LDAP，需要共享文件系统（比如 MooseFS ）。

脱离需求讲随机不太有意义。

譬如求积分，随机性只要保证统计随机性即可。

这是喜好问题。我个人挺喜欢的。

一个重要原因是我个人打字的手指幅度比较轻微且敏捷，基本上就是那种蜻蜓点水的感觉。青轴感觉很累，要刻意加大手指幅度，红轴比较轻松但容易误触。所以我觉得 mbp 这款键盘挺好的。顺便我 mbp2018 打字的时候声音也因此非常轻。

有人说打这几款键盘像打钢板，我觉得可能是因为他们打字习惯噼噼啪啪，动作幅度比较大的缘故吧？

信息论了解一下……

C#有 nuget，你没用过嘛？

os.rename 不能跨卷

注释太多辣，本来一眼扫过去能看清楚的逻辑愣是被拆开来了

你们辣么喜欢 ts，我就不喜欢。

我觉得楼主这主题丑的原因在于各种字体、边框、留白、块的大小、间距整体上不协调。其实配色到没啥。但这种细节说实话我也不会调

数据库存时间，后台任务定期轮询，反正时间序基本等于自然序，处理完开头的记录就可以等下一次轮询了，基本没有效率损失。

没必要，15 寸 i7 够了

顺便，精确到字节的分配，记录分配方案的分配表的开销一般会超过块分配所浪费的空间。

1. 右上角是字节大小的四舍五入。
2. 磁盘大小呢，这东西不好解释。文件系统分配空间不是精确到字节的，是精确到某个最小单位“块”的。所以有浪费。不同文件系统的分配方案不一样。有些可以针对小文件优化。