Kabie

Using stream can be faster here. Because you don't have to rebuild the same huge list again and again.

They are teammates, so they know how each other plays. And Ye is a more experienced player. But she is also famous, so players from other countries studied how she plays.

Interestingly enough, I find myself rarely using regex with Elixir. Thanks to erlang's excellent pattern matching syntax for binary.

As someone using Elixir since 2013, I would suggest always learn you some lisp.

I'm on mac and I put it under ~/Applications. But it told me:

> Please move Arctype into your Applications folder

What's the difference?

Human seconds or CPU seconds?

Dependent type on BEAM? Can't wait to try it.

They renamed the kernel(Magenta) to Zircon.

Quick correction: it's `Kangxi Dictionary`, instead of `Kang Yi Zi dictionary`.

And the comparison between `本` and `未`. It makes more sence with `本`(root, origin) and `末`(tip, end).

In modern Chinese, `蚤` and `早` are distinguish well. Also, `蚤` is nine-stroke and `早` is six-stroke.

[1] https://en.wikipedia.org/wiki/Kangxi_Dictionary

The model of TIS-100 is more like the blocking channels in Go.

`de` and `prin`, wut?

Why `~Function(Int -> Int -> Int)` instead of `~Int -> Int -> Int`?

I'm surprised that no one mentioned Functional Programming languages. I think the way they think would be quite refreshing for someone get bored of OO.