两个 rust bugs

Publié le par v dans «misc». Mots-clés: rust

好久没有记过流水帐了,记一点毫无意义的流水帐。

问题

大概三个星期之前我发现rustc两个小bug,其中有一个是非常有误导性的错误提示。我因此花了不少时间才找到我写的代码为什么不能编译的原因。 看了几天rust的代码后我提交了一个pull request。和我料想的一样,有一些回归测试失败了。此处rust的实现本来就太脆了,很容易出现

irrelevant-code.jpg

最近已经有几个pull requests被合并了。今天我想看下能不能改进一下这个pr,如果能过了测试,那我可能就能多一个commit了。 不得不说我搞不定这个问题(确切地说,我不能修好这个问题并且不引入新的问题)。我还要宣布这他妈的是我见过的最垃圾的代码,我王境泽就是饿死也不会再改这种垃圾代码了。

我发现的第一个问题是

fn main() {
    let xs: Vec<u64> = vec![1, 2, 3];
    // assert_eq!(6u64, xs.iter().sum()); // This works
    assert_eq!(xs.iter().sum(), 6u64);
}

这个问题看起来并不好修,因为没有明确的相关信息,我只能知道 rust 的类型推断出问题了 …


Lire la suite...

自当安蹇劣

Publié le par v dans «misc». Mots-clés: haskell, idris, hott, type-theory, distributed-systems

Time for some acknowledgements. First and foremost, I thank Mr. Xie for the interview and various discussions. I thank Mr. Bai for job recommendation. I thank Ms. Chen for the PS. I thank Mr. Han for job recommendation. I thank Mr. Hou for the post which gave me the first …


Lire la suite...

明月清风此夜

Publié le par v dans «misc». Mots-clés: misc

music

I love Brahms’s piano concert no. 1 so much that I listened to it for more than 50 times this year. My favorite performance is this one. It is no exaggeration to say Hélène Grimaud took my breath away. You may notice the sound distortion towards the end …


Lire la suite...

不忍虚掷委黄埃

Publié le par v dans «misc». Mots-clés: Time Management, orgmode, taskwarrior

韶光易逝,盛年难再。

我重入时间管理教,只为追寻一剂挽救我被毁的人生的的良药。我知道这个世界上没有这号东西,但我已经走火入魔。

之前我信奉的是 orgmode,我用 org-alert,org-pomodoro,和 org2caldave。现在我改拜 taskwarrior。orgmode 好是好,处理 orgmode 文件对我实在是太复杂了。原因不是 orgmode 达不到我的要求,是我达不到 orgmode 的要求。我是一个半吊子脚本小子,我不会 elisp,python 没有什么好的 orgmode 库,我也不会自己造轮子。我需要一个更方便互动的软件(事实是 orgmode 对我已经快过了新鲜期了。我要找个新的东西折腾折腾。 )。

用 taskwarrior 可以非常容易地获取我的数据,为了得到我的 orgmode 数据,做一个看板,我吐了无数升血。我从 taskwarrior 做一个看板就简单多了 …


Lire la suite...

我学外语用的工具

Publié le par v dans «misc». Mots-clés: foreign language

vocabulary

tl;dr: 我用 vim 来快速筛选出不会的词汇,用这个网站来给词汇频率排序,用 Excel 批量制卡来给生成 anki 文件,用 Anki 来记单词,用 Habitica 来激励自己,用 Context Menu Search 来创建各种词典的快捷方式,用 thesaurus 来联系相关词汇,用 aspell 的词汇列表和正则表达式来搜索单词,用 GoldenDict 来查询词汇,用 Merriam-Webster 来找词源词根,用 Mnemonic Dictionary 来对付顽固分子。

首先是一个老掉牙的问题——为什么不用要把书翻烂来记单词。

每个翻书的翻第一遍的时候总是把不知道的单词给翻出来。然而 not all unknown words …


Lire la suite...