Status & Projects
πŸ“…

Status & Projects

πŸ“”Books Reading

I’m currently reading the following technical books:
πŸ“–Programming Language Foundations in Agda (PLFA) by Philip Wadler, et al.
A great book that introduces the basics of programming language theories with the famous proof assistant Agda.
This book is open sourced and you can read it online.
πŸ“–Types and Programming Languages (TaPL) by Benjamin C. Pierce
A classic and great textbook on programming language theories.
I have published some of my reading notes under the TaPL article series.
πŸ“–The Garbage Collection Handbook: The Art of Automatic Memory Management by Richard Jones, et al.
A classic book that talks about garbage collection.
πŸ“–Parallel Programming: Concepts and Practice by Bertil Schmidt, et al.
An introductory book about parallel programming

πŸ‘¨πŸ»β€πŸ’»Coding Projects

πŸ§‘πŸ»β€πŸ’»SpriteOvO/spdlog-rs
  • A Rust logging crate inspired by the famous C++ logging library spdlog.
  • I’m currently working on the implementation of pattern formatters.
πŸ§‘πŸ»β€πŸ’»muld
  • A toy linker (link editor or link loader or whatever) I built from scratch to learn the mechanics of linking and loading.
  • I’m currently working on the x86-64 ELF linker implementation.
  • My side project. May publish after finish.
πŸ§‘πŸ»β€πŸ’»ptsuit
  • Intel PT software and library suit that supports:
    • Cross-platform Intel PT capability detection;
    • Cross-platform control flow tracing with Intel PT;
    • Cross-platform Intel PT data decoder.
  • This project is still under planning.
Β