Pluto 的零散记录
Home
Posts
Tags
About
Programming
6 articles
2025
LTO slim breaks cmake check_type_size
Dec 07
在 Loongarch 平台编译 swi_prolog 失败,经过分析发现是 cmake 的问题,还牵扯到 gcc lto 的实现问题。
programming
loongarch
Read more
2018
Writing a kindlet
Mar 15
Kindle 提供了一个 Java 的编程接口,有点类似于网页的 Applet,于是 我就尝试如何写一个程序放上去。
programming
Read more
2015
Recovery from git repo corruption
Sep 07
git clone 的时候发生 error: corrupt loose object 错误,费了一番功夫终于恢复了出来。
programming
Read more
2014
Install Qt5.2.0 to Mac
Jan 15
在 Macbook Air 上安装 Qt5.2.0
programming
Read more
2013
Integer promotion in C
Dec 17
虽然使用 C 语言已经很长时间了,但对于一些 C 语言的细节一直没有特别的注意,这次就遇到了在表达式中整型精度提升的问题。
programming
Read more
Cangkufan(Sokoban)
Dec 15
Cangkufan is an implementation of the Sokoban puzzle game invented by Hiroyuki Imabayashi.
programming
Read more
All Tags
Back to Home