$ ls -l Post
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:
|
Make screenshare work in wayland
[UPDATE] Just do this instead, use
original post below (under Archlinux/sway) .. |
Weakk Memory Model, Barriers, and Compiler Optimization
I’m doing a seminar on this topic, sounds like a big one huh? … This is a placeholder for the moment, I will update the content as soon as I finish the siminar paper. |
[FCDS] correctness conditions of concurrent programs, 3 types of consistency
How can we judge if the concurrent execution is correct? the schematics of concurrent consistency. |
now on fediverse(pleroma)!
vnil.de is now a fediverse instance. |
xmonad Experience + i3-like config
I recently moved from i3 to xmonad. This post is about what I feel and my configuration. |
[FCDS] Mutex and Lock basics
NOTES ON [FCDS] : mutex. |
语言的数量
以有涯随无涯,殆已! |
OS notes
Basically , links |
switch vim buffers
A better way to switch between vim buffers |
nvidia-xrun solution on hybrid graphic + tearing free
This is a post on setting up nvidia drivers on laptop with hybrid graphic cards. |
Word problem(Decision Problem), Complexity and computing models
Grammas describe languages as a set of words that the gramma could generate. The word problem is to determine, whether a given word belongs to the language. |
Das Wortproblem und Berechnungsmodell
Grammatiken beschreiben Sprachen als Menge von Wörern, die sie erzeugen können. |
P,NP,NP-Hard and NP-Complete
Mindtwister: complexity of problems |
Stellenwertsystemen, Konvertierungen und Genauigkeit
Positional notations, Conversation and Precision. Notizen auf Vorlesung [RA] |
Raspberry Pi as printing/file server
Set up raspberry pi as a printing server using cups and file server using samba. |
A simple kernel module
A simple kernel module(example code in LDD). |
Installing Archlinux on removable media
this is actually…a log of how i fucked up. |
Build your own search Engine
Google is evil! |
archlinux setup
A brief archlinux install guide. Final setup will be: archlinux + i3wm, booted with efi. |