About

About me and this site.

I’m Wybxc, an undergraduate student in Computer Science and Software Engineering at Peking University.

My interests lie in programming languages, with a particular focus on safe system languages like Rust. I am also keen on program logic and verification.

About this Site

This site is built using Astro, PicoCSS, and giscus. The source code is available on GitHub.

License

This site is licensed under the CC BY-NC 4.0 license.

Contact

You can reach me via email at wybxc @ stu.pku.edu.cn.