Don @xudon9w

Nothing special here Joined June 2012

Tweets

365
Followers

80
Following

855
Likes

1K

Don @xudon9w

5 years ago

Has the same order with C++ lambda capturing and parameter list. They have nothing to do with each other though.

Alex Yumashev @jitbit

5 years ago

Has the same order with C++ lambda capturing and parameter list. They have nothing to do with each other though.

127 2K 14K 0 150

Download Image

0 0 2 0 0

Don @xudon9w

5 years ago

A week for OCaml

0 1 1 0 0

Download Image

Don @xudon9w

5 years ago

i doubt if someone can really write an Ltac that is versatile enough to solve most goals without revisiting and modifying it in later usages...

0 0 2 0 0

Download Image

get WSL2 installed on an HDD drive. and use SpaceVim as the Vim configuration (yea im too lazy to maintain a personalized one from scratch) For some unkown reason, firing up Neovim took less than 2 secs but for Vim8, NEARLY 100 SECONDS! 😨

1 0 2 0 0

Download Image

Don @xudon9w

5 years ago

There are times when you feel everything is meaningless 😣

0 0 2 0 1

Don @xudon9w

5 years ago

what a shame that iTerm2 seems to be the only terminal emulator that makes use of the tmux's control mode

0 0 1 0 0

Don @xudon9w

5 years ago

funny statistics 😄

Yukihiro Matz @yukihiro_matz

5 years ago

funny statistics 😄

0 9 24 0 2

0 0 0 0 0

Don @xudon9w

5 years ago

Took a read at this interesting paper. Interesting and worth reading for non-OS-designing guys like me :P

0 0 1 0 1

Download Image

Don @xudon9w

6 years ago

John Cho: Coronavirus reminds Asian Americans belonging is conditional latimes.com/opinion/story/…

0 0 0 0 0

Don @xudon9w

6 years ago

世界上没有什么“中立”这种东西。对每个人而言，自己的观点就是“中立”。所以这种测试只能反映测试者和出题人观点差别而已。

0 0 0 0 0

Don @xudon9w

6 years ago

An excerpt from a sci-fi novel “瘟疫” published in 2012. kanunu8.com/book3/6417/114…

0 0 0 0 0

Download Image

Don @xudon9w

6 years ago

Asian squat🤣

0 0 0 0 0

Don @xudon9w

6 years ago

Wow StackOverflow now supports dark mode. And it even changes the theme depending ur macOS appearance. Cool👍

0 0 0 0 0

Don @xudon9w

6 years ago

Any way to disable the Alt-Space window menu shortcut in Windows?🤔 I never use it and want to utilize it as the prefix key for tmux

0 0 1 0 0

Download Image

Don @xudon9w

6 years ago

😆

AlexZ 🦀 @blackanger

6 years ago

😆

0 0 0 0 0

Don @xudon9w

6 years ago

It is said that the novel DeepL outperforms any other machine translation service a lot. I picked up a random article from NYT and compared it with Google

0 0 2 0 0

Download Image

Don @xudon9w

6 years ago

Lmao

0 0 0 0 0

Don @xudon9w

6 years ago

Made me wanna get quarantined for two weeks there 😂😂😂

527@火星邦友 @527_FireLinker

6 years ago

Made me wanna get quarantined for two weeks there 😂😂😂

31 10 105 0 0

Download Image

0 0 0 0 0

Humans of Wuhan @humansofwuhan

6 years ago

After a long depressing winter, spring has arrived in Wuhan. An alumni shared a picture of Wuhan University, which usually attracts thousands of visitors during cherry blossom season. We are living in a world where people are fighting virus while flowers are blooming.