昨天在知乎上看到了一个问题微信淘宝设计扫码登录的理由是什么，牺牲人性化来加强安全性？，本以为这是一个送分题，可是点开一看，竟然我仰慕的高票答主回答并没有给出我期望的回答，还有许多我关注的大大们点了赞。再一看，下面一排都在无脑喷阿里和腾讯，一点都没有认真答题的意思，气得我一个个点了反对+没有帮助。终于看到了一个@陈裕皓 写的正常的答案，几乎感动得我热泪盈眶。其实我觉得他基本上把我能说的话都说了，不过我还是看热闹不嫌事大，再插一脚进来科普科普吧。

嫌太长不想看的直接翻到最后的“总结”部分吧。

最近小伙伴们纷纷进了实验室，就冒出了一系列关于控制远程机器的问题，我觉得我还是有必要科普一下的。

在上一篇文章中，我简要介绍了一下 ANTLR4 。当时只是把官方的 Reference 看了一遍，还没有什么实战的经验，写的都是比较不具体的东西。在这篇文章里面，我把在写编译器的时候用到 ANTLR4 的实战经验拿出来记录一下。

ANTLR4 是一个非常厉害的程序/库，可以用来生成 Lexer 和 Parser，而且生成的接口非常易用。昨天匆匆把 The Definitive ANTLR 4 Reference 扫了一遍，现在把一些常用的东西记下来。

最近在看SICP，然后看到练习2.6，十分的有趣，刚好和上学期计科导讲过的自然数的构造有点类似。题目首先给了0和加一的实现，然后问1和2应该怎么直接定义，再问如何直接定义加法。

(define zero (lambda (f) (lambda (x) x)))
(define (add-1 n)
  (lambda (f) (lambda (x) (f ((n f) x)))))