Improve Rust Link Time with lld（暂未翻译）
2020年11月1日
Today I start to experiment with the WebGPU API, and I choose to use the wgpu-rs implementation in Rust. I am happy with the experience overall, but one difficulty I met is the long iterative…
博客
Recursive Modules in OCaml（暂未翻译）
2020年10月15日
Recursive module is an interesting feature in OCaml. To use it, we need to use the form Explicit signature is required when using recursive modules, as the compiler can no longer deduce the module…
Beware passing mutable lambda to STL algorithms.（暂未翻译）
2020年9月30日
Recently, I have seen some people passing complex mutable lambdas to standard algorithms. Those usages usually come from one mindset: "Since we want to follow 'no raw-loop,' and the choice of STL…
在C++中使用Const或者引用成员变量的后果
2020年8月25日
在C++中，使用 const 或者引用非静态成员变量会造成一些问题。 很多的资深C++程序员都知道这一点， 但是网上没有人单独写一篇文章来阐述原因。 而我在网上反复看到有人问这个问题， 所以我决定写下这篇博文。 Const成员变量 在有一些编程语言中，例如Rust，所有变量都默认是 const ，而你需要手动声明某个变量是可变的。 如果你有使用这些编程语言的经历，那么你可能会想在C…
Zero is the Devil: Common ways to construct bogus proofs. （暂未翻译）
2020年5月10日
It is easy to make mistakes when conducting mathematical proofs. Nevertheless, you can find some recurring error patterns in those proofs. And some of the most common reasons are related to the…