Site
This site is built with SSG Astro and Tailwind CSS, hosted on Cloudflare’s network, with some static assets distributing.
All parts including styles are authorized from none.
Gonna take React, coming on the way.
No plan to make it a single-page application.
Content
Blog
Independent long posts.
Journal
Some events appears recently will be recorded into journal.
Publishes libraries, new ideas and designs, as a way for advertising.
Newer content is displayed first in mainpage.
Series
Documentation and tutorials and courses.
Working in progress.
Creatures
Opened designs meets my need. Models and layouts, circuit boards that printable.
Mostly Creative Commons BY-SA.
Deal with the unexpection
Q: The page is gone! How can I find its new location?
I’m considering using an ID for each content, with a title behind for human-read; instead of using a path.
Before that, go and find it through search engine indexing.
Assets
Fonts
- Inria Sans
- Montserrat
- Iosevka
Hi, there.
Focusing on:
- Computer architecture.
- Formal methods and verification.
- Programming language theory, program analysis and compiler.
Sometimes:
- Train some computer vision models.
- 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).
GPG
- 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.
Navigation
In maintainance. Mostly WIP.
| Name | Description |
|---|---|
| LangVM | Compiler infrastructure |
| Syncorde | Kit for network storage and exchange |
| Symonarch | CPU designs |
| Circuitrus | EDA |
Released:
| Name | Description |
|---|---|
| Xentrasolv | Centralized DNS management (released) |
| Dashanalytics | Web traffic analysis (released) |
| Pagine | Web generator (released and archived) |
Put on hold:
| Name | Description |
|---|---|
| Holiday Paint | Public canvas |
Timeline
- 📖 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)
^ Gave by @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 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)
Given as gifts from zha and Ezl1zz:
- 📖 ISBN 2025 Introduction to the Theory of Computation (3rd Edition)
- 📖 ISBN 2025 Logic in Computer Science: Modelling and Reasoning about Systems (2nd Edition)
- 📖 ISBN 2025 Speficying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
- 📖 ISBN 2025 Designing Data-Intensive Applications
- 📖 ISBN 2025 Streaming Systems
Snapshots
All snapshots since Sep, 2024 can be found on Internet Archive.
Website History
Oct, 2024 - Present
Built with Astro.
May, 2024 - Sep, 2024
Built with Pagine and templates authored by me.
Jul, 2021 - Apr, 2024
Single page with avatar Konqi and few lines of self-intro. Built with Bootstrap CSS.
Deployment history can be found here.
You can recover them on page Deployments, they are still saved by GitHub.
Earlier than 2021
It has been deleted with my GitHub accounts due to my persecution delusions and obsessive compulsive disorder in 2019 and 2021, two times.