编程实践

GCC10编译旧版本OCaml的问题

C语言tentative definition机制导致的兼容性问题

编程实践

GNU Octave简介与展望

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

文苑荟萃

2020上半年IF作品游玩记录

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

编程实践

验证的边界

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

狷墨居偶记

疫中作

四月十四日风雨大作

弦外遗音

一些前摇网络串流电台

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

狷墨居偶记

另一种形式主义

随笔一篇

逻辑与语言

简明一阶逻辑语法与语义（In English）

对命题逻辑与谓词逻辑的简要描述，基本包含了一阶语言的形式化语法与语义基础，由相关逻辑学课程内容整理而成。

编程实践

基于Github的图床解决方案配置

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

文苑荟萃

《雪雁》漫谈

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

编程实践

LDisplay初期开发回顾

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

编程实践

ARINC 661驾驶舱显示系统标准简述

ARINC 661 Specification: Cockpit Display System Interfaces To User System（驾驶舱显示系统人机接口规范)

逻辑与语言

谈B.A.伊斯特林《文字的历史》

《文字的历史》是前苏联学者B.A.伊斯特林的著名著作，旨在用通俗却严谨的方法讲述文字的起源和发展脉络

编程实践

IP头校验和计算的端序问题

对计算IP头校验和时端序无关原则的说明与证明

编程实践

任意数制补码系统

补码系统在任意数制下的推广

逻辑与语言

我与词典

名与实，文字与思维，抽象与具象，都被包括在了这些工具书中。而随着对语言力量的正视，再度看待这些词典的时候，我便会怀着一种崇敬的心情，去审视那奥妙无穷的文字世界。

逻辑与语言

论拼音简写的滥用

不同的圈子塑造了不同的语言环境，就如同在大学校园里，形成了这样一种语言形式：在这里，简单的短语被其拼音简写代替，并夹杂着一些用字母拼接成的图画。

文苑荟萃

2019年9月读书总结

《前汉通俗演义》、《基地边缘》、《Depression Quest》、《Harmonia》、《Cape》、《Masquerade》、《Violet》

狷墨居偶记

推车行

一首托物言志诗，构思于在长安街推车之时

记Linux原版无冬之夜

本文记录了我运行原生Linux版无冬之夜1的坑和解决办法

文苑荟萃

2019年7月读书总结

《家庭史话》《黑暗精灵三部曲》《马桥词典》《钻石花》《饮酒史话》《软件基础》

狷墨居偶记

追忆我的文艺青年时代

在我成长过程中，文学扮演了浓墨重彩的一笔。这里，我想回顾我的文青岁月，探讨它对我的影响

狷墨居偶记

情感容器

为某好友而作

文苑荟萃

2019年6月读书总结

《矛盾论》、《基地三部曲》、《怎样学习文言文》、《儒家史话》、《帛书史话》

逻辑与语言

无类型λ演算的语法与语义

这篇文章描述了无类型的λ演算系统的语法和操作语义。