Journals on StarryReverie 星缀夜空

Tuesday, November 3, 2026 - 00:38

Tue, 03 Nov 2026 00:38:00 +0800

今天和 @poscat0x04 面基了，开心！

Saturday, October 31, 2026 - 20:12

Sat, 31 Oct 2026 20:12:08 +0800

昨天和今天把博客的导航栏重写了一遍，实现了无 JS 的分级菜单。总体上效果不错，看不出来和 JS 实现的有什么区别。现在还没有增加过渡动画，但是我感觉比 JS 版本好实现。

Monday, October 26, 2026 - 10:27

Mon, 26 Oct 2026 10:27:17 +0800

最近又想重构 NixOS 配置了，传统 enable option 模式已经不再符合我的品味了。

我觉得 nixpkgs/nixos 里的模块可以算作底层的 primitive，同时也是副作用，就像 Haskell 中的 IO 一样。在朴素的 NixOS 配置架构中就是直接设置各种值，相当于 Haskell 中直接使用 IO。更相似的一点是，NixOS 配置和 IO 都不是自己就能产生副作用的，它们是对什么副作用的描述，真正产生副作用的分别是 nixos-rebuild 和 Haskell 的 runtime。Anyway，我这里只是想表达 NixOS 配置的 primitive 比较底层，我的理想配置架构不应该直接在这个层面上表达。

Saturday, October 24, 2026 - 16:09

Sat, 24 Oct 2026 16:09:15 +0800

It’s still OK to enjoy programming!

Tuesday, October 20, 2026 - 22:08

Tue, 20 Oct 2026 22:08:08 +0800

今天 Windows 和我的电脑的 UEFI 之一或全部再次作妖，把我的 NixOS 的启动项删了，还好 EFI 文件还在，可以手动档启动。

PS：使用 sudo bootctl install 拯救 NixOS，适用于 systemd-boot。

Monday, October 19, 2026 - 21:57

Mon, 19 Oct 2026 21:57:15 +0800

Dark Reader 的 UX 设计是有些奇怪的。扩展面板第一排是两个按钮，第一个是叉和勾图标及当前网站域名，第二个是 On 和 Off 的切换。

我个人认为这个叉和勾并不能准确反映含义，一种解释是是否对此网站应用暗色样式，无论其原配色是暗色还是亮色（这是实际的含义），另外一种解释是是否对此网站启用 Dark Reader（即启用时自动检测主题再考虑是否应用，关闭时不做任何操作）。

Friday, October 16, 2026 - 20:04

Fri, 16 Oct 2026 20:04:00 +0800

到底是谁想出来的用 2006-01-02 这个日期来格式化的（

好吧，某种程度上用特定的数字来格式化日期时间也有一定的道理。只要对于日期时间的每个部分都分配一个不同的数字，那么格式化时只需要用这个数字就可以指代年月日时分秒中的一个，而每一个部分的格式就可以以更加自然的方式表达，如一月就是 1、01、Jan、January 等等，不必为这些不同的格式选择比较抽象的符号。如果能够熟悉这个 magic date & time，那么其实也比较方便。

Tuesday, October 13, 2026 - 13:11

Tue, 13 Oct 2026 13:11:00 +0800

这几天重构博客的一些经验总结：

字号、行高、颜色等控制真正的内容的 utility class 直接加在对应元素上。这些 class 一般是可以继承的，但是他们反而不能依赖继承，应该写在叶子元素上。

Thursday, October 8, 2026 - 20:15

Thu, 08 Oct 2026 20:15:00 +0800

现在发现 flake 的 follows 如果填写的是空，指向的是自己，而不是的空 flake 🤯

在 REPL 中，我的 NixOS 配置中的 inputs.microvm.inputs.spectrum.output 和当前 flake 的输出是一样的（

PS：之前尝试写一个递归 pin flake inputs 的东西，结果出现 infinite recursion，应该就是这个问题了。

Wednesday, October 7, 2026 - 20:23

Wed, 07 Oct 2026 20:23:00 +0800

写了一个 Nix 函数库的 DSL，模仿 Haskell 的模块系统。

模块内：

{ lib, use }:
let
  inherit (use "data.nullable")
    mapNullables
    ;
in
# ...

模块树根部：

{
  pkgs ? import <nixpkgs> { },
  lib ? pkgs.lib,
}:
import ./modular.nix {
  inherit lib;
  moduleDir = ./src;
}

Haskell 的怎么组织模块，这里就怎么组织，不同之处就是用 use 代替 import。如果想要 qualified import，可以直接写 nullable = use "data.nullable"。

Tuesday, October 6, 2026 - 19:32

Tue, 06 Oct 2026 19:32:00 +0800

Nix flake template 可以有 welcomeText 这一个字段，在 nix flake init 写入文件后就会展示这些文字，并且自带 Markdown 渲染。

Monday, September 28, 2026 - 19:57

Mon, 28 Sep 2026 19:57:00 +0800

纯 Nix 实现的 nix-eval-jobs —— eval-jobs.nix 来了（

{ lib }:
let
  # If cond is true, then return the value, return null otherwise.
  optionalNullable = # ... -> Nullable x
    cond: # Bool
    x: # x
    if cond then x else null;

  # Map elements to other elements or nulls and filter out nulls.
  mapNullables = # ... -> [x] -> [x]
    f: # x -> Nullable x
    lib.lists.concatMap (
      x:
      let
        y = f x;
      in
      if y != null then [ y ] else [ ]
    );

  # Transform the attrset and optionally filter out some elements.
  filterMapAttrsRecursiveCond = # ... -> Attrset
    recursePred: # AttrSet -> Bool | Whether to recurse into this attrset or treat it as leaf.
    mapper: # [String] -> Any -> Nullable Any | Map this leaf element given its path.
    attrs: # AttrSet | The attrset to transform.
    let
      recurseImpl = # ... -> Attrset
        path: # [String]
        attrs: # Attrset
        lib.pipe attrs [
          lib.attrsets.attrsToList
          (mapNullables (
            { name, value }:
            let
              subPath = path ++ [ name ];
              shouldRecurse = lib.isAttrs value && recursePred value;
              newValue = if shouldRecurse then recurseImpl subPath value else mapper subPath value;
            in
            lib.mapNullable (lib.attrsets.nameValuePair name) newValue
          ))
          lib.attrsets.listToAttrs
        ];
    in
    recurseImpl [ ] attrs;

  # Selectively retrieve packages with some convenient metadata and filter out non-derivation
  # elements using a custom predicate.
  evalJobsWithPred = # ... -> [AttrSet]
    drvPred: # Derivation -> Bool | Whether to build this derivation.
    packageSet: # AttrSet | Package set to process.
    let
      toJobMetadata = path: drv: {
        inherit drv;
        inherit (drv)
          name
          drvPath
          outputs
          system
          ;
        attr = lib.strings.concatStringsSep "." path;
        attrPath = path;
        outPaths = lib.lists.map (outputName: drv.${outputName}.outPath) drv.outputs;
        type = "jobMetadata";
      };

      filteredPkgs = filterMapAttrsRecursiveCond (attrs: !(lib.isDerivation attrs)) (
        path: value: optionalNullable (lib.isDerivation value && drvPred value) (toJobMetadata path value)
      ) packageSet;

      flattenedPkgsList =
        let
          flattenImpl =
            value:
            if lib.isAttrs value then
              if value.type or "" == "jobMetadata" then
                [ value ]
              else
                lib.lists.concatMap flattenImpl (lib.attrsets.attrValues value)
            else
              [ ];
        in
        flattenImpl filteredPkgs;
    in
    flattenedPkgsList;

  # Default predicate for filter derivations that needn't to built.
  defaultDrvPred = # ... -> Bool
    drv: # Derivation
    let
      isBuildable =
        drv:
        let
          licenseFromMeta = drv.meta.license or [ ];
          licenseList = if lib.isList licenseFromMeta then licenseFromMeta else [ licenseFromMeta ];
        in
        !(drv.meta.broken or false) && lib.lists.all (license: license.free or true) licenseList;

      isCacheable = drv: !(drv.preferLocalBuild or false);
    in
    isBuildable drv && isCacheable drv;

  # Selectively retrieve packages with some convenient metadata and filter out non-derivation
  # elements.
  evalJobs = # ... -> [AttrSet]
    packageSet: # AttrSet | Package set to process.
    evalJobsWithPred defaultDrvPred packageSet;
in
{
  inherit
    evalJobs
    evalJobsWithPred
    defaultDrvPred
    ;
}

Thursday, September 3, 2026 - 16:17

Thu, 03 Sep 2026 16:17:00 +0800

最近更新了 NVIDIA，结果 Niri 变得非常卡顿。原因是 NVIDIA 的 DRM 设备路径从 /dev/dri/renderD129 改变为了 /dev/dri/renderD128，Niri 因此使用了 Intel 显卡的 DRM 设备。因此建议在引用设备文件路径时，尽可能使用稳定的表示，比如这里 /dev/dri/by-path/pci-0000:01:00.0-render 就相对更加稳定；又比如在指定硬盘设备文件路径时使用 /dev/disk/by-id，这是按照硬盘型号来选择的。

Friday, July 24, 2026 - 23:01

Fri, 24 Jul 2026 23:01:00 +0800

Nix 打包时可能会遇到需要引用包自身的情况，如果 finalAttrs 可用，则可以用 finalAttrs.finalPackage。但是如果没办法使用 finalAttrs，情况就不一样了。finalPackage 可以通过 package.nix 这个 lambda 的参数传入，在 callPackage 后利用 let in 或 fix 函数来把这个结果传入进去。这样的问题在于传入的 finalPackage 不会跟随 override 和 overrideAttrs 变化。