编程实践

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

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

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

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

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

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

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

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

因为无法自动加载apparmor配置而导致的重启后应用全部失效，据说是snapd的一个老问题了，这里给出一个手动解决的办法。