我的随笔

2026-10-29/30 日志

Ghost-Face 2026-10-30 21:50 阅读:20 评论:0 推荐:0

[随笔] 续：关于我在机房安装Arch Linux

Ghost-Face 2026-10-28 06:22 阅读:177 评论:0 推荐:0

[随笔] 续：在机房安装Arch Linux到外置硬盘（此为教程篇）

Ghost-Face 2026-10-27 12:56 阅读:150 评论:0 推荐:0

[随笔] 关于我在机房电脑（带有还原卡）安装Arch Linux一事

Ghost-Face 2026-10-26 12:27 阅读:282 评论:0 推荐:2

用Lean4重构《软件基础》（Software Foundations）——SF-lean4正式完工上线！

Ghost-Face 2026-10-18 22:44 阅读:137 评论:0 推荐:3

26-10-18周记

Ghost-Face 2026-10-18 01:12 阅读:170 评论:1 推荐:3

《逆袭导论》第二版——中学生的宝书

Ghost-Face 2026-08-28 17:51 阅读:224 评论:2 推荐:1

致 CTorch 一周年

Ghost-Face 2026-07-18 19:51 阅读:33 评论:0 推荐:0

26-4-24日志

Ghost-Face 2026-04-24 21:25 阅读:73 评论:0 推荐:0

26-4-23日志

Ghost-Face 2026-04-23 22:55 阅读:57 评论:0 推荐:0