最新文章

SMT/SAT从0到0.1

少于 1 分钟读完

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

符号和解释

少于 1 分钟读完

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

从零开始搓一个编译器

11 分钟读完

今年手痒痒选了一个Implementation of PL的课,需要徒手搓编译器。这里来小记一下这个过程,感觉这可能是我校CS最硬核的课之一了。

待在加州的一段时间

少于 1 分钟读完

刚刚从加州回来,迫不及待地想要把将见闻和体验稍做记录。 拖了一个多月再回来把这个blog完成。

Rust 学习笔记

50 分钟读完

最近突然对于Rust产生了兴趣因为它的吉祥物小螃蟹很可爱,遂开始阅读The Rust PL一书想要一探究竟。我发现Rust真的是一门相当阳间的语言,一些functional programming的特性和build system可以让使用者用起来十分舒爽。

关于博客的一些变化

少于 1 分钟读完

最近好像博客都没啥更新,但其实不是的:我用上了TiddlyWiki作为自己的笔记本。