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
- A Rust logging crate inspired by the famous C++ logging library spdlog.
- I’m currently working on the implementation of pattern formatters.
- 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.
- 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.