英雄无岁，江湖无辈 —— 旧江湖中的一句话
旧江湖中的一句话，李先生多次对我提及。很有滋味的一句话。
英雄无岁，江湖无辈
Reply
Yearly Archives: 2017
My Experience As a TA
I believe the experience of TA at Tsinghua University is one of the most unforgettable experiences in my whole life. I was the TA for two courses: Linear Algebra and Data Structures. In this blog, I will focus on some highlights when I was the TA for Algorithm and Data Structure of EE department, Tsinghua.
Proof of an HMU problem
The problem
This problem is originated from HMU’s homework for DFA. The automata 
A Lemma on Number Theory
In today’s techtalk in Pivotal Inc. one of my colleagues asked a question about the benefits of double the batch size of one step in a hashjoin algorithm. I think it is not obvious enough to understand it at first glimpse. So I offer the formal description and proof here to make sure that myself understand it well.
A prolog program that calculate 24
An idea just came up to me that using prolog to calculate 24.
锅哥菜谱
背景
本人号称锅哥（因为最喜欢看的小说是《黑锅》，已经看了无数遍了）。我2013年开始练武，结识了一些武术界江湖上得朋友，被引荐认识了李宝如先生（新中国早期体育健将、前北京市摔跤队教练、前北京市散打队教练）学摔跤，一直坚持到现在。习武练跤丰富了我的社会阅历、丰富了我的人脉圈。机缘巧合，一同练武的朋友里关系最好的三位，竟然全部是厨师，而且不是一般的厨师，都是大厨。有了这得天独厚的优势，我和大师傅们学了很久，也算出师了。这个博文，罗列一些我作为一个大师傅的拿手活儿。文章最后介绍一些我的这些大师傅们的情况。
Donald Knuth – My advice to young people
Here is a video by Donald Knuth which I find very important for me.
Prove determinacy for a small language
Recently I started reading the book Types and Programming Languages. And I found it interesting to proof the lemmas in the book using Coq.