Programming

6 articles
2025

LTO slim breaks cmake check_type_size

在 Loongarch 平台编译 swi_prolog 失败,经过分析发现是 cmake 的问题,还牵扯到 gcc lto 的实现问题。
Read more
2018

Writing a kindlet

Kindle 提供了一个 Java 的编程接口,有点类似于网页的 Applet,于是 我就尝试如何写一个程序放上去。
Read more
2015

Recovery from git repo corruption

git clone 的时候发生 error: corrupt loose object 错误,费了一番功夫终于恢复了出来。
Read more
2014

Install Qt5.2.0 to Mac

在 Macbook Air 上安装 Qt5.2.0
Read more
2013

Integer promotion in C

虽然使用 C 语言已经很长时间了,但对于一些 C 语言的细节一直没有特别的注意,这次就遇到了在表达式中整型精度提升的问题。
Read more

Cangkufan(Sokoban)

Cangkufan is an implementation of the Sokoban puzzle game invented by Hiroyuki Imabayashi.
Read more