GPUTEE从入门到升天（尚未升天）
从零开始一个H100 GPUTEE的配置，顺便体会做Artifact Evaluation的痛苦。这里主要记录踩坑，文档里面有的东西不再赘述。我对于VM和GPU的知识基本等于空白，搞了两天终于卡在了需要NVIDIA支持的地方上了。
最新文章
简记割裂的2022
最近几年发生的事情真是一年比一年离谱了。时常在网上冲浪的我对于这种离谱的事情已经不感觉到离谱的时候，人就已经出问题了。 拖延癌发作的我终于得空在飞机上吧这个未完成的博文完成（虽然此时2023已经过去一大半了，然而只要我把date设置成2022就大概不会有人发现它是2023写的吧）。这个博文就是想到哪里写到哪里，毫...
Verifying Constant-time
Constant-time的验证方法们。
学术相关，每月Check！
Academic Conferences
SMT/SAT从0到0.1
最近在学习一些关于SMT/SAT solver的东西，在这里简单总结一下。
符号和解释
在被Coq折磨了快一个月后，终于我终于看完了Logic Foundation。作为Software Foundations系列书籍中的第一员大将，它还是有点东西的。这里只浅谈一下我对于符号和解释这两个概念所产生的更深的理解。正文部分基本不涉及任何与编程本身相关的问题。
从零开始搓一个编译器
今年手痒痒选了一个Implementation of PL的课，需要徒手搓编译器。这里来小记一下这个过程，感觉这可能是我校CS最硬核的课之一了。
待在加州的一段时间
刚刚从加州回来，迫不及待地想要把将见闻和体验稍做记录。 拖了一个多月再回来把这个blog完成。