围绕精简指令集与教学操作系统,学习执行环境、内存、进程、文件系统等核心机制。
个人主页 · 灵汐铄林
许智辰
本科在读,关注操作系统、知识工程与智能教育。我喜欢从真实系统和源码出发,把复杂机制整理成可以探索、验证和复用的工程。
关于我
在系统底层与知识表达之间做连接。
我的实践围绕内核实验、知识抽取、学习状态建模和交互式工具展开。比起只展示最终答案,我更在意过程是否有证据、结果是否可验证、工具是否真正解决问题。
从教材和源码抽取概念、证据与关系,组织为可查询、可追溯的结构。
将代码阅读、推理反馈与真实验证整合为连续、可审计的学习流程。
项目实践
近期项目与实践
教学操作系统内核实验
沿着第一章到第八章逐步理解裸机启动、系统调用、地址空间、调度与文件系统,并以源码和实验结果建立知识路径。
知识图谱构建流水线
把标记文本教材与真实代码转换为章节、概念、证据和关系,生成关系数据库与图数据库数据,支持后续检索和可视化。
证据驱动学习引擎
用确定性状态机约束诊断、探索、假设、实现和验证,让学习进度由服务器证据与真实测试决定。
