Do code like do Proof, imo. Remind me with Program = Proof book.

https://github.com/dafny-lang/dafny

As compsci nerds, I think it wise do notetaking of our nerd knowledge.

Yeah, notetaking is not simple shit to done and can grow monstrously complex, I found a quite unique yet simple way for that (I not affliate with them, I just care about sharing).

https://johnnydecimal.com

https://lucaf.eu/2023/02/23/luca-decimal.html

https://github.com/lucafrance/luca-decimal

You can do this with Obsidian, Spreadsheet, or just (mkdir, cd, touch, vim) with terminal.

There are two system but almost no difference, rec start with Johnny Dec, Luca Dec if you dislike Johnny Dec.

Algorithms Unplugged

Learn algorithm with biological computer

Intro to Compilers
Nicole Orchard

https://nicoleorchard.com/blog/compilers/

Anti-Debugging Trick

https://anti-debug.checkpoint.com/

https://www.leviathansecurity.com/blog/tunnelvision

Beside speaking about vulnerability, they have good explanation about basic computer network.

Hacker Manifesto
McKenzie Wark

https://anarcho-copy.org/libre/mckenzie-wark-a-hackers-manifesto-may-2013.pdf