@DaVinci42’s Blog

如何让 nixpkgs 更快地更新

Posted on January 12, 2026 in NixOS, Nix, Linux

NixOS 的声明式安装 pkgs 确实很爽，但是随之而来的问题是 pkgs 的更新会比较慢，在 Repology 可以看到¹，即使是 nixpkgs-unstable 的更新百分比也只有 87.71%，远低于 Homebrew 的 94%。

GPT5 API 中默认不使用 markdown 格式化，官方建议居然是手动更新 prompts¹：

1
2


- Use Markdown **only where semantically correct** (e.g., `inline code`, ```code fences```, lists, tables).
- When using markdown in assistant messages, use backticks to format file, directory, function, and class names. Use \( and \) for inline math, \[ and \] for block math.

GPT-5 prompting guide ↩︎

如何让 NixOS 显示一次更新的具体内容

Posted on April 27, 2025 in NixOS, Linux

当 NixOS 配置好了 flake、home-manager 等等，后续的更新我们只需要运行：

 1
 2
 3
 4
 5
 6
 7
 8
 9
10


❯ nix flake update

❯ sudo nixos-rebuild switch
building the system configuration...
activating the configuration...
setting up /etc...
reloading user units for davinci42...
restarting sysinit-reactivation.target
the following new units were started: NetworkManager-dispatcher.service
Done. The new configuration is /nix/store/mp17nhbadmffs9ah961ldj0y1l38a73m-nixos-system-azure-25.05.20250424.f771eb4

除了 kernel 的更新需要重启，某些环境变量需要新开 session 之外，其它 pkg 和对应的 systemd-service 应该都是最新的状态了。

如何修复一台无法启动的 Azure NixOS

Posted on March 22, 2025 in NixOS, Azure, VPS

HackerRank #Lego Blocks

Posted on November 9, 2024 in Algorithm

The Age of AI —— Eric Schmidt 消失的访谈

Posted on October 9, 2024 in AI, Thoughts, Interview

The Age of AI 是 Eric Schmidt 于 24 年 4 月在斯坦福做的一期访谈，有意思的是官方在 8 月把视频上传到 YouTube 之后不久就被下架了。

Rust 速通 LeetCode 之后

Posted on September 19, 2024 in Rust, LeetCode, Thoughts

花了 3 天时间刷完了 LeetCode 75¹，然而 Top Interview 150² 却花了足足 2 周，链表是 Rust 里永远的神，古人诚不我欺。

算是给 The Rust Programming Language 的期末大作业吧。

Brown University 版本的 The Rust Programming Language 教程中，Generic 这一章节末尾提出了一个非常棒的 Quiz¹。

假如某个 library 定义了如下 function 而我们不知道具体实现是什么：

1
2
3


fn mystery<T>(x: T) -> T {
  // ????
}

当我们在代码中如此调用时，当然可以确定 foo 的类型，但是能确定值吗？

1

let foo = mystery(42);

令人意外的是，foo 的值是唯一的。

Claude Sonnet 老师也在恍然大悟后直言「这正是理解 Rust 泛型系统的关键点之一」。

Generic Data Types - The Rust Programming Language ↩︎

Older »