2026年10月18日
用Lean4重构《软件基础》（Software Foundations）——SF-lean4正式完工上线！
摘要： 重塑经典：用现代 Lean 4 重构《软件基础》全三卷与交互式文档 项目在线文档：https://ghost-silver.github.io/SF-lean4/ 开源代码仓库：https://github.com/Ghost-Silver/SF-lean4 作者：Ghost-Silver · SF 阅读全文
posted @ 2026-10-18 22:44 Ghost-Face 阅读(110) 评论(0) 推荐(2)
26-10-18周记
摘要： 前言 这是本人最近一个星期思考与规划的合集，包含了在学校多天的内容。 本文也可以理解为一篇周记。 聆听《勾指起誓》的同时阅读此文体验更佳～ whk 部分 背景 十月一外培回来后这是我第一次高中的月考，本次月考我考的也是很差好吧。 年级排名 rk 270，班级排名 rk 37. 综合来看，原因是我开学 阅读全文
posted @ 2026-10-18 01:12 Ghost-Face 阅读(153) 评论(1) 推荐(3)