idkana's Blog

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

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

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

简而言之，虚拟显示器+串流

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

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

n重积分换元时，只需引入一个雅克比行列式，而若想把曲线积分和曲面积分写成其参数的积分，雅克比矩阵就不是方阵了。但是他左乘自己的转置是，且乘积的行列式开方有几何意义。

校园网很烂，低速、不稳定，但尚能拯救。

Windows 11 支持系统级 DoH。直接配置好就几乎彻底解决了 DNS 污染问题。 第一步 以管理员身份打开命令行。下面以阿里 DNS 为例，键入以下内容回车： netsh dnsclient add encryption serve...

数学不比你原神好玩？

Alternating Group!

使用轮子：jsgear。有了变速齿轮就可以整花活了。

用定积分估计数列和。

求多项式数列的和，也就是求1到n的幂的和。

复读机们试图统计群成员中有多少复读机。Naive! 不是复读机不是合格的群友, 快退群吧。 我基于 qqbot 写了一个复读分析的程序，跑去群里测试。 众人成测试工程师。 A few moments later. 这样的递归复读法运作起来毫...

对于{1,2,3,...,n}的每一个非空子集，定义一个唯一确定的交替和：对每个子集按照递减的次序重新排列，然后从最大的数开始交替地减或加后继的数，则交替和的总和为？

又看见一个骗子，趁机水一篇。 如题，这个套路消息是这样的: 「https://url.cn/5x4a6Hg&tLKvRPKISY 这是你？/微笑」 用移动设备进入显示是 QQ 空间登录页面，请求输入帐号密码，并盗取 QQ 这个短网址最先跳转...

操作 DOM 把友链条目重新安排一下罢了。

作为手残党，挂了 n 周目后默默地关了 osu!. 想到还没尝试过 osu!lazer, 于是我决定尝鲜一下。 懒癌晚期，跑到 AUR 上寻之，结果编译完以后有不明运行时错误……本人并不熟悉 C#, 于是乖乖地去 GitHub 上把源码 c...

学习Adobe After Effects后做的第一个视频素材

不穿过y=x，那只能在同一边了。

Conventionally, Hello World!