活在统计数字里
活在历史课本里
活在宏观叙事里

但不被允许活在此时此刻
自己的国家。

Article In Progress, not complete! Don’t read yet!

This article brings up the topic that the SGX Enclave, especially the DCAP Quoting Enclave[1], can have too many “identities”. This can be more or less an obstacle in the way towards formal verification.

I prepared a virtual machine image for a course in the uni. The last stage – cleanup, is less trivial than I expected. I’ll take some notes, before I forget. This could serve as a checklist.

This is a Debian 11 guest system

e.g. send to a program’s stdin via its PID.

I use this little script for my stream set up at live.shrik3.com

It does two things:

• print the current song, and the most recent n songs in the terminal
• log all the played songs to a file

Note: needs spotify-cli as dependency

The AI hype is worrying in a way that at the end of the day, no one will even understand the AI. I’m not saying AI is not doing well, quite the opposite, it is doing too well that human is outperformed.

When human is outperformed by the machine, human will be replaced by the machine – that’s how capitalism works. People are persuaded not starting a career in a field where human is less competent and that’s the vicious cycle. Machines will overrun the field and in the end human is excluded, because no human being has the knowledge that is built from ground up to understand what is happening. The only thing they know is that: the machine does shits for us and it works.

It was a stupid proof-of-concept attempt but it fucking works and I kinda like it.

Rust module structure in a nutshell.

I have (and will have more) many notes on this blog on Vim, the post serves as all-in-one reference page.

My personal cheatsheets for vim-IDE keybindings