Exactly 7是matrix67大大写的一个小游戏，最近无聊所以玩了玩。

剧透预警！SPOILER ALERT!!!!!

这篇博客里有很详细的剧透！！！！！

今天（Nov 22, 2021），Christ Church Math & CS 社区组织了一次活动，每个大三的学生要上台做一个演讲。我觉得比较有意思就去旁听了。我个人最大的收获是一个关于费马平方和定理的演讲。该定理是这样的：

定理：设$p$为奇质数。则$p$能被写成两个整数的平方和（即$p=a^2 + b^2$）的充要条件是$p\equiv 1 \pmod 4$。

好耶

前作：强制戒毒工具。需要tampermonkey和对javascript的基本了解。u1s1，adblocks好用多了

最近读了一下刘研绎学长和 Rafael Pass 教授的工作 On One-way Functions and Kolmogorov Complexity。

如果说今年爆发的Trump virus给我带来了任何好处的话，那就是我免费蹭了一次CCC。。。

剧透预警。

不是codegolf。

膜祠。

又test了一场cc，写一篇博客敷衍一下读者

放出来的有点晚。。

本文是ECCC TR18-138（FOCS2018最佳学生论文奖之一）的一个笔记。由于（笔者个人观点）论文写得比较晦涩，而idea本身比较简洁，所以我在这里会试着讲得更加科普向(>_>)，可能会为了直观性而一定程度地放弃严谨性。另外，笔者也只是刚刚理解了论文的大致思路，因此可能会有错误之处，烦请各位批评指正。

本文假设读者有本科计算理论的背景，例如知道$\mathsf{P},\mathsf{NP}$的定义，知道规约的概念。