2020-02-14

github图床

简易图床配置与CDN加速

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

github图床

2020-01-25

音乐前卫摇滚

《雪雁》漫谈

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

音乐前卫摇滚

2020-01-21

验证Coq

LDisplay初期开发回顾

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

验证Coq

2020-01-01

布袋戏音乐

布袋戏非原创配乐出处一览表第一辑

本对照表根据编者发布于哔哩哔哩弹幕网的系列改编，截至二零一七年八月十六日更新的第五期，总共收录条数为524条。

布袋戏音乐

2019-12-04

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

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

2019-11-23

文字语言读后感

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

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

文字语言读后感

2019-11-18

网络

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

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

网络

2019-11-15

编码

任意数制补码系统

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

编码

2019-11-03

语言杂谈

我与词典

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