两个 rust bugs

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

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

问题

大概三个星期之前我发现rustc两个小bug,其中有一个是非常有误导 …


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...