$ ls -l Post

Tomato clock!

Just a simple script that reminds you to take some rest every n minutes

Comment system on a static site without javascript???

So I want to integrate a comment system to my blog.There are many many comment service providers like disqus. Even for a static site, you can add comment support simply by inserting a javascript snippet into the page.

But what about … zero JS?

Human as runtime

Let’s bring “cursed” programming to a whole new level.

Cursed C - snippets from Expert C Programming

Helpful or not, I’m taking some notes while reading the book “Expert C Programming” by Peter van der Linden.

set up SSH tunnel for machines behind NAT

Quick ssh forwarding setup:

(fluff) western numbering is unfit for computer science, embrace the oriental

This post resolves the problem “how to pronounce 0x4_2000_0000_0000_0000” once and for all.

Friendship ended with Packer

I wasn’t me who abandoned the relationship!

(WIP) Enclave Schizophrenia - What's TEE identity in Attestation?

This article is licensed under CC BY-NC-SA 4.0

This article brings up the topic that the SGX Enclave, especially the DCAP Quoting Enclave1, can have too many “identities”. This can be more or less an obstacle in the way towards formal verification. This was partly my student research project in the uni.

Prepare a VirtualBox Image for Sharing

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

[WIP] send to stdin per PID

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

trivial spotify script..

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 cursed way to use a neovim-IDE on the CLOUD

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

Notes on (neo)vim

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

vim tricks

My personal cheatsheets for vim-IDE keybindings

List synchronization, from coarse-grained to non blocking wait-free

Concepts: Wait-free and Lock-free

An object impl. is wait-free if every thread completes a method in a finite number of steps:

  • NO mutual exclusion (thread should not halt in critical section)
  • NO while loop (that may keep spining..)

An object impl. if lock-free if in an infinite execution infinitely often some method call finishes(in a finite number of steps)

Colors - It's more complicated than you think

How is color space defined and what exactly is “color” from a machine’s point of view.

Counter

tl;dr:
给自己的静态博客增加一个访问统计,效果如下: https://shrik3.com/misc/report.html

[OSC] CGA显示

前言:此为从零开始造轮子搭建操作系统的笔记,框架来自学校课程,编程语言主要为C++和汇编,涉及大量底层硬件相关。 本篇为CGA显示驱动和基础总线读写

postgresql upgrade

TIFU by letting pacman upgrade the postgresql a major version (13->14). Then the postgresql service failed to start.. Anyways here is the fix.

also a nice thing in the AUR: the postgresql-old-upgrade package. It provides the binary for the older version of psql under/opt/postgresql{VERSION}

A (neo)vim IDE setup for C/C++, that just works

Honestly I don’t think over-functional completion and diagnostics give you any productivity. The same is true for highlighting: if you highlight everything, you highlight nothing. It’s a harmful mentality to think “oh I have to have the best tools before I get started.” No, tool is just tool, the purpose is production.

So this is what I want:

  • basic syntax highlighting.
  • completions based on current project.
  • jump to definition.
seite: [prev] 2/4 [next]