GNU Octave简介与展望

GNU Octave是Matlab的开源替代，在小型数值计算项目上有很多优点。本文介绍其基本特点，兼谈从中体会到的软件开发问题。

2020-06-20

IF

2020上半年IF作品游玩记录

疫情期间我在家成功完成了一些互动小说，这里推荐一些十分优秀的作品

2020-06-19

形式化验证内核

对学期内OS验证工作的总结。从CertiCore的开发中，我认识到了系统验证最重要的要求：对边界的认识

2020-05-06

理论计算机科学计算理论

在计算科学的最基点，形式语言的可判定性是如何从原始的逻辑定义引申出来的？

2020-04-13

诗歌疫情

四月十四日风雨大作

2020-03-31

音乐前卫摇滚

可以正常工作的前摇互联网电台列表（部分）

2020-02-24

随笔疫情

随笔一篇

2020-02-14

github图床

为了提升Linux下的工作流效率，使用Github API和CDN加速搭建了一个简易图床，并将其整合到了KDE环境中

2020-01-25

音乐前卫摇滚

关于美国作家Paul Gallico所著的The Snow Goose A Story of Dunkrik一书以及Camel的衍生音乐的一些想法

2020-01-21

验证Coq

LDisplay是我正在开发的同步式图形建模工具。开发中走了不少弯路，这里简要回顾其中的失误，并提出了一种新的设计。