最新文章

摄影和科研

少于 1 分钟读完

最近重新拾起了相机,惊觉摄影和科研(至少在计算机领域)简直相似地过分。强烈建议学术民工尝试一下摄影,或者摄影师尝试一下科研(?)。

GPUTEE从入门到升天(尚未升天)

少于 1 分钟读完

从零开始一个H100 GPUTEE的配置,顺便体会做Artifact Evaluation的痛苦。这里主要记录踩坑,文档里面有的东西不再赘述。我对于VM和GPU的知识基本等于空白,搞了两天终于卡在了需要NVIDIA支持的地方上了。

简记割裂的2022

少于 1 分钟读完

最近几年发生的事情真是一年比一年离谱了。时常在网上冲浪的我对于这种离谱的事情已经不感觉到离谱的时候,人就已经出问题了。 拖延癌发作的我终于得空在飞机上吧这个未完成的博文完成(虽然此时2023已经过去一大半了,然而只要我把date设置成2022就大概不会有人发现它是2023写的吧)。这个博文就是想到哪里写到哪里,毫...

SMT/SAT从0到0.1

少于 1 分钟读完

最近在学习一些关于SMT/SAT solver的东西,在这里简单总结一下。

符号和解释

少于 1 分钟读完

在被Coq折磨了快一个月后,终于我终于看完了Logic Foundation。作为Software Foundations系列书籍中的第一员大将,它还是有点东西的。这里只浅谈一下我对于符号和解释这两个概念所产生的更深的理解。正文部分基本不涉及任何与编程本身相关的问题。