Profile

Cover photo
Qi Xiao
Attends Technische Universiteit Eindhoven
152 followers|178,175 views
AboutPostsPhotosVideos

Stream

Qi Xiao

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

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...

Qi Xiao

Shared publicly  - 
 
写 VM 真麻烦 _ (:з」∠) _
 ·  Translate
1
Yin Zhong's profile photoXilin “Harry” SUN's profile photo
2 comments
 
(mb)
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: ...
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
1
Add a comment...
Education
  • Technische Universiteit Eindhoven
    Computer Science and Engineering, 2014 - present
  • Tsinghua University
    Automation, 2009 - 2014
Links
YouTube
Basic Information
Gender
Male