摘要： 最近开始折腾 NixOS 了。其实 NixOS 在安装这方面文档还是很详细的，可惜在国内我们还要面临一些网络问题……国内的一些文档，可能又有一点过时或者有一点和官方文档不太一致的私货，有的地方可能会踩坑，因此这边记录下最新可用的 NixOS 安装方法。 这里假定使用 UEFI 启动，并且 Secur 阅读全文

摘要： Pixi 是 conda 的上位替代。但是截至目前，依然没有镜像源对它提供直接支持。好在它基本依赖 conda-forge 和官方 PyPI 源，而这些都是有镜像的。但除此之外还有一些小问题，这边总结一下目前的最佳实（ tuo ）践（ xie ）。 （本文更新于 2026.06.01 。相关内容有在 阅读全文

摘要： 有些时候，我们不得不和别人共用一个 Linux 账户，比如某些学校的超算平台，这时候大家的配置都混作一团，特别是碰到不太熟悉 Linux 的可能就乱改全局配置，就很麻烦。然后权限又受到限制，不能安装 docker 之类的东西进行隔离。其实有一个非常轻量的办法，就是在 SSH 登录时改变家目录。（每次 阅读全文

摘要： 注意：此方法已不建议使用。目前已找到了可行的 Pixi 镜像源配置。如果项目需要 conda 包，建议直接使用 Pixi ，不需要使用 conda + uv ；对于纯 Python 项目（只需要使用 PyPI 的包），单独使用 uv 即可。 在 python 开发的时候有时候可能需要 conda 来 阅读全文

摘要： 安装 Wolfram Engine （https://www.wolfram.com/engine/） 安装完毕后，按提示注册或登录（免费版本也需要登录，同时注意免费许可证只允许预生产） 找到 <Wolfram dir>\SystemFiles\Links\NETLink 目录，里面会包含 Wolf 阅读全文

摘要： 最近需要制作一个类似桌面宠物的东西，碰到了这样一个问题：受 MediaElement 支持的带 alpha 通道的视频格式有限，且后续还要接入相关的深度学习模型动态生成口型，大概率生成不了透明背景。这个该怎么办呢？一个思路是把视频抽帧抠图，然后依次显示透明背景的图片（或者再组合成视频播放）。另外一个 阅读全文

摘要： 最近发布了一个玩具包 variable-declaration-checker ：https://pypi.org/project/variable-declaration-checker/ 它是一个 Pylint 插件，要求必须要对变量进行“声明”或者“定义”。 Python 是一个非常自由的语言 阅读全文

摘要： 注意：本方法是提供给旧版 WSL2 的，新版建议直接把网络模式改成 mirrored 。 由于远端的电脑（下称宿主机，后面的远端电脑指的是自己随身用的电脑）使用 Windows 10 ，不太方便重装，但又想要在它上面做 Linux 的开发，所以想到用 WSL 解决。之前我的做法都是先在远端电脑使用远 阅读全文