idkana's Blog

坚持思考的日常

  • 把Rime的patch机制扔进垃圾桶里

    1 min

    Rime的patch机制是一个粗糙的构建系统，*.custom.yaml是它的一个极其简陋的DSL。如果想要： 使用多个持续更新的方案 对每个方案进行不同程度的修改 在不同的平台使用不同的方案和修改 版本控制，尽量不手动合并冲突 版本控制，...

  • 线段树，但是抽象

    10 min

    构建和查询 线段树，按字面要有线段（区间），也就是 $$ S_{[0, n-1]}=\left{[l,r]\cap\mathbb Z: l,r\in\mathbb Z, 0\le l\le r\le n-1\right} $$ 下面简记$S...

  • OCaml modules, but in Scala

    2 min

    Scala 3 是好文明👍 签名 /** Not quite natural numbers :) */ trait Nat { type A def zero: A def succ(a: A): A def display(a: A)...

  • 半公开Nix配置的版本控制

    3 min

    闲话：NixOS 上 secret managing 是一个很有争议也很麻烦的事，因为/nix/store是 world readable 的，因而需要 sops-nix、agenix 等方案。 不过今天不讲这件事，而是一个与此有所相关的问...

  • 从Hexo到Astro

    3 min

    为什么 动机？ 直到前几天我的博客一直使用 Hexo，而且整个工具链还是很旧的版本，靠flake.lock和package-lock.json苟命。作为博客，文字比这些门面重要，所以本来没有动机迁移。 机缘巧合发现了这个主题，朴素的风格和排...

  • Minecraft多版本Mod开发踩坑

    11 min

    Java 矢山雕花尝试抽象，偶遇遍地大坑，拼劲全力战胜它

  • 尝试Wasm和WASI

    2 min

    WebAssembly不是一个局限在Web的东西，Wasm的目标就是使自己成为各个语言的编译目标。仿佛就像GraalVM？在Web以外，WASI使Wasm拥有和操作系统交互的能力，并且是沙盒化的。纯Wasm运行时通常很轻量级，容易想到一个合...

  • 叛逆：横屏玩sdvx

    1 min

    整一个虚拟显示器驱动 usbmmidd 按链接内所述安装。 要玩的时候，先激活虚拟显示器：deviceinstaller64 enableidd 1 显示设置里把这块虚拟显示器的分辨率设好，比如1080*1920。 然后开游戏，用 Win+...