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

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

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

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

1let foo = mystery(42);

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

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

今天重新看了神谷英树 23 年 10 月离开白金工作室的访谈

他穿着四叶草工作室的衣服啊!

莎蒂停顿了一下又说道,“自从开始教书,我总在琢磨,我们是多么幸运的一代,诞生在那个时代,我们很幸运。”

“怎么说?”

“这个嘛,如果我们出生得再早一点,制作电子游戏就没那么容易。我们接触电脑的机会更少,我们会属于把软盘装进塑料密封袋、开车带着游戏到店里去的那代人。

如果出生再晚一些,互联网就会更加普及,值得利用的工具也更多,但是说实话,到那时电子游戏已经变得复杂,这个行业变得太专业化了。我们不可能凭一己之力完成那么多工作。以当时的资源,我们做出的游戏不可能被奥珀斯这样的公司看中,也不可能把一五设计成日本人,我们会为自己不是日裔而畏首畏尾。而且我猜,由于互联网的存在,我们会得知有多少人在做跟我们相同的事情,我们会感到难以应对。

当时的我们有太多的自由空间,创意方面的也好,技术方面的也罢。没人监督我们,就连我们自己都没在监督自己。我们拥有的只是高得离谱的标准,以及你完全理想化的信念 —— 认定我们能做出一款了不起的游戏。”

——「明日传奇

最近的周赛,就没有不 outage 的,是越来越多的失业大军来 DDoS 吗?

周赛遇到了一道数组中所有 pair 的绝对值求和的问题 2731. Movement of Robots,直觉上 O(N^2) 的方式会 TLE,后来转换思路,发现有序数组用 O(N) 就可以做到了。

直觉上的做法,是在模拟 abs 运算:

1for i in range(N):
2    for j in range(i + 1, N):
3        res += abs(nums[i] - nums[j])

通过归纳这个过程,可以发现:

1N1 - N0, N2 - N0, N3 - N0, N4 - N0
2         N2 - N1, N3 - N1, N4 - N1
3                  N3 - N2, N4 - N2
4                           N4 - N3

对于 index i, 在 - 号左边会出现 i 次,因为有 i 个数比它小;在 - 号右边会出现 N - 1 - i 次,因为有 N - 1 - i 个数比它大。 那么我们可以直接用乘法计算了:

1sum(
2    nums[i] * (i - (N - 1 - i))
3    for i in range(N)
4)

那么为什么只有对有序数组才能得到这样的 O(N) 优化呢?

因为要求的是 abs,如果出现了逆序我们不知道某一步应该是 Ni - Nj 还是 Nj - Ni,会导致计数错误。

在做 JNI 的时候,Kotlin 与 Rust 传递复杂结构,需要手动赋值每一行属性,非常繁琐。 想到也许可以用 Protocol Buffer 作为中间载体,依赖自动生成的类。

效果倒是可以,input 和 output 都使用 ByteArray 了,两边各自反序列化一次就行。 但是吧,10 个属性的结构,在 Rust 下面生成的文件也就 60 行,在 Java 里有足足 2500+ 🤯

Protobuf java generate to large methods

只能说,凡事皆有代价。

archinstall 脚本还挺香,完整保留了 Win 11 分区和引导。

碰到的唯一需要调整的地方是,安装完毕提示 “Would you like to chroot into the newly created installation and perform post-installation configuration?” 我直接无视就重启了。

最好 chroot 然后添加 bootloader config,修改后 bootctl list 确认一下。大概率碰到的问题是,选了 linux-zen 的 kernel,和默认的 vmlinuz-linux & initramfs-linux.img 匹配不上。

用了 10 年的 Arch 了,之前都是 zsh 一行行敲命令安装,再也不想回去了。

一想到人类其实也被多巴胺奴役着,搞一个 Super AI 管理社会,感觉也差不多1


  1. Updated on October 13, 2022
    来啦 This Danish Political Party Is Led by an AI ↩︎

对于程序员和开发人员来说,
如果完成某项任务所需要付出的努力对他们是个挑战,
却又恰好还在力所能及的范围内,
他们就会觉得很有乐趣。
因此,趣味性是一个峰值效率的标志。
……
乐趣是一个符号,意味着效能、效率和高产。

——「UNIX 编程艺术」