Posts on Dai Chao

爱因斯坦与诺贝尔奖

Sat, 06 May 2023 22:19:27 +0800

今天看爱因斯坦传又发现一些趣事。很多人都知道，爱因斯坦获得诺贝尔奖的官方理由并不是相对论，而是“光电效应定律”，但是这背后还隐藏着一段富有黑色幽默的故事。

数字证书体系

Sat, 06 May 2023 22:19:27 +0800

相信大家都知道下载正版软件的重要性。盗版软件可能被恶意篡改过，而且可能带有病毒，窃取你电脑里的信息。但是我们怎么验证软件是正版还是盗版呢？有人肯定会说：“在官网下载的肯定就是正版啦！”确实，那么我们怎么验证一个网站是真正的“官网”呢？这就要用到一个叫做“证书”的东西。

谈罗永浩瞬间给杨笠爆灯一事

Sat, 06 May 2023 22:19:27 +0800

听说最近《脱口秀大会》整了个节目效果，可把我逗笑了。

什么节目效果呢？杨笠刚上场还没开始说话，罗永浩就拍灯了，然后直接起立给她鼓掌。

罗永浩拍完了灯，大张伟装作自己也要拍的样子，然后李诞开玩笑地劝他说“别拍了，你拍我也得拍了”。

2023.05

Mon, 01 May 2023 00:00:00 +0800

一年一度的总结记事多少有些慢了，很多发生在年初的事情等到年末再回忆会有些困难，所以我决定从今年起，尽量在三个长假（五一、十一、春节）都写一篇记事，恰好将一年划分为冬去春来、炎炎夏日和凛冽寒冬的三个阶段。如果春节还有多的时间，可能还会再推出一篇偏抽象的思考。

2023

Sun, 01 Jan 2023 00:00:00 +0800

Prologue

OK兄弟们，全体目光向我看齐嗷，看我看我，我宣布个事儿：

我是个废物！

Part A

时至今日，我终于可以毫无负担地说出这句话了。如果说我2022年取得了什么“进步”，这大概就是最大的进步。

巴彦淖尔隔离之旅

Sun, 01 May 2022 00:00:00 +0800

随便聊聊

昨天我收到了居家隔离的通知，下周二才放出来，现在还剩68小时。虽然被限制人身自由很不爽，但和上次去内蒙隔离相比根本不算什么。正好现在周末了，我又不能出门，不如一边隔离一边给大家讲讲上次隔离的故事吧。

2022

Sat, 01 Jan 2022 00:00:00 +0800

2022

从2013年第一篇年记的萌芽开始，到2014年的第二篇，到2015年的第三篇，…，到2022年的第十篇，我已经历许多。现在，结束我最摆烂的一年吧：从一开始的慷慨激昂到现在的无话可说。[1]

自省

Sat, 01 Jan 2022 00:00:00 +0800

昨天跟广宇吃晚饭，深入交流了我现在这个岗位的发展规划。

我一个很大的缺点是喜欢让人推着走，多一事不如少一事。issue分配给我，我不会想着主动监测进度，也不会顺着issue去学习不懂的东西，而是浅尝辄止，等着vendor把问题解决，只要不找我我就不管。

OSDI 2020论文摘要

Fri, 05 Nov 2021 00:00:00 +0800

完整版链接：https://www.usenix.org/sites/default/files/osdi20-full_proceedings.pdf

该不该允许涉毒艺人复出

Fri, 01 Oct 2021 00:00:00 +0800

这次我的意见不仅和官媒相左，还跟不少熟悉的同学相左，但我还是想说出来。

“艺人购买毒品的钱会变成子弹打在缉毒警察的身上”，这句话很感人，但它把“艺人吸毒”和“缉毒警察身亡”的联系暗示得过于紧密。这两者有关系吗？肯定是有的，但是全国有多少吸毒人士，艺人才占百分之几？诚然，无论毒品多少，只要买了就要为此负责，但是这跟复出的联系在哪儿呢？现有的解释并不能说服我。
“吸毒艺人复出会给社会带来负面影响”，我不完全同意。还记得薛之谦、陈赫等明星数不清的丑闻吗？还记得范冰冰漏税8亿吗？有人因为看到他们复出而学会出轨、逼女友打胎或者偷税漏税吗？如果有，为什么他们没有被封杀？如果没有，为什么唯独毒品是个例外？更何况，一些有吸毒史的海外艺人在中国依然有大批粉丝。你听过Eminem的《Not Afraid》吗？这首歌是他戒毒后写的，很多中学生都喜欢听，要不要封杀一下？
“毒品在中国是不能碰的底线”，这句话一点错都没有，但它的含义很模糊，你可以从中理解出各种含义。它是想说“吸了毒该坐牢”、“吸了毒该遭受唾弃”吗？那确实没问题。可不可以理解成“吸了毒该枪毙”、“吸了毒该被驱逐出境”、“吸了毒该被抹去存在的痕迹”？不一定吧，至少还有一些可商榷的空间吧？
那么这些商榷的空间为什么被挤压干净了呢？为什么我感觉只要一提“也可以复出试试”，就会被十亿人的口水淹没呢？这样不容商榷的舆论环境，是人民自发形成的，还是……？我不知道。

总而言之，我不是很反对吸毒艺人复出，重点在于他们复出的方式和姿态。只要他们能弥补曾经犯下的过错，我觉得后果并不会像很多人说的那样严重。

成都49中

Sat, 01 May 2021 00:00:00 +0800

成都49中的事情尘埃落定后，我的愤怒也随之消退。这次事件引起这么大的风波是我意料之外的，有很多人（包括我在内）这几天都在持续地质疑官方公布的消息，尤其是通告里“排除刑事案件”、“家属表示无异议”等暧昧不清的用词更让人浮想联翩。从警方公布的结果来看，很多质疑都落了空，例如校方故意销毁监控、尸体直接火化、抢占留学名额等。同时，有人开始劝导其他人要相信通告，相信警方，相信政府。

告别是为了更好的遇见

Sat, 01 May 2021 00:00:00 +0800

一年一度的五一小长假就这样过去了。说是五天的小长假，实际上有两天是周末，还有两天是通过国务院的“调休”政策、把另外两个周日设为工作日换来的。众所周知，周末是用来躺的。既然这五天假有四天都取自周末，那我岂有不躺的道理？

礼物

Mon, 01 Feb 2021 00:00:00 +0800

我们的消费原则就是，不需要原则。

我和女朋友在一起七个月，感情比较稳定，平时经常一起看生活组的家常话题，也被一些奇葩的送礼故事逗笑过。看到经常有豆友纠结对象送的礼物够不够用心，红包够不够大，或者要不要扶贫，我也想分享一下我俩的消费情况，看看礼物和红包是不是真的那么重要。

《算法导论》的翻译真叫一个垃圾！

Tue, 01 Sep 2020 00:00:00 +0800

其实不只是这一本教材，国内对英文计算机文献的翻译质量普遍不高，以至于我直接读英文原著都要比读这种狗屁不通的汉语句子流畅许多。下面这个例子是第14章开头的第一段话，我来试试把原版翻译改良一下，你们品评一下有没有好读许多。

《算法导论》第14章：数据结构的扩张 (Augmenting Data Structures)

Tue, 01 Sep 2020 00:00:00 +0800

本章提及了数据结构的“扩张”概念。当我们需要支持一种特殊操作的时候，应该优先考虑去扩展现有的数据结构，而不是自创一种。扩展的方法就是“加信息”，然后用原有的基本操作去维护它。作为例子，本章讲了“顺序统计树”和“区间树”，并给出了扩展数据结构的一般方法。

《算法导论》第21章：并查集

Mon, 31 Aug 2020 00:00:00 +0800

并查集的基本操作

并查集是一种由不相交集合组成的数据结构，它可以用 $S=\{S_1,S_2,...,S_k\}$ 表示，其中 $S_i$ 是由若干元素组成的集合，任意两个集合之间的交集都为 $\empty$ ，每个集合都有一个元素作为它的代表。

并查集需要支持以下操作：

MAKE-SET(x)创建一个仅含 x 的新集合（x 不得同时属于其他集合）
UNION(x,y)将集合 x、y 合并到一起，形成新的集合
FIND-SET(x)返回集合 x 的代表

一般来说，每个元素都会先通过 MAKE-SET 形成只包含自己的集合，然后通过 UNION 相互兼并。MAKE-SET 和 UNION的运行次数是有限的，不会超过所有元素的总数 $n$ 。与此同时，外部会通过FIND-SET查询某个元素当前属于哪个集合，该操作的次数没有上限。所以，一个并查集的运行效率可以通过两个变量衡量——MAKE-SET 的运行次数 $n$ ，以及上述所有三种操作的总次数 $m$ 。这里假设了每个元素都会先形成自己的集合。

《算法导论》第9章：中位数与顺序统计量 (Medians and Order Statistics)

Mon, 31 Aug 2020 00:00:00 +0800

这一章主要研究这几个问题：

怎么求最大/最小
怎么同时求最大&最小
怎么求第二大/小（习题9.1-1）
怎么求第k小

这些问题的算法并不难，本质上我们是想探讨它们所需要的最小比较次数，所以希望大家把重点放在理解证明过程上，学习证明思路，理解排序的本质。下文中，数据规模都用 $n$ 表示。

《算法导论》第13章：红黑树

Sun, 30 Aug 2020 00:00:00 +0800

今天来讲个有挑战性的内容——红黑树。这是我从本科开始一直没敢去碰的东西，主要是嫌麻烦，实际编程中又不怎么用，但最近就想看着玩。本文只能让你了解红黑树大概的样子，真要理解并形成深刻印象，还得去看《算法导论》的第12、13章。第12章（平衡二叉树）的笔记在上一篇文章里。

《算法导论》第12章：二叉搜索树

Fri, 28 Aug 2020 00:00:00 +0800

本文简单介绍二叉搜索树，为下一篇文章讲红黑树作铺垫。

二叉搜索树

二叉搜索树(Binary Search Tree, BST)是一棵二叉树，每个结点都记录着左子left、右子right、父结点p、关键字key。BST里的关键字总是满足二叉搜索树性质：对于每个结点，其关键字都大于或等于它的任意左子，小于或等于它的任意右子。简单来说，就是“左小右大”。下面比较结点大小时，指的就是比较结点关键字的大小。

记一次愚蠢的Leetcode刷题

Mon, 13 Jul 2020 00:00:00 +0800

一道并不怎么难的题，提交了N次才成功，究其原因是边缘情况特别多，所以一定得好好复盘，练好我一直写不清楚的二分法——我经常绕不清楚奇偶两种情况，也常常照顾不好数组越界。

跟着OSDev学习搭建操作系统（四）

Wed, 13 May 2020 00:00:00 +0800

上次我们编译并成功运行了myOS，这次我们来仔细看看这个简单的操作系统有哪些构成要素，要以怎样的方法去安装它。

编译环境的建立

源代码的编译是靠shell脚本而不是Makefile总控的，不过这并不影响我们学习。大致来讲：

跟着OSDev学习搭建操作系统（三）

Sat, 09 May 2020 00:00:00 +0800

前几天跑通了一个空空如也的内核（教程里叫做Bare Bone），只能说是搭建好了环境，接下来要搭建的myOS会稍微正式一点。如同教程标题“Meaty Skeleton”所说的那样，myOS虽然有一点“meat”，但依然只是一具“skeleton”，没有实际功能。我们既可以从中学到一个科学的OS源代码的结构，也可以直接以myOS为基础，向里面添加新的功能。

跟着OSDev网站搭建个人操作系统（二）

Tue, 05 May 2020 00:00:00 +0800

上回我们讲（翻译）了一些预备知识，并准备好了交叉编译器和其他工具链，现在开始动手写代码吧！我们的“空内核”需要三个源文件：

boot.S，作为内核的入口，用于初始化运行环境
kernel.c，作为内核的主函数
linker.ld，作为链接上面两个文件的脚本

Booting the Operating System

当你编译好一个内核后，它是存储于磁盘上的，然而一个没有内核的机器该如何把磁盘上的内核读进内存，从而去运行里面的指令呢？这就要用到一个内核之外的东西，叫做bootloader。原文提到了GNU有一个叫做GRUB的现成工具可以直接用。

跟着OSDev网站搭建个人操作系统（一）

Tue, 05 May 2020 00:00:00 +0800

发现一个宝藏网站：osdev.org（我没火星吧），这是我见过的内容最丰富最全面的操作系统开发者社区，里面的wiki不仅教你从零开始搭建内核与操作系统，还传授了一些人生经验，给刚准备起航的newbie指路（或是劝退），可以说是OS新手开发者的福地了。我今天也没干什么，就按照它给的教程一步步走，在QEMU上跑通了一个空空如也的内核，然后准备把大致的步骤记录在这里。当然，我现在是个纯newbie，最多只能做个概括+翻译而已。如果你有兴趣，可以直接去读原文，我会把每篇文章的链接附上。

2019.07

Mon, 01 Jul 2019 00:00:00 +0800

The End

Ashim Global Premier VIP Fan Club II

这里是阿西木全球粉丝后援团高端vip二群

最开始，我们的称号是磁福の圆桌骑士

但后来我跟你们征战四方

跟你们吃过西门烤翅、平娃三宝、北华涮肉、老丁西门、重庆火锅，还有神秘消失的川菜馆

《全球通史》读书笔记

Mon, 20 May 2019 02:20:29 +0800

人类——食物采集者

现代人对历史的了解比古代人还多。

从类人猿到人类

从最宏观的视角来看，地球发展进程有两大转折点。第一，生命的诞生，生物改变基因以适应环境。第二，人类的诞生，人类改变环境以适应基因。（作者的畅想）第三，基因技术，人类同时能够改变基因和环境。

最后的寒假

Sun, 17 Feb 2019 00:42:41 +0800

外来务工人员的最后一天寒假

1

我叫代超，今年21岁，来自武汉，是一名外来务工人员。

我在中关村的一家小公司上班，住集体宿舍，准备攒够了钱去租房。由于宿舍离公司近，我每天九点才起床。草草洗漱后，坐三站公交就能来到上班的地方。我的同事都是和我一样的技术人员，工作时只关心项目，因此不需要额外疏通关系。在那里埋头工作八九个小时之后，我便下班回家。

2019

Tue, 01 Jan 2019 00:00:00 +0800

2019

生活篇

一月：啥时候放假啊

1月2日上午10点，二教窗外敲响了集图考试结束的铃声。我心不在焉地拎起书包，回到了45甲316，一言不发地躺在了床上。

我没有像其他同学那样收拾行李准备去火车站。我连火车票都没有买好。实际上，我并不知道自己什么时候可以回家。越过荆棘密布的期末季，迎接我的不是无忧无虑的假期，而是**“后期末时代的三座大山”**——操统大作业、操统实习大作业、网络大作业。（福利：当代话剧研究之操作系统，别忘了给操操投币🧐）

参加Hamilton排练及演出

Tue, 01 Jan 2019 00:00:00 +0800

小作文

为期半年的排练已经告一段落了，在这半年里，有欢笑，有泪水，更有无数珍贵的回忆。请以"我与汉密尔顿"为题，写一篇不少于800字的文章，文体不限（诗歌、戏剧除外）。

政见不同

Mon, 31 Dec 2018 15:19:29 +0800

近来发生的一些政治敏感事件，激起了全校范围内的讨论。我从小都是那种两耳不闻窗外事的书呆子，辩不明大是大非，因此不想针对事件本身作出评价。我想说的，是我作为一个旁观者，在这十几天里得到的启示。

Image Basics

Wed, 05 Dec 2018 01:48:01 +0800

Color

Hue: pure color, presented by a circle
Saturation: purity of color, how far it is from pure white, which is every color combined
Brightness: subjective perception, how far it is from grey
Luminance: objective, cd/m2
Contrast:
Sharpness:

Noise

Image noise is random variation of brightness or color information in images, and is usually an aspect of electronic noise.

Gaussian noise
Salt-and-pepper noise
Shot noise
Quantization noise
Film grain
Anisotropic noise
Periodic noise

Photography

Backlight

The process of illuminating the subject from the back. The lighting instrument and the viewer face each other, with the subject in between, creating a glowing effect on the edges of subject, which helps to seperate the subject and the background. In photography, a back light (often the sun) that is about sixteen times more intense than the key light produces a silhouette.

简单的字符串练习1

Tue, 13 Nov 2018 00:00:00 +0800

初次尝试刷题，当然要刷简单的啦。

Root :: Competitive Programming 3: The New Lower Bound of Programming Contests (Steven & Felix Halim) :: String Processing :: String Matching :: Standard

455 - Periodic Strings

**问题描述：**求一个字符串的最小周期，例如"123123123"的最小周期为3。从数据规模来看，穷举法完全可行，但还是要学习一下这位老哥对KMP的巧妙运用：

LCP数组、后缀自动机、后缀树（？）

Fri, 02 Nov 2018 00:00:00 +0800

LCP数组

定义

有了后缀数组，也就有了每个后缀的大小顺序。

但现在我们有另一个奇怪的需求：

对于任意两个后缀，求它们的最长公共前缀(Longest Common Prefix, LCP)。

啊？为什么有这个需求？我也不知道，但大佬说很有用，那就求吧。

神奇的优化方式

Fri, 02 Nov 2018 00:00:00 +0800

Kickstart Round F 2018第一名Benq的参赛代码，光开头几行就把我吓得魂飞魄散。

#pragma GCC optimize ("O3")
#pragma GCC target ("sse4")

#include <bits/stdc++.h>
#include <ext/pb_ds/tree_policy.hpp>
#include <ext/pb_ds/assoc_container.hpp>
#include <ext/rope>

using namespace std;
using namespace __gnu_pbds;
using namespace __gnu_cxx;

#define sz(x) (int)(x).size()

template <class T> using Tree = tree<T, null_type, less<T>, rb_tree_tag,tree_order_statistics_node_update>;

void setIn(string s) { freopen(s.c_str(),"r",stdin); }
void setOut(string s) { freopen(s.c_str(),"w",stdout); }

void io(string s = "") {
    ios_base::sync_with_stdio(0); cin.tie(0);
    if (sz(s)) {
        setIn(s+".in");
        setOut(s+".out");
    }
}

int main() {
	io("A");
	// ...
}

GCC Function Attributes

#pragma GCC optimize ("O3")
#pragma GCC target ("sse4")

Common Function Attributes x86 Function Attributes

指定GCC做O3优化，支持SSE4指令。

The KMP Algorithm

Mon, 29 Oct 2018 00:00:00 +0800

Not difficult to understand. I learned it from Coursera.

Prefix Function

A “Border” of a string, is a substring that both acts as a prefix and a suffix of that string
The “Prefix Function” of a string records the length of the longest border of every prefix of that string

Symbol

s is a string
s[:i] is a prefix of s made up by s[0], s[1], ..., s[i-1]
L[i] is the length of the longest border of s[:i]
- In other words, L is the “Prefix Function” of s

Conclusion

L[i+1] <= L[i]+1, and the equality holds if and only if s[L] = s[i]
The longest border of the longest border of a string, is the second longest border of that string.
if some border of s[:i] has a length of len and s[len] = s[i], then there must be a border in s[:i+1] with a length of len+1

Method

L[0] = 0
L[i+1] = len + 1, where len is the length of the longest border of s[:i] that satisfies s[len] = s[i]

To find len, try every border of s[:i] from the longest to the shortest
To find the next longest border, see Conclusion 2
If no border is found, simply compare s[0] with s[i]
- If s[0] = s[i], then L[i+1] = 1
- Else, L[i+1] = 0

Implementation

int *pf(string s) {
	int len=s.size(),b=0;
	int *p=new int[len]; p[0]=0;
	for(int i=1;i<len;i++) {
		while(b>0 && s[i]!=s[b]) b=p[b-1];
		if(s[i]==s[b]) b++;
		p[i] = b;
	}
	return p;
}

KMP

Symbol

p is the pattern string, t is the text string
L is the “Prefix Function” of p

Conclusion

If p matches t partially with a longest common prefix p[:i], then no matches will be found before p is shifted len(p) - L[i] positions rightwards.
- There are two “submatches” in this partial match, both of which are the longest border of p[:i]
- The left one acts as a prefix, while the right one acts as a postfix
- p is shifted rightwards, so does p[:i]
- No matches are possible before the left submatch arrives at the previous position of the right submatch
- The length of this “vacuum area” is len(p) - L[i]

Method

Make s = p + '$' + t, where ‘$’ is absent from both p and t
Calculate the “Prefix Function” of s, marked as L
A match is found at position i - 2 * len(p) when L[i] = len(p)

Under such circumstances, the longest border of s[:i] happens to be p itself, as p is a prefix of s
This border is also a substring of s
Thanks to the ‘$’ sign, we can guarantee that this border never crosses the real “border” between p and t, so it is also a substring of t
Thus the starting position of the match is i - (len(p) - 1) in s, and i - (len(p) - 1) - (len(p) + 1) in t

Implementation

int main() {
	string pattern, text, s;
	int *pf;
	while(cin >> pattern >> text && pattern != "") {
		if(pattern.size() > text.size()) {
			cout << "-1" << endl;
			continue;
		}
		s = pattern + "$" + text;
		pf = prefix_func(s);
		for(int i = pattern.size()+1; i < s.size(); i++) {
			if(pf[i] == pattern.size()) {
				cout << i - 2 * pattern.size() << " ";
			}
		}
		cout << endl;
		delete pf;
	}
	return 0;
}

破解外星代码：详解后缀数组模板

Mon, 29 Oct 2018 00:00:00 +0800

朕听说，后缀数组只需寥寥二十行代码即可求出？

是，陛下。

快，快呈上来！

是，陛下。

int wa[MAXN], wb[MAXN], wv[MAXN], ws[MAXN];
inline bool cmp(int *r, int a, int b, int len) {
	return r[a]==r[b] && r[a+len]==r[b+len];
}
void SA(char *r, int *sa, int n, int m)
{
	int i, j, p, *x = wa, *y = wb, *t;	
	for (i = 0; i < m; i++) ws[i] = 0;
	for (i = 0; i < n; i++) ws[x[i] = r[i]]++;
	for (i = 1; i < m; i++) ws[i] += ws[i - 1];
	for (i = n - 1; i >= 0; i--) sa[--ws[x[i]]] = i;
	for (j = p = 1; p < n; j <<= 1, m = p)
	{
		for (p = 0, i = n - j; i < n; i++) y[p++] = i;
		for (i = 0; i < n; i++) if (sa[i] >= j) y[p++] = sa[i] - j;
		for (i = 0; i < m; i++) ws[i] = 0;
		for (i = 0; i < n; i++) ws[wv[i] = x[y[i]]]++;
		for (i = 1; i < m; i++) ws[i] += ws[i - 1];
		for (i = n - 1; i >= 0; i--) sa[--ws[wv[i]]] = y[i];
		for (t=x,x=y,y=t, x[sa[0]]=0, p=i=1; i<n; i++)
			x[sa[i]] = cmp(y,sa[i-1],sa[i],j) ? p-1 : p++;
	}
}

陛下……陛下！快请御医！

前言

鉴于我也是第一次接触后缀数组，理解程度还很低，再加上类似的博客早已烂大街，因此不求读者能看懂或学到什么东西了。你还可以向我留言提出指导意见，我会非常欢迎。

C++查漏补缺

Fri, 26 Oct 2018 00:00:00 +0800

我已经不怎么记得“程序设计实习”的内容了。

C与C++的（细微）区别

C++支持，但C不支持

面向对象
重载、模板、继承、虚函数、友元函数
语言层面上的异常处理
引用
输入输出流
new/delete/explicit/class等关键词
结构体中定义成员函数
结构体中定义静态变量
直接在结构体中初始化成员变量

C支持，但C++不支持

调用尚未声明的函数
将const的地址赋给non-const指针
将void*值直接赋给其他指针，malloc()返回的就是void*
不初始化const
char *c = 333

其他

C认为func()=func(…)，即func可以接受任意个数的参数。C++认为func()=func(void)，即func不能接受参数。因此在C中使用func(void)会显得你更专业、更严谨
C认为字面字符常量是整数，C++则认为是字符。sizeof('a')，前者得到4，后者得到1
C的结构体类型必须带上struct前缀。struct T; T a;是不合法的C代码，但C++认为没问题
sizeof(1==1)的C值为4，C++值为1，因为C++支持bool类型
空结构体的sizeof值在C是0，在C++是1

引用和指针的区别

总地来说，引用不如指针灵活，但更安全。引用值必须

Crowbar源码剖析：语法

Mon, 08 Oct 2018 00:00:00 +0800

Introduction

上回书说到，Crowbar的词法分析器将具体的源码文件解析为一串抽象的符号，并伴随着一系列附属动作。接下来轮到Crowbar的语法分析器登场了——它是如何解读这串符号的？解读的同时又做了些什么事情呢？我们一起来看看。

本篇有非常多杂七杂八的代码，看的时候一定要把握住最大的共同点——语法和数据结构的高度一致。很多代码都是相似的，把握住设计思想才是最关键的。

Crowbar源码剖析：词法

Sun, 07 Oct 2018 00:00:00 +0800

Introduction

上回书说到，Crowbar用了Lex/Yacc这对经典工具来生成词法/语法分析器。它们具体的编写规则我不想细说，请参考这篇文章，但大致来讲，两者都是“一边匹配一边触发动作”。

本篇文章会集中讨论匹配触发了哪些动作，而不讲如何匹配、为什么匹配。

Crowbar-Lex

这部分讲述Lex如何对五花八门的字符作出不同反应，用<X>exp{action}表示“状态X下，与exp匹配时，执行action”。为了给Yacc传递符号的解析结果，双方约定了一种“通信方式”：

Crowbar源码剖析：总体框架

Sat, 06 Oct 2018 00:00:00 +0800

Introduction

Crowbar是《自制编程语言》一书中作者自己构思的无类型语言。本书一边向读者讲述编程语言的基本要素，一边讲解具体的实现方法，可作为编译技术的入门材料。此外，书中还有一门叫做Diksam的静态类型语言，等我学完了再来写。不🐦，真的。

学习编写单元测试

Fri, 14 Sep 2018 00:00:00 +0800

这两周的工作主要是给自己之前写的代码填坑，也就是写单元测试。

我做单元测试的方法

裸测很难搞

单元测试（unit testing）是指对软件中的最小可测试单元进行检查和验证，而我要测试的内容是一些用Go语言写的接口，大概长这个样子：

参加PKU Hackathon

Mon, 01 Jan 2018 00:00:00 +0800

Hackathon PKU 2018

5月12日，SBN、LYQ、JXT三位大佬带我参加Hackathon PKU。比赛于当晚21:00开始，来自中国各大高校的40支队伍展开了激烈角逐——还不到一个小时，咖啡厅里的零食便被一扫而空。偌大的双创中心传来阵阵键盘声，还有我怎么也连不上Wi-Fi的抱怨声。

在西安过夜

Mon, 01 Jan 2018 00:00:00 +0800

30元一晚上的火车站旅馆

七月初去青海的途中，我突然决定凌晨两点在西安下车，然后转车去上海。

下车后第一件事情，自然是找一个过夜的地方，但你一定料到了－－火车站周围的旅馆早已住满，只剩下几百元一晚上的星级酒店。