Link: Securing Smart Contract with Runtime Validation, Li et al. 2020 It has been a popular trend regarding solving security ...

All the constraint proving systems are designed to compress many constraint checks into one. The general way to obtain such c...

大体讲述了「当你访问一个URL的时候到底发生了什么」。这篇博客仅仅提供了一个大局观，在输入URL到获得页面中间还有很多未提到的细节，可以自己再查阅资料。我觉得原文写得蛮不错的，所以就翻译过来啦。

在上学期期末考试的时候把书本的前五章重新翻看了一遍，把所有我认为的重要内容都重新整理了出来，是一套我认为还不错的复习材料，Github Link。强推本院肖凌老师，给我大学生涯里带来了精彩的一学期计网课。

但是遗漏了部分第五章（由于某些技术原因导致文档丢失，交换机自学习等内容，之后会补上）第六章我没复习，以后会看心情补上。（Update on 19 May 2022：不会再补上了，除非我重读一遍计算机网络英文版）

最近在学习汇编的时候，每次debug的时候对于小白来说真的是一头雾水，完全不明白这些个寄存器究竟是什么东西。之前没有记住，所以这篇文章就用来稍微记录一下。

我们来的太晚，而她们走的太快。

因为之前js写得太少了，所以mentor就给我布置了这个大概是需要写很多js的任务。git仓库地址

任务大概是实现gitlab里Issue下的List和Board的页面上的一些功能。

poker是一款（我认为）颜值很高的键盘，而且摸上去给我的感觉是 “少女肌肤” ，重量和大小都很舒服，适合平时携带，于是当时当机立断抛弃了之前一直在用的魔力鸭，果断入了poker。

当时买键盘的时候没有买mac，所以买的是usb接口的，poker现在出了新款，是type-c接口的，买这个比较方便一些。

最近报名了一个hackinit()的活动，然后需要写一份简历，去github上捞了一波模版，然而对于一个从来没用过latex的小白来说，最麻烦的怕不就是本地环境的搭建了w

所以这篇博客大概是讲一点点简单的安装方法