This is a developer as well as a retired competitive programmer from China, now studying in PKU.
- Rust / C / JavaScript / Go / Haskell / Agda / Coq
- Manjaro / zsh / vim / VSCode
- Personal Blog: Sshwy's Notes
- Tutorial for λ-Calculus (Chinese): Road to λ-Calculus
I've explored various programming languages over the years, each time learning something new along the way.
-
I started with C and C++ for competitive programming. Around that time, Python 2 was still widely used, but Python 3 seemed more promising, so I spent some time getting familiar with it.
-
When I wanted to build a personal website, I looked into popular technologies and ended up using Hexo, which introduced me to HTML & CSS. Later, as I wanted more customization, I learned JavaScript (with Node.js) and even built my own Hexo theme with some modifications to the Markdown rendering engine.
-
Curious about modern web development, I experimented with frameworks like React, then Vue, and later Nuxt.js. On the backend, I started with Express & Koa (Node.js), then explored Gin (GoLang), and eventually Actix-web (Rust).
-
I actually started learning AI early in university, taking related courses and working on projects using Python & PyTorch. While there’s still so much more to explore, AI has been a key part of my journey.
-
Along the way, I’ve built many small projects—some finished, some abandoned—mostly because my interests keep shifting, and maintaining everything isn’t easy.
I wouldn’t call myself an expert in any of these, but I enjoy learning and experimenting with new technologies! 😊