Home

Welcome to a rusty corner of the Web where I post random stuff that are interesting to me, and hopefully to more.

ICS Info

I am a TA for the 2023 Fall ICS course at Peking University. Here is a collection of useful information about the course:

• ICS: Getting Started

• A Prime Example of Undefined Behavior in GCC

• ICS: Datalab Preview

• ICS: Bomblab Preview

• ICS: Attacklab Preview

• ICS: Archlab Preview

Rust Stuff

My experiences with Rust, and also my thoughts on the language. Mostly positive, as I am a bit of a Rust fanboy.

• How I Implemented a Type Equivalence System in Rust