Focusing on:
- Computer architecture.
- Formal methods and verification.
- Programming language theory, program analysis and compiler.
And sometimes:
- Machine learning with JAX, Vision Transformer in CV.
- Write articles about infrastructure, techniques and mathematics.
- Develop micro web services and apps.
- DIY somes PCBs, mainly to meet my requirements.
- STM32 and ESP32 applications.
Workstation with IDEA and VSCode on NixOS/Plasma (amd64).
Servers with self-hosted services on Fedora (amd64) and ArchLinux (riscv64gcv).
- 8A4D 52DC 8F88 4F06 ends on 2024.03.01: GPG keypair lost, all commits signed with it are now marked "Unverified"
- BF65 7865 AA3A BC32 ends on 2025.03.11: private key lost because I exported moved-to-card renewal private key to the same path of expired private key so it's overwritten and gone. What a pity, I really love this key id sequence!
- E644 440D CB00 0C41 is the GPG key now in use.
Project organizations. Mostly WIP.
| Name | Description |
|---|---|
| LangVM | Compiler infrastructure |
| JetERA | Circuit board designs |
| Symonarch | Hardware designs |
| Circuitrus | EDA |
| Holiday Paint | Public canvas |
| AutoDNS | Centralized DNS management (released) |
| Dashanalytics | Web traffic analysis (released) |
| Pagine | Web generator (released and archived) |
These are the paper books I own below, which may reflect what I am intersted in different periods.
My reading has switched to e-books in shadow libraries to save costs since 2023.
- 📖 ISBN 2017 Programming in Go
- 📖 ISBN 2017 Concurrent Programming Practices in Go
- 📖 ISBN 2018 C Primer Plus (5th Edition)
^ primary school graduation gift from my teacher Zhang - 📖 ISBN 2018 Understainding the JVM: Advanced Features and Best Practices (2nd Edition)
- 📖 ISBN 2018 Understanding the Linux Kernel (3rd Edition)
- 📖 ISBN 2019 Electronic Circuit Design from Scratch (2nd Edition)
^ gift from @lizhirui and his employer Wan - 📖 ISBN 2019 OpenGL Programming Guide (9th Edition)
- 📖 ISBN 2019 Compilers: Principles, Techniques and Tools (2nd Edition)
- 📖 ISBN 2020 Computer Graphics with OpenGL (4th Edition)
- 📖 ISBN 2020 Tomcat: The Definitive Guide (2nd Edition)
- 📖 ISBN 2021 PCB Design Techniques and Practices (3rd Edition)
- 📖 ISBN 2022 Computer Systems: A Programmer's Perspective (3rd Edition)
- 📖 ISBN 2022 Gettings started with LLVM core libraries
- 📖 ISBN 2023 Computer Organization and Design: The Hardware/Software Interface, RISC-V Edition (5th Edition)
- 📖 ISBN 2024 Computer Architecture: A Quantitative Approach (6th Edition)
- 📖 ISBN 2024 Pratical Foundations for Programming Languages (2nd Edition)
- 📖 ISBN 2024 RISC-V CPU Chip Design: Xiangshan Sourcecode Profiling
^ got on the RISC-V Summit China 2024 Day 2 activity Xiangshan Tutorial - 📖 ISBN 2025 Database System Implementation (2nd Edition)
All history of my past GitHub activities during 2017-2020 is lost due to account deletion.
Life is short, is not enough to do many things. But I hope my life to be fulfilling and my visions about technologies and society to become true.