Writing, community & projects
A collection of programming notes, shared learning, and things I've built.
Pintos 用户程序：参数传递、进程控制与系统调用的实现笔记。
从变量与对象的关系出发，整理共享传参、默认参数、垃圾回收和作用域。
列表推导式、元组、拆包与内存视图：Python 序列的一组例子和小陷阱。
I shared study plans and programming discussions with SCNU's Turing Class and the 0xFFFF community.
Implementation and evaluation of two-stage key exchange and key encapsulation, developed for my undergraduate thesis.
I implemented the two-stage TIMKE construction in Go with a modular KEM interface, a 0-RTT demonstration, tests, and benchmarks. I also prototyped OW-ChCCA KEM with Lattigo and evaluated its integration with ML-KEM.
The work formed part of my undergraduate thesis in 2025.
A preview extension for working with SageMath, with a Rust language server and persistent source indexing.
I built a preview extension with a Rust language server, persistent indexing of Sage, Python, and Cython sources, code navigation, and diagnostics.
The repository includes CI and VSIX smoke tests. The extension is currently available as a preview.
Implementations of FrodoKEM-640-SHAKE, Ed25519, X25519, and ChaCha20-Poly1305.
I implemented FrodoKEM-640-SHAKE, Ed25519, and X25519 in Rust, and ChaCha20-Poly1305 in C.
Validation includes known-answer tests for FrodoKEM decapsulation and test vectors from RFC 8032 and RFC 7748 for Ed25519 and X25519.
An operating systems project covering scheduling, user programs, system calls, buffer caching, and file system extensions.
I implemented scheduling, user programs and system calls, buffer caching, and file system extensions in C.
My CS162 Project 1 notes document part of the work.
