文章列表

Build jiri for Windows

jiri

“Jiri integrates repositories intelligently”
is the official description as well as a recursive acronym for jiri.

It is a multi-repo management tool used internally at Google for their Fuchsia OS development. The project manifest format is pretty much like repo, which is commonly used for Android development and was later adopted by other communities like CoreOS.

I came across Fuchsia even before its kernel was renamed to Zircon, and at that time, the Fuchsia OS itself is pretty much unusable. But I found jiri particularly useful for my own projects. Since then, I started using jiri for my own large projects that requires splitting repositories and gather them together to build (like my own libraries, my build tools, etc.)

一天记忆1000个GRE单词

我花了一天时间背完了陈琦的《GRE核心词汇助记与精练》,并且两天下来抽100个单词默写全对
然而并没人信。。。

所以我写一篇博客谈谈记单词这个事情。

上次写文字思维的时候就有大多数人觉得我在装神弄鬼,强行解释玄学问题,那么这次其实你没有必要读下去了,一样的。这种尝试解释思维方式的文章放在智圈里会有人看,但是你给圈外人看一般就是找骂,我就是。还有如果你都不知道从哪里找到的这篇文章,那么左转[自我介绍]

高性能排序算法

马上明天就是紧张刺激的GCJ 2018的入围赛了,今天写一点关于算法的,顺便复习一下排序。
本文讨论的都是平均时间复杂度在O(n log n)以内的,涉及:

  • 传统的快排,堆排,归并
  • 稍微现代的混合(启发)/并行排序。
  • 1