These are the study notes for Software Foundations, covering the learning material of Rocq, Hoare Logic, IMP and etc.

These are the study notes for Advanced Algebra II, covering the learning material of Chapter 4: Metric Spaces.

This is a survival guide for PKU’s Music and Mathematics course, detailing how I used text models as tireless arrangement assistants to bypass the struggle of manual score writing.

These are the study notes for Advanced Algebra II, covering the learning material of Chapter 3: Linear Transformation Theory.

These are the study notes for Advanced Algebra II, covering the learning material of Chapter 2: Vector Spaces and Linear Maps.

This is a project I created using Vibe Coding to generate data for algorithm competition problems.

These are the study notes for Advanced Algebra II, covering the learning material of Chapter 1: Polynomial Theory.

This paper explores the theory of tree and path neighborhoods, analyzing their union and intersection operations, and presents their practical applications in algorithmic competition problems.

This article only records some of the more classic conclusions from the Advanced Algebra I course, without including detailed notes and proofs.

This is my presentation slides for a data structures and algorithms presentation, which introduces the Y-Fast Trie algorithm.