Brain teaser: locks, keys and gifts
A brain teaser that remains open in Yao class WeChat group, up to the time of writing of this entry. See if it interests you and if you can solve it.
Blog entries with tag “Computer science”
- 计算机科学
A toy interpreter for recreational λ-calculus
Continuing the last entry. I wrote a reducer of lambda terms (normal order, call-by-need).
A toy parser for recreational λ-calculus
I have heard about λ-calculus as a computational model for long, but never got a chance to have an even recreational look at it. Today’s entry simply records the creating of the parser.
Chit-chat on Lagrange’s four-square theorem
Lagrange’s four-square theorem is a beautiful result in number theory. However, to the best of my knowledge, I haven’t encountered it often in theoretical computer science. Today’s entry discusses two interesting stories related to this theorem.
Is the pattern you found persuasive?
Starting from the classic puzzles of finding patterns in a sequence, this entry explores the framework to define persuasive patterns. The framework is found to be quite self-contained in the sense that it is ‘asymptotically invariant’ to the choice of ‘language of expression’. The only short-coming of this framework is that it works only for computable sequences, yet the process of pattern discovery is incomputable.
Discount aux Galeries Lafayette and NP-completeness
I allowed myself some CHANEL products to ‘reward’ myself for the acceptance of my first cryptography paper. I also consider spending money at its best value an interesting game. A commonly-seen discount aux Galeries Lafayette Xidan (Beijing) leads to an obviously NP-complete problem. Haha!
How to implement Frequented Visitees of Sina Weibo
An algorithmic imagination of how Sina Weibo could implement Frequented Visitees, a feature that gives users the serveral accounts which they visit the most often.
我的第一篇（密码学）学术论文
在 Aarhus 的密码学研究从春天到秋天一直断断续续在进行。今日传来喜讯：我们的文章已被 PKC 2018 接收。
浴中奇思：计算熵
其实也不是洗澡的时候想的，是睡不着的时候想的。想完了，查一查文献，姚先生已经做了。
Of Kerckhoffs’ principle
Let me explain the classic idea that ‘the algorithm of a crypto system should be considered and made public’ to you. Particularly, I will discuss what it means by ‘crypto system’, which tells us what information should be no secret at all.
Using a ‘regular’ expression to test primality is a bad idea
A classic trick of backward references but painfully slow. And some comments on benchmarking JavaScript code.
Interviewed by THU IIIS
I was participating Advanced Assessment for Admission (AAA) of Tsinghua Union, passed the first phase and was interviewed by Insititute for Interdisciplinary Information Sciences of Tsinghua University. Here is a transcript of the interview.
去 THU IIIS 面试
我参加了“华约”（清华大学联盟）的自主招生（AAA，或“高水平大学自主选拔学业能力测试”）。我通过了初试并被清华大学交叉信息研究院面试。这是一份面试的转录。
