• 💙 MBTI: ISTP [Virtuoso]
• ⌨️ NixOS/KDE. Linux user since 2016.
• 👾 Joined GitHub in Feb 4th, 2017, UID: 25548159 (deleted)
• 🦊 GitLab: Jelly Terra

I am learning and working on:

• Compilers and program analysis
• Digital hardware design
• DIY circuit boards and applications
• Infrastructure
• Productivity and automation tools

I have mainly focused on learning hardware architecture and PL theory since 2023.

I've lost all history of my past activities during 2017-2020 due to account deletion.

Life is short. Three twenty of years is not enough to do many things. I hope my life to be fulfilling and my visions about technologies and society to become true.

Zeit und Raum trennen dich und mich.
Informatik verbindet dich und mich.

Project organizations.

• 8A4D 52DC 8F88 4F06 on Mar 1, 2024: GPG keypair lost, all commits signed with it are now marked "Unverified".
• BF65 7865 AA3A BC32 on Mar 11, 2025: 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.

These are the paper books I own below. My reading has switched to e-books from shadow libraries to save costs since 2023.

My first GitHub account was registered in 2017 for GitHub Pages.

The gears of fate begin to turn

Writing about my past, is my way of making peace with self, a way to comfort self.

Here are the ideas and repos I've dropped in the past. Most of them were just ideas and had not been fully implemented.

And all the passion came back again since 2023, which means a lot to me. New domains, fantastic mates, inspiring future ...

It is a rebirth, a new beginning ...