Profile
Focusing on:
- Computer architecture.
- Formal methods and verification.
- Programming language theory, program analysis and compiler.
And sometimes:
- Computer vision.
- Write articles about network, infrastructure and math.
- DIY somes PCBs, STM32 and ESP32 applications, mostly meet my needs.
Workstation with IDEA and VSCode on NixOS/Plasma (amd64).
Servers with self-hosted services on Fedora (amd64) and ArchLinux (riscv64gcv).
I have turned and focused on learning hardware architecture and theories related to programming language since 2023.
Life is short, six decades are not enough to do much thing.
I hope my life to be fulfilling and visions about technologies and society to become true.
Bookshelf
These are the paper books I own below.
My reading has switched to e-books to save costs since 2023.
The gears of fate begin to turn
- π 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)
lost+found
The less I have, the more I fear losing it.
Joined GitHub in Feb 4th, 2017, UID: 25548159 (deleted)
Writing about past, is my way of making peace with past self, is a way to comfort myself.
Here are the ideas and repos Iβve dropped in the past.
Most of them were just fresh ideas and had been only implemented a bit.
The deletions I made in 2019 and 2020 of my past accounts and activities is a great regret for me, which I must to get out from today.
2023 means a lot to me. New domains, fantastic mates, inspiring future β¦
It is a rebirth, a new beginning β¦
2018 On-EasyAccess
A failed xml-based database Go program that failed in a competition held by the city.
But it is one of the important bonds with the info-tech teacher Zhang in the last semester of my primary school time.
2018 LangVM Project, which is different with 2023 one.
Motivated to create a purely functional high-level VM as an alternative to the JVM,
and provide native compilation support at the same time.
The thing beyond my mind is: it has similar inspiration and motivation with LLVMβs,
but I didnβt know about it that
time! (The last paragraph in Page 3, Preface)
As of the time the repository was removed, only an untested interpreter was implemented. LOL
Luckily, there is a Chrome offline webpage capture taken in 2019 saved on my cloud drive.
I uploaded it and can be found here.
2018 Lava, Oops, Cheese etc.
VM-level assembly, high-level and even localized programming languages designed for LangVM.
This is why I bought the βdragon bookβ.
2019 Ketchup Graphics
A simple graphics engine based on OpenGL.
This is why I bought the books about OpenGL. But today we should use Vulkan. xD
2019 Divine Comedy and Reality
Make the story and three realms of Divine Comedy into a game.
I found that I was not able to do it that time β even will never be.
I hope someone/producer can do it. (for me)
Stats
Whatβs going on recently.
> :3 Itβs varying!
Come and see if there is any difference in a few days?
