Profile

Cover photo
Qi Xiao
Attends Technische Universiteit Eindhoven
148 followers|33,350 views
AboutPostsPhotosVideos

Stream

Qi Xiao

commented on a video on YouTube.
Shared publicly  - 
 
迷の感动
 ·  Translate
1
Add a comment...

Qi Xiao

Shared publicly  - 
 
gst-launch 真好用,我都好久不用 mplayer 了
 ·  Translate
1
Add a comment...

Qi Xiao

Shared publicly  - 
 
IE 的 FormData 实现有 bug,具体表现为如果 <form> 的最后一个 <input> 是一个未选中的 <input type="checkbox"> 那么用这个 <form> 初始化出来的 FormData 在 XHR 的时候末尾会有形如 Content-Disposition: form-data; name=" 的 garbage // 描述这个崎岖的 bug 真的很费劲啊……
 ·  Translate
1
Hörmetjan Yiltiz's profile photo
 
的确费尽~
 ·  Translate
Add a comment...

Qi Xiao

Shared publicly  - 
 
 
[RFC 00/16] drm/nouveau: initial support for GK20A (Tegra K1). Alexandre Courbot acourbot at nvidia.com. Fri Jan 31 19:16:42 PST 2014. Previous message: [Bug 56534] [r600g] cayman msaa/fxaa buggy; Next message: [RFC 02/16] drm/nouveau: basic support for platform devices; Messages sorted by: ...
9 comments on original post
1
Qi Xiao's profile photo
Qi Xiao
 
Linus 的评论不见了……
 ·  Translate
Add a comment...

Qi Xiao

Shared publicly  - 
 
谁能帮我解释下 Mozilla 公司和 Mozilla 基金会是啥关系……?
 ·  Translate
1
Lihang Li's profile photo
 
公司是基金旗下的。。
 ·  Translate
Add a comment...

Qi Xiao

Shared publicly  - 
 
 
参观无线电协会
 ·  Translate
2 comments on original post
1
Add a comment...
In his circles
124 people
Have him in circles
148 people
Yi Han's profile photo
Xin Gan's profile photo
Kai Jia's profile photo
陈庆's profile photo
Qing Lee's profile photo
live leaks's profile photo
李二毛's profile photo
Luo Yiyao's profile photo
胡沛筠's profile photo

Qi Xiao

Shared publicly  - 
 
写 VM 真麻烦 _ (:з」∠) _
 ·  Translate
1
Yin Zhong's profile photoAenon SUN's profile photo
2 comments
 
(mb)
Add a comment...

Qi Xiao

Shared publicly  - 
 
今天又败家了……花了 24.99 欧买游戏
 ·  Translate
1
Christopher Meng's profile photoQi Xiao's profile photo
2 comments
Qi Xiao
 
+Christopher Meng 你猜 _ (:з」∠) _
 ·  Translate
Add a comment...

Qi Xiao

Shared publicly  - 
 
KMS 的 cursor location report 是 0-based,这是要闹哪样!!
 ·  Translate
1
Ray Song's profile photoQi Xiao's profile photo
3 comments
Qi Xiao
 
+Ray Song  echo '\033[6n'; cat -v # echo 的东西就是 CPR 请求,可以看 man console_codes
 ·  Translate
Add a comment...

Qi Xiao

commented on a post on Blogger.
Shared publicly  - 
 
After reading this and other articles on concatenative programming, one thing keeps puzzling me: Do we have examples for something that is trivial in concatenative programming but fundamentally nontrivial in applicative programming? Sure, being able to `define countWhere [filter length]` is pretty nice, but actually, `countWhere predicate list = length (filter predicate list)` is not that worse for me. I also understand that concatenative programming techniques can clarify program structure, make for easy compiler optimizations, but the question is only concerned of expressing.

The question can also be stated as: is concatenative programming a fundamentally more powerful system than applicative programming, or is it an alternative, more natural notation for writing point-free functions?

This question is not meant to devalue concatenative programming; I'm attempting to find out how much value it is really worth.
Introduction There doesn't seem to be a good tutorial out there for concatenative programming, so I figured I'd write one, inspired by the classic “Why Functional Programming Matters” by John Hughes. With any luck it will get more people interested in the topic, and give me a URL to hand people ...
1
Jon Purdy's profile photoErik Allik's profile photo
2 comments
 
You can do `countWhere = (length .) . filter` in Haskell—not as clean but close.
Add a comment...

Qi Xiao

Shared publicly  - 
 
ReactOS 能打 SuperTux 了
 ·  Translate
1
Add a comment...

Qi Xiao

Shared publicly  - 
 
恩,必须承认 DOS 支持 wildcard 的方式比 Unix 合理……
 ·  Translate
1
Ray Song's profile photoQi Xiao's profile photo
2 comments
Qi Xiao
 
+Ray Song wildcard 是各个命令支持的,文件名不允许 ?*
 ·  Translate
Add a comment...
People
In his circles
124 people
Have him in circles
148 people
Yi Han's profile photo
Xin Gan's profile photo
Kai Jia's profile photo
陈庆's profile photo
Qing Lee's profile photo
live leaks's profile photo
李二毛's profile photo
Luo Yiyao's profile photo
胡沛筠's profile photo
Basic Information
Gender
Male
Education
  • Technische Universiteit Eindhoven
    Computer Science and Engineering, 2014 - present
  • Tsinghua University
    Automation, 2009 - 2014
Links
YouTube
Contributor to